Checkout this poem I wrote, about anonymous care, with my workflow
theaiworld.substack.com·3h·
Discuss: Substack
✓Automated Theorem Proving
Debugging Bash Like a Sire
blog.brujordet.no·15h·
Discuss: Hacker News
🛡️seL4
Zoho Launches Zia LLM
zoho.com·18h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Creating and Deploy an MCP Server with Smithery
thelinell.com·3d·
Discuss: Lobsters, Hacker News
🛡️seL4
The "Perfect" YouTube Video
idiallo.com·7h·
Discuss: Hacker News
🎮Verification Games
The Evolution of AI Job Orchestration
blog.skypilot.co·1d·
Discuss: Hacker News
⎈Kubernetes
For Algorithms, Memory Is a Far More Powerful Resource Than Time
wired.com·4d·
Discuss: Hacker News, Hacker News, Hacker News
💻CS
Spent the week at one of the top AI research conferences
aol.com·8h·
Discuss: Hacker News
🎮Verification Games
A Few Things I've Learned about Prompt Engineering
cloudcruise.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
A software-defined radio can derail a US train by slamming the brakes on remotely
theregister.com·3d·
Discuss: Hacker News
🌐NetworkProtocols
Source code analysis of Amazon Kiro
ghuntley.com·3d·
Discuss: Hacker News
❄️Nixified Development
Overcoming catastrophic forgetting in neural networks
arxiv.org·3d
🎮Verification Games
I need help with building my first homelab since chatgpt or anyone else doesn't respond
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
Differential-informed Sample Selection Accelerates Multimodal Contrastive Learning
arxiv.org·31m
💻CS
ViSP: A PPO-Driven Framework for Sarcasm Generation with Contrastive Learning
arxiv.org·3d
✓Automated Theorem Proving
Neurosymbolic Reasoning Shortcuts under the Independence Assumption
arxiv.org·2d
✓Automated Theorem Proving
Enhancing Clinical Text Classification via Fine-Tuned DRAGON Longformer Models
arxiv.org·3d
🏹Effect Systems
Orchestrator-Agent Trust: A Modular Agentic AI Visual Classification System with Trust-Aware Orchestration and RAG-Based Reasoning
arxiv.org·2d
🎮Verification Games
The Evolution of Pointwise Statistics in Hyperbolic Equations with Random Data
arxiv.org·2d
🐫OCaml
Building a Quiet, Power-Efficient Server Node with Ryzen 9 7900 for My K8s Cluster — Feedback?
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab