After More Than Three Centuries, a Geometry Problem That Originated with a Royal Bet Is Solved
goodnewsnetwork.orgยท1d
๐Ÿ“ˆComplexity Theory
Flag this post
The most life-changing books, statistically
residualthoughts.substack.comยท21hยท
Discuss: Substack
๐Ÿ”ขMathematical Logic
Flag this post
Depth-first Unary Degree Sequence - Information Camouflage
bruceediger.comยท4d
๐ŸงฎProgramming Language Theory
Flag this post
MIT researchers propose a new model for legible, modular software
news.mit.eduยท4h
๐Ÿ—๏ธSoftware Architecture
Flag this post
Update 0.5.6 - New tutorial system!
godnoken.itch.ioยท8h
๐Ÿ‘Open Source Software
Flag this post
BoxLambda OS Software Architecture, First Draft
epsilon537.github.ioยท1dยท
Discuss: Hacker News
๐Ÿ—Computer Architecture
Flag this post
Generation of antigen-specific paired-chain antibodies using LLMs
sciencedirect.comยท22mยท
Discuss: Hacker News
๐Ÿ“Lisp
Flag this post
The Science of AI Internal State Awareness
responseawareness.substack.comยท2dยท
Discuss: Substack
๐ŸŽฒProbabilistic Programming
Flag this post
Indexing sparse vectors with Turso
turso.techยท1d
๐Ÿ—„๏ธDatabase Theory
Flag this post
The future of LLMs: cognitive core and cartridges?
killerstorm.github.ioยท19hยท
Discuss: Hacker News
๐Ÿ”—Parser Combinators
Flag this post
Emotion Detection From Social Media Posts
arxiv.orgยท12h
๐Ÿ•ธ๏ธGraph Theory
Flag this post
AI and machine learning outside of Python
infoworld.comยท1d
๐Ÿ”—Parser Combinators
Flag this post
Unlocking Logic's Secrets: BoolSkeleton โ€“ Streamlining Boolean Networks for Peak Performance by Arvind Sundararajan
dev.toยท18hยท
Discuss: DEV
๐ŸงญSMT Solvers
Flag this post
Training Convolutional Neural Networks with the Forward-Forward algorithm
arxiv.orgยท1d
๐Ÿ”—Parser Combinators
Flag this post
GeneFlow: Translation of Single-cell Gene Expression to Histopathological Images via Rectified Flow
arxiv.orgยท2d
๐ŸงซCellular Automata
Flag this post
Understanding the Bridge Design Pattern in Go: A Practical Guide
reddit.comยท2hยท
Discuss: r/programming
๐Ÿ—๏ธSoftware Architecture
Flag this post
Optimizing Native Sparse Attention with Latent Attention and Local Global Alternating Strategies
arxiv.orgยท2d
๐Ÿ”—Parser Combinators
Flag this post