Domain-Specific Languages, Language Design, Compilers, Interpreters

The Standard Model – Part 3
johncarlosbaez.wordpress.com·15h·
Discuss: Hacker News
🧮Z3
Flag this post
Entities enabling scientific fraud at scale are large, resilient growing rapidly
pnas.org·7h·
Discuss: Hacker News
🕸️Graph Theory
Flag this post
Async QUIC and HTTP/3 made easy: Tokio-quiche is now open-source
blog.cloudflare.com·4d·
Discuss: Hacker News
🌐Network Protocols
Flag this post
Garbage In, Garbage Out: The Case for Better Robot Data Understanding
huggingface.co·17h·
Discuss: Hacker News
🤖Robotics
Flag this post
Magika 1.0: now faster, smarter, and rebuilt in Rust
opensource.googleblog.com·4d·
🔧Unikernel Development
Flag this post
oneDNN 3.10 Continues Preparing For Future Intel CPUs With AVX 10.2
phoronix.com·2d
🔧Unikernel Development
Flag this post
7 Steps to Mastering Data Storytelling for Business Impact
kdnuggets.com·11h
🕸️Graph Theory
Flag this post
Predicting Cognitive Assessment Scores in Older Adults with Cognitive Impairment Using Wearable Sensors
arxiv.org·21h
📚Automata Learning
Flag this post
Designing Hierarchical Exploratory Experiences for Ethnic Costumes: A Cultural Gene-Based Perspective
arxiv.org·21h
🔲Cellular Automata
Flag this post
Go Concurrent Maps: From Bottlenecks to High-Performance Sharded Solutions That Scale
dev.to·2d·
Discuss: DEV
🏃Escape Analysis
Flag this post
Consciousness as a Distributed Ponzi Scheme
lesswrong.com·6h
🔲Cellular Automata
Flag this post
Smart Chips, Steady Power: Boosting AI Performance with Voltage Drop Prediction
dev.to·1d·
Discuss: DEV
🐫Embedded OCaml
Flag this post
Security Audit of intel ICE Driver for e810 Network Interface Card
arxiv.org·5d
🛡️seL4
Flag this post
From DevOps to Developer Advocacy: Finding My Path in the Age of AI
dev.to·4d·
Discuss: DEV
🔧DevOps
Flag this post
Tech With Tim: Learn Fast API With This ONE Project
dev.to·1d·
Discuss: DEV
🔌APIs
Flag this post
15 Prompt Engineering Techniques
dev.to·13h·
Discuss: DEV
Automated Theorem Proving
Flag this post
DIY Server Cabinet
reddit.com·7h·
Discuss: r/homelab
🏠HomeLab
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·2d·
Discuss: DEV
🔧DevOps
Flag this post
Rethinking Vibe Coding: A Skeptic's Field Notes
dev.to·5d·
Discuss: DEV
🤖Program Synthesis
Flag this post