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

Performance Testing, Part 1: The Road to Continuous Performance Testing
tweag.ioΒ·23h
πŸ‘οΈSystem Observability
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
Keep the Terminal Relevant: Patterns for AI Agent Driven CLIs – InfoQ
infoq.comΒ·5dΒ·
Discuss: Hacker News
πŸ“ŸCLI Design
An Unusual Employment Vetting Experience. Grifter Chancing His Luck or DPRK?
medium.comΒ·1dΒ·
Discuss: Hacker News
πŸ“ŸTerminal Forensics
Even CEOs get a do-over now and then. Just ask OpenAI's Sam Altman.
businessinsider.comΒ·1d
πŸ”“Open Source Software
What’s your biggest headache in modern observability and monitoring?
reddit.comΒ·1dΒ·
Discuss: r/kubernetes
πŸ‘οΈSystem Observability
Intel IDXD Accelerator Driver Cleaned Up For Some "Not So Happy Code Paths"
phoronix.comΒ·1d
πŸ§ͺHardware Fuzzing
Adaptive Requirements Elicitation via Bayesian Network Optimization for Complex Systems
dev.toΒ·3dΒ·
Discuss: DEV
βš™οΈProof Engineering
Exploring Molecular Odor Taxonomies for Structure-based Odor Predictions using Machine Learning
arxiv.orgΒ·19h
🌊Spectral Clustering
Build Your First AI Agent in TypeScript
dev.toΒ·3dΒ·
Discuss: DEV
⚑Proof Automation
Forecasting Commodity Price Shocks Using Temporal and Semantic Fusion of Prices Signals and Agentic Generative AI Extracted Economic News
arxiv.orgΒ·2d
πŸ“ˆTime Series
A Neurosymbolic Framework for Interpretable Cognitive Attack Detection in Augmented Reality
arxiv.orgΒ·19h
πŸ”Vector Forensics
'Inference whales' are breaching AI coding startup business models
businessinsider.comΒ·2dΒ·
Discuss: Hacker News
βš™οΈProof Engineering
Software Engineering Laws - Team & Project Management
leadership.gardenΒ·6h
βš”οΈLean Tactics
Beyond Prompt-Induced Lies: Investigating LLM Deception on Benign Prompts
arxiv.orgΒ·3d
πŸ’»Local LLMs
We've been building Swarm agents incorrectly (starting from OpenAI's Swarm)
github.comΒ·4dΒ·
Discuss: Hacker News
πŸŒ€Brotli Internals
MuaLLM: A Multimodal Large Language Model Agent for Circuit Design Assistance with Hybrid Contextual Retrieval-Augmented Generation
arxiv.orgΒ·2d
⚑Circuit Design
Diffeomorphic Neural Operator Learning
arxiv.orgΒ·2d
πŸ•ΈοΈTensor Networks
Neural Tangent Knowledge Distillation for Optical Convolutional Networks
arxiv.orgΒ·1d
🧠Neural Codecs
Loading...Loading more...
AboutBlogChangelogRoadmap