๐Ÿช MinCaml

Educational Compiler, ML Implementation, Minimal Design, Functional Backend

Feeds to Scour
SubscribedAll
Scoured 83014 posts in 655.0 ms
Build a Compiler in Five Projects
kmicinski.comยท4h
๐ŸŽญRacket Modules
Why Large Language Models Make Terrible Compilers โ€” And Why the Industry Keeps Trying Anyway
webpronews.comยท12h
๐Ÿ—๏ธLLVM
Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction
arxiv.orgยท1d
๐Ÿ“PEG Parsing
ML-LIB: Machine Learning Library Proposed For The Linux Kernel
phoronix.comยท18hยท
Discuss: Hacker News
๐ŸŒฑMinimal ML
ChatGPT vs. Logic: Why AI Code is Slower
dev.toยท18hยท
Discuss: DEV
โšกInterpreter Optimization
feldera/feldera: The Feldera Incremental Computation Engine
github.comยท4h
๐Ÿš‚Cranelift IR
StatLLM: A Dataset for Evaluating the Performance of Large Language Models in Statistical Analysis
nature.comยท1d
๐Ÿ“ŠLR Parsing
A Quick Introduction to OxCaml
noelwelsh.comยท3dยท
Discuss: Hacker News
๐ŸชOCaml
impl Rust: Avro IDL tool in Rust via ANTLR
youtube.comยท15h
โš™๏ธTOML Parsers
Building a battle tested C compiler in a new language using Codex
moonbitlang.comยท1dยท
Discuss: Hacker News
๐Ÿ”„Bootstrapping
Railway Oriented Programming
fsharpforfunandprofit.comยท22hยท
Discuss: Hacker News
๐Ÿš‚Error Monads
Time-LLM and the AI Chatbot
timesofindia.indiatimes.comยท7h
๐ŸชœRecursive Descent
Let Lambda Come Over
yamlscript.orgยท8h
ฮปLambda Calculus
From Turbo Pascal to TypeScript: Anders Hejlsberg on Language Design, Scale, and AI
dev.toยท8hยท
Discuss: DEV
๐ŸŒˆGradual Languages
Hello Edge: Keyword Spotting on Microcontrollers
paperium.netยท17hยท
Discuss: DEV
๐Ÿ”ŒMicrocontrollers
Zinc Language Design
ziggit.devยท5h
๐Ÿ”งNickel
**Abstract:** This paper introduces a novel framework, Automated Protocol Verification and Optimization via Multi-Modal Data Fusion and Recursive HyperScore ...
freederia.comยท1d
๐Ÿ’“Live Variable Analysis
Automatic Programming Returns
cyber-omelette.comยท11hยท
Discuss: Hacker News, r/programming
๐ŸŽญProgram Synthesis
LLMs could be, but shouldn't be compilers
alperenkeles.comยท1dยท
Discuss: Lobsters, Hacker News
๐ŸŒฑMinimal Languages
Sixteen Claude AI agents working together created a new C compiler
arstechnica.comยท14h
๐ŸŽญProgram Synthesis

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help