๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
โš–๏ธ Constraint CHR

Constraint Handling Rules, Logic Programming, Rule Systems, Declarative Computing

I Configure BorgBackup and Borgmatic
justus.pwยท2dยท
Discuss: Hacker News
๐ŸŽApple Archive
Apache Flink 2.1.0 Released
flink.apache.orgยท2dยท
Discuss: Hacker News
๐ŸŒŠStreaming Databases
Introducing LangExtract: A Gemini powered information extraction library
developers.googleblog.comยท3dยท
Discuss: Hacker News
๐ŸฐMedieval Parsing
[RFC] Hardening mode for the compiler - Clang Frontend
discourse.llvm.orgยท1dยท
Discuss: Hacker News, r/cpp
๐ŸญCompiler Backends
Day 40/100: Python math, random, and statistics Modules
dev.toยท1dยท
Discuss: DEV
๐Ÿ“ŸTerminal Physics
ashishpatel26/500-AI-Agents-Projects
github.comยท5d
โšกProof Automation
I built Gorion โ€” an experimental Eloquent-style ORM for Go
reddit.comยท2dยท
Discuss: r/golang
๐Ÿ‘‘Isabelle
Can you trust your friendly neighborhood LLM?
chrisbeckman.devยท3dยท
Discuss: Hacker News
โšกProof Automation
Reverse-Engineering Claude Code CLI Using Claude Sub Agents
sabrina.devยท6dยท
Discuss: Hacker News
โšกProof Automation
How to Secure a Linux Server
github.comยท2dยท
Discuss: Hacker News
๐Ÿ›ก๏ธCLI Security
DevOps Pioneer: Vibe Coding 100x Bigger Than DevOps Revolution
thenewstack.ioยท19h
โš”๏ธLean Tactics
End-to-End GitHub Workflow: Agents (CrewAI), UI (CopilotKit), Automation (Composio)
dev.toยท2dยท
Discuss: DEV
โšกProof Automation
3 things Iโ€™ve learned while implementing my first multi agent architecture
dev.toยท1dยท
Discuss: DEV
โš™๏ธTLA+
LoRA-PAR: A Flexible Dual-System LoRA Partitioning Approach to Efficient LLM Fine-Tuning
arxiv.orgยท5d
๐Ÿ’ปLocal LLMs
Python Itertools: Master Complex and Efficient Iterators in 2025
dev.toยท3dยท
Discuss: DEV
๐Ÿ“Concrete Syntax
Fixed-Point-Oriented Programming: A Concise and Elegant Paradigm
arxiv.orgยท4d
๐Ÿ’ปProgramming languages
LLM-Adapted Interpretation Framework for Machine Learning Models
arxiv.orgยท4d
๐Ÿ’ปLocal LLMs
AI-Generated Workflows: Automate Complex Processes from Plain Text
dev.toยท3dยท
Discuss: DEV
โšกProof Automation
The Problem with Safety Classification is not just the Models
arxiv.orgยท4d
๐Ÿ“ABNF Parsing
Tensor-based reduction of linear parameter-varying state-space models
arxiv.orgยท2d
๐Ÿ“Linear Algebra
Loading...Loading more...
AboutBlogChangelogRoadmap