Prime Portraits
archive.bridgesmathart.orgยท1d
๐Ÿ”—Concatenative Theory
Unearthing Hidden Reliability Risks
semiengineering.comยท1d
๐Ÿš‚Error Propagation
Unforgettable factory revisited
holyblackcat.github.ioยท1dยท
Discuss: r/cpp
๐Ÿช†Embedded DSLs
Electrician + uni student, looking to build an inverter.
reddit.comยท20hยท
Discuss: r/embedded
๐Ÿ”ŒMicrocontrollers
Announcing coreboot 25.09 release
blogs.coreboot.orgยท6h
๐Ÿ“Šperf Tools
Part 4: Advanced MCP Patterns and Tool Chaining
dev.toยท1dยท
Discuss: DEV
๐Ÿ›ก๏ธCapability VMs
Supercharge your Enterprise BI: How to approach your migration to AI/BI
databricks.comยท9h
๐ŸŽฎLanguage Ergonomics
SE371 - Assignment 1
dev.toยท3hยท
Discuss: DEV
๐Ÿ“šSelf-Documenting Code
On some 2-binomial coefficients of binary words: geometrical interpretation, partitions of integers, and fair words
arxiv.orgยท2d
๐Ÿ”—Category Theory
Enhanced Predictive Maintenance of Geothermal Heat Exchangers via Hybrid Bayesian Optimization and LSTM
dev.toยท1hยท
Discuss: DEV
๐Ÿ”„Subinterpreters
Who Invented the Johnson Decade Counter (and Why)?
eejournal.comยท2dยท
Discuss: Hacker News
๐Ÿ“ฑBytecode Design
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.orgยท1d
ฮปLambda Calculus
TaTToo: Tool-Grounded Thinking PRM for Test-Time Scaling in Tabular Reasoning
arxiv.orgยท3d
๐ŸŽญRacket
ReasonScape Evaluation: AI21 Jamba Reasoning vs Qwen3 4B vs Qwen3 4B 2507
reddit.comยท1dยท
Discuss: r/LocalLLaMA
๐ŸLanguage Benchmarks
Complex networks-based anomaly detection for financial transactions in anti-money laundering
sciencedirect.comยท2d
๐Ÿ”„Tail Call Analysis
Patina project โ€“ a Rust implementation of UEFI firmware
github.comยท23hยท
Discuss: Hacker News
๐Ÿš‚Cranelift Backend
How many is too many lights and how do you handle them?
reddit.comยท2hยท
Discuss: r/godot
๐Ÿ”—Lexical Scoping
Internal short circuit diagnosis of lithium-ion battery packs considering incomplete charging under cell inconsistencies
sciencedirect.comยท12h
๐Ÿ”ฎBranch Predictors
Programmer in Wonderland
binaryigor.comยท1dยท
Discuss: Hacker News
๐Ÿ“šSelf-Documenting Code
Creating Real-Time Multimodal AI Pipelines: Scaling File Processing to 50M Daily Uploads
engineering.salesforce.comยท6h
๐ŸŽฎLanguage Ergonomics