A Better Way to Build Presentations (With Agentic AI)
elite-ai-assisted-coding.dev·15h·
Discuss: Hacker News
Proof Automation
The Beginning of My Programming Journey
docs.google.com·12h·
Discuss: Hacker News
🦀Rust Macros
I have a project with ~200k LoC, written with AI codegen. AMA
news.ycombinator.com·13h·
Discuss: Hacker News
Proof Automation
Kludex/uvicorn
github.com·6h
🏎️Varnish Cache
SmartWilds: Multimodal Wildlife Monitoring Dataset
arxiv.org·4h
📱QR Archaeology
How We Unified API Tests, SDKs, and Docs into One Workflow
docspring.com·5h·
🔌Interface Evolution
The Database Zoo: Inside Time-Series Engines (InfluxDB, Prometheus, Timescale)
hackernoon.com·1d
🗄️Database Internals
seqBench: A Tunable Benchmark to Quantify Sequential Reasoning Limits of LLMs
arxiv.org·1d
🔗Functional Compilers
Digging Into the Internal: Causality-Based Analysis of LLM Function Calling
arxiv.org·1d
🔗Functional Compilers
GPO: Learning from Critical Steps to Improve LLM Reasoning
arxiv.org·1d
Automated Theorem Proving
Evaluating CxG Generalisation in LLMs via Construction-Based NLI Fine Tuning
arxiv.org·1d
🤖Grammar Induction
Codeck Presents Verdent AI: They Wanted Opinions, I have Plenty
dev.to·6h·
Discuss: DEV
🖥️Terminal Renaissance
Weakly Supervised Food Image Segmentation using Vision Transformers and Segment Anything Model
arxiv.org·4h
🤖Advanced OCR
Anomaly Detection in Electric Vehicle Charging Stations Using Federated Learning
arxiv.org·4h
🧠Machine Learning
Improving Credit Card Fraud Detection through Transformer-Enhanced GAN Oversampling
arxiv.org·4h
🔍Vector Forensics
Mainframed/ANSi2EBCDiC: convert ANSI art to EBCDIC/TN3270 art
github.com·14h·
Discuss: Hacker News
📺VT100 Emulation
Dynamic Prompt Fusion for Multi-Task and Cross-Domain Adaptation in LLMs
arxiv.org·4h
🎙️Whisper
Simplified Longitudinal Retrieval Experiments: A Case Study on Query Expansion and Document Boosting
arxiv.org·1d
🔍Information Retrieval