Line-based Lisp Editing
🧠Lisp Dialects
Flag this post
The White House fired 176 CISA employees on Friday, with more layoffs feared
metacurity.com·2d
🛡Cybersecurity
Flag this post
Mixpanel: You shouldn't roll your own billing system, but we did it anyway. Why?
✅Format Verification
Flag this post
Is it time for TPC-BLOB?
🗃️Database Storage
Flag this post
Go big with a 28TB Seagate Ironwolf Pro, now just $479 in Newegg's limited sale — bargain storage priced at just $17 per TB
tomshardware.com·2d
💿Disk Geometry
Flag this post
Conjecturing: An Overlooked Step in Formal Mathematical Reasoning
arxiv.org·19h
🔬Lean
Flag this post
Observation Matrix Design for Densifying MIMO Channel Estimation via 2D Ice Filling
arxiv.org·2d
⚽Sphere Packing
Flag this post
Look before Transcription: End-to-End SlideASR with Visually-Anchored Policy Optimization
arxiv.org·2d
🤖Advanced OCR
Flag this post
The Personalization Trap: How User Memory Alters Emotional Reasoning in LLMs
arxiv.org·1d
👤Search Personalization
Flag this post
Making Power Explicable in AI: Analyzing, Understanding, and Redirecting Power to Operationalize Ethics in AI Technical Practice
arxiv.org·1d
⚖️Lossy Compression Ethics
Flag this post
A Denotational Product Construction for Temporal Verification of Effectful Higher-Order Programs
arxiv.org·1d
💻Programming languages
Flag this post
Throughput Maximization for Multiuser Communications with Flexible-Sector 6DMA
arxiv.org·1d
⚽Sphere Packing
Flag this post
LLM-REVal: Can We Trust LLM Reviewers Yet?
arxiv.org·19h
🏛Digital humanities
Flag this post
Multi-stage Prompt Refinement for Mitigating Hallucinations in Large Language Models
arxiv.org·19h
✨Effect Handlers
Flag this post
'Garbage Collection for Rust: The Finalizer Frontier' paper added
soft-dev.org·15h
🦀Rust Borrowing
Flag this post
Bring AI agents into production in minutes
⚔️Lean Tactics
Flag this post
Loading...Loading more...