Proposal to include the Xi correlation coefficient by Chatterjee in Postgres
postgresql.org·1d·
Discuss: Hacker News
🔒Cryptography
A type system for RCL (2024)
ruudvanasseldonk.com·3d·
Discuss: Lobsters, Hacker News
🦀Rust
Mojo Roadmap Document
docs.modular.com·4d·
Discuss: Hacker News
🦀Rust
Ask HN: Polyglot Mirroring
news.ycombinator.com·1d·
Discuss: 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
Apertus includes many languages that have so far been underrepresented in LLMs
swiss-ai.org·5h·
Discuss: Hacker News
🦀Rust
Show HN: Zyg – Stop Writing Status Updates
zyg.sh·6h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Stop using cron Systemd Timers Explained (2023)
coady.tech·1d·
Discuss: Hacker News
🦀Rust
I Should Have Loved Electrical Engineering
blog.tdhttt.com·1d·
Discuss: Hacker News
✅Formal Methods
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
The Ongoing Fallout from a Breach at AI Chatbot Maker Salesloft
krebsonsecurity.com·21h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
The MCP Neuron
jontysinai.github.io·25m·
Discuss: Hacker News
🔒Cryptography
Benchmarking LLM Codegen for SQL
beekeeperstudio.io·9h·
Discuss: Hacker News
✅Formal Methods
Git Back to the Future (2017)
philna.sh·1d·
Discuss: Hacker News
✅Formal Methods
Get Complete Twitter Dataat 1/10 the Price
twexapi.io·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Liquidsoap Release 2.4.0
liquidsoap.info·23h·
Discuss: Hacker News
🦀Rust
Show HN: We started a no-bs engineering company
eilbek-research.de·1d·
Discuss: Hacker News
🔒Cryptography
Jujutsu for Everyone
jj-for-everyone.github.io·2d·
Discuss: Lobsters, Hacker News
✅Formal Methods
My take on blog analytics
anderegg.ca·1d·
Discuss: Hacker News
🔒Cryptography