From Lossy to Lossless Reasoning
manidoraisamy.com·11h·
Discuss: Hacker News
🎲Property-Based Testing
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·1d
♻️Recursion Schemes
Flag this post
Beyond the Black Box: Making LLM Decoding Truly End-to-End
dev.to·12h·
Discuss: DEV
🔮Lisp Macros
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·1d·
Discuss: Hacker News
🚫Branch-Free Programming
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·9h·
Discuss: Hacker News
🚫Branch-Free Programming
Flag this post
In a First, AI Models Analyze Language As Well As a Human Expert
quantamagazine.org·15h·
Discuss: Hacker News
💾information theory
Flag this post
Issue 496
haskellweekly.news·1d
λHaskell
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·1d·
Discuss: Lobsters, Hacker News
📦Aeson
Flag this post
An underqualified reading list about the transformer architecture
fvictorio.github.io·1d·
Discuss: Hacker News
😴Lazy Evaluation
Flag this post
Testing Cross-Lingual Text Comprehension In LLMs Using Next Sentence Prediction
arxiv.org·2d
💾information theory
Flag this post
November 1 Wikipedia featured article
en.wikipedia.org·5h
🦅Awk
Flag this post
A Minimal Route to Transformer Attention
neelsomaniblog.com·2d·
Discuss: Hacker News
💾information theory
Flag this post
Scala 3 / HOCON Parsing
alexn.org·1d
📦Aeson
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.com·7h
🎲Property-Based Testing
Flag this post
SPG: Sandwiched Policy Gradient for Masked Diffusion Language Models
paperium.net·10h·
Discuss: DEV
📐Gini Coefficient
Flag this post
Evidence on language model consciousness
lesswrong.com·1h
🎲Property-Based Testing
Flag this post
interpreter? hmm...
dev.to·12h·
Discuss: DEV
📦Aeson
Flag this post
The top 4 JVM languages and why developers love them
infoworld.com·2d
🔵Clojure
Flag this post
GHC 9.14.1-rc1 is now available
discourse.haskell.org·20h·
Discuss: Lobsters, Hacker News
📦Cabal
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·2d·
Discuss: r/javascript, r/programming
➡️Arrows
Flag this post