essential spectrum
ncatlab.org·5h
🕸️Algebraic Topology
Flag this post
Defining Types for a Simple HTTP Server
mmhaskell.com·1d
🔧Binary Parsing
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.org·1d·
Discuss: Lobsters
⚖️Verification Calculi
Flag this post
Real-time stock volatility prediction with deep learning on a time-series DB
medium.com·7h·
Discuss: Hacker News
🌊Streaming Databases
Flag this post
Writing a Data Science Book with Quarto (Using Jupyter Notebooks or Pandoc)
blog.stephenturner.us·5h·
Discuss: Hacker News
📡RSS Automation
Flag this post
kadena-io/pact-5
github.com·1d
🔓Open Source Software
Flag this post
Podcast: Lenore Blum: AI Consciousness Is Inevitable
prism-global.com·22h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Playing Around with ARM Assembly
blog.nobaralabs.com·11h·
Discuss: Hacker News
🔩Systems Programming
Flag this post
Enforcing Architecture in an Agent-Driven Codebase
phoebe.work·23h·
Discuss: Hacker News
🔗Topological Sorting
Flag this post
LLM-Driven Cost-Effective Requirements Change Impact Analysis
arxiv.org·10h
🔄Language Evolution
Flag this post
I Benchmarked 3 Go Concurrency Patterns. The "Fastest" One Would Destroy Production
dev.to·9h·
Discuss: DEV
🌊Stream Processing
Flag this post
Contrastive Knowledge Transfer and Robust Optimization for Secure Alignment of Large Language Models
arxiv.org·1d
💻Local LLMs
Flag this post
Math's New Muse: AI as a Reasoning Partner
dev.to·1d·
Discuss: DEV
📐Mathematical Art
Flag this post
Balanced Multimodal Learning via Mutual Information
arxiv.org·10h
📈Mutual Information
Flag this post
LLM Judges aren’t the shortcut you think
softwaredoug.com·2d·
Discuss: Hacker News
🧠Learned Indexing
Flag this post