Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.ioยท14h
๐Ÿ“ŠGraph Databases
Show HN: Requests-Based Google Maps Scraper
apify.comยท8hยท
Discuss: Hacker News
๐Ÿ”BitFunnel
Coping with Complexity
slott56.github.ioยท4d
๐Ÿ”—Concatenative Programming
Godel's Incompleteness Theorem
news.ycombinator.comยท11hยท
Discuss: Hacker News
๐Ÿ”คType Theory
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.comยท1dยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Struggling with lambda functions? Learn them in 3 easy steps.
dev.toยท4dยท
Discuss: DEV
ฮปLambda Encodings
Fine-Tuning and Prompt Engineering of LLMs, for the Creation of Multi-Agent AI for Addressing Sustainable Protein Production Challenges
arxiv.orgยท38m
๐ŸงฎTheorem Proving
The Bitter Lesson is coming for Tokenization
lucalp.devยท1dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ”—Monadic Parsing
Escape from Lambda Function Name Hardcoding Hell: Type-Safe Serverless Development with sls_enum
dev.toยท3dยท
Discuss: DEV
โฌ†๏ธLambda Lifting
SUTRA: Decoupling Concept & Language for Multilingual LLM Excellence
hackernoon.comยท12h
๐Ÿ’ปLocal LLMs
Memory Safety in Web Rust System Zero Cost Secure๏ผˆ1750885516953300๏ผ‰
dev.toยท7hยท
Discuss: DEV
๐Ÿฆ€Rust Borrowing
Programming Entry Level: how to interpreter
dev.toยท1dยท
Discuss: DEV
๐Ÿ”—Lisp
๐Ÿ‘น Longest Binary Subsequence K โ€“ LeetCode 2311 (C++ | JavaScript | Python )
dev.toยท4hยท
Discuss: DEV
ฮปLambda Encodings
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.comยท19hยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals
Persona-Assigned Large Language Models Exhibit Human-Like Motivated Reasoning
arxiv.orgยท38m
๐ŸŽฏDependent Parsing
LFCS Seminar Friday 27th June: John Longley
informatics.ed.ac.ukยท2d
๐Ÿ’ปProgramming languages
Finetuning a Weather Foundation Model with Lightweight Decoders for Unseen Physical Processes
arxiv.orgยท1d
๐Ÿ”Type Inference
Declarative Programming: SQL, HTML, CSS, Prolog Guide
dev.toยท2dยท
Discuss: DEV
๐Ÿ“Concrete Syntax
CCRS: A Zero-Shot LLM-as-a-Judge Framework for Comprehensive RAG Evaluation
arxiv.orgยท38m
๐Ÿ“Linear Logic
Cactus Language โ€ข Syntax 11
inquiryintoinquiry.comยท2d
๐Ÿ“Concrete Syntax