๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ”ฒ Proof Irrelevance

Squash Types, Proposition Equality, Setoid Model, Type Theory

On This Day in Math - June 26
pballew.blogspot.comยท7hยท
Discuss: www.blogger.com
๐Ÿ—ƒ๏ธPunched Cards
Coping with Complexity
slott56.github.ioยท5d
๐Ÿ”—Concatenative Programming
The World is a Fractal โ€“ a mental model for navigating the depth of knowledge
blog.satpugnet.comยท18hยท
Discuss: Hacker News
๐Ÿ“Mathematical Art
How much code does that proc macro generate?
nnethercote.github.ioยท12hยท
Discuss: Lobsters, Hacker News
๐Ÿฆ€Rust Macros
Why Binary Won and Nothing Else Even Got Close
b0a04gl.siteยท1dยท
Discuss: Hacker News
๐ŸงฒRISC-V Archaeology
Comparing Rust, JavaScript and Go for Authoring WASM Components
obeli.skยท1dยท
Discuss: Hacker News
๐ŸงฉWASM Modules
Schemars v1 is now released
reddit.comยท18hยท
Discuss: r/rust
๐Ÿฆ€Rust Macros
On Union-Closedness of Language Generation
arxiv.orgยท2d
๐Ÿ”—Monadic Parsing
Program Synthesis is Interesting and Open
stephendiehl.comยท4dยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
Stop Words Using Spacy - NLP
dev.toยท1dยท
Discuss: DEV
๐Ÿ“Text Parsing
SACL: Understanding and Combating Textual Bias in Code Retrieval with Semantic-Augmented Reranking and Localization
arxiv.orgยท8h
๐Ÿ”BitFunnel
CLGRPO: Reasoning Ability Enhancement for Small VLMs
arxiv.orgยท2d
๐Ÿ“Linear Logic
The collective waste caused by poor documentation
shanrauf.comยท1dยท
Discuss: Hacker News
๐Ÿ“ฆDeflate
Beyond Prediction -- Structuring Epistemic Integrity in Artificial Reasoning Systems
arxiv.orgยท2d
๐Ÿง Computational Logic
Bilinear MLPs enable weight-based mechanistic interpretability
arxiv.orgยท8h
๐Ÿ“ŠQuantization
Fully lifted \emph{blirp} interpolation -- a large deviation view
arxiv.orgยท1d
๐ŸŒ€Fractal Compression
Cactus Language โ€ข Syntax 11
inquiryintoinquiry.comยท2d
๐Ÿ“Concrete Syntax
Evolving Prompts In-Context: An Open-ended, Self-replicating Perspective
arxiv.orgยท2d
๐Ÿ’ปProgramming languages
OctoThinker: Mid-training Incentivizes Reinforcement Learning Scaling
arxiv.orgยท8h
๐Ÿ”ฒCellular Automata
Perspectives in Play: A Multi-Perspective Approach for More Inclusive NLP Systems
arxiv.orgยท8h
๐Ÿ“šDigital Humanities
Loading...Loading more...
AboutBlogChangelogRoadmap