🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⚖️ Hoare Logic

Program Correctness, Preconditions, Postconditions, Axiomatic Semantics

Looking at the cross (communion talk)
jasononeil.au·1d
⛪Church Encoding
GarageMinder: Automatic Garage Door
hackaday.com·1d
🏠Home Automation
Checkout this poem I wrote, about anonymous care, with my workflow
theaiworld.substack.com·2d·
Discuss: Substack
⬜Minimalism
MCP: Bringing mashups back!
blog.pamelafox.org·2d·
Discuss: www.blogger.com, Hacker News
🔌Interface Evolution
Show HN: MCP server for Blender that builds 3D scenes via natural language
blender-mcp-psi.vercel.app·9h·
Discuss: Hacker News
🎙️Whisper
Why we finally allowed arbitrary waits in our tests
octomind.dev·2d·
Discuss: Hacker News, r/programming
🔍Concolic Testing
Extracting and Cracking NTLMv1 Hashes
infosecwriteups.com·10h
🎯NTLM Attacks
The power of the Unix philosophy for LLM agentic tools
blog.korny.info·3d·
Discuss: Hacker News
🐚Shell Calculus
C++ Trailing Return Types (2022)
danielsieger.com·3d·
Discuss: Lobsters, Hacker News, r/cpp, r/programming
🔗Concatenative Programming
AI is a tool to disentangle presentation from content (reimagine and retell)
medium.com·2h·
Discuss: Hacker News
🌍Cultural Algorithms
Streaming Responses from OpenAI Models: Technical Implementation Guide
dev.to·1d·
Discuss: DEV
🌊Stream Processing
The Power of HTML - Part 20: AI-Generated HTML: Tools and Best Practices
dev.to·4h·
Discuss: DEV
⚡Proof Automation
Grok 4 Has Landed: A Deep Dive into xAI's
dev.to·1d·
Discuss: DEV
🤖Automated Parsing
Creating an AI Study Buddy Assistant with Google AI Studio
dev.to·2d·
Discuss: DEV
⚡Proof Automation
20% Slower Is a Good Start
aboard.com·2d·
Discuss: Hacker News
⚡Performance Mythology
We built AI dev agent that turns Jira tickets into ready PRs – no human needed
deepsense.ai·3d·
Discuss: Hacker News
⚡Proof Automation
Machine Learning Fundamentals: dropout
dev.to·2d·
Discuss: DEV
🌊Stream Processing
[D] thoughts about "prompt routing" - what do you think about it?
reddit.com·2d·
Discuss: r/MachineLearning
🌐Protocol Synthesis
The Power of HTML - Part 6: HTML5 APIs: Local Storage, Geolocation, and Offline Capabilities
dev.to·5h·
Discuss: DEV
🌐Web Standards
Enhancing Chain-of-Thought Reasoning with Critical Representation Fine-tuning
arxiv.org·5d
✨Effect Handlers
Loading...Loading more...
AboutBlogChangelogRoadmap