US Government looking into memory safe programming

[ajdude]

The US Government is requesting information on adoption of memory safe
programming languages and open-source software security. They’re currently
taking comments until October 9th. I think this is a good opportunity to help
bring Ada back into the spotlight.

https://www.federalregister.gov/documents/2023/08/10/2023-17239/request-for-information-on-open-source-software-security-areas-of-long-term-focus-and-prioritization

AJ

[Luke A. Guest]

History is repeating itself. How long before they relax the requirements
and idiots say "we can use C again, yay!"?

[Stéphane Rivière]

> History is repeating itself.

+1

> How long before they relax the requirements
> and idiots say "we can use C again, yay!"?

By the time they discover Rust ?

--
Stéphane Rivière
Ile d'Oléron - France

[J-P. Rosen]

Le 25/09/2023 à 11:59, Stéphane Rivière a écrit :
>> How long before they relax the requirements
>> and idiots say "we can use C again, yay!"?
> By the time they discover Rust ?

Or when they realize that there is only one rust compiler, and therefore
that a single compiler virus could ruin the whole defense system.

--
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
https://www.adalog.fr https://www.adacontrol.fr

[G.B.]

On 25.09.23 12:38, J-P. Rosen wrote:
> Le 25/09/2023 à 11:59, Stéphane Rivière a écrit :
>>> How long before they relax the requirements
>>> and idiots say "we can use C again, yay!"?
>> By the time they discover Rust ?
>
> Or when they realize that there is only one rust compiler, and therefore that a single compiler virus could ruin the whole defense system.
>

Maybe, given the emphasis on tools, verification and best
practices, they might consider sub-languages, or profiles,
of several existing languages.

It's not like memory-safety cannot be made available in
languages other than Rust, I should think? Though, it seems
to me that Rust has so much better market-aware development
strategies than any other language since C, outside Microsoft's
or Apple's areas of sales.

Also, I understand that Linux kernel development is
steered towards Rust and LLVM. So, they have decided
not to go back to the 80s, just pick some good bits
and move on, possibly producing grust or crust while
at it.

In order to pick well from Ada and the concepts embodied in it,
imagine what parts of Ada should be thrown out,
ignoring commercial enterprises living off legacy business?
What changes to Ada are a good fit while aiming
at memory safety, verification support,
or light weight and safe parallel execution?

As you can see in [1], there is a suggestion to make money
available to refactoring efforts.

[1]: https://www.federalregister.gov/d/2023-17239/p-37

[Luke A. Guest]

On 25/09/2023 16:55, G.B. wrote:

> What changes to Ada are a good fit while aiming
> at memory safety, verification support,
> or light weight and safe parallel execution?

I started thinking about that here https://github.com/Lucretia/orenda.

[Stéphane Rivière]

> Or when they realize that there is only one rust compiler, and therefore
> that a single compiler virus could ruin the whole defense system.

Good point !

Still some doubts about their ability to reason that far ;)

[Kevin Chadwick]

>> Or when they realize that there is only one rust compiler, and therefore
>> that a single compiler virus could ruin the whole defense system.
>
>Good point !
>
>Still some doubts about their ability to reason that far ;)

Whilst I have in the past refused to use lattice semi conductor hardware due
to a CDN preventing secure compiler verification, whilst apparently noone
or few noticed.

I assume you mean trojaned compiler code inserted upstream to disable
protections or ignore unsafe code?

Or do you mean utf-8 library code substitution aimed at a particular
compiler?

--
Regards, Kc

[Shark8]

The deadline has been extended; you have one week left:
https://www.regulations.gov/commenton/ONCD-2023-0002-0001

[TOTO855]

MAIN SLOT PASTI MENANG SLOT BONUS 100 | SLOT BONUS NEW MEMBER 100 | SLOT BONUS 100 TO KECIL 3X 5X 7X 10X 12X
TOTO855 SITUS SLOT MUDAH MENANG PASTI MAXWIN MENYEDIAKAN CHEAT SLOT AUTO MAXWIN 100% !!




Untuk klaim silahkan klik link di bawah ini : https://s.id/1W3Tn


AKUN KHUSUS VIP SERVER THAILAND
✅Fix Dapet Free Scatter 1x
✅Dapat Pola Maxwin Gratis!
✅Pecahan+Perkalian Meledaagghhh
✅LINK : https://s.id/1W3Tn


NEW MEMBER DISAMBUT PAKAI BONUS 1X MAXWIN
🎯 SIMAK CARA MAIN MENANG MAXWIN TANPA POLA
🎯 SENSASI MAXVIN CEPAT TANPA RIBET
🎯 JIKA BONCOS GARANSI MODAL KAMI GANTI



PROMO DEPOSIT PULSA TANPA POTONGAN KLAIM SEKARANG JUGA!!!

LINK CLAIM : https://s.id/1W3Tn
BONUS TAMBAHAN : https://s.id/1VJf4
BOCORAN JP : https://s.id/1VJfd











bonus member baru 100 slot
promo bonus 100 member baru slot
situs slot bonus
slot judi bonus 100 new member besar
situs slot deposit 100%
slot bonus 100 di awal
bonus new member slot
semua situs slot bonus new member 100
bonus new member slot
slot bonus 100 di depan
bonus judi slot
bonus member baru 100 slot di awal
slot online bonus new member 100 di depan
main slot langsung dapat bonus pakai deposit
bonus 100% ( slot)
slot bonus new member pakai deposit
slot bonus saldo pakai deposit 2023
slot bonus new member
slot bonus saldo pakai deposit 2020
welcome bonus 100 slot indonesia
judi slot banyak bonus
link judi slot online bonus 100 untuk akun baru
bonus slot
situs slot bonus new member
slot bonus new member 100 di awal
slot online bonus new member 100
bonus slot 100
slot bonus new member 100
bonus deposit 100 untuk member baru 2021
slot bonus di depan
slot bonus 100 to 3x
slot bonus new member 100% to 10x
bonus new member 100 slot game
slot gacor 2023 bonus new member 100
bonus new member 2021
bonus deposit 100 untuk member baru 2021
slot bonus new member 100 di awal
bonus new member 100 to 5x
bonus new member 100 to 10x
slot bonus di depan
situs slot bonus 100 di depan to kecil
slot bonus new member 100 di awal
bonus new member 100 slot game
slot bonus 100 di depan
slot bonus di depan
Slot Bonus New Member 100 di Awal To Kecil
Slot Bonus new member 100 To 3x Pragmatic Play
Slot Bonus new member 100 To 5x Joker123
Slot Bonus new member 100 To 8x Playtech
Slot Bonus new member 100 To 10x Habanero
Slot Bonus new member 100 To 14x PG Soft
Slot Bonus new member 100 To 14x CQ9
Slot Bonus new member 100 To 18x Spadegaming
Slot Bonus 100% To 5x Pragmatic Play
Slot Bonus 100% To 5x Joker123
Slot Bonus 100% To 5x PG Soft
Slot Bonus 100% To 5x Spadegaming
Depo 100 Bonus 100
Deposit 20 bonus 20
Deposit 100 bonus 100
Deposit 50 bonus 50
Deposit 100 bonus 100
Slot Depo 20 Bonus 20
Slot Depo 100 Bonus 100
Slot Depo 50 Bonus 50
Slot Depo 100 Bonus 100
Slot Deposit 20 Bonus 20
Slot Deposit 100 Bonus 100
Slot Deposit 50 Bonus 50
Slot Deposit 100 Bonus 100
bonus new member 100 (slot game) to kecil
slot bonus 150% of depan
bonus new member 100 TO 5x
bonus new member 100 TO 10x
bonus deposit 100 untuk member baru 2021
slot bonus 100 to 3x
new member 100 to 5x
slot terbaru 2021 bonus new member
bonus slot 150% of depan 2021
Slot Bonus 100% To 5x Habanero
Slot Bonus 100% To 3X
Slot Bonus 100% To 5X
Slot Bonus 100% To 8X
Slot Bonus 100% To 10X
Slot Bonus 100% To 14X
Slot Bonus 100% To 18x
situs slot bonus new member 100 di awal
slot bonus 150 di awal
resmi slot
nama situs judi slot online
slot bonus new member 100 di awal
slot bonus 150% of depan
bonus new member 100 hingga 5x
situs slot bonus 100 di depan ke kecil
slot deposit 50 bonus 100
depo 100 bonus 50 hingga 5x
slot bonus online new member 100 di depan
bonus deposit 100 untuk member baru 2021
slot bonus 150% of depan
slot bonus 100 to 3x
slot bonus new member 100% sampai 10x
bonus new member 100 slot game
slot gacor 2022 bonus new member 100
slot bonus 100 di depan turnover kecil
slot bonus 500 di pan
Slot bonus 150% of the depth
slot bonus selamat datang 100 di depan
slot bonus 150 di depan
slot bonus 150% of depan
slot bonus ke kecil
slot bonus 100 di depan
bonus new member 2022
bonus deposit 100 untuk member baru 2022
slot bonus new member 100 di awal
bonus new member 100 hingga 5x
slot terbaru 2021 bonus new member
slot bonus 100 to 3x
bonus new member 100% slot game to kecil
kemudahan slot gacor
slot gacor warung
main slot
slot gacor gila
slot auto maxwin
slot taruhan mudah
slot pasti menang
slot gacor tergila
cerita sex slot gacor
cerita sex baru
link video viral
link bokep mudah
mudah akses link baru
slot gacor no 1 di asia
slot gacor no 1 di indonesia
thailand pusat slot
pusat server pg soft
anies main slot
prabowo pilpres
info pilpres
info otomotif
info partai politik
info seputar politik
promo slot deposit murah
slot to kecil
slot mudah akses
link slot anti blokir
link slot no 1
link slot orang kaya
tahukah anda slot gacor
bagaimana slot gacor
kecurangan slot gacor
slot curang
pusat pragmatic play
pusat bandar judi
kabar panas
kabar viral
kabar politik panas
kemudah main slot online
kemudahan main slot dana
kemudahan slot deposit pulsa
kemudahan slot deposit gopay
bonus slot 10 %
bonus harian main slot 10%
cara main slot
cara daftar akun slot
cara daftar jadi presiden
cara main slot gacor
sever luar negeri
server thailand bonus
bonus main server thailand
kemudahan main server jepang
akun pro jepang
main slot pusat kamboja
bandar judi kamboja
slot bandar kamboja