Code legacy: Analyzing Erlang's C and C++ modules
pvs-studio.com·3d·
Discuss: Hacker News
📐Hoare Logic
Flag this post
Even Numbers Are Tautologies
risingentropy.com·4d·
Discuss: Hacker News
📝Term Rewriting
Flag this post
Readable Code Is Unreadable
blog.wilsonb.com·6d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Why Prompt Engineering Made Me Reach for JSX
chatbotkit.com·3d·
Discuss: Hacker News
🔧ppx
Flag this post
Driving TFEL with RP2040: Offloading the CPU step by step (2021)
zephray.me·2d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
Why Code Execution is Eating Tool Registries
levelup.gitconnected.com·4d·
Discuss: r/programming
🔧ppx
Flag this post
Synthetic Socrates, Teaching Assistant
jimmyalfonsolicon.substack.com·19h·
Discuss: Substack
🎯Complexity Classes
Flag this post
For devs/engineers naysaying LLM tools, which ones have you tried?
news.ycombinator.com·10h·
Discuss: Hacker News
🔧DevOps
Flag this post
£11k UK GPU workstation sanity-check/guidance
reddit.com·1d·
Discuss: r/homelab
🔀OCaml Multicore
Flag this post
Dynamic instantiation pattern for 100+ message types?
reddit.com·23h·
Discuss: r/golang
🌐Network Protocols
Flag this post
AWS Weekly Roundup: Amazon S3, Amazon EC2, and more (November 10, 2025)
aws.amazon.com·13h
🖥️Self-hosted Infrastructure
Flag this post
Sentence Transformers for Natural Language Voice Assistants
dev.to·17h·
Discuss: DEV
📚Automata Learning
Flag this post
[D] ML Pipelines completely in Notebooks within Databricks, thoughts?
reddit.com·17h·
Discuss: r/MachineLearning
🧮Z3 Solver
Flag this post
Steve. Cursor for Minecraft
github.com·8h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Google-MedGemma Based Abnormality Detection in Musculoskeletal radiographs
arxiv.org·1h
🔀Brzozowski Derivatives
Flag this post
Real-Time Bundle Adjustment for Ultra-High-Resolution UAV Imagery Using Adaptive Patch-Based Feature Tracking
arxiv.org·1h
👁️Observability
Flag this post
Enhanced Silicon Nanoparticle Synthesis via Dynamic Feedback-Controlled Microfluidic Reactors
dev.to·2d·
Discuss: DEV
🔧Microcontrollers
Flag this post
Puzzleet: Turning Algorithm Practice into a Playground for Logical Gaming
dev.to·3d·
Discuss: DEV
🎮Verification Games
Flag this post
🐯 Tiger MCP Blew My Mind – Here's the Visual Layer I'm Building to Complete It 😇
dev.to·1d·
Discuss: DEV
💻Apple Virtualization
Flag this post
n-ary Huffman coding
lesswrong.com·2d
🕸️Graph Theory
Flag this post