๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ›๏ธ Isabelle HOL

Higher-order Logic, Proof Development, Mathematical Foundations, Interactive Verification

Placing similar words together
rubenerd.comยท17h
๐Ÿ”—Concatenative Languages
Contextualizing ancient texts with generative neural networks
nature.comยท4h
๐Ÿค–AI Paleography
A new era of software engineering, cybersecurity, & AI
softwareheritage.orgยท5h
๐ŸบArchaeological Computing
XProc tips and tricks
so.nwalsh.comยท2d
โšกProof Automation
CatColab
catcolab.orgยท1d
๐Ÿ›Digital humanities
arduino-tictactoe: A tic-tic-toe implementation using minimax for Arduino
github.comยท1d
๐ŸŽฏEmulator Accuracy
Small world: The revitalization of small AI models for cybersecurity
news.sophos.comยท10h
๐Ÿ’ปLocal LLMs
DeepMind and OpenAI claim gold in International Mathematical Olympiad
newscientist.comยท1d
๐Ÿง Intelligence Compression
Multi-tenant RAG implementation with Amazon Bedrock and Amazon OpenSearch Service for SaaS using JWT
aws.amazon.comยท3h
๐Ÿค–Archive Automation
Interfaces That Augment or Replace?
zehfernandes.comยท6hยท
Discuss: Hacker News
๐Ÿ“ŸCLI Design
Using Claude Code as a Personal Tutor
jimmymeetsworld.comยท2dยท
Discuss: Hacker News
๐ŸŒณIncremental Parsing
AI Agent Development Tradeoffs You NEED to Know
podcasters.spotify.comยท1d
๐Ÿ”ฒCellular Automata
Developing our position on AI
recurse.comยท20hยท
Discuss: Hacker News
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Using FireCrawl MCP Server with Claude for Web Scraping
dev.toยท5hยท
Discuss: DEV
โšกProof Automation
Forcing Myself to Vibe Code
kevinhighwater.comยท2dยท
Discuss: Hacker News
โš”๏ธLean Tactics
GitHub Copilot: Everything You Wanted to Know About Reusable (and Experimental) Prompts - Part 1
dev.toยท8hยท
Discuss: DEV
๐Ÿ–ฅ๏ธModern Terminals
Building Event-Driven Architecture with MSK and Lambda: The Python Developer's Guide to Not Shooting Yourself in the Foot
dev.toยท1dยท
Discuss: DEV
๐ŸŒŠApache Kafka
Building with AI: Substrate, Agents, Workflow
zo.computerยท7hยท
Discuss: Hacker News
๐ŸŒCultural Algorithms
Patching your Homebrew's Emacs Plus (macOS)
xenodium.comยท20h
๐ŸŽXNU Internals
Small LLMs Do Not Learn a Generalizable Theory of Mind via Reinforcement Learning
arxiv.orgยท1d
๐ŸŒณContext free grammars
Loading...Loading more...
AboutBlogChangelogRoadmap