Show HN: RentUp – I built a rent manager for my parents
play.google.com·2d·
Discuss: Hacker News
🍎Apple
Simon Tatham's Portable Puzzle Collection
chiark.greenend.org.uk·6d·
Discuss: Hacker News
🎮Verification Games
Recommend a good USB cable tester
reddit.com·2d·
Discuss: r/homelab
🧪Property-Based Testing
Safety Features for a Centralised AGI Project
arxiv.org·2d
📦Unikernel Systems
Security study based on the Chatgptplugin system: ldentifying Security Vulnerabilities
arxiv.org·2d
🌐NetworkProtocols
Image Captioning via Compact Bidirectional Architecture
arxiv.org·2d
🐫Embedded OCaml
Snap, Segment, Deploy: A Visual Data and Detection Pipeline for Wearable Industrial Assistants
arxiv.org·2d
🧗Climbing Tech
Question about lightning detection
reddit.com·2d·
Discuss: r/homelab
📦Unikernel Systems
Multi-robot LiDAR SLAM: a practical case study in underground tunnel environments
arxiv.org·2d
🧗Climbing Tech
LLM-Adapted Interpretation Framework for Machine Learning Models
arxiv.org·2d
🐫OCaml
SwinECAT: A Transformer-based fundus disease classification model with Shifted Window Attention and Efficient Channel Attention
arxiv.org·2d
🔠Type-Level Programming
SemRAG: Semantic Knowledge-Augmented RAG for Improved Question-Answering
arxiv.org·2d
✓Automated Theorem Proving
CUS-QA: Local-Knowledge-Oriented Open-Ended Question Answering Dataset
arxiv.org·1d
🐫OCaml
LENS: Learning Ensemble Confidence from Neural States for Multi-LLM Answer Integration
arxiv.org·12h
✓Automated Theorem Proving
Show HN: CodeVROOM – an AI editor for large projects
news.ycombinator.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
Tessera: A declarative, immediate-mode UI framework for Rust
github.com·5d·
Discuss: Hacker News
🔬Unikernels
Reframe Your Life Story: Interactive Narrative Therapist and Innovative Moment Assessment with Large Language Models
arxiv.org·3d
🐫OCaml
MemTool: Optimizing Short-Term Memory Management for Dynamic Tool Calling in LLM Agent Multi-Turn Conversations
arxiv.org·2d
🐫Embedded OCaml
Tactile-Guided Robotic Ultrasound: Mapping Preplanned Scan Paths for Intercostal Imaging
arxiv.org·3d
🐫OCaml
The role of LLMs in academic reviewing
sigarch.org·2d·
Discuss: Hacker News
✓Automated Theorem Proving