King handed Nvidia boss a letter warning of AI dangers
bbc.comยท6h
๐ŸšจAndon
Flag this post
How an Attacker Drained $128M from Balancer Through Rounding Error Exploitation
research.checkpoint.comยท18h
๐Ÿ›Fuzzing
Flag this post
Four champions of the need for speed in legal operations
ft.comยท12h
๐Ÿ—organisational design
Flag this post
Mathematical exploration and discovery at scale
terrytao.wordpress.comยท2h
โœ…Property Testing
Flag this post
From Theory to Practice: Introducing Architectural Prisms, an Experiment in AI-First Academic Dialogue
sigarch.orgยท15h
๐Ÿ‘€Code Reviews
Flag this post
New whitepaper available โ€“ AI for Security and Security for AI: Navigating Opportunities and Challenges
aws.amazon.comยท2d
โšกCircuit Breakers
Flag this post
The Key to the Problem is to Find the Key Problem
mazzzystar.comยท2d
๐ŸŽฒProperty-Based Testing
Flag this post
Software Development in the Time of New Angels
davegriffith.substack.comยท2dยท
Discuss: Substack
โš™software development practises
Flag this post
New homelab with some old spare parts !
reddit.comยท22hยท
Discuss: r/homelab
๐Ÿ”ตBlue-Green Deployment
Flag this post
Why Everyone is Missing GPT-4o
dev.toยท14hยท
Discuss: DEV
๐Ÿ”ตBlue-Green Deployment
Flag this post
Hybrid Neuro-Symbolic Reasoning for Adaptive Robotics Control in Dynamic Environments
dev.toยท3dยท
Discuss: DEV
๐Ÿ—บ๏ธFlight Management Systems
Flag this post
Code That Writes Itself: The Era of Example-Driven Programming by Arvind Sundararajan
dev.toยท1hยท
Discuss: DEV
๐Ÿ”ฎLisp Macros
Flag this post
Chatbot with AI Evaluation framework
reddit.comยท1dยท
Discuss: r/LLM
๐Ÿ‘€Code Reviews
Flag this post
Prompts that work for beginners (small, clear, and testable)
dev.toยท21hยท
Discuss: DEV
๐Ÿ”ดTest-Driven Development
Flag this post
Automated Starlink Installation Procedure Validation via Bayesian Network Inference
dev.toยท4dยท
Discuss: DEV
๐ŸคCanary Deployment
Flag this post
Bayesian prediction of aerospace system mission reliability with hierarchical and multi-fidelity test data fusion
sciencedirect.comยท3d
๐Ÿ”’reliability
Flag this post
How AI Coding Agents Are Reshaping Developer Workflows
dev.toยท16hยท
Discuss: DEV
โš™software development practises
Flag this post
Building a Smart Task Tracker Agent for Telex.im with ASP.NET Core
dev.toยท19hยท
Discuss: DEV
๐Ÿ’ผCompany Mode
Flag this post
Large language models require a new form of oversight: capability-based monitoring
arxiv.orgยท1h
๐ŸŽฒProperty-Based Testing
Flag this post