A PoC to make a backdoored PyTorch neural network
hacktelligence.org·1d·
Discuss: Hacker News
❓Existential Types
Flag this post
A journey of 4+ years to reach the 100th GitHub release of our open-source observability platform
signoz.io·2d·
Discuss: Hacker News, r/opensource
🔄Reproducible Builds
Flag this post
Reasoning models don't degrade gracefully - they hit a complexity cliff and collapse entirely [Research Analysis] [R]
reddit.com·1d·
Discuss: r/MachineLearning
🧠Automated Reasoning
Flag this post
Share Your Projects: Imperfectionism
hackaday.com·16h
❄️Nixified Development
Flag this post
About kgateway vulnerabilities
reddit.com·15h·
Discuss: r/kubernetes
🛡️seL4
Flag this post
B650D4U mainboard with a CSE-523L-505B chassis (including PSU) - not powering on
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Flag this post
100 Techniques for Writing Readable Rust Code
reddit.com·2d·
Discuss: r/rust
🔬Static Analysis
Flag this post
Hyper-Specific Sub-Field Selection: **Deep-Sea Mineral Extraction Environmental Impact Modeling**
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
Flag this post
Automated Broadband Antenna Impedance Matching via Adaptive Genetic Algorithm Optimization
dev.to·12h·
Discuss: DEV
🐫Embedded OCaml
Flag this post
How to access and use Minimax M2 API
dev.to·4d·
Discuss: DEV
🐳Containerization
Flag this post
Minimizing Loss ≠ Maximizing Intelligence
lesswrong.com·6h
📚Automata Learning
Flag this post
Efficiency vs. Alignment: Investigating Safety and Fairness Risks in Parameter-Efficient Fine-Tuning of LLMs
arxiv.org·3d
🛡️seL4
Flag this post
Show HN: JermCAD – A YAML-powered, vibe-coded, browser-based CAD software
github.com·1d·
Discuss: Hacker News, Hacker News
🔢Algebraic Data Types
Flag this post
Amelie 0.7.0 is out with support of User-Defined Functions
github.com·2d·
Discuss: Hacker News
λFunctional Programming
Flag this post
Will Developers Survive AI Takeover? Part 4: The Popstar Developer
dev.to·1d·
Discuss: DEV
📵Digital Minimalism
Flag this post
Large language models require a new form of oversight: capability-based monitoring
arxiv.org·1d
🔍Formal Verification
Flag this post
TDS Newsletter: The Theory and Practice of Using AI Effectively
towardsdatascience.com·13h
📚Automata Learning
Flag this post
AI Agents in Go: Exploring Agent-to-Agent (A2A) Protocols in AI Ecosystems
dev.to·4d·
Discuss: DEV
🌐Network Protocols
Flag this post
Building MultiLingo: An AI Translation Agent with Telex Integration
dev.to·3d·
Discuss: DEV
📦Module Systems
Flag this post
Quantum-Resistant Federated Learning: Securing Distributed Model Training Against Post-Quantum Cryptographic Threats
dev.to·1h·
Discuss: DEV
🩹Self-Healing Systems
Flag this post