Functional correctness -- Haskell-ing your way to reliable code (hackover2024)
cdn.media.ccc.de·21h
⚡functional programming
What can go wrong when using database transactions?
mariadbfordevelopers.com·21h·
Discuss: DEV
🧠Memory Models
Experimental Proof: MENT-Flow Achieves Consistency with MENT Solutions for Beam Reconstruction
hackernoon.com·17h
🔄Loop Optimization
Top 15 DBMS Interview Questions
analyticsvidhya.com·2d
📈Query Optimization
Show HN: Write deep learning code on your laptop and run it instantly on GPUs
aiengineering.academy·2d·
Discuss: Hacker News
🔀SIMD Programming
SafeTraffic Copilot: adapting large language models for trustworthy traffic safety assessments and decision interventions
nature.com·8h
🪜Recursive Descent
eLearning Code Development With AI: Selecting A Dev Tool
elearningindustry.com·3h
🎮Language Ergonomics
Measuring scaleup for Postgres 18.0 with sysbench
smalldatum.blogspot.com·2d·
Discuss: smalldatum.blogspot.com
⚡Performance
I2C LCD interfacing with Arduino
hackster.io·12h
🤖Embedded Go
Huawei's new open source technique shrinks LLMs to make them run on less powerful, less expensive hardware
venturebeat.com·3d
🔄Binary Translation
Improving S&P 500 Volatility Forecasting through Regime-Switching Methods
arxiv.org·14h
🔢Algebraic Datatypes
Dragon Hatchling: Neural Network That Thinks Like a Brain (and Runs on Your GPU)
medium.com·7h·
Discuss: Hacker News
🏛️Elm Architecture
I reviewed the GMKtec NucBox M6 Ultra - and this mini PC has serious potential for the price
techradar.com·1d
🖥️Minimal VMs
Predictive Modeling of Age-Related Aberrant DNA Methylation Patterns via Multi-Modal Integration
dev.to·8h·
Discuss: DEV
✨Effect Inference
SECA: Semantically Equivalent and Coherent Attacks for Eliciting LLM Hallucinations
arxiv.org·14h
✨Gleam
Operationalizing Data Minimization for Privacy-Preserving LLM Prompting
arxiv.org·14h
🌱Minimal ML
COSMIR: Chain Orchestrated Structured Memory for Iterative Reasoning over Long Context
arxiv.org·14h
🔄Subinterpreters
Precision Inertial Navigation via Multi-Modal Sensor Fusion and Adaptive Kalman Filtering
dev.to·9h·
Discuss: DEV
🌊Loop Invariant Motion
CANOPI: Contingency-Aware Nodal Optimal Power Investments with High Temporal Resolution
arxiv.org·14h
⏲️Embedded GC
What If Life Is Just Another Kind of Computer?
zmescience.com·9h
🏛️Elm Architecture