🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🏗️ Constructive Logic

Intuitionistic Proofs, Program Extraction, Computational Content, Type Theory

Tips for getting the best image generation and editing in the Gemini app
blog.google·8h
🌀Fractal Compression
Some recent project milestones
markjgsmith.com·2d
🔌Interface Evolution
How Many Paths of Length K Are There Between a and B?
horace.io·2d·
Discuss: Hacker News
🕸️Graph Algorithms
Barking Up The Ratchet Tree – MLS Is Neither Royal Nor Nude
soatok.blog·1d·
Discuss: Lobsters, Hacker News, r/programming
🔑Cryptographic Protocols
Looking back at "legacy" HTML practices
nooshu.com·4h·
Discuss: Hacker News
🏺Format Archaeology
Show HN: Cosmic AI Platform – Build and deploy CMS sites using natural language
cosmicjs.com·9h·
Discuss: Hacker News
🔗Hypermedia APIs
Fine-Tuning and Deploying GPT Models Using Hugging Face Transformers
blog.jetbrains.com·1d
🤖Grammar Induction
An epiphany about bloated web pages might be the result of a dumb network (2023)
boston.conman.org·3h·
Discuss: Hacker News
🚀Indie Hacking
Advancing Weakly-Supervised Change Detection in Satellite Images via Adversarial Class Prompting
arxiv.org·20h
📊Learned Metrics
The Science of Intelligent Exploration: Why We Need Exploration in AI
richardcsuwandi.github.io·2d·
Discuss: Hacker News
🔲Cellular Automata
Legal Doublet (Wikipedia)
en.wikipedia.org·2d·
Discuss: Hacker News
📜Text Collation
An experimental approach: The graph of graphs
arxiv.org·20h
🌈Spectral Methods
Sapir-Whorf does not apply to Programming Languages
buttondown.com·5d·
Discuss: Hacker News
💻Programming languages
Show HN: An AI "senior engineer" that crafts specs before vibe coding
github.com·7h·
Discuss: Hacker News
🇯🇵Japanese Computing
Do What? Teaching Vision-Language-Action Models to Reject the Impossible
arxiv.org·1d
⚖️RISC-V Formal
MMTok: Multimodal Coverage Maximization for Efficient Inference of VLMs
arxiv.org·20h
🧮Kolmogorov Complexity
Don’t Marry an LLM, Date Many
dev.to·1h·
Discuss: DEV
🔒Linear Types
Build a Smart Search App with LangChain and PostgreSQL on Google Cloud
blog.devops.dev·1d
🌀Brotli Dictionary
Hierarchical Contextual Grounding LVLM: Enhancing Fine-Grained Visual-Language Understanding with Robust Grounding
arxiv.org·20h
🤖Advanced OCR
On the Algorithmic Bias of Aligning Large Language Models with RLHF: Preference Collapse and Matching Regularization
arxiv.org·20h
🧮Kolmogorov Bounds
Loading...Loading more...
AboutBlogChangelogRoadmap