Build your own GPG in Rust
andrewhalle.github.io·1d·
Discuss: Hacker News
🌳Archive Merkle Trees
Flag this post
How I Automated My Most Tedious Task and Unlocked Our Growth Strategy
devops.com·1d
🤖Archive Automation
Flag this post
Triangle weaver spider's web uses spring-loaded mechanism to move faster than muscle
phys.org·11h
Automated Theorem Proving
Flag this post
Ask HN: What made you improve your logical reasoning?
news.ycombinator.com·7h·
Discuss: Hacker News
🔬Lean
Flag this post
Porting Lean to the ESP32-C3 RISC-V Microcontroller
kuruczgy.com·4h·
🔩Systems Programming
Flag this post
RailEstate: An Interactive System for Metro Linked Property Trends
arxiv.org·1d
🔶Voronoi Diagrams
Flag this post
How I Built an AI Coworker for Telex.im
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Flag this post
Automated Multi-Modal Knowledge Graph Scoring for Cohort-Based Retrospective Analytics
dev.to·16h·
Discuss: DEV
📊Citation Graphs
Flag this post
DocPrism: Local Categorization and External Filtering to Identify Relevant Code-Documentation Inconsistencies
arxiv.org·1d
🎯Gradual Typing
Flag this post
Analyzing Sustainability Messaging in Large-Scale Corporate Social Media
arxiv.org·1d
📄Text Chunking
Flag this post
Fleming-VL: Towards Universal Medical Visual Reasoning with Multimodal LLMs
arxiv.org·1d
📊Learned Metrics
Flag this post
The Curvature Rate {\lambda}: A Scalar Measure of Input-Space Sharpness in Neural Networks
arxiv.org·1d
🌀Riemannian Computing
Flag this post
Python Integration for Scryer Prolog Using FFI (Research Project)
github.com·1d·
Discuss: Hacker News
💧Liquid Types
Flag this post
AI's Dial-Up Era
dev.to·14h·
Discuss: DEV
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Flag this post
SmartReader
dev.to·1d·
Discuss: DEV
📄Document Streaming
Flag this post