JupyterLab-PKM 0.1.12
electricarchaeology.ca·40m
🌀Brotli Internals
Could Open Table Formats End the Reign of Snowflake and Databricks?
prequel.co·1h·
Discuss: Hacker News
📚MARC Evolution
Announcing crabstep: A pure Rust, cross-platform, zero-dependency Apple/NeXTSTEP typedstream deserializer
github.com·1h
🔒Linear Types
Elmo's World NP-complete problem (2006)
blog.plover.com·1d·
Discuss: Hacker News
🧮SMT Solvers
OMEGA: Can LLMs Reason Outside the Box in Math? Evaluating Exploratory, Compositional, and Transformative Generalization
arxiv.org·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity
higher: Your favourite Haskell type classes for Rust (2023)
github.com·4d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
What LLMs Know About Their Users
schneier.com·7h·
Discuss: Hacker News
💻Local LLMs
Algorithm Complexity: Time, Space, and Big-O Notation
dev.to·9h·
Discuss: DEV
🧮Kolmogorov Complexity
How much slower is random access, really?
samestep.com·2d·
Discuss: Hacker News
📼Tape Encoding
An in-depth look at the implementation of an Undo/Redo system in a large complex visual application
mlacast.com·2d·
Discuss: Hacker News, r/programming
💾Persistence Strategies
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·8h·
Discuss: Hacker News, r/programming
🔗Lisp
TableVault: Managing Dynamic Data Collections for LLM-Augmented Workflows
arxiv.org·1d
🔄Schema Evolution
The Guide to the Foundation Models Framework
azamsharp.com·5h·
Discuss: Hacker News
λLambda Formalization
Signal Recovery on Algebraic Varieties Using Linear Samples
arxiv.org·1d
🕸️Algebraic Topology
Sheaf Hypergraph Networks
arxiv.org·2d
🌀Hyperbolic Geometry
New: Improve Apache Iceberg query performance in Amazon S3 with sort and z-order compaction
aws.amazon.com·22h
🔄Burrows-Wheeler
Dive Deep into Higher-Order Functions: Essential Resources for Functional Programmers
dev.to·1d·
Discuss: DEV
🧬Functional Programming
Self-referential structs that can actually move in Rust
reddit.com·2d·
Discuss: r/rust
🦀Rust Borrowing
Safe Pruning LoRA: Robust Distance-Guided Pruning for Safety Alignment in Adaptation of LLMs
arxiv.org·14h
💻Local LLMs
Fast Capture of Cell-Level Provenance in Numpy
arxiv.org·1d
🔗Data Provenance