Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS
podcasts.apple.com·1d·
Discuss: Lobsters, Hacker News
⚙️Proof Engineering
After 30 years PHP still evolving: Team adds pipe operator, considers generics
theregister.com·1h
🔄Language Evolution
Show HN: We built an AI-powered pathology billing system for EHR platforms
curemd.com·17h·
Discuss: Hacker News
🚨Incident Response
Show HN: Built my first proper SaaS and got the first customer
usesaki.com·13h·
Discuss: Hacker News
📊Feed Optimization
Towards a Modern Web Stack
docs.google.com·1d·
Discuss: Hacker News
🌐Web Standards
Fail-Open: Reckless or Resilient?
nextorbit.co·2d·
Discuss: Hacker News
🛡️Error Boundaries
Microsoft is cautiously onboarding Grok 4 following Hitler concerns
theverge.com·18h·
Discuss: Hacker News
🖥️Modern Terminals
[D] In 2025, what is a sufficient methodology to analyze document summaries generated by LLMs? BERTScore, G-Eval, Rogue, etc
reddit.com·10h·
Discuss: r/MachineLearning
🏰Medieval Parsing
GoLang 101: Understanding Polymorphism Through Interfaces
dev.to·19h·
Discuss: DEV
🔤Type Theory
i think i accidentally ddos'd my own database with goroutines
reddit.com·1d·
Discuss: r/golang
🦀Rusty Databases
Automated Phage Cocktail Optimization via Multi-Objective Evolutionary Algorithms & Predictive Microbial Dynamics
dev.to·1d·
Discuss: DEV
🏠Homelab Orchestration
AI Chatbot Development for Banking and Financial Services
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Building Your Own RSS Feed Subscription Management & AI Large Model Reading Workflow with n8n
dev.to·4d·
Discuss: DEV
📰Feed Readers
How I Built a GPT-OSS 120B-Parameter Coding Beast That Reviews, Fixes, and Writes Code Like Magic
dev.to·1d·
Discuss: DEV
🖥️Terminal Renaissance
Python Fundamentals: continue
dev.to·22h·
Discuss: DEV
🔗Lisp
CRAM: Large-scale Video Continual Learning with Bootstrapped Compression
arxiv.org·6h
🧠Learned Codecs
The Singularity Syndicate: Artifacts
hackernoon.com·2d
⏰Time Crystals
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·2d·
Discuss: www.blogger.com
🌳Persistent Data Structures
Dynamic Signage Resilience via Adaptive Reinforcement Learning and Predictive Maintenance
dev.to·1d·
Discuss: DEV
🛡️Error Boundaries
Savaria Corporation (SISXF) Q2 2025 Earnings Call Transcript
seekingalpha.com·5h
🌊Apache Kafka