Beyond the Classroom: Enhancing Security and Productivity with Jamf Safe Internet
jamf.comยท19h
๐Ÿ›กCybersecurity
Oct 2025 โ€“ MacAdmins Meeting
apple.lib.utah.eduยท1d
๐ŸŽXNU Internals
Avalue EPC-ASL Intel N97 fanless industrial mini PC is designed for 24/7 operation
cnx-software.comยท1d
๐Ÿ”ŒSingle Board PC
simonw/claude-skills
simonwillison.netยท8h
๐Ÿ“„PostScript
The Golden Scale: Bling Libra and the Evolving Extortion Economy
unit42.paloaltonetworks.comยท11h
๐ŸŽซKerberos Attacks
Cybersecurity Snapshot: AI Security Skills Drive Up Cyber Salaries, as Cyber Teams Grow Arsenal of AI Tools, Reports Find
tenable.comยท19h
๐Ÿ”“Hacking
Progress being made in porting AMD OpenSIL Turin PoC to Coreboot in a Gigabyte MZ33-AR1
blog.3mdeb.comยท12hยท
๐Ÿ–ฅ๏ธTerminal Renaissance
Understanding conflict resolution and avoidance in PostgreSQL: a complete guide
pgedge.comยท12hยท
Discuss: r/programming
๐Ÿ›ก๏ธByzantine Fault Tolerance
English - the hottest programming language of the future
dev.toยท15hยท
Discuss: DEV
๐Ÿ”„Language Evolution
Experimenting with ACL2 and Claude Code
mikedodds.orgยท20hยท
Discuss: Hacker News
๐Ÿ‘‘Isabelle
The Linus Method: How we simiplifed RFC reviews
devashish.meยท15hยท
Discuss: Hacker News
โš™๏ธProof Engineering
A new breed of analyzers
daniel.haxx.seยท20hยท
๐Ÿ›Fuzzing
A New Identity for Prefix.dev
prefix.devยท1dยท
Discuss: Hacker News
๐ŸบZIP Archaeology
Beyond Vector Search: Building a RAG That *Actually* Understands Your Data
dev.toยท1dยท
Discuss: DEV
๐Ÿ—‚๏ธVector Databases
Static Bundle Object: Modernizing Static Linking
medium.comยท3dยท
๐Ÿ”—Static Linking
Ghosts in the Code: A Memorial Grove for Deleted AI
connectingminds.ukยท1dยท
Discuss: DEV, Hacker News
๐ŸบProtocol Archaeology
The Death of the Curious Developer
hackernoon.comยท1d
๐ŸงญContent Discovery
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท1d
๐Ÿ”—Graph Isomorphism
The A.I. Prompt That Could End the World
nytimes.comยท23hยท
Discuss: Hacker News
โšกProof Automation
A Retrospective Survey of 2024/2025 Open Source Supply Chain Compromises
words.filippo.ioยท17hยท
๐Ÿ”“Open Source Software