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

AI Is Like Outsourcing
brentozar.com·2d·
Discuss: Hacker News
🇳🇴Norwegian Computing
Can modern LLMs actually count the number of b's in "blueberry"?
minimaxir.com·2d·
Discuss: Hacker News
🧪Binary Fuzzing
An Unusual Employment Vetting Experience. Grifter Chancing His Luck or DPRK?
medium.com·1d·
Discuss: Hacker News
📟Terminal Forensics
Automating my University's STS Course & Lecturer Evaluation Process with Python + Selenium
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Fully-Fluctuating Participation in Sleepy Consensus
arxiv.org·3d
🤝Consensus Algorithms
Verification Method for Graph Isomorphism Criteria
arxiv.org·3d
🔗Graph Isomorphism
Robots are not that bad
dev.to·1d·
Discuss: DEV
📊Feed Optimization
Build Your First AI Agent in TypeScript
dev.to·3d·
Discuss: DEV
⚡Proof Automation
We've been building Swarm agents incorrectly (starting from OpenAI's Swarm)
github.com·4d·
Discuss: Hacker News
🌀Brotli Internals
Forecasting Commodity Price Shocks Using Temporal and Semantic Fusion of Prices Signals and Agentic Generative AI Extracted Economic News
arxiv.org·3d
📈Time Series
A Neurosymbolic Framework for Interpretable Cognitive Attack Detection in Augmented Reality
arxiv.org·1d
🔍Vector Forensics
'Inference whales' are breaching AI coding startup business models
businessinsider.com·2d·
Discuss: Hacker News
⚙️Proof Engineering
Writer's block with some slick hardware and a healthy environment.
reddit.com·3d·
Discuss: r/homelab
🔩Systems Programming
Adaptive Optogenetic Protein Interaction Control via Real-Time Neural Network Feedback
dev.to·23h·
Discuss: DEV
☕Precision Brewing
The Dark Side of “AI Productivity”: How It Trains You to Be Replaceable
hackernoon.com·19h
⚡Proof Automation
Software Engineering Laws - Team & Project Management
leadership.garden·11h
⚔️Lean Tactics
Beyond Prompt-Induced Lies: Investigating LLM Deception on Benign Prompts
arxiv.org·4d
💻Local LLMs
MuaLLM: A Multimodal Large Language Model Agent for Circuit Design Assistance with Hybrid Contextual Retrieval-Augmented Generation
arxiv.org·3d
⚡Circuit Design
Diffeomorphic Neural Operator Learning
arxiv.org·3d
🕸️Tensor Networks
Automated Feasibility Assessment via Dynamic Bayesian Network Optimization
dev.to·2d·
Discuss: DEV
⚡Incremental Computation
Loading...Loading more...
AboutBlogChangelogRoadmap