🏛️ Agda

Dependent Types, Proof Assistant, Type-driven Development, Verification

The refusal problem in large language models
seangoedecke.com·2d
🌳Context free grammars
Bitwise Operators in Python
realpython.com·3d
🔢Bitwise Algorithms
Matter-enabled Smart Mechanical Keyboard MK1 targets Smart Home users
cnx-software.com·1d
⌨️Mechanical Keyboards
How graph thinking empowers agentic AI
datasciencecentral.com·2d
🗺️Competency Maps
Inference-Time Techniques for High-Quality, Low-Latency Speech Generation
medium.com·2d·
Discuss: Hacker News
🎙️Whisper
The Goldfish, the Elephant, and the AI: A User's Guide to Context
theproductbrew.com·3d·
Discuss: Hacker News
🌀Brotli Internals
Quora’s Poe releases a developer API with access to a bouquet of AI models
techcrunch.com·6h·
Discuss: Hacker News
🎙️Whisper
Security study based on the Chatgptplugin system: ldentifying Security Vulnerabilities
arxiv.org·1d
🧪Binary Fuzzing
Interpretable Anomaly-Based DDoS Detection in AI-RAN with XAI and LLMs
arxiv.org·1d
👁️Observatory Systems
Interactive Adversarial Testing of Autonomous Vehicles with Adjustable Confrontation Intensity
arxiv.org·1d
🕵️Penetration Testing
How Not to Be Replaced by AI (A Developer’s Guide)
dev.to·4h·
Discuss: DEV
🌍Cultural Algorithms
TriangleMix: A Lossless and Efficient Attention Pattern for Long Context Prefilling
arxiv.org·1d
🔨Compilers
NIST Post-Quantum Cryptography Standard Algorithms Based on Quantum Random Number Generators
arxiv.org·1d
🔐Quantum Cryptography
LoRA-PAR: A Flexible Dual-System LoRA Partitioning Approach to Efficient LLM Fine-Tuning
arxiv.org·2d
💻Local LLMs
Memorization in Fine-Tuned Large Language Models
arxiv.org·2d
💻Local LLMs
XAI for Point Cloud Data using Perturbations based on Meaningful Segmentation
arxiv.org·1d
🌀Differential Geometry
The Role of LLMs in Academic Reviewing (ACM SIGOPS / SIGARCH Blog)
sigops.org·1d·
Discuss: Hacker News
💻Local LLMs
AI in Agriculture: A Survey of Deep Learning Techniques for Crops, Fisheries and Livestock
arxiv.org·19h
🤖Advanced OCR
Hebbian Memory-Augmented Recurrent Networks: Engram Neurons in Deep Learning
arxiv.org·1d
🧠Machine Learning
MIMII-Agent: Leveraging LLMs with Function Calling for Relative Evaluation of Anomalous Sound Detection
arxiv.org·2d
🎵Audio ML