๐Ÿฟ๏ธ 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

A language model built for the public good
jmason.ieยท10h
๐Ÿ’ปLocal LLMs
Week 30 Status
blogs.gnome.orgยท2d
โšกProof Automation
Let's Write React Hooks From Scratch
playfulprogramming.comยท2d
๐Ÿ”—Concatenative Programming
Wireframer 7 days by a 21 y/o college student (100 users, 2 paid)
wireframer.siteยท16hยท
Discuss: Hacker News
๐Ÿฆ‹Format Metamorphosis
Python's asyncio: A Hands-On Walkthrough
realpython.comยท1d
๐Ÿ”„Lens Laws
IT-Security : Gematik commissions EY with zero-trust implementation for TI 2.0
heise.deยท1d
๐Ÿ”คEBCDIC Privacy
Do We Have Data to Train New AI?
labs.adaline.aiยท14hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
๐Ÿš€ Need Help Deploying Python Flask Web App
dev.toยท1dยท
Discuss: DEV
๐ŸŒNetwork Protocols
LinDeps: A Fine-tuning Free Post-Pruning Method to Remove Layer-Wise Linear Dependencies with Guaranteed Performance Preservation
arxiv.orgยท1d
๐Ÿ“ŠQuantization
Dynamic analysis of free-free Timoshenko beams on elastic foundation under transverse transient ground deformation
arxiv.orgยท16h
๐ŸŒŠStream Ciphers
Why Did TikTokโ€™s Parent Company Open Source Coze? A Look Into the Future of Workflow Agents
dev.toยท11hยท
Discuss: DEV
๐Ÿ”“Open Source Software
How AI and Machine Learning Are Shaping the Future of App Development
dev.toยท10hยท
Discuss: DEV
๐Ÿ“Code Metrics
๐Ÿš€ 5 Powerful AI Tools You Need to Try(With YouTube Guides + Source Code!)
dev.toยท1dยท
Discuss: DEV
โš”๏ธLean Tactics
FedBAP: Backdoor Defense via Benign Adversarial Perturbation in Federated Learning
arxiv.orgยท1d
๐ŸคSecure Multiparty
GLM-4.5 Now Available on SiliconFlow: Open-Source SOTA Model for Reasoning, Code, and Agentic Applications
dev.toยท1dยท
Discuss: DEV
โš™๏ธTLA+
Tech With Tim: Python AI Voice Agent Tutorial - Full Developer Guide (Deepgram, Twilio, Function Calling)
dev.toยท1dยท
Discuss: DEV
๐ŸŽ™๏ธWhisper
Why I Like Go
dev.toยท2dยท
Discuss: DEV
๐Ÿ”—Concatenative Programming
What I Learned About Practical Software Engineering by Building for the Government
hackernoon.comยท12h
๐Ÿ”’WASM Capabilities
From Zero to Telegram AI Bot: My Experience Building with Bolt and Gemini
dev.toยท6hยท
Discuss: DEV
โšกProof Automation
Beyond Binary Moderation: Identifying Fine-Grained Sexist and Misogynistic Behavior on GitHub with Large Language Models
arxiv.orgยท2d
๐Ÿ“ŠFeed Optimization
Loading...Loading more...
AboutBlogChangelogRoadmap