SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
dl.acm.org·1d·
Discuss: Hacker News
λFunctional Programming
Flag this post
The Department Of Defense Wants Less Proof Its Software Works
techdirt.com·10h
💣Binary Exploitation
Flag this post
[$] Bootc for workstation use
lwn.net·17h
💣Binary Exploitation
Flag this post
Myers Diff for Tab Management: Part 2
deontevanterpool.com·2d·
Discuss: Hacker News
🗺️Graph Algorithms
Flag this post
A QOJ week
blog.mitrichev.ch·2d·
Discuss: blog.mitrichev.ch
⏱️Computational Complexity
Flag this post
MoorTech
tomasbjartur.bearblog.dev·19h
💣Binary Exploitation
Flag this post
NumPy for Absolute Beginners: A Project-Based Approach to Data Analysis
towardsdatascience.com·3d
🔢Numerical Methods
Flag this post
Making Hosted Control Planes possible with Talos
youtube.com·17h
🏗️Design Patterns
Flag this post
Ask HN: I know how to build it, now I want to break it
news.ycombinator.com·2h·
Discuss: Hacker News
💣Binary Exploitation
Flag this post
ArahiAI – A no-code platform for building AI agents that take real actions
news.ycombinator.com·2h·
Discuss: Hacker News
λFunctional Programming
Flag this post
Jsonpat - a go library for unmarshaling JSON with dynamic keys.
reddit.com·19h·
Discuss: r/golang
λFunctional Programming
Flag this post
just-every/code v0.4.11
github.com·11h
💣Binary Exploitation
Flag this post
Effective 2DTile destruction methods in Godot
reddit.com·12h·
Discuss: r/godot
🎨Computer Graphics
Flag this post
Internship Technical Interview Advice
reddit.com·1d·
Discuss: r/embedded
🏗️Design Patterns
Flag this post
A Guide to the Best Java Machine Learning Libraries
dev.to·1d·
Discuss: DEV
λFunctional Programming
Flag this post
Java vs JavaScript vs Python: Which Is Best for Test Automation?
dev.to·21h·
Discuss: DEV
🔬Static Analysis
Flag this post
How I built a game engine using MVI in Kotlin and avoided getting fired
dev.to·22h·
Discuss: DEV
🏗️Design Patterns
Flag this post
I’m so tired on this AI copilot BS
reddit.com·1d·
Discuss: r/cpp
🔬Static Analysis
Flag this post
I Created an MCP Server and Why I Think MCP is Overrated
dev.to·1d·
Discuss: DEV
🏗️Design Patterns
Flag this post
I've created a leetcode for system design
reddit.com·2d·
Discuss: r/programming
🔬Static Analysis
Flag this post