Do We Really Need Lisp Machines?
irreal.org·1d
🧠Lisp Dialects
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
The Bayesian Approach to Continual Learning: An Overview
arxiv.org·20h
🧠Machine Learning
FSM Library for Embedded C Projects
hackster.io·1d
🦀Embedded Rust
Students, here are 5 key things to know when learning how to train large language models
techradar.com·6h
💻Local LLMs
Sandboxing AI - Extending AI Responsibly
dev.to·10h·
Discuss: DEV
🔒WASM Capabilities
Show HN: Sapient – Agentic Game Development in Unreal Engine (C++, BPs, BTs)
sapientstudio.com·6h·
Discuss: Hacker News
🔲Cellular Automata
What can we expect of LLMs as Software Engineers?
chelseatroy.com·1d
📝Text Parsing
VoTranhAbyssCore: An AI Oracle Mapping the Entropic Pathway to Systemic Collapse
github.com·1d·
Discuss: Hacker News
🔲Cellular Automata
There and Back Again: An AI Career Journey
towardsdatascience.com·1d
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Cactus Language • Stylistics 4
inquiryintoinquiry.com·9h
🌳Context free grammars
The FC/FC Chasm: Why Teaching Programming Still Matters
blog.charliemeyer.co·9h·
Discuss: Hacker News
💻Programming languages
Hierarchical Modeling (H-Nets)
cartesia.ai·4h·
Discuss: Hacker News
🌀Hyperbolic Geometry
The Symbol Grounding Problem (1990)
arxiv.org·2d·
Discuss: Hacker News
🔢Denotational Semantics
Measuring the latency that GIL introduces to Python applications
coroot.com·9h·
Discuss: Hacker News
🔍eBPF
More Layers Unlock 2^N Transformer Context Depth with Divide and Conquer
ml-mike.com·3d·
Discuss: Hacker News
✨Effect Handlers
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
Inheritance over composition, sometimes
death.andgravity.com·17h
🦀Rust Macros
Claude Code Unleashed
ymichael.com·6h·
Discuss: Hacker News
⚡Proof Automation
Huawei's star AI model was built on burnout and plagiarism
the-open-source-ward.ghost.io·1h·
Discuss: Hacker News
🇨🇳Chinese Computing