Free PLTL algebras and a coalgebraic extension of hyperdoctrines
topos.institute·1d
🧮Algebraic Archives
Tangara
crowdsupply.com·1d
🗂️Optical Jukebox
Superwall uses WarpStream and ClickHouse to scale subscription monetization
warpstream.com·4h·
Discuss: Hacker News
🌊Streaming Systems
Older men are more likely to pass on disease-causing mutations to their children because of the faster growth of mutant cells in the testes with age
newscientist.com·5d
📜Family History Data
Question related to pointers based on video from Andrew Kelley
reddit.com·7h·
Discuss: r/golang
🧠Separation Logic
Free Software Hasn't Won
dorotac.eu·1d·
Discuss: Lobsters, Hacker News
🔌Operating system internals
Programming in Assembly Is Brutal, Beautiful, and Maybe Even a Path to Better AI
wired.com·20h·
Discuss: Hacker News, r/programming
⚙️Modern Assembly
Show HN: CrossRun – An Open Standard to Make Software Run on Any Platform
github.com·17h·
Discuss: Hacker News, r/opensource
🔓Open Source Software
There is no singularity
gusarich.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Tech News 2025, week 42
diff.wikimedia.org·12h
🏛Wikidata
OSD600: Lab 5
dev.to·3d·
Discuss: DEV
❄️Nix Flakes
Astaroth Trojan abuses GitHub to host configs and evade takedowns
securityaffairs.com·21h
🔍BitFunnel
Intelligent backpropagated neural networks application on Couette-Poiseuille flow of variable viscosity in a composite porous channel filled with an anisotropic...
arxiv.org·1d
🌀Differential Geometry
Newborn babies to be screened for rare genetic disorder
the-independent.com·8h
🔒Privacy Archives
Earth's continents stabilized due to furnace-like heat, study reveals
phys.org·12h
🗝️Paleocryptography
Storage Participation in Electricity Markets: Arbitrage and Ancillary Services
arxiv.org·3h
📈Linear programming
Identifying and Quantifying Financial Bubbles with the Hyped Log-Periodic Power Law Model
arxiv.org·3h
🧠Intelligence Compression
ControlAudio: Tackling Text-Guided, Timing-Indicated and Intelligible Audio Generation via Progressive Diffusion Modeling
arxiv.org·1d
🎙️Whisper
ABLEIST: Intersectional Disability Bias in LLM-Generated Hiring Scenarios
arxiv.org·3h
🌳Context free grammars
Gain Tuning Is Not What You Need: Reward Gain Adaptation for Constrained Locomotion Learning
arxiv.org·3h
🧠Machine Learning