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

Ruby on Rails creator David Heinemeier Hansson says he looks for 2 key things when hiring
businessinsider.comยท11h
๐ŸšNordic Shell
Binary Search in Haskell and Rust
mmhaskell.comยท6d
๐Ÿ“Interval Arithmetic
Defold editor scripting adds scene editing in 1.10.4
defold.comยท2dยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
The Bytebot Core โ€“ From Linux Container to Agent Control Surface
bytebot.aiยท1dยท
Discuss: Hacker News
๐Ÿ”ŒOperating system internals
SEO, Logorrhoea and the Rise of Sick AI
purpleorca.co.ukยท2dยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals
Show HN: Please check out my Free OpenAPI audit tool
devunus.comยท3dยท
Discuss: Hacker News
โšกgRPC
A Refreshing SQL Injection Discovery in Z-Push
xbow.comยท3dยท
Discuss: Hacker News
๐Ÿ”Cryptographic Archaeology
Announcing GenAI Processors: Build powerful and flexible Gemini applications
developers.googleblog.comยท3dยท
Discuss: Hacker News
๐ŸŒŠStream Processing
Preface to a Dictionary of the English Language (1755)
gutenberg.orgยท1dยท
Discuss: Hacker News
๐Ÿ“œText Collation
Python List Manipulation: Remove Specific, Even, and Special Numbers Tutorial
dev.toยท2dยท
Discuss: DEV
โญAwesome lists
Deploying FastAPI to AWS: Part 1 - The EC2 Approach (Learning the Fundamentals)
dev.toยท8hยท
Discuss: DEV
๐Ÿ”ŒInterface Evolution
Curriculum Negative Mining For Temporal Networks
arxiv.orgยท2d
๐Ÿ•ธ๏ธGraph Embeddings
Machine Learning Fundamentals: data augmentation with python
dev.toยท1dยท
Discuss: DEV
โšกIncremental Computation
Enhanced Paperless-NGX with Paddle OCR + LLM Pipeline
dev.toยท1dยท
Discuss: DEV
๐Ÿ“„Document Streaming
Medical Red Teaming Protocol of Language Models: On the Importance of User Perspectives in Healthcare Settings
arxiv.orgยท2d
๐ŸŒProtocol Synthesis
MagiC: Evaluating Multimodal Cognition Toward Grounded Visual Reasoning
arxiv.orgยท2d
๐Ÿ“ŠLearned Metrics
Bridging the Plausibility-Validity Gap by Fine-Tuning a Reasoning-Enhanced LLM for Chemical Synthesis and Discovery
arxiv.orgยท2d
๐ŸงฎKolmogorov Complexity
Read my list of the AI coding tools I will be using this summer for all my new projects. What are some other tools missing from this list?
dev.toยท2dยท
Discuss: DEV
โšกProof Automation
NeoSearch: A Search Engine Forged by Determination
dev.toยท1dยท
Discuss: DEV
๐Ÿš€Indie Hacking
Position: We Need An Algorithmic Understanding of Generative AI
arxiv.orgยท2d
๐Ÿ”ฒCellular Automata
Loading...Loading more...
AboutBlogChangelogRoadmap