Mojo: Can It Finally Give Python the Speed of Systems Languages?
ponderwall.com·10h·
Discuss: r/programming
🌳Tree Shaking
Functional correctness -- Haskell-ing your way to reliable code (hackover2024)
cdn.media.ccc.de·9h
⚡functional programming
What can go wrong when using database transactions?
mariadbfordevelopers.com·9h·
Discuss: DEV
🧠Memory Models
Show HN: Scout QA – Vibe testing for vibe coding
scoutqa.ai·1d·
Discuss: Hacker News
🧪Compiler Testing
I reviewed the GMKtec NucBox M6 Ultra - and this mini PC has serious potential for the price
techradar.com·17h
🖥️Minimal VMs
Top 15 DBMS Interview Questions
analyticsvidhya.com·2d
📈Query Optimization
Claude Code sucks but is still useful: experiences maintaining Julia’s SciML scientific computing infrastructure
stochasticlifestyle.com·1d
🌳Tree Shaking
Show HN: Write deep learning code on your laptop and run it instantly on GPUs
aiengineering.academy·1d·
Discuss: Hacker News
🔀SIMD Programming
Building a Command-Line Quiz Application in R
towardsdatascience.com·1d
💬Interactive REPLs
Measuring scaleup for Postgres 18.0 with sysbench
smalldatum.blogspot.com·1d·
Discuss: smalldatum.blogspot.com
⚡Performance
Compressed Convolutional Attention: Efficient Attention in a Compressed Latent Space
arxiv.org·2h
📐Succinct Data Structures
On The Fragility of Benchmark Contamination Detection in Reasoning Models
arxiv.org·1d
✅Type Checking
FocusMed: A Large Language Model-based Framework for Enhancing Medical Question Summarization with Focus Identification
arxiv.org·2h
🔍ML Language
Java Backend Coding Technology: Writing Code in the Era of AI #Version 1.1
dev.to·10h·
Discuss: DEV
🎮Language Ergonomics
ECS Implementation
reddit.com·1d·
Discuss: r/cpp
🤖Embedded Go
AI and Chinese chips
reddit.com·9h·
Discuss: r/buildapc
📱Bytecode Design
Plug-and-play I²C “nodes” with self-identification and (ideally) address translation — does such a chip exist?
reddit.com·21h·
Discuss: r/embedded
💾Allocator Design
Universal homing sensor: A hands-on guide for makers, engineers
edn.com·23h
🌐Portable Assembly
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
arxiv.org·2h
🔍ML Language
Python + EVM without the paper cuts: a senior playbook for fast, correct, and scalable reads
dev.to·9h·
Discuss: DEV
🌐Network Protocols