Divine Comedy
thedailywtf.com·3d
🔗Concatenative Programming
GHC Developer Blog: GHC 9.10.3-rc3 is now available
haskell.org·2d
🔗Functional Compilers
We trained LLM to find reentrancy vulnerabilities in smart contracts
blog.unvariant.io·5d·
Discuss: Hacker News
🧪Binary Fuzzing
Foundry (YC F24) Is Hiring Staff Level Product Engineers
ycombinator.com·3d·
Discuss: Hacker News
🔌Interface Evolution
We went from unauthenticated to arbitrary RCE in CyberArk Conjur
cyata.ai·3d·
Discuss: Hacker News
🎫Kerberos Attacks
3D printing and AI will bring in 'new era of nuclear construction' - but how safe is it?
techradar.com·5h
📄Document Digitization
Dynamic PL/SQL Procedures: What They Are and How to Use Them
dev.to·2d·
Discuss: DEV
🧩SQLite Extensions
GPT-5 Hangover
smartmic.bearblog.dev·2d·
Discuss: Hacker News
🧠Intelligence Compression
Anti-Jamming Sensing with Distributed Reconfigurable Intelligent Metasurface Antennas
arxiv.org·2d
⚽Sphere Packing
Noj – A Clojure Framework for Data Science
github.com·2d·
Discuss: Hacker News
🔓Open Source Software
Kotakin: Simplifying Development Environment Management
dev.to·7h·
Discuss: DEV
📦METS Containers
Merge-based syntax is mediated by distinct neurocognitive mechanisms: A clustering analysis of comprehension abilities in 84,000 individuals with language defic...
arxiv.org·4d
🔤Morphological Analysis
Optimizing Vessel Routing via Hybrid Reinforcement Learning & Predictive Analytics for Reduced Fuel Consumption in Bulk Carriers
dev.to·3d·
Discuss: DEV
🎛️Feed Filtering
DART: Dual Adaptive Refinement Transfer for Open-Vocabulary Multi-Label Recognition
arxiv.org·2d
📄Document Streaming
MetaExplainer: A Framework to Generate Multi-Type User-Centered Explanations for AI Systems
arxiv.org·6d
λLambda Formalization
JavaScript Standards Update: What’s New in ECMAScript 2025
thenewstack.io·3d
🌐Web Standards
Understanding Information Gain: Choosing the Right Questions
dev.to·4d·
Discuss: DEV
🧠Machine Learning
Miles Voice AI – Instant-interrupt, multi-personality voice assistant
github.com·10h·
Discuss: Hacker News
🎙️Whisper
Klutz: Building with Bolt - WLH Challenge
dev.to·2d·
Discuss: DEV
⚙️Proof Engineering
Dynamic Actin Filament Polymerization Prediction via Spatiotemporal Graph Neural Networks
dev.to·22h·
Discuss: DEV
🔲Cellular Automata