From Theory to Practice: Introducing Architectural Prisms, an Experiment in AI-First Academic Dialogue
sigarch.orgΒ·21h
πŸ’¬Prompt Engineering
Flag this post
AIxCC 2025: What It Means For Device Security
semiengineering.comΒ·3h
πŸ›‘οΈAI Security
Flag this post
What are computers for, anyway?
forum.merveilles.townΒ·7h
πŸ’ΎRetro Computing
Flag this post
How to check if a .onion is alive or dead (with Hidden Service Descriptors)
discuss.privacyguides.netΒ·18h
πŸ”eBPF
Flag this post
Quantifying the reasoning abilities of LLMs on clinical cases
nature.comΒ·2m
πŸ’¬Prompt Engineering
Flag this post
OpenAI engineers don’t prompt like you do.
threadreaderapp.comΒ·3h
πŸ’¬Prompt Engineering
Flag this post
Mathematical exploration and discovery at scale
terrytao.wordpress.comΒ·8hΒ·
Discuss: Hacker News
🎯Hindley-Milner
Flag this post
Advice on automating browser tasks for QA without those flaky scripts?
reddit.comΒ·4hΒ·
Discuss: r/webdev
🎯WASM Runtime
Flag this post
Mastering the β€˜O’ in SOLID: Applying the Open/Closed Principle in Real-World Code
medium.comΒ·3dΒ·
Discuss: DEV
πŸ¦€Rust
Flag this post
AI Papers to Read in 2025
towardsdatascience.comΒ·14h
πŸ’¬Prompt Engineering
Flag this post
Security Audit of intel ICE Driver for e810 Network Interface Card
arxiv.orgΒ·1d
πŸ”eBPF
Flag this post
AI Coding Tricks That Actually Improve Results! πŸ§™β€β™‚οΈ
dev.toΒ·1dΒ·
Discuss: DEV
🎨Design Systems
Flag this post
SORTeD Rashomon Sets of Sparse Decision Trees: Anytime Enumeration
arxiv.orgΒ·6h
πŸ”΄Red-Black Trees
Flag this post
Energy Loss Functions for Physical Systems
arxiv.orgΒ·1d
πŸ“Linear Algebra
Flag this post
The Invisible Developer: Why Caring Burns You Out
dev.toΒ·1dΒ·
Discuss: DEV
πŸ“΅Digital Minimalism
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.orgΒ·2d
πŸ’ŽRefinement Types
Flag this post
Online Learning to Rank under Corruption: A Robust Cascading Bandits Approach
arxiv.orgΒ·6h
πŸ•ΈοΈGraph Theory
Flag this post
Master Rust Pattern Matching: Build Safer, More Expressive Code with Advanced Techniques
dev.toΒ·6dΒ·
Discuss: DEV
πŸ“¦Serde
Flag this post