Bear training week 29 recap
sgillies.net·9h
🔗Topological Sorting
Open Science needs a software revolution: Here’s a blueprint
softwareheritage.org·1d
🔓Open Source Software
GHC Developer Blog: GHC 9.14.1-alpha2 is now available
haskell.org·2d
💧Liquidhaskell
A New Method for Estimating P2P Network Size
eli.sohl.com·1d·
Discuss: Hacker News
📊Count-Min Sketch
Release candidate: Godot 4.5 RC 2
godotengine.org·3d·
Discuss: Hacker News, r/godot
🎮Game Decompilation
Box CEO Aaron Levie on AI’s ‘era of context’
techcrunch.com·2d
🤖Archive Automation
How We Built Our Model-Agnostic Agent for Log Analysis
blog.runreveal.com·3d·
Discuss: Hacker News
🎯Threat Hunting
(Republished from 2021): Your legacy database is outgrowing itself
unstructedtech.com·6d·
Discuss: Hacker News
🦀Rusty Databases
Deliberate Abstraction
entropicthoughts.com·6d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
⚖️Hoare Logic
Warp Embeds AI Agents into a CLI to Provide Better Feedback Loop
devops.com·2d
🏗️Compiler Archaeology
Ethereum Meme Coin Little Pepe Crosses $25M, Announces 15 ETH Giveaway
hackernoon.com·1d
🔍BitFunnel
tinyproxy/tinyproxy
github.com·1d
❄️Nixpkgs
Real-Time AR Furniture Placement Optimization via Dynamic Scene Graph Pruning
dev.to·7h·
Discuss: DEV
📐Projective Geometry
Unlock model insights with log probability support for Amazon Bedrock Custom Model Import
aws.amazon.com·1d
✅Format Verification
ActiveState and RL: Unlocking Software Supply Chain Security
reversinglabs.com·3d
🔗Supply Chain
Adventures in "Continuous AI"
elite-ai-assisted-coding.dev·4d·
Discuss: Hacker News
⚡Proof Automation
Giving LLMs actual memory instead of fake “RAG memory”
reddit.com·1d·
Discuss: r/artificial
💻Local LLMs
How the EU’s Cyber Act Burdens Lone Open Source Developers
thenewstack.io·2d
🔓Open Source Software
Python and JSON: Your Guide to Speaking the Web's Language
dev.to·2d·
Discuss: DEV
📝Concrete Syntax
Unlock Hyper-Efficient Operations: AI Voice Agents as the New Restaurant Revolution
dev.to·7h·
Discuss: DEV
🤖AI Curation