pull down to refresh

How to Secure Existing C and C++ Software Without Memory Safety [pdf]arxiv.org/abs/2503.21145
22 sats \ 0 comments \ @hn 31 Mar tech
related
[bitcoin-dev] OP_Expire: Making HTLCs Safer by Letting Transactions Expirelists.linuxfoundation.org/pipermail/bitcoin-dev/2023-October/022042.html
3751 sats \ 7 comments \ @anon 21 Oct 2023 bitcoin
C++ Creator Rebuts White House Warning
522 sats \ 7 comments \ @0xbitcoiner 19 Mar 2024 devs
[bitcoin-dev] OP_VAULT: a new vault proposallists.linuxfoundation.org/pipermail/bitcoin-dev/2023-January/021318.html
829 sats \ 19 comments \ @k00b 9 Jan 2023 bitcoin
Toy BitVM: Experimental toy BitVM implementation in Rustgithub.com/chainwayxyz/toy-bitvm-rs
1816 sats \ 2 comments \ @Rsync25 2 Feb 2024 bitcoin
[bitcoin-dev] MATT: [demo] Optimistic execution of arbitrary programslists.linuxfoundation.org/pipermail/bitcoin-dev/2023-September/021974.html
233 sats \ 1 comment \ @Rsync25 30 Sep 2023 bitcoin
Arthur Whitney's one liner sudoku solverdfns.dyalog.com/n_sudoku.htm
270 sats \ 1 comment \ @hn 6 Oct 2024 tech
LNURL RS: A rust implementation of LNURLgithub.com/benthecarman/lnurl-rs
391 sats \ 0 comments \ @Rsync25 9 Apr 2024 bitdevs
Memory Safe Languages: Reducing Vulnerabilities in Modern Software Developmentmedia.defense.gov/2025/Jun/23/2003742198/-1/-1/0/CSI_MEMORY_SAFE_LANGUAGES_REDUCING_VULNERABILITIES_IN_MODERN_SOFTWARE_DEVELOPMENT.PDF
156 sats \ 1 comment \ @carter 7 Jul security
Twenty Years of Valgrind (2022)nnethercote.github.io/2022/07/27/twenty-years-of-valgrind.html
137 sats \ 1 comment \ @hn 28 Aug 2024 tech
Memory Integrity Enforcement: memory safety in Apple devicessecurity.apple.com/blog/memory-integrity-enforcement/
122 sats \ 0 comments \ @k00b 10 Sep security
Smart pointers for the kernellwn.net/Articles/992055/
244 sats \ 0 comments \ @hn 18 Oct 2024 tech
Bulletproofs++: A Step Towards Fully Unlinkable Transactionsblog.blockstream.com/bulletproofs-a-step-towards-fully-anonymous-transactions-with-multiple-asset-types/
1076 sats \ 3 comments \ @Rsync25 28 Jul 2023 bitcoin
Wallbleed: A Memory Disclosure Vulnerability in the Great Firewall of Chinagfw.report/publications/ndss25/en/
128 sats \ 0 comments \ @k00b 2 Mar security
Arti – A Tor implementation in Rusttpo.pages.torproject.net/core/arti/
258 sats \ 0 comments \ @nym 30 Apr 2024 security
The search for easier safe systems programmingwww.sophiajt.com/search-for-easier-safe-systems-programming/
137 sats \ 0 comments \ @hn 8 May 2024 tech
Machine-Assisted Proof by Terence Tao [pdf]www.ams.org/notices/202501/rnoti-p6.pdf
172 sats \ 0 comments \ @hn 28 Dec 2024 tech
Writing a Self-Mutating x86_64 C Programephemeral.cx/2013/12/writing-a-self-mutating-x86_64-c-program/
208 sats \ 1 comment \ @k00b 24 May devs
Shardines: SQLite3 Database-per-Tenant with ActiveRecordblog.julik.nl/2025/04/a-can-of-shardines
49 sats \ 0 comments \ @hn 27 Apr tech
Why I Chose Common Lispblog.djhaskin.com/blog/why-i-chose-common-lisp/
105 sats \ 0 comments \ @hn 12 Jan tech
What I've learned about Nostr by improving ZapThreads; proposal for NIP-07codonaft.com/improved-zapthreads/
193 sats \ 5 comments \ @alopatindev 13 Aug 2024 nostr
A study on how turtles navigate using the Earth’s magnetic fieldwww.unc.edu/posts/2025/02/12/dancing-turtles-unlock-scientific-discovery/
127 sats \ 0 comments \ @hn 14 Feb tech