Free PLTL algebras and a coalgebraic extension of hyperdoctrines
topos.institute·1d
🧮Algebraic Archives
How I provide technical clarity to non-technical leaders
seangoedecke.com·1d
⚙️Proof Engineering
In Silicon Valley, pure capitalism rules again
the-decoder.com·1h
🧲Magnetic Philosophy
[D] Presenting NeurIPS paper at EurIPS
reddit.com·5h·
Discuss: r/MachineLearning
⚙Backus-Naur Form
Hacking a Game Boy Emulator to Output MIDI to Multiple Hardware Synths
dr-schlange.github.io·1d·
Discuss: Hacker News
🎮Gameboy Emulation
Prediction: The Successor to Postmodernism
a16z.substack.com·2d·
Discuss: Substack
🌍Cultural Algorithms
Trafo-Haus Travemünder Allee in Lübeck, Germany
atlasobscura.com·2d
🏗️Swedish Architecture
Gear News of the Week: Intel’s New Chips Arrive, and Apple May Debut iPads and MacBooks This Month
wired.com·2d
🖥️Modern Terminals
Fears over AI bubble bursting grow in Silicon Valley
bbc.com·2d·
Discuss: Hacker News, r/news
🖥️Modern Terminals
From idea to impact: Why AI strategy matters more than ever
dev.to·9h·
Discuss: DEV
🌍Cultural Algorithms
Been learning Go for the past couple of months. I built this fun project - tview, a terminal tool to visualize your folder structure as a tree
reddit.com·20h·
Discuss: r/golang
⌨️Terminal Customization
Beyond Single-Granularity Prompts: A Multi-Scale Chain-of-Thought Prompt Learning for Graph
arxiv.org·12h
🔢Denotational Semantics
DPCformer: An Interpretable Deep Learning Model for Genomic Prediction in Crops
arxiv.org·12h
🧠Machine Learning
Digital Euro: Drive for Sovereignty and a "Slippery Fish" in the EU Parliament
heise.de·3h
🎫Kerberos Attacks
Code Deconstruction: The Counting Lambda
dev.to·1d·
Discuss: DEV
⬆️Lambda Lifting
Sparse components distinguish visual pathways & their alignment to neural networks
arxiv.org·12h
🧠Neural Codecs
How I Stopped Fighting My AI Code Assistant and Started Building Better Software
dev.to·6h·
Discuss: DEV
📏Code Metrics
MRMR: A Realistic and Expert-Level Multidisciplinary Benchmark for Reasoning-Intensive Multimodal Retrieval
arxiv.org·12h
🔍Information Retrieval
COMPASS: Enhancing Agent Long-Horizon Reasoning with Evolving Context
arxiv.org·12h
🔲Cellular Automata
A Casio Toy Synth Is Ready To ROCK!
hackaday.com·1d
🎵Gameboy Sound