Help setting up SPI on ATTiny44
robotics.hobbizine.com·10h·
Discuss: r/embedded
🌉Language Bindings
A Software Analogy
atharvaraykar.com·19h·
Discuss: Hacker News
💫Effect Systems
The eBPF Verifier – How Linux Safely Runs User Code in Kernel Space
qpoint.io·2d·
Discuss: Hacker News
⚡Zig
How we automated accessibility compliance in five hours with GitHub Copilot
github.blog·17h
🛡️Error Ergonomics
PIPER Robotic Arm - Fixed Position Recording & Replay
hackster.io·3d
💬Interactive REPLs
A Pipeline Approach to Language Migrations
infoq.com·1d·
Discuss: Hacker News
🚚Code Migration
Meet Mira Murati, the 36-year-old tech prodigy who shot to fame at OpenAI and now runs a startup that’s a poaching target for Mark Zuckerberg
fortune.com·2h
🎭Program Synthesis
solveit
producthunt.com·14h
🎭Program Synthesis
On the new test-time compute inference paradigm (Long post but worth it)
reddit.com·10h·
Discuss: r/LocalLLaMA
🎭Program Synthesis
Is AI About to Write Your Emails? Demystifying Generative AI for Beginners
dev.to·2h·
Discuss: DEV
🎭Program Synthesis
A Guide to Securely Exposing Ollama on Colab via Pinggy
dev.to·6h·
Discuss: DEV
🌙Lua
Human-Robo-advisor collaboration in decision-making: Evidence from a multiphase mixed methods experimental study
arxiv.org·8h
🎭Racket
DeMuon: A Decentralized Muon for Matrix Optimization over Graphs
arxiv.org·8h
🧩Constraint Solvers
Fine-Tuning Masked Diffusion for Provable Self-Correction
arxiv.org·8h
✨Gleam
Rendering in Gin: Modularity, Extensibility, and Diagram Insights
dev.to·19h·
Discuss: DEV
✨Gleam
Diffusion Transformers for Imputation: Statistical Efficiency and Uncertainty Quantification
arxiv.org·8h
⚖️Weighted Automata
Self-Supervised Representation Learning as Mutual Information Maximization
arxiv.org·8h
🪜Recursive Descent
Correct Reasoning Paths Visit Shared Decision Pivots
arxiv.org·4d
🧮Theorem Provers
An Experiment with AI Assisted Web Development
dev.to·3d·
Discuss: DEV
⚡Live Coding
LLVM Weekly - #300, September 30th 2019
llvmweekly.org·1d
⚙️Compilers