sumi.news
Search
Following
Sign in
← Back to news
Programming
RSS Feed
sumi.news
Programming
Follow
Latest
Thu Nov 27
From Intent to Proof: Dafny Verification for Web Apps
1d
L
Simplifying the build process for vst3-rs
2d
L
Show: Twine - A tool to dynamically trace calls in production Elixir systems
2d
L
How uv got so fast
2d
L
Bitunix Ranked Among the World’s Top 7 Exchanges by Volume in CoinGlass 2025 Report
2d
H
On Metastable Failures and Interactions Between Systems
2d
L
Calibre adds AI 'discussion' feature
2d
L
The Infinite Loop of "Fixing the Build": How to Escape CI/CD Purgatory
2d
H
A Quiet Conversation About Our Year in Code
2d
H
profiling.sampling: Statistical profiler
2d
L
TIL: serde's borrowing can be treacherous
2d
L
How Anonymous Instagram Stories Viewing Changed My Social Media Strategy
2d
H
The HackerNoon Newsletter: The Most Dangerous Person on Your Team is Dave (And He Just Quit) (12/26/2025)
2d
H
[$] An early look at the Graphite 2D graphics editor
2d
W
Play the Monty Hall game
2d
L
Coding Rust With Claude Code and Codex
2d
H
Security updates for Friday
2d
W
Meet the Writer: Two-Time Founder Sam Bhattacharyya on Accidentally Finding Product-Market Fit
2d
H
The Algebra of Loans in Rust
2d
L
Maestro - Desktop AI Agent Command Center (Free/OSS)
2d
L
GNU Mes and the module system
2d
L
I'm a laptop weirdo and that's why I like my new Framework 13
2d
L
Rob Pike Goes Nuclear over GenAI
2d
L
Beautiful reprs
2d
L
What are you doing this weekend?
2d
L
Only 1% of Phase 6 Remains as This $0.035 DeFi Crypto Enters Its Final Accumulation Window
2d
H
Sendspin: Music Experience Protocol
2d
L
Why 100 Percent Test Coverage is Not Possible — Lessons from Testing Banking and Healthcare Systems
2d
H
What I Learned Building a Food Delivery Analytics Tool with AI
2d
H
Tether Is No Longer Just a Stablecoin Company
2d
H
Small Language Models Beat GPT-4 for Our Use Case: 94% Cost Reduction
2d
H
The Architectural Mistake That Turns GTM Platforms Into Unreconcilable Ledgers
2d
H
Measuring True Campaign Uplift in Noisy E-Commerce Data: A Practical Heuristic Approach
2d
H
Adapting to AI: Insights from a Project Manager in Game Development
2d
H
The Moment Your LLM Stops Being an API—and Starts Being Infrastructure
2d
H
Java’s Growing Graveyard: The Old APIs Being Buried—and What Replaced Them
2d
H
How to Start Robotics Without Hardware: Building a Parking Sensor with AI and Wokwi
2d
H
The TechBeat: Can ChatGPT Outperform the Market? Week 18 (12/26/2025)
2d
H
The Workplace as an Ethical Laboratory. Social and Emotional Experience as the Ground of Ethics
2d
H
A Practical Guide to the Saga Pattern in Spring Boot Microservices
2d
H
The Art of Syncing Marketing, PR & Sales to Boost Your KPIs
2d
H
Building the "Spotify Wrapped" of Product Hunt: A 48-Hour Technical Sprint to Map the Maker Economy
2d
H
Groq’s Deterministic Architecture is Rewriting the Physics of AI Inference
2d
H
The Most Dangerous Person on Your Team is "Dave" (And He Just Quit)
2d
H
Writing an NES emulator in Haskell
2d
L
Toward a policy for machine-learning tools in kernel development
2d
L
Ancient Greek geometry
2d
L
Microarchitecture: What Happens Beneath
2d
L
GPT-5.1 Recasts the AI Race Around Predictability
2d
H
Automating What Backblaze Lifecycle Rules Don't Do Instantly
2d
L
More →