A formal proof of C∞ISRT
bsky.app·20h·
🤖agentic coding
Deliberate Abstraction
entropicthoughts.com·6d·
🦀Rust
VMScape: Exploiting Incomplete Branch Predictor Isolation in Cloud Environments
comsec.ethz.ch·2d·
🏢oxide computer
How AI Automated My Astro 4 to Astro 5 Migration: A Real-World Example
56kode.com·4d·
Discuss: DEV
💼ai-run businesses
LLM-Generated Rules Engines for LLM Explainability
brain.co·2d·
Discuss: Hacker News
🤖agentic coding
AI Testing Tools in 2025: What works and what doesn’t
bug0.com·5d·
Discuss: r/programming
💼ai-run businesses
10 Fusion Sessions at Autodesk University 2025 You Can't Miss!
hackster.io·3d
🤖agentic coding
Smart Elderly Care Assistant
smart-elderly-care-assistant-743601729048.us-central1.run.app·1d·
Discuss: DEV
💼ai-run businesses
Arm Announces Lumex Platform With C1 CPUs Boasting SME2, Mali G1-Ultra GPU
phoronix.com·5d·
Discuss: Hacker News
🏢oxide computer
[D] Graphrag pipeline that runs entirely locally with ollama and has full source attribution
reddit.com·5d·
🕸graphrag
How AI made Meet’s language translation possible
blog.google·3d
💼ai-run businesses
Collaborative Learning Project in Godot (C#)
reddit.com·6d·
Discuss: r/godot
🛠agentic web development
**Predictive Biomarker Discovery via Multi-Modal Network Integration for Synthetic Lethality Targeting**
dev.to·3d·
Discuss: DEV
🤖agentic coding
Devils' Jack Hughes says he 'would love to play' with his brother Quinn
nytimes.com·5d
🤖agentic coding
The Essential Guide to Becoming a Generative AI Engineer 🚀
dev.to·1d·
Discuss: DEV
🤖agentic coding
Exploring Generative AI: From Curiosity to Creation
dev.to·4d·
Discuss: DEV
🤖agentic coding
AI tool built for learners supports learning better than ChatGPT
phys.org·6d
🤖agentic coding
How to Install & Run Microsoft Kosmos-2.5 Locally?
dev.to·6d·
Discuss: DEV
🏢oxide computer
Nvidia's Jensen Huang Just Announced Incredible News for Shareholders
fool.com·3d
💼ai-run businesses