On File Formats (via runxiyu) — discussion

#philosophy #practices

Systematic design of multi-join GROUP BY queries (by squadette) — discussion

#databases

Mathpad: A mathematical keypad for students and professionals (via edoput) — discussion

#hardware

What Works (and Doesn't) Selling Formal Methods (via oger) — discussion

#formalmethods

From OpenAPI spec to MCP: how we built Xata's MCP server (via tsg) — discussion

#ai #api

Clojure MCP (via dotemacs) — discussion

#clojure #vibecoding

Bypassing MTE with CVE-2025-0072 (via fro) — discussion

#security

Reinvent the Wheel (via dogacel) — discussion

#programming

Fedora 43 Cleared To Ship With Wayland-Only GNOME (via runxiyu) — discussion

#linux

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