The Beginning of My Programming Journey
docs.google.com·36m·
Discuss: Hacker News
🦀Rust Macros
A Better Way to Build Presentations (With Agentic AI)
elite-ai-assisted-coding.dev·3h·
Discuss: Hacker News
⚡Proof Automation
I have a project with ~200k LoC, written with AI codegen. AMA
news.ycombinator.com·1h·
Discuss: Hacker News
⚡Proof Automation
KuBERT: Central Kurdish BERT Model and Its Application for Sentiment Analysis
arxiv.org·16h
📝Text Embeddings
LLMs as Layout Designers: A Spatial Reasoning Perspective
arxiv.org·16h
📝Concrete Syntax
Mainframed/ANSi2EBCDiC: convert ANSI art to EBCDIC/TN3270 art
github.com·2h·
Discuss: Hacker News
📺VT100 Emulation
When AI Writes Medical Records, the Patient Disappears
dev.to·3h·
Discuss: DEV
⛏️Grammar Mining
RADE for Land Mobile Radio: A Neural Codec for Transmission of Speech over Baseband FM Radio Channels
arxiv.org·16h
🎧Learned Audio
Emotions are Recognized Patterns of Cognitive Activities
arxiv.org·16h
🔲Cellular Automata
Synth-MIA: A Testbed for Auditing Privacy Leakage in Tabular Data Synthesis
arxiv.org·16h
🛡️Differential Privacy
Qwen3-Omni Technical Report
arxiv.org·16h
🎬WebCodecs
AuditoryBench++: Can Language Models Understand Auditory Knowledge without Hearing?
arxiv.org·16h
👂Psychoacoustic Coding
Rethinking the Role of Text Complexity in Language Model Pretraining
arxiv.org·16h
🧠Intelligence Compression
LongCat-Flash-Thinking, LLM from Meituan (China's Equivalent of Uber Eats)
github.com·12h·
Discuss: Hacker News
🌊Streaming Algorithms
Building Your First AI Agent: Tavily X LangGraph
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Can LLMs Reason Over Non-Text Modalities in a Training-Free Manner? A Case Study with In-Context Representation Learning
arxiv.org·16h
🌳Context free grammars
GPO: Learning from Critical Steps to Improve LLM Reasoning
arxiv.org·16h
✓Automated Theorem Proving
Specification-Aware Machine Translation and Evaluation for Purpose Alignment
arxiv.org·16h
💻Programming languages
Text-Scene: A Scene-to-Language Parsing Framework for 3D Scene Understanding
arxiv.org·16h
🎙️Whisper
parSAT: Parallel Solving of Floating-Point Satisfiability
arxiv.org·16h
🧮SMT Solvers