Request for proposals: production firm for RightsCon 2026
rightscon.org·2h
📋PREMIS Events
InfoComm 2025: ‘Optimism was in the air and AI on all lips’
madcornishprojectionist.co.uk·1h
⏱️SMPTE Timecode
ACNS 2025: Bridging Privacy and Regulation in Cryptocurrencies
esat.kuleuven.be·14h
🔗Hash Chains
Issue 478
haskellweekly.news·3d
🔗Functional Compilers
Reflections on agentic coding: Magic or Mirage
async-let.com·8h·
Discuss: Hacker News
⚡Proof Automation
Next Generation of Red Teaming for LLM Agents
promptfoo.dev·3d·
Discuss: Hacker News
⚡Proof Automation
🗽 Longest Harmonious Subsequence LeetCode 594 (C++ | JavaScript | Python )
dev.to·8h·
Discuss: DEV
⛪Church Encoding
I Built a Simple SQL Injection Test Tool (and Broke My Own Site in the Process 😅)
dev.to·1d·
Discuss: DEV
🐛Fuzzing
Ask HN: MCP vs. Browser-Based Agents
news.ycombinator.com·1h·
Discuss: Hacker News
🔌Interface Evolution
10 MERN Stack Projects You Should Build
dev.to·2d·
Discuss: DEV
🔃Feed Algorithms
2 Week Of : “Spark” Project
dev.to·16h·
Discuss: DEV
🐚Shell Calculus
Making AI Models Accessible Anywhere :: Scaling AI Traffic with Envoy AI Gateway
dev.to·1d·
Discuss: DEV
🏠Homelab Orchestration
SUTRA: Decoupling Concept & Language for Multilingual LLM Excellence
hackernoon.com·4d
💻Local LLMs
LLMs Are Faking Neutrality—And We Can Now Measure It
hackernoon.com·4d
📝Concrete Syntax
Define-ML: An Approach to Ideate Machine Learning-Enabled Systems
arxiv.org·4d
🧠Machine Learning
Why I Like Go
dev.to·1d·
Discuss: DEV
🌐Protocol Synthesis
Claude Code Requirements Builder
github.com·2d·
Discuss: Hacker News
⚡Proof Automation
Claude Code was stuck without gdb, so I installed it midway and it got happy
dev.to·3h·
Discuss: DEV
📜Proof Carrying Code
The Furones Algorithm
dev.to·2d·
Discuss: DEV
🕸️Graph Algorithms
MURF AI Hackathon
dev.to·18h·
Discuss: DEV
🎙️Whisper