Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.toยท11hยท
Discuss: DEV
๐Ÿ“Code Metrics
BNFGen: A random text generator based on context-free grammars
baturin.orgยท7hยท
Discuss: Hacker News
๐ŸŒณContext free grammars
Amplifying Machine Learning Attacks Through Strategic Compositions
arxiv.orgยท1d
๐ŸŽฏThreat Hunting
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.comยท10hยท
Discuss: Substack
๐Ÿฆ€Rust Macros
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.comยท18h
๐Ÿ“Concrete Syntax
LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.ukยท2d
๐Ÿ’ปProgramming languages
My AI Workflow for Understanding Any Codebase
steipete.meยท14h
โšกProof Automation
Oxford Entrance Exam How Many Distinct Real Solutions
mindyourdecisions.comยท6h
๐Ÿ”ฒCellular Automata
Song recommendations from F# combinators
blog.ploeh.dkยท2d
๐Ÿ”—Functional Compilers
A Standard for Human-Centered Investigation Playbooks
chrissanders.orgยท6h
๐ŸŽฏThreat Hunting
Cactus Language โ€ข Syntax 12
inquiryintoinquiry.comยท9h
๐Ÿ“Concrete Syntax
4 Powerful Applications of IDALib: Headless IDA in Action
hex-rays.comยท1h
๐Ÿ”ฌBinary Analysis
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.orgยท21h
๐Ÿ”—Topological Sorting
Counting with Categories (Part 3)
golem.ph.utexas.eduยท1d
ฮปLambda Formalization
Solving LinkedIn Queens Using Haskell
imiron.ioยท1dยท
Discuss: Lobsters, Hacker News, r/programming
ฮปLambda Formalization
Proving that every program halts
ntietz.comยท3d
๐Ÿ‘‘Isabelle
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.comยท14hยท
Discuss: Hacker News, r/programming
๐Ÿ”—Lisp
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.comยท16hยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.comยท2d
๐ŸŒณArchive Merkle Trees
Learn โ€“ Computer-Aided Instruction on Unix
wolfram.schneider.orgยท1hยท
Discuss: Hacker News
๐Ÿ“ŸTerminal Typography