Cactus Language • Semantics 3
inquiryintoinquiry.com·16h
🔢Denotational Semantics
An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🧮Z3 Solver
A Story About Bypassing Air Canada's In-Flight Network Restrictions
ramsayleung.github.io·1d·
Discuss: Hacker News, r/programming
🌐DNS over QUIC
North Korea’s Contagious Interview Campaign Escalates: 338 Malicious npm Packages, 50,000 Downloads
socket.dev·14h·
Discuss: Hacker News
🚀Indie Hacking
A gentle introduction to Generative AI: Historical perspective
medium.com·6h·
Discuss: Hacker News
🧠Learned Codecs
Item Patterns and Struct Await
noratrieb.dev·1d·
Discuss: Hacker News
🦀Rust Macros
Haskell Weekly Issue 493
haskellweekly.news·1d·
Discuss: Hacker News
🧬Functional Programming
SLip - An aspiring Common Lisp environment in the browser.
lisperator.net·18h·
Discuss: r/programming
🧠Lisp Dialects
Leveraging Large Language Models for Cybersecurity Risk Assessment -- A Case from Forestry Cyber-Physical Systems
arxiv.org·2d
🛡Cybersecurity
The Porcelain to Come
stackdiver.com·9h·
Discuss: Hacker News
🔲Cellular Automata
Devoxx: MCP in the Wild: Real Time Agentic Systems with Live AB Testing by Arun Gupta
dev.to·2d·
Discuss: DEV
🌐Protocol Synthesis
Effective and Stealthy One-Shot Jailbreaks on Deployed Mobile Vision-Language Agents
arxiv.org·1d
🕵️Vector Smuggling
Show HN: Real-time Docker event watcher with multi-channel notifications
github.com·1d·
Discuss: Hacker News
⚡gRPC
The 'Why' Algorithm: Building AI That Learns to Ask Questions
dev.to·1h·
Discuss: DEV
🤖AI Curation
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·12h·
Discuss: Hacker News
🔗Concatenative Programming
Operable Software
ferd.ca·18h·
Discuss: Hacker News
👁️System Observability
Estimating Fair Graphs from Graph-Stationary Data
arxiv.org·1d
🌈Spectral Methods
This Week in Security: ID Breaches, Code Smell, and Poetic Flows
hackaday.com·17h
🔓Hacking
Which Heads Matter for Reasoning? RL-Guided KV Cache Compression
arxiv.org·1d
📼Cassette Combinators
Building a Task Management MCP Server with Laravel
dev.to·14h·
Discuss: DEV
🔗Constraint Handling