๐Ÿฟ๏ธ 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

Dependency thoughts
macwright.comยท1d
๐Ÿ”—Dependency Resolution
New cryptologie.net
cryptologie.netยท14h
๐ŸŒ€Brotli Internals
Portable Forensics with Toby: A Raspberry Pi Toolkit
bakerstreetforensics.comยท7hยท
Discuss: Hacker News
๐Ÿ’พDisk Utilities
Dennis Ritchie: The Man Who Gave Us C Language
karthikwritestech.comยท12hยท
Discuss: Hacker News, r/programming
๐ŸšShell Calculus
Experimenting with SQL:2023 Property-Graph Queries in Postgres 18
gavinray97.github.ioยท1dยท
Discuss: Hacker News
๐ŸงฌPostgreSQL Forensics
Show HN: I made an extension for VSCode that integrates opencode
marketplace.visualstudio.comยท1dยท
Discuss: Hacker News
๐ŸชŸAwesome windows command-line
Are We Cooked?
bonnycode.comยท2dยท
Discuss: Hacker News
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
The New Bar for Engineers in 2025: AI-Native or Behind
zachwills.netยท4hยท
Discuss: Hacker News
๐Ÿ”ŒInterface Evolution
Shaping AI's Mind from the Shadows: My Journey with ArXiv and Alpay Algebra
lightcapai.medium.comยท3dยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Rust Web Frameworks Compared: Actix vs Axum vs Rocket
dev.toยท14hยท
Discuss: DEV
๐Ÿฆ€Rust Borrowing
QuestA: Expanding Reasoning Capacity in LLMs via Question Augmentation
arxiv.orgยท3d
โœ“Automated Theorem Proving
Socio-Technical Smell Dynamics in Code Samples: A Multivocal Review on Emergence, Evolution, and Co-Occurrence
arxiv.orgยท1h
๐ŸงฌBitstream Evolution
EPSilon: Efficient Point Sampling for Lightening of Hybrid-based 3D Avatar Generation
arxiv.orgยท1h
๐ŸบComputational Archaeology
State Space Models Naturally Produce Traveling Waves, Time Cells, and Scale to Abstract Cognitive Functions
arxiv.orgยท1h
๐Ÿ”ฒCellular Automata
Building Doclyft: An AI-Powered Documentation Generator for Devs
dev.toยท23hยท
Discuss: DEV
๐Ÿš€Indie Hacking
H-Nets โ€“ The Future
goombalab.github.ioยท2dยท
Discuss: Hacker News
๐Ÿ“ผCassette Combinators
Unveiling the Secrets of Multivariable Calculus: Partial Derivatives, Chain Rule, and Machine Learning
dev.toยท1dยท
Discuss: DEV
๐ŸŒ€Differential Geometry
๐Ÿ” What is Retrieval-Augmented Generation (RAG)?
dev.toยท12hยท
Discuss: DEV
๐ŸŒ€Brotli Internals
Usage Rules: Leveling the Playing Field for AI-Assisted Development
zachdaniel.devยท2dยท
Discuss: Hacker News
โšกProof Automation
How to keep up with AI progress
news.ycombinator.comยท23hยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals
Loading...Loading more...
AboutBlogChangelogRoadmap