Type Theory, Lambda Calculus, Semantics, Compiler Design

BitNetMCU with CNN: >99.5% MNIST accuracy on a low-end Microcontroller
cpldcpu.com·22h
🤖AI
Flag this post
Meta Omnilingual ASR: Advancing Automatic Speech Recognition for 1600 Languages
ai.meta.com·1h·
🐫Ocaml
Flag this post
FTC’s AI chatbot crackdown: A developer compliance guide
blog.logrocket.com·5h
🤖AI
Flag this post
Automate changelogs, versioning, and publishing with Sampo
goulven-clech.dev·1d·
Discuss: Hacker News
🔍Static Analysis
Flag this post
Good Evening November 9
blog.preahs.com·15h
🐫Ocaml
Flag this post
Monday 10 November, 2025
memex.naughtons.org·1h
🤖AI
Flag this post
Risky Bulletin: Yanluowang ransomware IAB pleads guilty
news.risky.biz·17h
🔍Static Analysis
Flag this post
Once upon a time this blog was powered by make
refp.se·3d·
Discuss: Hacker News
🪜Scala
Flag this post
Reconstructing Ancient Population Bottlenecks via Bayesian Phylogeographic Inference of Y-chromosome Haplogroups
dev.to·20h·
Discuss: DEV
🪜Scala
Flag this post
Dynamic instantiation pattern for 100+ message types?
reddit.com·13h·
Discuss: r/golang
🔍Static Analysis
Flag this post
kserve/kserve
github.com·18h
🤖AI
Flag this post
Dynamic Reporter Gene Expression Profiling via Multi-Modal Data Fusion & Causal Inference
dev.to·11h·
Discuss: DEV
📐formal specification
Flag this post
DevMind - AI-Powered Developer Second Brain
dev.to·15h·
Discuss: DEV
🤖AI
Flag this post
Variations on a Theme of Krylov
arxiv.org·3d
🔄Concurrency Models
Flag this post
TabGemma: Text-Based Tabular ICL via LLM using Continued Pretraining and Retrieval
arxiv.org·4d
🐫Ocaml
Flag this post
TwIST: Rigging the Lottery in Transformers with Independent Subnetwork Training
arxiv.org·3d
🪜Scala
Flag this post
InfiMed-ORBIT: Aligning LLMs on Open-Ended Complex Tasks via Rubric-BasedIncremental Training
paperium.net·1d·
Discuss: DEV
📐formal specification
Flag this post
Unlocking List Understanding: The AI's Next Frontier
dev.to·2d·
Discuss: DEV
🤖AI
Flag this post
How was your experience upgrading to JDK25?
reddit.com·18h·
Discuss: r/java
🔍Static Analysis
Flag this post
AI Isn’t Alchemy: Not Mystical, Just Messy
dev.to·1d·
Discuss: DEV
📐formal specification
Flag this post