Uncanny academic valley: Brian Wansink as proto-chatbot
statmodeling.stat.columbia.edu·56m
🔲Proof Irrelevance
LLM Prompt Fixed Point: the Ultimate Prompt
funcall.blogspot.com·1d·
Discuss: www.blogger.com
✓Automated Theorem Proving
Sharing is Caring: Arbitrary Code Execution for Breakfast
trebledj.me·2d
🔧Binary Parsers
Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·2d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
**Unlock the Power of Emotional Anchoring in AI Models** In
dev.to·19h·
Discuss: DEV
🎙️Whisper
Taskwarrior CLI – Workflow Examples
taskwarrior.org·10h·
Discuss: Hacker News
⚡Proof Automation
Lazy text capitalization with low latency large language models
blog.florianschulz.info·23h·
Discuss: Hacker News
🌀Brotli Internals
Seeing Like a Language Model
every.to·1d·
Discuss: Hacker News
🌀Hyperbolic Geometry
Generative AI finds antimicrobial peptides against multidrug-resistant bacteria
nature.com·13h·
Discuss: Hacker News
⚙️ABNF Mining
Three Meanings of "To Know"
madhadron.com·1h·
Discuss: Hacker News
🔍Archive Semantics
Show HN: Is-Kit – Lightweight TypeScript Guard and Validator Toolkit
github.com·2h·
Discuss: Hacker News
⚡Dependent Rust
Automated Harmonic Oscillation Analysis via Multi-Modal Data Fusion and Predictive Modeling
dev.to·10h·
Discuss: DEV
✨Algebraic Effects
An experiment generating a protocol spec from natural language source with LLM
gist.github.com·1d·
Discuss: Hacker News
🧪CBOR Fuzzing
🐈💀 When My AIs Died: The Rise and Fall of Lynqbit & BarnOwl
dev.to·3h·
Discuss: DEV
🦀Rust Macros
Multimodal Foundation Models for Early Disease Detection
arxiv.org·2d
📊Learned Metrics
Comet
perplexity.ai·3h·
Discuss: Hacker News
📰Feed Readers
Hume AI Octave 2: new text-to-speech model, 11+ languages
hume.ai·1d·
Discuss: Hacker News
🎙️Whisper
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·1h·
Discuss: DEV
⚡SMT Integration
Fun with HyperLogLog and SIMD
vaktibabat.github.io·1d·
Discuss: Hacker News, r/rust
📊HyperLogLog
Adaptive AI: Neural Networks That Learn to Conserve
dev.to·16h·
Discuss: DEV
📊Quantization