v3.44.1
gitlab.exherbo.org·2h
🔍Reverse Engineering
Flag this post
Modern perspectives in proof theory (2023)
pmc.ncbi.nlm.nih.gov·14h·
Discuss: Hacker News
🔀Parallel Computing
Flag this post
Resolving the Scourge of Java's Checked Exceptions on Its Streams and Lambdas
javajanitorjim.substack.com·12h·
Discuss: Substack
💻Programming
Flag this post
Lean4 Macros for Implementing Custom Quantifiers
jamesoswald.dev·14h·
Discuss: Hacker News
⚙️Compilers
Flag this post
2 Years of ML vs. 1 Month of Prompting
levs.fyi·18h·
Discuss: Hacker News
🚀Performance
Flag this post
Parsing an HTTP Request
mmhaskell.com·48m
🌐Network Protocols
Flag this post
What is BSD? Come to a conference to find out!
bsdly.blogspot.com·2d·
Discuss: bsdly.blogspot.com, Hacker News
🔍Reverse Engineering
Flag this post
Battle-Tested Lessons From 10 Years In A Single Codebase
revelry.co·3d·
Discuss: r/programming
🔍Reverse Engineering
Flag this post
How to Set Up a Laravel Project on Localhost After Cloning From Git
dev.to·3d·
Discuss: DEV
💻Programming
Flag this post
c!n tester – Release Announcement
reddit.com·1d·
Discuss: r/ErgoMechKeyboards
🔍Reverse Engineering
Flag this post
CRA-compliant Grinn Genioboard Edge AI SBC features MediaTek Genio 510 or 700 System-on-module
cnx-software.com·6h
📟Embedded Systems
Flag this post
Show HN: Executable Recipes for Claude, Codex. Or Terraform for AI Flows
github.com·3d·
Discuss: Hacker News
💻Programming
Flag this post
Show HN: Lakekeeper – a fast, lightweight Iceberg REST catalog in Rust
github.com·3d·
Discuss: Hacker News
🧠Memory Management
Flag this post
Alibaba Cloud Labs: Canary Releases with MSE, Kubernetes Log Mastery & Tomcat Session Sharing
dev.to·2d·
Discuss: DEV
🚀Performance
Flag this post
Shifting Gears: What TDD Taught Me About Using AI Assistants
tddbuddy.com·12h·
Discuss: DEV
🔍Reverse Engineering
Flag this post
[$] Bootc for workstation use
lwn.net·2d
🔧Systems Programming
Flag this post
Beginner in learning embedded systems(looking for advice)
reddit.com·19h·
Discuss: r/embedded
📟Embedded Systems
Flag this post
Show HN: AI Coding Agents: Intent-Driven Development Guidelines
github.com·3d·
Discuss: Hacker News
💻Programming
Flag this post
💡 Next-Level Deployments in AWS ECS: Step-by-Step Guide to Linear & Canary Releases 🚀
dev.to·2d·
Discuss: DEV
📟Embedded Systems
Flag this post
Pluralistic Behavior Suite: Stress-Testing Multi-Turn Adherence to Custom Behavioral Policies
arxiv.org·5h
♟️Game Theory
Flag this post