Many Hard Leetcode Problems are Easy Constraint Problems
buttondown.com·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🗃️Database Internals
Nanonext: breaking down language barriers in data science
tidyverse.org·6h·
Discuss: Lobsters, Hacker News
💻Programming languages
Building a shared world with systems we don't understand–what could go wrong?
syntheticauth.ai·8h·
Discuss: Hacker News
🌐Distributed systems
How to Prove False Statements: Practical Attacks on Fiat-Shamir
eprint.iacr.org·2d·
Discuss: Lobsters, Hacker News
🔐Security Patterns
Rust compiler performance survey 2025 results
blog.rust-lang.org·1d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🦀Rust
The Engine to No Engine Journey
md.jtmn.dev·1d·
Discuss: Hacker News
💻Programming languages
An Introduction to XForms
xml.com·2d·
Discuss: Hacker News
💻Programming languages
Using Haskell in Production
agentultra.com·2d·
Discuss: Hacker News
💻Programming languages
Urlref: Website Bookmarking for Handwritten Notes
benjaminhollon.com·12h·
Discuss: Hacker News
💻Programming languages
Collecting my thoughts about notation and user interfaces
interconnected.org·7h·
Discuss: Hacker News
💻Programming languages
Meta-abstraction in the physical and social sciences (2021)
edwardfeser.blogspot.com·4h·
Discuss: Hacker News
📐Formal Methods
Allocations Are a Dependency
clipperhouse.com·1d·
Discuss: Hacker News
🧠Memory Management
Show HN: 5MB Rust binary that runs HuggingFace models (no Python)
github.com·1d·
Discuss: Hacker News
🦀Rust
Procedural Island Generation
brashandplucky.com·5h·
Discuss: Hacker News
⚡SIMD Optimization
1.0 release of the Google Cloud client libraries for Rust
github.com·1d·
Discuss: Hacker News, r/rust
🦀Rust
Demystifying Tensor Parallelism
robotchinwag.com·3d·
Discuss: Hacker News
⚡SIMD Optimization
Shape Checking for Annotated Tensor Names
github.com·23h·
Discuss: Hacker News
💻Programming languages
Creating larger projects with LLM (as a coder)
medium.com·12h·
Discuss: Hacker News
💻Programming languages
humanely dealing with humungus crawlers
flak.tedunangst.com·1d·
Discuss: Lobsters, Hacker News
🏹Apache Arrow
Intel’s E2200 “Mount Morgan” IPU at Hot Chips 2025
chipsandcheese.com·23h·
Discuss: Hacker News
📊Performance Profiling