Evaluating LLMs on Generating Age-Appropriate Child-Like Conversations
arxiv.org·21h
📝ABNF Extensions
Flag this post
Learning Regular Languages with RPNI Algorithm
rahul.gopinath.org·3d·
Discuss: Hacker News
📐Format Grammars
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·15h·
Discuss: r/javascript, r/programming
λLambda Encodings
Flag this post
Grammarly Isn’t Going Anywhere
lifehacker.com·8h
⚡Proof Automation
Flag this post
AI and the Power of Nonuniform Circuits
blog.computationalcomplexity.org·5h·
Discuss: blog.computationalcomplexity.org
🎞️Tape Combinatorics
Flag this post
Everything About Transformers
krupadave.com·5h·
Discuss: Hacker News
📝Text Parsing
Flag this post
Bringing Vision-Language Intelligence to RAG with ColPali
towardsdatascience.com·7h
📝Concrete Syntax
Flag this post
Tracking an evolving Discord-based RAT family
reversinglabs.com·10h
🦠Malware Analysis
Flag this post
Wednesday 26 November - 11am
informatics.ed.ac.uk·1d
🎵Audio ML
Flag this post
Writing an LLM from scratch, part 25 – instruction fine-tuning
gilesthomas.com·4h·
Discuss: Hacker News
⚡Proof Automation
Flag this post
Function Calling in LangChain: Turning Chatbots into Enterprise Copilots
dev.to·1h·
Discuss: DEV
⚡SMT Applications
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·15h·
Discuss: Substack
🧬Functional Programming
Flag this post
Clojure Runs ONNX AI Models Now - Join the AI fun!
dragan.rocks·3d·
Discuss: Hacker News
🔗Monadic Parsing
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·36m·
Discuss: Hacker News
📊Static Analysis
Flag this post
Convert any GitHub repo to coding puzzles
github.com·1d·
Discuss: Hacker News
⚡Proof Automation
Flag this post
Nonmonotonic Logic
cambridge.org·2d·
Discuss: Hacker News
🔬Logic in Computer Science
Flag this post
Why Programming Languages Are Not 'Just Tools'
bloominlabs.substack.com·10h·
Discuss: Substack
💻Programming languages
Flag this post
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
arxiv.org·21h
💻Programming languages
Flag this post
How to Use Zorn's Lemma
gowers.wordpress.com·3d·
Discuss: Hacker News
⚔️Lean Theorem
Flag this post
Reasoning Models Reason Well, Until They Don't
arxiv.org·1d
🧮Constraint SMT
Flag this post