🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🎯 Dependent Types
Type-level Programming, Proof-carrying Code, Agda, Type Safety
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Signal Should Improve Visualization of Its Privacy Properties
karl-voit.at
·
1d
🏺
Protocol Archaeology
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
#367
weeknotes.barrucadu.co.uk
·
1d
🦀
Rust Borrowing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Is ChatGPT lying to you? Maybe, but not in the way you think
techradar.com
·
3h
🤖
AI Curation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Joy & Curiosity #57
registerspill.thorstenball.com
·
1d
🏺
ZIP Archaeology
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Eon – An Effects-Based OCaml Nameserver
ryan.freumh.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
🌐
DNS Security
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Ship Broken Things
matmul.net
·
3d
·
Discuss:
Hacker News
🔗
Topological Sorting
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
100 Poisoned Examples Can Hijack Any AI Model (Even GPT-4-Scale LLMs)
dev.to
·
3d
·
Discuss:
DEV
⚡
Proof Automation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Title: Anthropic's Claude AI Model Now Supports Longer Prompts with a Million-Token Context Window
dev.to
·
1d
·
Discuss:
DEV
🤖
Lisp Machines
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org
·
6d
💻
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
AI-Driven Ethical Risk Assessment & Mitigation in Supply Chain Compliance
dev.to
·
2d
·
Discuss:
DEV
🔗
Supply Chain
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
·
1d
·
Discuss:
DEV
⚖️
Emulation Ethics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Automated Graph Neural Network Calibration for Robust Decentralized Sensor Fusion
dev.to
·
2d
·
Discuss:
DEV
🤝
Consensus Networks
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
10 ChatGPT Prompt Templates That Saved Me 100+ Hours of Work
dev.to
·
16h
·
Discuss:
DEV
⚔️
Lean Tactics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Tech With Tim: How I Would Learn Python Web Development If I Started Over
dev.to
·
11h
·
Discuss:
DEV
λ
Lambda Formalization
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
CaRT: Teaching LLM Agents to Know When They Know Enough
arxiv.org
·
3d
🔲
Cellular Automata
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Handling 100+ Website Scrapers with Python's asyncio
dev.to
·
1d
·
Discuss:
DEV
📰
RSS Archaeology
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Enhanced Predictive Maintenance of Geothermal Heat Exchangers via Hybrid Bayesian Optimization and LSTM
dev.to
·
2d
·
Discuss:
DEV
💻
Local LLMs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Scalable Semantic Map Generation via Hierarchical Graph Optimization
dev.to
·
2d
·
Discuss:
DEV
⚡
Incremental Computation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Investigating the Impact of Rational Dilated Wavelet Transform on Motor Imagery EEG Decoding with Deep Learning Models
arxiv.org
·
13h
🧠
Learned Codecs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Tech With Tim: How to Build AI Agents in Python
dev.to
·
19h
·
Discuss:
DEV
🔲
Cellular Automata
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 23
•
Page 25 »