The Ηоmоgraph Illusion: Not Everything Is As It Seems
unit42.paloaltonetworks.com·1d
🎫Kerberos Exploitation
You Don't Need a Vendor to Automate Security Questionnaires
blog.marcolancini.it·2d
⚡Proof Automation
A ‘Grand Unified Theory’ of Math Just Got a Little Bit Closer
wired.com·6h·
Discuss: Hacker News, r/longform
🔢Reed-Solomon Math
On "local" and "global" errors in mathematical papers, and how to detect them
terrytao.wordpress.com·1d·
Discuss: Hacker News
🏛️Isabelle HOL
Bluesky's ATProto and the race to the bottom of the brain stem
erasmus.github.io·1d·
Discuss: Hacker News
📡Feed Archaeology
AIDE – a file and directory integrity checker
aide.github.io·1d·
Discuss: Hacker News
🏺ZIP Archaeology
New machine-learning application to help researchers predict chemical properties
news.mit.edu·3d
🎵Audio ML
From Prompt Engineering to Context Engineering
adaline.ai·2d·
Discuss: Hacker News
🔗Constraint Handling
ZeroFS – The Filesystem That Makes S3 Your Primary Storage
github.com·1d·
Discuss: Hacker News
💿ZFS Internals
Reacting to Andrej Karpathy's Talk, "Software Is Changing (Again)"
erdiizgi.com·3d·
Discuss: Hacker News
🔄Language Evolution
LG S95AR vs LG S95TR: which is the better Dolby Atmos soundbar to pair with your LG OLED TV?
techradar.com·6h
🎬Video Codecs
Working on an open-source UI for building Kubernetes manifests (KubeForge). Looking for feedback.
reddit.com·2h·
Discuss: r/kubernetes
📦Container Security
Unsupervised Domain Adaptation for 3D LiDAR Semantic Segmentation Using Contrastive Learning and Multi-Model Pseudo Labeling
arxiv.org·2d
📊Learned Metrics
Decoupling Knowledge and Reasoning in LLMs: An Exploration Using Cognitive Dual-System Theory
arxiv.org·2d
🔗Constraint Handling
SnippetSearch: Code Snippets Discovery Engine for Developers
dev.to·1d·
Discuss: DEV
🔍BitFunnel
Here are the laptops I’d tell any parent to consider for their back-to-school student
theverge.com·1d
🔌Operating system internals
A Preview of Python 3.14 Release: 7 Major New Features You Must Know
dev.to·3d·
Discuss: DEV
🦀Rust Macros
VERIRAG: Healthcare Claim Verification via Statistical Audit in Retrieval-Augmented Generation
arxiv.org·2d
⚡Proof Automation
We Built a Language Model 14,000,000x Smaller Than GPT3 and Formally Verified It
github.com·5d·
Discuss: Hacker News
🌳Context free grammars
🌟 Ask a Philosopher: Voice AI Agent Powered by AssemblyAI and Gemini
dev.to·2d·
Discuss: DEV
🌀Brotli Internals