Science on a Sphere: Aerosols in the Air
svs.gsfc.nasa.gov·14h·
Discuss: Hacker News
📜Document Physics
GHC Developer Blog: GHC 9.14.1-alpha3 is now available
haskell.org·4d
🔗Functional Compilers
DataWave: General purpose framework for both structured and unstructured data
code.nsa.gov·2d·
Discuss: Hacker News
🌊Streaming Databases
Three gripes about Go modules
jotaen.net·2d·
Discuss: Hacker News
🔓Reverse engineering
Revisiting SailfishOS
geekyschmidt.com·6h·
Discuss: Lobsters, Hacker News
🐧FOSS
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com·4d·
Discuss: Lobsters, Hacker News
🧮Algebraic Datatypes
The Future of AI in Web Development: From Automation to Personalization
maker.forem.com·10h·
Discuss: DEV
📊Feed Optimization
Negatives of Coding with AI
kushgoyal.com·4d·
Discuss: Hacker News
💻Local LLMs
AI-Powered Micro-Robots: Revolutionizing Precision Medicine
dev.to·2h·
Discuss: DEV
🤖AI Curation
Ask r/kubernetes: What are you working on this week?
reddit.com·6h·
Discuss: r/kubernetes
🔩Systems Programming
Enhanced Predictive Maintenance of Geothermal Heat Exchangers via Hybrid Bayesian Optimization and LSTM
dev.to·2d·
Discuss: DEV
💻Local LLMs
Three ways formally verified code can go wrong in practice
buttondown.com·2d·
Discuss: Lobsters, Hacker News
📜Proof Carrying Code
Coding Agent Teams: The Next Frontier in AI-Assisted Software Development
devops.com·4d
⚙️Proof Engineering
Think Natively: Unlocking Multilingual Reasoning with Consistency-Enhanced Reinforcement Learning
arxiv.org·4d
🧮SMT Solvers
Mozart: A Chiplet Ecosystem-Accelerator Codesign Framework for Composable Bespoke Application Specific Integrated Circuits
arxiv.org·12h
🖥️Hardware Architecture
Automated Agent Calibration via Simulated Reality Feedback Loops for Anomaly Mitigation
dev.to·12h·
Discuss: DEV
⚡Incremental Computation
Tech With Tim: How I Would Learn Python Web Development If I Started Over
dev.to·1d·
Discuss: DEV
⚙️Proof Engineering
Rewiring Development in Brain Segmentation: Leveraging Adult Brain Priors for Enhancing Infant MRI Segmentation
arxiv.org·12h
🌀Differential Geometry
🚀 Unlocking Data with Natural Language: Introducing QueryCraftAI
dev.to·8h·
Discuss: DEV
🧮Datalog
Improving Anomaly Detection in Industrial Time Series: The Role of Segmentation and Heterogeneous Ensemble
arxiv.org·12h
🧠Machine Learning