Podcast: Type Theory Forall (via yawaramin) — discussion

#ml #plt

Lessons From Red Teaming 100 Generative AI Products (via david_chisnall) — discussion

#ai #security

Comic Mono (via alper) — discussion

#editors

gittuf: A security layer for Git repositories (via tris) — discussion

#security #vcs

Thoughts On A Month With Devin (via kracekumar) — discussion

#ai

The Cursed Art of Streaming HTML (via crmsnbleyd) — discussion

#web

A versioning scheme for end-user software (by dz4k) — discussion

#practices

Pre-SIP: A Syntax for Collection Literals (via asb) — discussion

#plt #scala

OpenFlexure Microscope (via river) — discussion

#science

How Unix Spell Ran in 64kB RAM (by abhi9u) — discussion

#math #unix

Audiblez: Generate audiobooks from e-books (via siddhartha_golu) — discussion

#ai

Thoughts on having SSH allow password authentication from the Internet (via recursion) — discussion

#security

Year in review: 2024 highlights and a peek at 2025 (via lonami) — discussion

#graphics #release

Investigating an "evil" RJ45 dongle (via classichasclass) — discussion

#hardware #security

Mind The convT (via knl) — discussion

#go #performance

sshcont: ssh daemon that starts and enters a throwaway docker container for testing (by abi) — discussion

#testing

TIOBE Index for January 2025 (via pauloxnet) — discussion

#plt #programming

Cheatsheet for jj's builtin diff editor (by paulsmith) — discussion

#vcs

Oracle won't relinquish JavaScript trademark, so the JS community prepares for court battle (via laktak) — discussion

#javascript

Advanced Python Development Workflow in Emacs (via spookylukey) — discussion

#emacs #python