🏛️ Agda

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

What Do You Mean?
quarter--mile.com·1d·
Discuss: Hacker News
🌍Cultural Algorithms
AI Is Power-Hungry
paulkrugman.substack.com·2d·
Discuss: Substack
🏠Homelab Federation
TRON Token Development: Unlocking Scalability for ICO Projects
dev.to·1d·
Discuss: DEV
🔗Blockchain Archives
Me And The Bean
feed.tedium.co·1d
🎮Gameboy Emulation
Simple Python Calculator Game for Beginners
dev.to·2d·
Discuss: DEV
🎯Interactive Provers
Bring AI to your formulas with the new COPILOT function in Excel
techcommunity.microsoft.com·2d·
Discuss: Hacker News
🔗Concatenative Languages
Efficient and accurate solution of wind-integrated optimal power flow based on enhanced second-order cone relaxation with rolling cutting plane technique
arxiv.org·1d
📐Linear Algebra
Enhancing 3D point accuracy of laser scanner through multi-stage convolutional neural network for applications in construction
arxiv.org·1d
🏺Computational Archaeology
Is GenAI Replacing Your QA Team? A Sobering Reality Check
thenewstack.io·4d
🔍Concolic Testing
Beyond AlphaFold: how AI is decoding the grammar of the genome
nature.com·2d
🧬Palindrome Codes
SpecDetect: Simple, Fast, and Training-Free Detection of LLM-Generated Text via Spectral Analysis
arxiv.org·2d
📊Document Wavelets
The Critical Importance of Data Analytics in Modern Business Success: Transforming Raw Information into Strategic Advantage
dev.to·2d·
Discuss: DEV
🌊Stream Processing
Automated Strain Relief Optimization in Robotic Cable Assemblies using Reinforcement Learning
dev.to·2d·
Discuss: DEV
🤖Tape Automation
Adaptive Fault-Tolerant Antenna Array Synthesis via Bayesian Optimization and Reinforcement Learning
dev.to·5d·
Discuss: DEV
🛡️Error Boundaries
Energy Efficiency in Robotics Software: A Systematic Literature Review (2020-2024)
arxiv.org·1d
🔩Systems Programming
Disable Console Bell Globally in DragonFly BSD
discoverbsd.com·1d
🔌Operating system internals
Supercharge Your Development Workflow: A Complete Guide to MCP Integration in Cursor AI
dev.to·1d·
Discuss: DEV
🔄Sync Engine
Pico2-Ice development board combines Raspberry Pi RP2350B with Lattice iCE40UP5K FPGA
cnx-software.com·1d
🔌Single Board PC
In-hoc Concept Representations to Regularise Deep Learning in Medical Imaging
arxiv.org·18h
🧠Machine Learning
Altman: Expect OpenAI to spend trillions of dollars on datacenter construction
cnbc.com·10h·
Discuss: Hacker News
🖥️Modern Terminals