Travels, 10
cameroncounts.wordpress.com·13h
🎯Performance Proofs
Threaded Code
muforth.dev·18h·
Discuss: Hacker News
🦀Rust Macros
Why Go Rocks for Building a Lua Interpreter
zombiezen.com·2d·
Discuss: r/golang
⬆️Lambda Lifting
Exploring High Efficiency Web Analysis Results（1750904353002600）
dev.to·2h·
Discuss: DEV
🌊Stream Processing
Polynomial-Time Approximation Schemes via Utility Alignment: Unit-Demand Pricing and More
arxiv.org·46m
🎯Performance Proofs
The one-more-re-nightmare compiler (2021)
applied-langua.ge·1d·
Discuss: Lobsters, Hacker News, r/programming
🔍RegEx Engines
SLR: An Automated Synthesis Framework for Scalable Logical Reasoning
arxiv.org·3d
📏Linear Logic
[D] Alarming amount of schizoid people being validated by LLMs, anyone else experienced this?
reddit.com·4h·
Discuss: r/MachineLearning
🎯Gradual Typing
daily quizzz
dev.to·15h·
Discuss: DEV
λLambda Encodings
Perspectives in Play: A Multi-Perspective Approach for More Inclusive NLP Systems
arxiv.org·46m
📚Digital Humanities
MATE: LLM-Powered Multi-Agent Translation Environment for Accessibility Applications
arxiv.org·1d
🎙️Whisper
RepuNet: A Reputation System for Mitigating Malicious Clients in DFL
arxiv.org·46m
🔍BitFunnel
MFTCXplain: A Multilingual Benchmark Dataset for Evaluating the Moral Reasoning of LLMs through Hate Speech Multi-hop Explanation
arxiv.org·1d
⚙️Compression Benchmarking
Named Entity Recognition using Bidirectional LSTM and Conditional Random Fields
dev.to·3d·
Discuss: DEV
🤖Grammar Induction
Dive Deep into Higher-Order Functions: Essential Resources for Functional Programmers
dev.to·1d·
Discuss: DEV
🧬Functional Programming
OctoThinker: Mid-training Incentivizes Reinforcement Learning Scaling
arxiv.org·46m
🔲Cellular Automata
CodeMorph: Mitigating Data Leakage in Large Language Model Assessment
arxiv.org·2d
💻Local LLMs
Exploring High Efficiency Web Analysis Results（1750876031390300）
dev.to·10h·
Discuss: DEV
🌊Stream Processing
Probing AI Safety with Source Code
arxiv.org·46m
✨Effect Handlers
Cross-sensor self-supervised training and alignment for remote sensing
arxiv.org·1d
📊Learned Metrics