Concepts vs type traits (via raymii) — discussion

#c++

goal - embeddable scripting array language (via veqq) — discussion

#apl #go

The hierarchical hypermedia world of Hyper-G (by classichasclass) — discussion

#retrocomputing

Domain Theory Lecture Notes (via meithecatte) — discussion

#math #plt

Remote Prompt Injection in GitLab Duo Leads to Source Code Theft (via David_Gerard) — discussion

#security #vibecoding

There is no Diffie-Hellman but Elliptic Curve Diffie-Hellman (via fanf) — discussion

#cryptography #math

CAPTCHAs don't work any more for ticket sellers (via oger) — discussion

#a11y #ai

tachy0n: The last 0day jailbreak (via fro) — discussion

#ios #security

How I used o3 to find CVE-2025-37899, a remote zeroday vulnerability in the Linux kernel’s SMB implementation (via ohrv) — discussion

#linux #security #vibecoding

Automating Your Job? The Future of AI and Exploit Development (via fro) — discussion

#security #vibecoding #video

lamber: functional scripting language compiling to Lambda Calculus (via veqq) — discussion

#plt

Having your compile-time cake and eating it too (via emschwartz) — discussion

#plt #rust #zig

Who needs graph theory anyway? (via veqq) — discussion

#lisp

Petnames: A humane approach to secure, decentralized naming (via veqq) — discussion

#networking #practices

Building interactive web pages with Guile Hoot (via veqq) — discussion

#lisp

A Tale of Testability and Sending Non-Send Types in Rust (via emschwartz) — discussion

#rust #testing

The Zen of Polymorphism (via azhenley) — discussion

#python #video

gail: An AI-powered GitHub Issue Labeler (by atgreen) — discussion

#lisp #vibecoding

Pain in the dots (via op) — discussion

#vcs

Sandboxing AI Tools with Guix Containers (by munen) — discussion

#emacs #nix #vibecoding