Notes on writing a monovocalic sonnet
muppetlabs.com·1d·
Discuss: Hacker News
🔗Concatenative
An exploration into the nature of ChatGPT's mathematical knowledge
tandfonline.com·9h·
Discuss: Hacker News
📐Mathematical Computing
Omittable — Solving the Ambiguity of Null
committing-crimes.com·1d·
Discuss: r/programming
🗂️Type Indexing
GPU Accelerated Zero-Knowledge Proving by Developerayo
blog.shodipoayomide.com·9h·
Discuss: Hacker News
💾Cache-Oblivious Algorithms
Python 3.14.0rc3 is go!
pythoninsider.blogspot.com·21h·
Discuss: Lobsters
🌊Gradual Typing
A formal proof of C∞ISRT
bsky.app·5d·
♾️Codata Types
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·4d·
🌱Minimal ML
A Steering Vector for SQL Injection Vulnerabilities in Phi-1.5
lesswrong.com·2d
🛡️Parser Security
Evaluating Large Language Models for Cross-Lingual Retrieval
arxiv.org·5h
📊LR Parsing
Learning Rust and a bit unclear about an exercise on Exercism
exercism.org·2d·
Discuss: r/rust
🦀Rust Macros
Safe C++ Loses Out To Profiles
i-programmer.info·1d
🪄C Metaprogramming
Reactant.jl – Julia execution code on GPUs
github.com·1d·
Discuss: Hacker News
🔮Clojure
Ei Embedded Inverser: automatic inversion of expressions at the structural level
news.ycombinator.com·1d·
Discuss: Hacker News
🏷️Symbol Interning
Hardness of Dynamic Core and Truss Decompositions
arxiv.org·1d
Partial Evaluation
🔗 An Elixir, Phoenix and Ash beginner's guide
yellowduck.be·1h
Gleam
From Chaos to Cohesion: A Retrospective on How FSMs Connect Us to Domain Experts
dev.to·1d·
Discuss: DEV
🌉Cross-Platform FFI
AToken: A Unified Tokenizer for Vision
arxiv.org·5h
Tokenizer Benchmarks
Connecting to LLMs: Building a Simple HTTP Client for AI Integration
dev.to·8h·
Discuss: DEV
🔧API Design
Joint Scheduling and Multiflow Maximization in Wireless Networks
arxiv.org·5h
📡Async Channels