ELISA seminar recap : Introduction to Requirements Engineering โ€“ Pete Brink, UL Solutions
elisa.techยท11h
๐Ÿ“‹Formal Verification
Flag this post
Friday 7 November, 2025
memex.naughtons.orgยท7h
๐ŸงฒMagnetic Philosophy
Flag this post
Paradox of rotating turbulence finally tamed with 'hurricane-in-a-lab'
phys.orgยท1d
๐Ÿ”—Tailscale
Flag this post
My fan worked fine, so I gave it WiFi
ellis.codesยท1dยท
Discuss: Hacker News
๐Ÿ”ŒSingle Board PC
Flag this post
A new paradigm for programming: graph oriented programming
kmx.ioยท7hยท
Discuss: Hacker News
๐Ÿ”ฉSystems Programming
Flag this post
We're Counting Birbs Today
counting-stuff.comยท1dยท
Discuss: Hacker News
๐Ÿ“ปHomebrew Protocols
Flag this post
Sounds modify visual perception: New links between hearing and vision in the rodent brain
phys.orgยท11h
๐Ÿ‘‚Psychoacoustics
Flag this post
GEN-0: SoTA 10B+ Foundation Model for Robotics with Harmonic Reasoning
generalistai.comยท2dยท
Discuss: Hacker News
๐Ÿ“ŠLearned Metrics
Flag this post
Absurd Workflows: Durable Execution With Just Postgres
lucumr.pocoo.orgยท4dยท
๐ŸŒŠStreaming Databases
Flag this post
AI's capabilities may be exaggerated by flawed tests, according to new study
nbcnews.comยท16hยท
Discuss: Hacker News
๐Ÿง Intelligence Compression
Flag this post
Conservation and alteration of mammalian striatal interneurons
nature.comยท1d
๐Ÿง Learned Codecs
Flag this post
Pint: Python library that makes units easy
github.comยท1dยท
Discuss: Hacker News
โšกHomebrew CPUs
Flag this post
How to get started with the Gemini 3 Pro Preview
dev.toยท15hยท
Discuss: DEV
๐ŸŒ€Brotli Internals
Flag this post
Online Learning to Rank under Corruption: A Robust Cascading Bandits Approach
arxiv.orgยท1d
๐Ÿง Machine Learning
Flag this post
Beyond Citations: Measuring Idea-level Knowledge Diffusion from Research to Journalism and Policy-making
arxiv.orgยท1d
๐Ÿ“ŠCitation Graphs
Flag this post
Online Energy Storage Arbitrage under Imperfect Predictions: A Conformal Risk-Aware Approach
arxiv.orgยท3d
๐ŸŽฏArithmetic Coding Theory
Flag this post
From Uniform to Adaptive: General Skip-Block Mechanisms for Efficient PDE Neural Operators
arxiv.orgยท3d
๐Ÿง Neural Codecs
Flag this post
Adding New Capability in Existing Scientific Application with LLM Assistance
arxiv.orgยท3d
๐Ÿ”จCompilers
Flag this post