Physical Science Vocabulary
moomoomathblog.com·1d·
🌡️Preservation Physics
Flag this post
ICU4X 2.1 released!
blog.unicode.org·9h
🔤Unicode Normalization
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·18h
λLambda Formalization
Flag this post
TOPol: Capturing and Explaining Multidimensional Semantic Polarity Fields and Vectors
arxiv.org·1d
🧮Vector Embeddings
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·1d·
Discuss: Hacker News
📊Static Analysis
Flag this post
How the most feared algorithm in algebra is simple
news.ycombinator.com·1d·
Discuss: Hacker News
🧮Algebraic Datatypes
Flag this post
word2vec-style vector arithmetic on docs embeddings
technicalwriting.dev·1d·
Proof Automation
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·6h·
🦀Rust Macros
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·9h·
Discuss: Hacker News
🔗Functional Compilers
Flag this post
Llmtext – an open source toolkit for llms.txt adoption
llmtext.com·12h·
Discuss: Hacker News
🔄Burrows-Wheeler
Flag this post
Show HN: WayOfThat, Automatically detect and place fields and checkboxes on PDFs
wayofthat.com·2d·
Discuss: Hacker News
📄Document Digitization
Flag this post
HeraclesQL: A Python DSL for Writing Alerts
hudsonrivertrading.com·13h·
Discuss: Hacker News
Format Verification
Flag this post
Web 4.0
dillonshook.com·1d·
Discuss: Hacker News
🌐Web Standards
Flag this post
Data Modeling for OLAP with AI Ft. District Cannabis (MooseStack, ClickHouse)
fiveonefour.com·12h·
Discuss: Hacker News
⚙️Batch Processing
Flag this post
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
arxiv.org·2d
💻Programming languages
Flag this post
LLM Experimentation: Optimizing My Journaling Agent
dev.to·15h·
Discuss: DEV
🤖Grammar Induction
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.org·3h
💻Programming languages
Flag this post
Ajla Tutorial
ajla-lang.cz·7h·
Discuss: Hacker News
💧Liquid Types
Flag this post
A Short Introduction to Categorical Logic
youtube.com·1d
🔀Category Theory
Flag this post