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

Resource Awareness, Session Types, Proof Nets, Substructural Logic

Changelog: Determinate now has a nix-darwin module, plus loads of performance perks
determinate.systems·3d
❄️Nix Adoption
Answer: Best ways to do just-in-time learning. Part 2: conversation with a chatbot
searchresearch1.blogspot.com·3d·
Discuss: searchresearch1.blogspot.com
🤖Grammar Induction
Trial begins for man accused of killing 5 by setting fire to New Zealand boarding house
the-independent.com·7h
📋records management
Premier League: 10 talking points from the weekend’s action
theguardian.com·9h
⚡Proof Automation
Optique: Type-safe combinatorial CLI parser for TypeScript
optique.dev·4d·
Discuss: Lobsters, Hacker News, r/javascript, r/node, r/typescript
💧Liquid Types
Q&A: Family webs may capture evolutionary change in plants better than family trees
phys.org·1h
📊Citation Graphs
Cases Closed
nytimes.com·5h
⚖️Legal Compliance
DeepSeek's new V3.1 release points to potent new Chinese chips coming soon
theregister.com·3d·
Discuss: r/TechHardware
🎯Emulator Accuracy
MoQ: Refactoring the Internet's real-time media stack
blog.cloudflare.com·3d·
Discuss: Hacker News
📞WebRTC
Using the 74HC595 Shift Register to Drive 7-Segment Displays
hackaday.com·3d
🎮Switch Archaeology
Starting Go (Golang) as My First Language – Need Help with Beginner Resources
reddit.com·3d·
Discuss: r/golang
λLambda Formalization
Auto-provisioning a complex Alibaba Cloud ECS order with MuleRun’s Browser Use Agent
dev.to·13h·
Discuss: DEV
🔄Sync Engine
[D] Low-budget hardware for on-device object detection + VQA?
reddit.com·3d·
Discuss: r/MachineLearning
💾Floppy Imaging
New Tool Ends Java Configuration Nightmare in K8s
thenewstack.io·3d
🔓Open Source Software
Embarrassed to observe: The effects of directive language in brand conversation
arxiv.org·12h
🔍BitFunnel
Help Your Model Learn the True Signal
towardsdatascience.com·5d
🔍Vector Forensics
Dual WAN Failover Device - 2 x WAN 2.5gb ports and 3 x LAN 2.5gb ports
reddit.com·23h·
Discuss: r/homelab
🖥Home Lab Setup
Automated Predictive Maintenance of MEMS Gyroscopes via Dynamic Bayesian Network Optimization
dev.to·3d·
Discuss: DEV
⚙️Tape Engineering
"Python for Those Who Cannot Even", a Book by Claude Code
github.com·3d·
Discuss: Hacker News
📝Concrete Syntax
Benchmarking LLM-based Agents for Single-cell Omics Analysis
arxiv.org·5d
💻Local LLMs
Loading...Loading more...
AboutBlogChangelogRoadmap