AI finds hundreds of potential antibiotics in snake and spider venom
phys.org·13h·
Discuss: Hacker News
✓Automated Theorem Proving
You think your an it specialist??? Let me prove you wrong
m.youtube.com·1d·
Discuss: r/programming
💾Retro Computing
I have a hard time to figure out a proper DNS setup
mydomain.com·3d·
Discuss: r/homelab
📡Network Protocol Design
AI Agents for Freight Brokers
kolank.ai·1d·
Discuss: Hacker News
✓Automated Theorem Proving
DHH: Future of Programming, AI, Ruby on Rails, Productivity and Parenting
lexfridman.com·7h·
Discuss: Hacker News
💾Retro Computing
The Right Approach to Authorization in RAG
osohq.com·5d·
Discuss: Hacker News
🛡️seL4
Python: From Zero to Hero
pythonz2h.com·2d·
Discuss: Hacker News
⚙️PL Implementation
An InfoSec Architect's First Taste of Temporal
supasaf.com·6d·
Discuss: Hacker News
⚙️PL Implementation
Using data version control to build better AI factories
lakefs.io·13h·
Discuss: Hacker News
🔄Reproducible Builds
LLMs for coding (+ free workflow templates)
blog.n8n.io·3d·
Discuss: Hacker News
🤖Program Synthesis
Ramanujan-Computing: Distributed Computing with Idle Smart Devices: Open-Source
news.ycombinator.com·1d·
Discuss: Hacker News
📦Unikernel Systems
XBOW Battles Ninja Tables
xbow.com·10h·
Discuss: Hacker News
🔬Static Analysis
National level satellite-based crop field inventories in smallholder landscapes
arxiv.org·2h
🐫OCaml
Application of CARE-SD text classifier tools to assess distribution of stigmatizing and doubt-marking language features in EHR
arxiv.org·2h
🔬Static Analysis
Secure Cooperative Gradient Coding: Optimality, Reliability, and Global Privacy
arxiv.org·4d
🎮Verification Games
Medical Red Teaming Protocol of Language Models: On the Importance of User Perspectives in Healthcare Settings
arxiv.org·4d
🔍Formal Verification
Feint and Attack: Attention-Based Strategies for Jailbreaking and Protecting LLMs
arxiv.org·6d
🛡️seL4
Interpretable Artificial Intelligence for Detecting Acute Heart Failure on Acute Chest CT Scans
arxiv.org·2h
✓Automated Theorem Proving
Fine-tuning ORBGRAND with Very Few Channel Soft Values
arxiv.org·1d
🐫OCaml
crawl4ai: The Adaptive Intelligence Update
github.com·2d·
Discuss: Hacker News
👁️System Observability