🐿️ 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

Regular Expression Matching Can Be Simple and Fast (2007)
swtch.com·1d·
Discuss: Hacker News
🔍RegEx Engines
A Refreshing SQL Injection Discovery in Z-Push
xbow.com·1d·
Discuss: Hacker News
🔐Cryptographic Archaeology
The Right Approach to Authorization in RAG
osohq.com·1d·
Discuss: Hacker News
🧬PostgreSQL Forensics
On Trustworthy Rule-Based Models and Explanations
arxiv.org·14h
⚖️Constraint Logic
Show HN: Please check out my Free OpenAPI audit tool
devunus.com·21h·
Discuss: Hacker News
⚡gRPC
How to scale RL to 10^26 FLOPs
blog.jxmo.io·22h·
Discuss: Hacker News
🔮Proof Search
[D] Does prompt injection like in this article really works?
reddit.com·1d·
Discuss: r/MachineLearning
🎯Proof Tactics
Truth-value judgment in language models: 'truth directions' are context sensitive
arxiv.org·14h
🧮Kolmogorov Complexity
SAND: Boosting LLM Agents with Self-Taught Action Deliberation
arxiv.org·14h
⚡Incremental Computation
What Is Type Inference? What It Is and How It Works
hackernoon.com·5d
🔍Type Inference
Trace LLM workflows at your app's semantic level, not at the OpenAI API boundary
engineeringideas.substack.com·11h·
Discuss: Substack
⚙️TLA+
DocCHA: Towards LLM-Augmented Interactive Online diagnosis System
arxiv.org·14h
🎙️Whisper
Machine Learning Fundamentals: data augmentation
dev.to·3h·
Discuss: DEV
⚡Incremental Computation
Being a psychologist to your (over)thinking LLM
specy.app·3d·
Discuss: Hacker News
🔗Constraint Handling
🐍 My Python Journey: Week 3 – The Realm of Operators
dev.to·3d·
Discuss: DEV
📝Concrete Syntax
[D] Automatic system prompt generation from a task + data
reddit.com·3h·
Discuss: r/MachineLearning
⚡Proof Automation
Semantically Separating Nominal Wyvern for Usability and Decidability
arxiv.org·3d
💻Programming languages
Cactus Language • Stylistics 2
inquiryintoinquiry.com·2d
💻Programming languages
Data-Star.dev – v1 and Beyond
data-star.dev·1d·
Discuss: Hacker News
🏺ZIP Archaeology
Measuring how changes in code readability attributes affect code quality evaluation by Large Language Models
arxiv.org·2d
📏Code Metrics
Loading...Loading more...
AboutBlogChangelogRoadmap