🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔶 Cubical Type Theory

Homotopy Type Theory, Univalence, Path Types, Higher Inductive Types

Open-Source Knob Packed with Precision
hackaday.com·1d
⌨️Mechanical Keyboards
Show HN: N8n Copilot – Chat with n8n to create workflow
chromewebstore.google.com·20h·
Discuss: Hacker News
🤖Archive Automation
Primitive Kolmogorov complexity is computable
lewish.io·6d·
Discuss: Hacker News
🧮Kolmogorov Complexity
What it means to build local AI
gulf-times.com·1d·
Discuss: Hacker News
🎙️Whisper
Kumo’s ‘relational foundation model’ predicts the future your LLM can’t see
venturebeat.com·2d·
Discuss: Hacker News, Hacker News
💻Local LLMs
Has an AI Backlash Begun?
it.slashdot.org·11h
🔲Cellular Automata
Show HN: AI-gent Workflows – locally reasoning AI Agents
ai-gents.work·3d·
Discuss: Hacker News
⚡Proof Automation
MongoDB Is Great for Analytics; Until It's Not (2023)
seattledataguy.substack.com·11h·
Discuss: Substack
🌊Stream Processing
[D] Review clearly used an LLM, should I report it to AC?
reddit.com·9h·
Discuss: r/MachineLearning
🔍Concolic Testing
I created a script that generates word lists based on various input combinations.
dev.to·12h·
Discuss: DEV
⚙️Parser Generators
I built a recursive self-dialogue engine by accident. It won't stop evolving
github.com·2d·
Discuss: Hacker News
🌐Protocol Synthesis
HarmonyOS development: wrapBuilder passing parameters
dev.to·7h·
Discuss: DEV
📰SGML
Solve a real-world problem with AI
dev.to·2d·
Discuss: DEV
🧮Z3 Applications
Real Time Game Server Architecture Design Low Latency High Concurrency Technical Implementation(1751201311772400)
dev.to·16h·
Discuss: DEV
🦀Embedded Rust
Android Made Accessible: Kotlin Code Generation from Natural Language
dev.to·16h·
Discuss: DEV
🌀Brotli Internals
LFCS Seminar Thursday 26th June: John Longley
informatics.ed.ac.uk·6d
🔗Combinatory Logic
Cactus Language • Syntax 11
inquiryintoinquiry.com·6d
📝Concrete Syntax
Think, Damnit: A Brutal Guide to Asking Better Programming Questions
dev.to·8h·
Discuss: DEV
🦀Rust Macros
Multicontinuum Homogenization for Poroelasticity Model
arxiv.org·3d
🌀Differential Geometry
Leetcode 2099. Find Subsequence of Length K With the Largest Sum
dev.to·1d·
Discuss: DEV
🧮Kolmogorov Complexity
Loading...Loading more...
AboutBlogChangelogRoadmap