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

GrapheneOS – Part 2 – Google Play Services
blog.wirelessmoves.comΒ·10h
πŸ”ŒOffline-first Apps
This pitch deck helped Gradient Labs, a London AI startup, raise a $13 million Series A funding round in one week
businessinsider.comΒ·8h
🏴󠁧󠁒󠁳󠁣󠁴󠁿Scottish Computing
WP Cron Pixie v1.5.0 released: Front end switched from Elm to Gleam
ianmjones.comΒ·15hΒ·
Discuss: Lobsters
πŸ“ŸTerminals
The Bard and The Shell
journal.bsd.cafeΒ·1dΒ·
Discuss: Lobsters, Hacker News
πŸ“Shell Parsing
10 years of sustainable open source
about.readthedocs.comΒ·1dΒ·
Discuss: Hacker News
πŸ”„Language Evolution
When to use model distillation in production
inference.netΒ·4dΒ·
Discuss: Hacker News
πŸ’»Local LLMs
What Happened When I Tried to Replace Myself with ChatGPT in My English Classroom
lithub.comΒ·1dΒ·
Discuss: Hacker News
πŸ›Digital humanities
Are prompts the new unit of work?
archgw.comΒ·2dΒ·
Discuss: Hacker News
πŸ”ŒInterface Evolution
How Crypto Tokens Power Real-World Use Cases in 2025
dev.toΒ·1dΒ·
Discuss: DEV
πŸ”—Blockchain Archives
Vibration Anomaly Detection using XIAO ESP32-S3
hackster.ioΒ·14h
πŸ‘οΈSystem Observability
Show HN: My Open Source HTML Drafting Program
github.comΒ·17hΒ·
Discuss: Hacker News
πŸ”“Open Source Software
Optimizing Tool Selection in LLM Workflows(Part 2): A DSPy and PyTorch Benchmark
viksit.substack.comΒ·5dΒ·
Discuss: Substack
✨Effect Handlers
Top Skills Data Scientists Should Learn in 2025
kdnuggets.comΒ·1d
πŸ§ͺData science
CoGrader: Transforming Instructors' Assessment of Project Reports through Collaborative LLM Integration
arxiv.orgΒ·13h
πŸ—ΊοΈCompetency Maps
Why Most Dev Teams Hate Project Management
dev.toΒ·11hΒ·
Discuss: DEV
πŸ”„Reproducible Builds
Guiding Principles for Building a Secure Backup System with FreeBSD
discoverbsd.comΒ·9h
πŸ”ŒOperating system internals
Signed Higher-Order Interactions for Brain Disorder Diagnosis via Multi-Channel Transformers
arxiv.orgΒ·13h
πŸ•ΈοΈAlgebraic Topology
The Engineer’s Guide to Breaking Up with Break-Fix Work
thenewstack.ioΒ·5h
🌊Stream Processing
πŸš€ Just discovered this morning productivity hack:
dev.toΒ·8hΒ·
Discuss: DEV
πŸ“ŠFeed Optimization
Hyperbolic Embeddings for Order-Aware Classification of Audio Effect Chains
arxiv.orgΒ·13h
🎼Audio Lambda Calculus
Loading...Loading more...
AboutBlogChangelogRoadmap