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ยท
๐Ÿ”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ยท
๐Ÿ”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