You think your an it specialist??? Let me prove you wrong
m.youtube.com·1d·
Discuss: r/programming
💾Retro Computing
AI Agents for Freight Brokers
kolank.ai·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Self-Destruct SSD
industrial.teamgroupinc.com·1h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Perplexity's Comet AI browser, I like where it's going (but it's not there yet)
zdnet.com·17h·
Discuss: Hacker News
📦Unikernel Systems
MCP to interact with Android and iOS emulators and write automation code
docs.maestro.dev·5d·
Discuss: Hacker News
🛡️seL4
The Right Approach to Authorization in RAG
osohq.com·5d·
Discuss: Hacker News
🛡️seL4
Using data version control to build better AI factories
lakefs.io·19h·
Discuss: Hacker News
🔄Reproducible Builds
Leaky chatbots: Understanding sensitive information disclosure in AI
scworld.com·4d·
Discuss: Hacker News
🛡️seL4
Building MCP servers the easy way with Apache OpenServerless
opensource.net·5d·
Discuss: Hacker News
🛡️seL4
Signal or Noise? Evaluating Large Language Models in Resume Screening Across Contextual Variations and Human Expert Benchmarks
arxiv.org·1d
✓Automated Theorem Proving
MoCap-Impute: A Comprehensive Benchmark and Comparative Analysis of Imputation Methods for IMU-based Motion Capture Data
arxiv.org·8h
🔠Type-Level Programming
Show HN: Quikfolioz – Vibe-Coded Portfolios, Crafted Fast for Devs on the Go
github.com·1d·
Discuss: Hacker News
🍎Apple
Knowledge Conceptualization Impacts RAG Efficacy
arxiv.org·8h
🏹Effect Systems
XBOW Battles Ninja Tables
xbow.com·16h·
Discuss: Hacker News
🔬Static Analysis
National level satellite-based crop field inventories in smallholder landscapes
arxiv.org·8h
🐫OCaml
Application of CARE-SD text classifier tools to assess distribution of stigmatizing and doubt-marking language features in EHR
arxiv.org·8h
🔬Static Analysis
Medical Red Teaming Protocol of Language Models: On the Importance of User Perspectives in Healthcare Settings
arxiv.org·4d
🔍Formal Verification
Secure Cooperative Gradient Coding: Optimality, Reliability, and Global Privacy
arxiv.org·4d
🎮Verification Games
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·8h
✓Automated Theorem Proving