Double Maths First Thing: Issue 2A
aperiodical.comยท22h
๐Ÿ‘‘Isabelle
Belief elicitation in theory versus practice
statmodeling.stat.columbia.eduยท14h
๐Ÿง Intelligence Compression
Coping with Complexity
slott56.github.ioยท4d
๐Ÿ”—Concatenative Programming
What Problems to Solve โ€“ By Richard Feynman
genius.cat-v.orgยท13hยท
Discuss: Hacker News
โš›๏ธInformation Physics
Simpson's paradox in psychological science: a practical guide (2013)
frontiersin.orgยท14hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
The World is a Fractal โ€“ a mental model for navigating the depth of knowledge
blog.satpugnet.comยท13hยท
Discuss: Hacker News
๐Ÿ“Mathematical Art
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.comยท2d
๐ŸงฎZ3 Solver
LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization
arxiv.orgยท2d
๐Ÿ”—Monadic Parsing
Finetuning a Weather Foundation Model with Lightweight Decoders for Unseen Physical Processes
arxiv.orgยท1d
๐Ÿ”Type Inference
Anthropic, OpenAI and Others Discover AI Models Give Answers That Contradict Their Own Reasoning
slashdot.orgยท1d
๐Ÿ”ฒCellular Automata
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.orgยท2d
โš–๏ธHoare Logic
Dive Deep into Higher-Order Functions: Essential Resources for Functional Programmers
dev.toยท2dยท
Discuss: DEV
๐ŸงฌFunctional Programming
Define-ML: An Approach to Ideate Machine Learning-Enabled Systems
arxiv.orgยท2h
๐Ÿง Machine Learning
๐Ÿ‘น Longest Binary Subsequence K โ€“ LeetCode 2311 (C++ | JavaScript | Python )
dev.toยท6hยท
Discuss: DEV
ฮปLambda Encodings
Schemars v1 is now released
reddit.comยท12hยท
Discuss: r/rust
๐Ÿฆ€Rust Macros
On Union-Closedness of Language Generation
arxiv.orgยท2d
๐Ÿ”—Monadic Parsing
LFCS Seminar Friday 27th June: John Longley
informatics.ed.ac.ukยท2d
๐Ÿ’ปProgramming languages
Program Synthesis is Interesting and Open
stephendiehl.comยท4dยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
SACL: Understanding and Combating Textual Bias in Code Retrieval with Semantic-Augmented Reranking and Localization
arxiv.orgยท2h
๐Ÿ”BitFunnel
CLGRPO: Reasoning Ability Enhancement for Small VLMs
arxiv.orgยท2d
๐Ÿ“Linear Logic