🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
⚖️ Verification Calculi
Refinement Types, SMT Integration, Program Logic, Type Safety
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Cosy Writer’s Den in Bengaluru, India
makerstations.io
·
12h
⌨️
Mechanical Keyboards
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: Easy, Automatic HTTPS for Node.js
magicserver.arsh.sh
·
1d
·
Discuss:
Hacker News
🌐
NetworkProtocols
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Self Hosting Nightscout on Raspberry Pi
broderic.blog
·
1d
·
Discuss:
Hacker News
🔌
Single Board PC
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Progress being made in porting AMD OpenSIL Turin PoC to Coreboot in a Gigabyte MZ33-AR1
blog.3mdeb.com
·
2d
·
Discuss:
Hacker News
,
r/hardware
🖥️
Terminal Renaissance
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
A Year of Gentoo
arch.dog
·
2d
·
Discuss:
Lobsters
,
Hacker News
❄
Nix
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Protobuf: Rust Generated Code Guide
protobuf.dev
·
5d
🦀
Rust Macros
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Software Architecture Horror Story
blog.mihaisafta.com
·
1d
·
Discuss:
Hacker News
🔌
Interface Evolution
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Solving the wrong problem
ufried.com
·
3d
·
Discuss:
Hacker News
⚡
Incremental Computation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Custom Portal Design: Building Your Own Context Managers
dev.to
·
4d
·
Discuss:
DEV
📝
Concrete Syntax
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
AI Renaissance: Bridging the Gap Between Intuition and Logic
dev.to
·
2d
·
Discuss:
DEV
🤖
Paleographic AI
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
🚀 Unlocking Productivity: AI Tools Every Angular Developer Should Know
dev.to
·
19h
·
Discuss:
DEV
🦀
Rust Macros
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Beyond Ethics Washing: Certifiably Fair AI with Knowledge-Driven Transformation by Arvind Sundararajan
dev.to
·
10h
·
Discuss:
DEV
⚖️
Emulation Ethics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Complete Guide to Audio Processing in Python: From Spectrograms to Real-Time Applications
dev.to
·
1d
·
Discuss:
DEV
📊
Spectral Analysis
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Title: The Complexity of ChatGPT's Model Picker: A Comprehensive Analysis
dev.to
·
3d
·
Discuss:
DEV
🌳
Context free grammars
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Blinter the Linter – A Cross Platform Batch Script Linter
github.com
·
3d
·
Discuss:
Hacker News
🤖
Archive Automation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Build a Private AI Chatbot for Your PDFs with Genkit and Gaia
dev.to
·
22h
·
Discuss:
DEV
📄
Document Streaming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Scaling LLM Multi-turn RL with End-to-end Summarization-based Context Management
arxiv.org
·
3d
💻
Local LLMs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Enhanced Predictive Maintenance for 3nm FinFET Gate-All-Around Structures via Bayesian Dynamic Network Analysis
dev.to
·
5h
·
Discuss:
DEV
🔧
Hardware Verification
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Automated Comet Debris Trajectory Prediction via Ensemble Kalman Filtering & Particle Swarm Optimization
dev.to
·
8h
·
Discuss:
DEV
👁️
Observatory Systems
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Using Pydantic for ETL - Clean, Validate, and Transform Data with Confidence
dev.to
·
2d
·
Discuss:
DEV
✅
Format Validation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 17
•
Page 19 »