Dependent Types, Category Theory, Formal Verification, Lambda Calculus

Depth-first Unary Degree Sequence - Information Camouflage
bruceediger.com·2d
🪢Rope Data Structures
Flag this post
Hou Tu Pranownse Inglish
zompist.com·1d·
Discuss: Hacker News
Tokenizer Benchmarks
Flag this post
Weekly Bookmarks
inkdroid.org·1d
🏠indieweb
Flag this post
The Cargo Cult in the Machine: Why LLMs Are the Ultimate Imitators
steviee.medium.com·1d·
Discuss: Hacker News
🪜Recursive Descent
Flag this post
DialectalArabicMMLU: Benchmarking Dialectal Capabilities in Arabic and Multilingual Language Models
arxiv.org·1d
🏗️MLIR
Flag this post
Speech-DRAME: A Framework for Human-Aligned Benchmarks in Speech Role-Play
arxiv.org·2h
Gleam
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.org·5d·
🔒Rust Borrowing
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.com·3d·
Discuss: Hacker News
Gleam
Flag this post
Iterative Cut-Based PWA Approximation of Multi-Dimensional Nonlinear Systems
arxiv.org·2h
Control Synthesis
Flag this post
Deep Dive into Scala 3 Macros: Building a Custom String Interpolator
dev.to·1d·
Discuss: DEV
🦀Rust Macros
Flag this post
Reevaluating Self-Consistency Scaling in Multi-Agent Systems
arxiv.org·2h
🧠Memory Ordering
Flag this post
On Improvisation and Open-Endedness: Insights for Experiential AI
arxiv.org·2h
🎭Program Synthesis
Flag this post
RLAC: Reinforcement Learning with Adversarial Critic for Free-Form Generation Tasks
arxiv.org·2h
🪜Recursive Descent
Flag this post
Complex QA and language models hybrid architectures, Survey
arxiv.org·2h
🌱Minimal ML
Flag this post
Day 22: Python Even-Odd Counter – Count Even and Odd Integers in a List with Type Checks
dev.to·1d·
Discuss: DEV
💬Interactive REPLs
Flag this post
Scala vs F#
alexn.org·3d
🔧Nickel
Flag this post
DEEP: A Discourse Evolution Engine for Predictions about Social Movements
arxiv.org·2h
🔄Incremental Parsers
Flag this post