Patching 68K Software – SimpleText
tinkerdifferent.com·1d·
Discuss: Hacker News
📺Vintage Apple
Flag this post
How to get a character from a codepoint in Spark SQL
prequel.co·1d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Absurd Workflows: Durable Execution With Just Postgres
lucumr.pocoo.org·3d·
Discuss: Lobsters, Hacker News
⚡Process Calculi
Flag this post
How to speed up internal processes
leadinginproduct.com·1d·
Discuss: Hacker News
🎮Verification Games
Flag this post
How to get the GOT address from a PLT stub using GDB
rafaelbeirigo.github.io·3d·
Discuss: Hacker News
⚙️PL Implementation
Flag this post
Why Engineers Can't Be Rational About Programming Languages
spf13.com·2d·
Discuss: Lobsters, Hacker News
🔤Language Design
Flag this post
Is cryptography in Go hard?
reddit.com·7h·
Discuss: r/golang
🔒Protocol Verification
Flag this post
I'm working on a project I've been dreaming about for months and it feels good
news.ycombinator.com·1d·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
Production-Grade Python Logging Made Easier with Loguru
dev.to·23h·
Discuss: DEV
📊Runtime Verification
Flag this post
Think Smaller: The Counterintuitive Path to AI Adoption
oreilly.com·20h
🔧DevOps
Flag this post
From AI to NLP: The Four Phases of Language Understanding
dev.to·12h·
Discuss: DEV
📚Automata Learning
Flag this post
[D] Trajectory Distillation for Foundation Models
reddit.com·23h·
Discuss: r/MachineLearning
🔁Fixpoint Theory
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·2h·
Discuss: DEV
🎯Complexity Classes
Flag this post
Adaptive Phase-Change Material Integration for Edge AI Server Thermal Management
dev.to·3h·
Discuss: DEV
💻QEMU
Flag this post
Wrytix Review
dev.to·1d·
Discuss: DEV
📵Digital Minimalism
Flag this post
A Privacy-First AI Voice Cloning Tool with Local LLMs
dev.to·1d·
Discuss: DEV
🔧ppx
Flag this post
Advanced Fatigue Life Prediction via Hybrid Bayesian Neural Network and Acoustic Emission Correlation
dev.to·1d·
Discuss: DEV
👁️Observability
Flag this post
End-to-End Framework Integrating Generative AI and Deep Reinforcement Learning for Autonomous Ultrasound Scanning
arxiv.org·2d
📚Automata Learning
Flag this post
Python Integration for Scryer Prolog Using FFI (Research Project)
github.com·2d·
Discuss: Hacker News
📦Module Systems
Flag this post
QuantumBench: A Benchmark for Quantum Problem Solving
arxiv.org·2d
🧩SAT Solvers
Flag this post