Type Theory, Lambda Calculus, Semantics, Compiler Design

The Sorrow of Angels
lithub.com·4h
🐫Ocaml
Flag this post
New AI framework can uncover space physics equations in raw data
phys.org·2h
🤖AI
Flag this post
Auto-sizing images in Kitty (if it fits it sits?)
babbagefiles.xyz·1d
🦀Rust
Flag this post
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
mchav.github.io·5d·
Discuss: r/programming
🪜Scala
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·6d·
Discuss: Hacker News
🪜Scala
Flag this post
A Simple Tool for Better Thinking and Less Anxiety
psychologytoday.com·2h
🔍Static Analysis
Flag this post
Hot-Swapping and Microservitization-SPL Reporting
dev.to·6h·
Discuss: DEV
🔍Static Analysis
Flag this post
#165 Design that takes an interest
designlobster.substack.com·2h·
Discuss: Substack
🔍Static Analysis
Flag this post
Big dilemma
reddit.com·2h·
Discuss: r/webdev
🔍Static Analysis
Flag this post
Customizable String Formatter - flexible string formatting with filters pipeline and arguments
reddit.com·1d·
Discuss: r/typescript
🪜Scala
Flag this post
Guidance pls:)
reddit.com·1d·
Discuss: r/embedded
📐formal specification
Flag this post
I completed my first game using Godot 4.3, here's some insight!
reddit.com·22h·
Discuss: r/godot
🤖AI
Flag this post
The Ultimate Guide to Text Annotation Tools: A Simple Explanation
dev.to·2h·
Discuss: DEV
🤖AI
Flag this post
Unlocking List Understanding: The AI's Next Frontier
dev.to·2d·
Discuss: DEV
🤖AI
Flag this post
AI Isn’t Alchemy: Not Mystical, Just Messy
dev.to·22h·
Discuss: DEV
📐formal specification
Flag this post
GroundedPRM: Tree-Guided and Fidelity-Aware Process Reward Modeling forStep-Level Reasoning
paperium.net·2d·
Discuss: DEV
📐formal specification
Flag this post
What's the lowest GPT2 pre-training loss achievable with a 50k vocab on a shoestring budget, say USD250?
reddit.com·23h·
Discuss: r/LocalLLaMA
🐫Ocaml
Flag this post
Early Alzheimer's Disease Detection from Retinal OCT Images: A UK Biobank Study
arxiv.org·9h
🤖AI
Flag this post
What if your app's logic was written in... plain English? A crazy experiment with on-device LLMs!
dev.to·1d·
Discuss: DEV
📐formal specification
Flag this post
Best Free Tools for Remote Developers Working Across Time Zones (2025)
dev.to·49m·
Discuss: DEV
🤖AI
Flag this post