‘What you feel is valid’: Social media is a lifeline for many abused and neglected young people
theconversation.com·12h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Proposal to include the Xi correlation coefficient by Chatterjee in Postgres
postgresql.org·1d·
Discuss: Hacker News
🔒Cryptography
Keyboards from My Collection
aresluna.org·20h·
Discuss: Hacker News
🦀Rust
Decoding UTF-8. Part III: Determining Sequence Length – A Lookup Table
nemanjatrifunovic.substack.com·5h·
Discuss: Substack
✅Formal Methods
I made a CLI to stop manually copy-pasting code into LLMs
github.com·13h·
Discuss: Hacker News
🦀Rust
The Trust Quotient (TQ)
kk.org·4h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
HongMeng (HarmonyOS) Kernel
en.wikipedia.org·3d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
My service was played in Enowars 9: Here is how it went
stoffregen.io·5d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Mojo Roadmap Document
docs.modular.com·4d·
Discuss: Hacker News
🦀Rust
Ice obtains access to Israel-made spyware that can hack phones and encrypted apps
theguardian.com·6h·
Discuss: Hacker News, r/news
🔒Cryptography
Of Rats and Ratchets (2024)
matklad.github.io·14h·
Discuss: Lobsters, Hacker News
🦀Rust
Show HN: HTML Capture Compare – Chrome Extension to Debug Flaky Tests
news.ycombinator.com·1d·
Discuss: Hacker News
🦀Rust
DDoS is the neglected cybercrime that's getting bigger. Let's kill it off
theregister.com·1d·
Discuss: Hacker News, Hacker News
🔐Zero-Knowledge Proofs
A type system for RCL (2024)
ruudvanasseldonk.com·3d·
Discuss: Lobsters, Hacker News
🦀Rust
Using LLMs for Intel Processor Code Trace Analysis
alansguigna.com·4d·
Discuss: Hacker News
✅Formal Methods
LongCat-Flash, a language model with 560B total parameters, MoE architecture
github.com·2d·
Discuss: Hacker News
✅Formal Methods
Show HN: Zyg – Stop Writing Status Updates
zyg.sh·12h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
I Should Have Loved Electrical Engineering
blog.tdhttt.com·1d·
Discuss: Hacker News
✅Formal Methods
Ask HN: How do you protect against malicious links in user-generated content?
news.ycombinator.com·5h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Compiler-Driven Development: Building an Elm Playground That Compiles in the Browser
cekrem.github.io·2d·
Discuss: Hacker News, r/programming, r/webdev
✅Formal Methods