gf256's Top FindsLoading...
Towards a Modern Web Stack
docs.google.com·16h·
Discuss: Hacker News
A New Concurrent ML in Guile Scheme
wingolog.org·2d·
Discuss: Hacker News
✅Formal Methods
New Features Everywhere: Launching Version 14.3 of Wolfram Language & Mathematica
writings.stephenwolfram.com·1d·
Discuss: Hacker News
🦀Rust
New Method Is the Fastest Way To Find the Best Routes
quantamagazine.org·18h·
Discuss: Lobsters, Hacker News
Fine-tuning with GPT-OSS and Hugging Face Transformers
cookbook.openai.com·1d·
Discuss: Hacker News
🦀Rust
ECScape: Understanding IAM Privilege Boundaries in Amazon ECS
sweet.security·10h·
Discuss: Hacker News
Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS
podcasts.apple.com·18h·
Discuss: Lobsters, Hacker News
Debugging AMD-Specific Issues with Driver Experiments Tool
asawicki.info·2d·
Discuss: Hacker News
⚡CUDA
Show HN: Rotel – Fast and Efficient OpenTelemetry Collection in Rust
rotel.dev·1d·
Discuss: Hacker News
🦀Rust
No Backdoors. No Kill Switches. No Spyware.
blogs.nvidia.com·1d·
Discuss: Hacker News, r/hardware
⚡CUDA
VPS Evangelism and Building LLM-over-DNS
skeptrune.com·15h·
Discuss: Hacker News
How far can we push AI autonomy in code generation?
martinfowler.com·1d·
Discuss: Hacker News
✅Formal Methods
Show HN: Using DSPy to enrich a dataset of the Nobel laureate network
blog.kuzudb.com·2d·
Discuss: Hacker News
✅Formal Methods
Beta-Relased: OWASP Operational Technology (OT) Top 10
ot.owasp.org·36m·
Discuss: Hacker News
Minimize AI hallucinations and deliver up to 99% verification accuracy with Automated Reasoning checks: Now available
aws.amazon.com·17h·
Discuss: Hacker News
Cross-Entropy. Intuition and Applications
hclimente.eu·8h·
Discuss: Hacker News
The machines shouldn't be learning Python
ahmedsaoudi.com·10h·
Discuss: Hacker News
I Spent $500 To Test Devin For Prompt Injection So That You Don't Have To
embracethered.com·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
TC39 Advances 11 Proposals for Math Precision, Binary APIs, and More
socket.dev·1d·
Discuss: Hacker News
Show HN: Elf0 – Build and run AI agent workflows in YAML (CLI)
elf0.com·1d·
Discuss: Hacker News
✅Formal Methods