Non-recursively deleting a binary tree in constant space: Synthesizing the parent pointer
devblogs.microsoft.comยท7h
๐Ÿง Memory Management
Flag this post
Microsoft siktar bortom AI โ€“ vill ta fram superintelligens
omni.seยท6h
๐ŸŽฒProbabilistic Programming
Flag this post
Beyond Lorentzian Noise: Phonon-Scattering Signatures in Carbon Nanotubes
jpsht.jps.jpยท1d
๐ŸงซCellular Automata
Flag this post
George Boole, Boolean Logic and Computing
i-programmer.infoยท4d
๐Ÿ’ญProlog
Flag this post
Tetrahedral analog of the Pythagorean theorem
johndcook.comยท3dยท
Discuss: Hacker News
๐ŸงซCellular Automata
Flag this post
Building a Custom Calendar Generator with React/Next.js
calendar-vibe.comยท20hยท
Discuss: DEV
๐ŸŽฒProbabilistic Programming
Flag this post
Flat quasicrystalline tilings in terms of density wave approach
journals.aps.orgยท20h
๐ŸงซCellular Automata
Flag this post
[P] triplet-extract: GPU-accelerated triplet extraction via Stanford OpenIE in pure Python
reddit.comยท2dยท
๐Ÿ”—Parser Combinators
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.orgยท4dยท
Discuss: Hacker News
๐Ÿ”—Parser Combinators
Flag this post
I Use AI
ben.stolovitz.comยท2dยท
Discuss: Hacker News
๐ŸงฉTheorem Proving
Flag this post
MONGODB IN ACTION : BUILDING A SMART STUDENT DATABASE WITH CRUD OPERATIONS
dev.toยท8hยท
Discuss: DEV
๐Ÿ—„๏ธDatabase Theory
Flag this post
HYPE UP THE PSYOP! HYPE UP THE PSYOP! HYPE UP THE PSYOP! DANCE! DANCE!
threadreaderapp.comยท3h
๐ŸคProtocol Design
Flag this post
Beyond Citations: Measuring Idea-level Knowledge Diffusion from Research to Journalism and Policy-making
arxiv.orgยท17h
๐Ÿ“ŠInformation Theory
Flag this post
Spring AI RAG, Demystified: From Toy Demos to Production-Grade Retrieval
dev.toยท22hยท
Discuss: DEV
๐Ÿ”—Parser Combinators
Flag this post
Formal Verificationโ€™s Value Grows
semiengineering.comยท1d
๐ŸงฉTheorem Proving
Flag this post
PROPEX-RAG: Enhanced GraphRAG using Prompt-Driven Prompt Execution
arxiv.orgยท2d
๐ŸŽฒProbabilistic Programming
Flag this post
Variational Geometric Information Bottleneck: Learning the Shape of Understanding
arxiv.orgยท1d
๐Ÿ“ŠInformation Theory
Flag this post
Natural Building Blocks for Structured World Models: Theory, Evidence, and Scaling
arxiv.orgยท1d
๐ŸŽฒProbabilistic Programming
Flag this post
BRAINS: A Retrieval-Augmented System for Alzheimer's Detection and Monitoring
arxiv.orgยท1d
๐Ÿ”—Parser Combinators
Flag this post