🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
💭 Prolog

Logic Rules, Declarative Programming

Contribute open science #memo #dirary
iwatobipen.wordpress.com·1d
🧩Theorem Proving
Building an agent to play Dragon Quest(NES)
yashmore.notion.site·1d·
Discuss: Hacker News
🤖Sci-Fi
Connecting my Raw Thoughts to Claude via Obsidian
erickhun.com·16h·
Discuss: r/ClaudeAI
💾Retrocomputing
The Death of the User Interface
gist.github.com·23h·
Discuss: Hacker News, r/programming
💻Operating Systems
Enclosed ErgoDash
github.com·1d·
Discuss: r/ErgoMechKeyboards
📦WebAssembly
Ask HN: What's Hacker News's vision for the future?
news.ycombinator.com·1d·
Discuss: Hacker News
🤖Sci-Fi
Robust capacity estimation with uncertainty quantification for li-ion batteries under temporal data masking challenges: A progressive learning approach
sciencedirect.com·20h
🎲Probabilistic Programming
When I let ChatGPT manage my social life for a week, AI texted my friends and picked my outfits. It was strange but helpful.
businessinsider.com·22h
🤖Sci-Fi
How Mintlify uses Claude Code as a technical writing assistant
mintlify.com·3d·
Discuss: Hacker News
🧩Theorem Proving
[Build] 3× Mac minis + 10G NAS k8s cluster. Feedback wanted
i.redd.it·14h·
Discuss: r/homelab
🌍Distributed Systems
When Machines Rewrite Themselves: The Geopolitics of Self-Programming AI
reddit.com·1d·
Discuss: r/AIDangers
🤖Sci-Fi
There Has Never Been a Better Time to Be a Junior Dev – It Won't Last Forever
aaronstannard.com·1d·
Discuss: Hacker News
🧩Theorem Proving
Dynamic Templates for Business Ops Managers Announce Process Updates in Seconds
dev.to·17h·
Discuss: DEV
🧩Theorem Proving
Qimem: Open-Source Rust Crypto Toolkit. Help Us Build It
github.com·22h·
Discuss: Hacker News
🦀Rust
AI Is in a Weird Spot
samjarman.co.nz·1d·
Discuss: Hacker News
🔍Static Analysis
Postit 2024-12-05 20:18:52
dinandmentink.nl·21h
🧫Cellular Automata
Automated Predictive Maintenance of MEMS Gyroscopes via Dynamic Bayesian Network Optimization
dev.to·2d·
Discuss: DEV
🎲Probabilistic Programming
Wind-solar complementarity in the Northwest Pacific: Implications for renewable energy planning and policy guidance
sciencedirect.com·20h
🎲Probabilistic Programming
Using Claude to manage.. me
dev.to·1d·
Discuss: DEV
🧩Theorem Proving
Most people think prompting is just typing smart things into a chat box.
threadreaderapp.com·17h
🧩Theorem Proving
Loading...Loading more...
AboutBlogChangelogRoadmap