Prototype Pollution in Python (2023)
blog.abdulrah33m.com·2d·
Discuss: Hacker News
➡️Category Theory
Show HN: Free AI Business Name Generator and Domain Avalibility
namegator.lovable.app·23h·
Discuss: Hacker News
📦Unikernel Systems
The Unseen Cost of Custom Domains: Why Manual SSL Management Is Hurting You
vanitycert.com·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Release candidate: Godot 4.5 RC 2
godotengine.org·2d·
Discuss: Hacker News, r/godot
🎮Verification Games
How We Built Our lakeFS Iceberg Catalog
lakefs.io·6d·
Discuss: Hacker News
💎Refinement Types
Improving Cursor Tab with RL
cursor.com·1d·
Discuss: Hacker News
📚Automata Learning
Belzebub.ai: AI Deception Platform
beelzebub.ai·3d·
Discuss: Hacker News
🖥Self-Hosting
Agent Jido: The Elixir Autonomous Agent Framework
agentjido.xyz·3d·
Discuss: Hacker News
🧱Immutable Infrastructure
UTF-8 as told by Rob Pike
doc.cat-v.org·6h·
Discuss: Hacker News
🐫Embedded OCaml
Can Your Team Pass the Elevator Test? (2007)
blog.codinghorror.com·3d·
Discuss: Hacker News
🧪Property-Based Testing
Effects as Capabilities in Scala
nrinaudo.github.io·3d·
Discuss: Lobsters, Hacker News, r/programming
🏹Effect Systems
Deliberate Abstraction
entropicthoughts.com·5d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🤖Program Synthesis
Vibe Coding vs. Spec-Driven Development
redmonk.com·6d·
Discuss: Hacker News
🤖Program Synthesis
A Rapid Review Regarding the Concept of Legal Requirements in Requirements Engineering
arxiv.org·4d
⚙Operational Semantics
Vibe Coding: The Productivity Boom Hiding Massive Governance Risks
thenewstack.io·3d
🤖Program Synthesis
How to tell your co-workers that they suck at InfoSec and actually get away with it (mrmcd25)
cdn.media.ccc.de·18h
🛡️seL4
Using AI to Augment, Not Automate Your Writing
blog.apiad.net·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Dissecting Batching Effects in GPT Inference
le.qun.ch·1d·
Discuss: Hacker News
📚Automata Learning
Characterizing Fitness Landscape Structures in Prompt Engineering
arxiv.org·4d
🤖Program Synthesis
LavaMoat – tools for sandboxing your dependency graph
github.com·3d·
Discuss: Hacker News
🛡️seL4