Introducing Swift Profile Recorder: Identifying Performance Bottlenecks in Production
swift.orgยท1dยท
๐Ÿ“ŠPerformance Profiling
Petri: An open-source auditing tool to accelerate AI safety research \ Anthropic
anthropic.comยท1dยท
Discuss: Hacker News
๐ŸŽฏThreat Hunting
Hostage to the Process
oldschoolburke.comยท1dยท
Discuss: Hacker News
โšกProof Automation
Use of Crun and libkrun oci runtime
reddit.comยท1dยท
Discuss: r/kubernetes
๐ŸŽXNU Internals
Advancing Digital Government: Integrating Open Source Software Enablement Indicators in Maturity Indexes
arxiv.orgยท19h
๐Ÿ”“Open Source Software
The developer role is evolving. Hereโ€™s how to stay ahead.
github.blogยท1dยท
Discuss: Hacker News
๐Ÿ”„Language Evolution
cargo-subspace: Make rust-analyzer work better with very large cargo workspaces!
reddit.comยท2dยท
Discuss: r/rust
๐Ÿฆ€Rust Macros
The Engineering Scalability Crisis: Why Standard Code Structures Matter More Than Ever
dev.toยท2dยท
Discuss: DEV
๐Ÿ“Code Metrics
Hallucination reduction with CASAL: Contrastive Activation Steering For Amortized Learning
arxiv.orgยท1d
๐ŸŒณContext free grammars
Cost Efficient Fairness Audit Under Partial Feedback
arxiv.orgยท19h
๐ŸŒธBloom Variants
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.toยท1dยท
Discuss: DEV
โšกProof Automation
Partial Information Decomposition via Normalizing Flows in Latent Gaussian Distributions
arxiv.orgยท19h
๐Ÿง Machine Learning
A Beginner's GAN Adventure with Digits
dev.toยท2hยท
Discuss: DEV
๐Ÿค–Advanced OCR
Assessment Twins: A Protocol for AI-Vulnerable Summative Assessment
arxiv.orgยท1d
๐Ÿ”ฒCellular Automata
ObCLIP: Oblivious CLoud-Device Hybrid Image Generation with Privacy Preservation
arxiv.orgยท19h
๐Ÿ”Homomorphic Encryption
Unlocking the Power of Continuous Integration: Enhancing Your Development Workflow
dev.toยท6hยท
Discuss: DEV
๐Ÿ”„Reproducible Builds
Automated Knowledge Graph Validation and Enhancement via Adaptive Semantic Refinement
dev.toยท2dยท
Discuss: DEV
๐Ÿ”—Constraint Handling
I think you should let AI write your code
dev.toยท2dยท
Discuss: DEV
๐Ÿ“Code Metrics
Nicholas Renotte: I Trained AI To "DOMINATE" Brackey's Game
dev.toยท1dยท
Discuss: DEV
๐ŸŽฏProof Tactics