Functional correctness -- Haskell-ing your way to reliable code (hackover2024)
cdn.media.ccc.de·16h
⚡functional programming
PS5 Pro can 'technically do path tracing' confirms War Thunder developer
tweaktown.com·1h
🏰Capability Machines
What can go wrong when using database transactions?
mariadbfordevelopers.com·16h·
Discuss: DEV
🧠Memory Models
Experimental Proof: MENT-Flow Achieves Consistency with MENT Solutions for Beam Reconstruction
hackernoon.com·12h
🔄Loop Optimization
Top 15 DBMS Interview Questions
analyticsvidhya.com·2d
📈Query Optimization
I reviewed the GMKtec NucBox M6 Ultra - and this mini PC has serious potential for the price
techradar.com·1d
🖥️Minimal VMs
Show HN: Write deep learning code on your laptop and run it instantly on GPUs
aiengineering.academy·1d·
Discuss: Hacker News
🔀SIMD Programming
SafeTraffic Copilot: adapting large language models for trustworthy traffic safety assessments and decision interventions
nature.com·3h
🪜Recursive Descent
I2C LCD interfacing with Arduino
hackster.io·7h
🤖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·9h
🔢Algebraic Datatypes
Java Backend Coding Technology: Writing Code in the Era of AI #Version 1.1
dev.to·17h·
Discuss: DEV
🎮Language Ergonomics
Building a Command-Line Quiz Application in R
towardsdatascience.com·1d
💬Interactive REPLs
Tech With Tim: Cancel Your AI subscriptions | This All-in-one AI is All You Need (ChatLLM Review)
dev.to·5h·
Discuss: DEV
🎭Program Synthesis
Python + EVM without the paper cuts: a senior playbook for fast, correct, and scalable reads
dev.to·16h·
Discuss: DEV
🌐Network Protocols
Inverse Mixed-Integer Programming: Learning Constraints then Objective Functions
arxiv.org·9h
🧩Constraint Solvers
Perl 🐪 Weekly #741 - Money to TPRF 💰
dev.to·1d·
Discuss: DEV
🔬Nanopasses
Dragon Hatchling: Neural Network That Thinks Like a Brain (and Runs on Your GPU)
medium.com·2h·
Discuss: Hacker News
🏛️Elm Architecture
Binary: The Language That Runs the World (and Your Wi-Fi)
dev.to·2d·
Discuss: DEV
📡Binary Protocols
Keep It on a Leash: Controllable Pseudo-label Generation Towards Realistic Long-Tailed Semi-Supervised Learning
arxiv.org·9h
🔍ML Language