Swift Development in Emacs
irreal.org·19h
🧮Hindley-Milner
Flag this post
CTD when pressing a key in title screen
pastebin.com·13h·
Discuss: r/skyrimmods
🏗Datastructures
Flag this post
Porting Lean to the ESP32-C3 RISC-V Microcontroller
kuruczgy.com·4d·
Discuss: Lobsters, Hacker News
🏗Datastructures
Flag this post
A Guide to Solveit Features
fast.ai·2d
🧮Algorithms
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·4d
🧮Hindley-Milner
Flag this post
glacier-creative-git/knowledge-graph-traversal-semantic-rag-research: Completed research on semantic retrieval augmented generation through novel knowledge grap...
github.com·6h
🧮Algorithms
Flag this post
AI makes JavaScript programming fun again
infoworld.com·2d
🏗Datastructures
Flag this post
Prog8
github.com·4d·
Discuss: Hacker News
🏗Datastructures
Flag this post
Help me understand why the print! is executing after taking the input.
reddit.com·1d·
Discuss: r/rust
🏗Datastructures
Flag this post
Rasterizer Project - Part: BASIC_END
dev.to·1d·
Discuss: DEV
🏗Datastructures
Flag this post
Web Developer Travis McCracken on Building Dev Tools for Backend Engineers
dev.to·2d·
Discuss: DEV
🧮Hindley-Milner
Flag this post
Facade Pattern — Catalog of Enterprise Application Architecture Patterns 🏢
dev.to·2d·
Discuss: DEV
🏗Datastructures
Flag this post
Learning SQL: The Language Behind Your Data
dev.to·2h·
Discuss: DEV
🗄Databases
Flag this post
Are Your Python Fundamentals as Solid as You Think?
dev.to·1d·
Discuss: DEV
🧮Algorithms
Flag this post
Building a Decision-Making CLI Tool in Rust: "should-i"
dev.to·3h·
Discuss: DEV
🧮Hindley-Milner
Flag this post
Building Better State Machines in Modern C++: CXXStateTree
dev.to·1d·
Discuss: DEV
🏗Datastructures
Flag this post
The Curved Spacetime of Transformer Architectures
arxiv.org·3d·
Discuss: Hacker News
🧮Hindley-Milner
Flag this post
Meeting Minutes That Don't Suck: A Developer's Guide to AI Documentation
dev.to·1d·
Discuss: DEV
🗂️Columnar Storage
Flag this post
Show HN: React Prompt Kit
github.com·1d·
Discuss: Hacker News
🏗Datastructures
Flag this post
AI's Blind Spot: Why Language Identification is Harder Than You Think by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🧮Algorithms
Flag this post