๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ”ฌ Refinement Types

Liquid Haskell, Contract Programming, SMT Integration, Type Safety

Smarter ITSM Automation with ServiceNow Integration
blog.qualys.comยท5h
๐Ÿ”HSM Integration
The powerful Beast blender lives up to its name, and it's even made me a kale smoothie fan
techradar.comยท1d
โ˜•Coffee
Herringbone Tiles
nothings.orgยท9hยท
Discuss: Hacker News
๐Ÿ“Mathematical Art
Experimenting with SQL:2023 Property-Graph Queries in Postgres 18
gavinray97.github.ioยท2dยท
Discuss: Hacker News
๐ŸงฌPostgreSQL Forensics
I Teach Creative Writing. This Is What A.I. Is Doing to Students.
notes.billmill.orgยท9h
๐Ÿ›Digital humanities
Show HN: I made an extension for VSCode that integrates opencode
marketplace.visualstudio.comยท2dยท
Discuss: Hacker News
๐ŸชŸAwesome windows command-line
LLMs Are Bad at Being Forced
morphllm.comยท4dยท
Discuss: Hacker News
๐Ÿ’ปLocal LLMs
Navigating AI Dementia: Strategies for Safe Rollback
news.ycombinator.comยท23hยท
Discuss: Hacker News
๐Ÿ’พPersistence Strategies
Bare-Metal Kubernetes: The Performance Advantage Is Almost Gone
thenewstack.ioยท3h
๐Ÿ–ฅ๏ธSelf-hosted Infrastructure
Dual-Numbers Reverse AD for Functional Array Languages
arxiv.orgยท3d
๐Ÿ“ŠAPL Heritage
The Chainsaw Metaphor: AI in software development represents an evolution, not a destructive revolution
dev.toยท7hยท
Discuss: DEV
๐Ÿ”„Language Evolution
Signs of the Past, Patterns of the Present: On the Automatic Classification of Old Babylonian Cuneiform Signs
arxiv.orgยท16h
๐Ÿค–Paleographic ML
[P] Anyone interested in adding their fine-tuned / open source models to this benchmark?
reddit.comยท1dยท
Discuss: r/MachineLearning
๐ŸŒ€Brotli Internals
Researchers mimic cell membranes to tune ion transport in artificial water filters
phys.orgยท1h
โš›๏ธInformation Physics
The unique, mathematical shortcuts language models use to predict dynamic scenarios
news.mit.eduยท8h
๐ŸŒฒParse Trees
Complexity of Abduction in \L{}ukasiewicz Logic
arxiv.orgยท16h
๐Ÿ—๏ธConstructive Mathematics
Why Even Legendary Games Like Wesnoth Hide Bugs in Plain Sight
hackernoon.comยท4d
๐Ÿ“œProof Carrying Code
Understanding Derivatives: The Slope of Change
dev.toยท2dยท
Discuss: DEV
๐ŸŒ€Differential Geometry
Why I'm Betting Against AI Agents in 2025 (Despite Building Them)
dev.toยท1dยท
Discuss: DEV
๐Ÿ”Capability Systems
๐Ÿš€ The Complete Guide to Prompt Engineering: From Zero-Shot to AI Agents
dev.toยท1dยท
Discuss: DEV
โšกProof Automation
Loading...Loading more...
AboutBlogChangelogRoadmap