LLM Prompt Fixed Point: the Ultimate Prompt
funcall.blogspot.com·1d·
Automated Theorem Proving
It’s a JAX, JAX, JAX, JAX World
statmodeling.stat.columbia.edu·1d·
Discuss: Hacker News
⬆️Lambda Lifting
Myth Busters: Is Rust a Slam Dunk?
infoq.com·8h·
Discuss: Hacker News
🦀Embedded Rust
AI Self-Preferencing in Algorithmic Hiring: Empirical Evidence and Insights
papers.ssrn.com·1d·
Discuss: Hacker News
🌍Cultural Algorithms
Solving Reproducibility Challenges in Deep Learning and LLMs: Our Journey
ingonyama.com·13h·
Discuss: Hacker News
💻Local LLMs
Foremost, Fastest, Shortest: Temporal Graph Realization under Various Path Metrics
arxiv.org·1d
🕸️Network Topology
Kevin Buzzard and Alex Kontorovich on the Future of Formal Mathematics
renaissancephilanthropy.org·1d·
Discuss: Hacker News
🔬Lean
Benchmark: Spark vs. Ray Data vs. Daft on Multimodal Workloads
daft.ai·1d·
Discuss: Hacker News
🌊Stream Processing
Stochastic Activations
gonzoml.substack.com·5h·
Discuss: Substack
📊Quantization
Delimited Continuations in Lone Lisp
matheusmoreira.com·1d·
🔗Lisp
Larger than RAM Vector Indexes for Relational Databases
planetscale.com·4d·
Discuss: Hacker News
🗂️Vector Databases
5 Fun AI Agent Projects for Absolute Beginners
kdnuggets.com·1d
🤖Grammar Induction
Show HN: TorchSystem, Event driven systems with PyTorch
github.com·1d·
Discuss: Hacker News
Incremental Computation
AWS Certified Machine Learning Engineer Core Concepts
dev.to·13h·
Discuss: DEV
🧠Machine Learning
LOGicalThought: Logic-Based Ontological Grounding of LLMs for High-Assurance Reasoning
arxiv.org·1d
🧠Computational Logic
Understanding the Geospatial Reasoning Capabilities of LLMs: A Trajectory Recovery Perspective
arxiv.org·1d
💻Programming languages
A DuckDB extension for in-database inference, written in Rust 🦀
github.com·3d·
🦀Rust Borrowing
Datadog: Husky's query engine: Real-time access to 100T events
datadoghq.com·3d·
Discuss: Hacker News
🗄️Database Internals
What Is a Semantic Layer?
dataengineeringcentral.substack.com·1d·
Discuss: Substack
🔍Archive Semantics
Title: "Breaking Down Design Patterns in Python: A Guide for Developers"
dev.to·1d·
Discuss: DEV
🔤Type Theory