🏛️ Agda

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

How to Run Open GPT Models Locally and Integrate Them with Oracle APEX
hartenfeller.dev·2d
💻Local LLMs
Bugcrowd CTF 2025
infosecwriteups.com·1d
⚡Proof Automation
The Death of the IDE?
zed.dev·2d
🔄Language Evolution
If Uber to the airport seems expensive, try switching your airline
frequentmiler.com·2h·
Discuss: Hacker News
🖥️Terminal Renaissance
Mutually Attacking Knights
susam.net·3d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
A Visual Diagnostic Toolkit for PPO's Entropy Bonus
theprincipledagent.com·1d·
Discuss: Hacker News
📈Entropy Estimation
China's Lead in Open-Source AI Jolts Washington and Silicon Valley
news.slashdot.org·10h
🇨🇳Chinese Computing
VS Code previews chat checkpoints for unpicking careless talk
theregister.com·1d·
Discuss: Hacker News
🔄Language Evolution
Empowering Researchers, Developers and Students
medium.com·2d·
Discuss: Hacker News
🌀Brotli Internals
Cementos Argos S.A. (CMTOY) Q2 2025 Earnings Call Transcript
seekingalpha.com·8h
📋PREMIS Events
Application of association rule mining to assess forest species distribution in Italy considering abiotic and biotic factors
arxiv.org·1d
🦴Database Paleontology
Sensory robustness through top-down feedback and neural stochasticity in recurrent vision models
arxiv.org·1d
🧠Learned Codecs
Domain-Specific Fine-Tuning and Prompt-Based Learning: A Comparative Study for developing Natural Language-Based BIM Information Retrieval Systems
arxiv.org·2d
🔍Information Retrieval
Evaluating Podcast Recommendations with Profile-Aware LLM-as-a-Judge
arxiv.org·21h
📊Feed Optimization
Using LLMs to Capture Users' Temporal Context for Recommendation
arxiv.org·21h
⚖️Feed Ranking
Automated Scientific Literature Scoring & Validation via Recursive Hyperparameter Optimization
dev.to·9h·
Discuss: DEV
🔍Information Retrieval
Energy Efficient Task Offloading in UAV-Enabled MEC Using a Fully Decentralized Deep Reinforcement Learning Approach
arxiv.org·1d
🔲Cellular Automata
Revolutionizing Git Workflows: The MCP Git Commit Generator
dev.to·4d·
Discuss: DEV
🌳Git Internals
Why My Best Code Now Starts With a Conversation
dev.to·20h·
Discuss: DEV
🔗Concatenative Programming
Bayesian Gaussian Process ODEs via Double Normalizing Flows
arxiv.org·2d
🌀Differential Geometry