Cure - Verification-First Programming for the BEAM
cure-lang.org·3d·
Discuss: Lobsters, Hacker News
🦀Rust
Flag this post
Show HN: A new language for COBOL workloads, built on Go
github.com·1d·
Discuss: Hacker News
🔒Cryptography
Flag this post
Developing desktop apps from scratch: A feature checklist
alek-tron.com·14h·
Discuss: Hacker News
🐛Vulnerability Research
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·4d·
Discuss: Hacker News
🦀Rust
Flag this post
Can LLMs subtract numbers?
arxiv.org·1d·
Discuss: Hacker News
📡Side-Channel Attacks
Flag this post
dcaf: An implementation of the ACE-OAuth framework
docs.rs·2d·
Discuss: Hacker News
🔒Cryptography
Flag this post
Advice for System Design Interviews
jacobbrazeal.wordpress.com·5h·
Discuss: Hacker News
🐛Vulnerability Research
Flag this post
When Your Hash Becomes a String: Hunting Ruby's Million-to-One Memory Bug
mensfeld.pl·1d·
Discuss: Hacker News
🦀Rust
Flag this post
Happy Eyeballs Version 3: Better Connectivity Using Concurrency
datatracker.ietf.org·6h·
Discuss: Hacker News
📡Side-Channel Attacks
Flag this post
Why is AI Generated Rust slow when compared with Go/C#/Node/JavaScript
srid68.github.io·1d·
Discuss: Hacker News
🦀Rust
Flag this post
We Tested 6 AI Models on 3 Common Security Exploits
blog.kilocode.ai·13h·
Discuss: Hacker News
🐛Vulnerability Research
Flag this post
OpenAI Model Spec
model-spec.openai.com·3h·
Discuss: Hacker News
🦀Rust
Flag this post
Benchmarking the cost of Java's EnumSet - A Second Look
kinnen.de·1d·
Discuss: Hacker News, r/programming
📡Side-Channel Attacks
Flag this post
Dive into Systems
diveintosystems.org·2d·
Discuss: Hacker News
🐛Vulnerability Research
Flag this post
Lowering in Reverse
buttondown.com·2d·
Discuss: Hacker News
🐛Vulnerability Research
Flag this post
How to Evolve Software for Minimum Disruptions: The Architect's Two Hats
medium.com·8h·
Discuss: Hacker News
📡Side-Channel Attacks
Flag this post
NASA releases robotic / flight app generation tool Ogma under Apache license
github.com·1d·
Discuss: Hacker News
🦀Rust
Flag this post
are-dependent-types-actually-erased
chadnauseam.com·3d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Flag this post
A Claude Code Command for Hypothesis
hypothesis.works·1d·
Discuss: Hacker News
🦀Rust
Flag this post
Show HN: Refusal-Aware Logical Framework for LLMs
github.com·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Flag this post