🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
➡️ Category Theory
Functors, Monads, Mathematical Structures, Abstract Algebra
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
I know genomes. Don't delete your DNA
stevensalzberg.substack.com
·
1h
·
Discuss:
Substack
🍎
Apple
How to Build a Website That Ranks on Google
melhorar.co
·
11h
·
Discuss:
Hacker News
🧗
Climbing Tech
Cosmograph: Visualize big networks within seconds
cosmograph.app
·
16h
·
Discuss:
Hacker News
🍎
Apple
The UI Framework for Perfectionists
chainlift.io
·
1d
·
Discuss:
Hacker News
🍎
Apple
OWASP's cure for a sick AI supply chain
scworld.com
·
3d
·
Discuss:
Hacker News
🛡️
seL4
40% of agentic AI projects are expected to fail by 2027
techolution.com
·
5h
·
Discuss:
Hacker News
⚙️
PL Implementation
Selling your digital soul to use Bluesky's DMs isn't just a bad idea, it's the law
theregister.com
·
11h
·
Discuss:
Hacker News
🖥️
Self-hosted Infrastructure
How OpenElections Uses LLMs
thescoop.org
·
19h
·
Discuss:
Hacker News
🧪
Property-Based Testing
I Got into Deep Learning
vikas.sh
·
5d
·
Discuss:
Hacker News
🎮
Verification Games
Please, FOSS world, we need something like ChromeOS
theregister.com
·
6h
·
Discuss:
Hacker News
🔬
Unikernels
Toxicity-Aware Few-Shot Prompting for Low-Resource Singlish Translation
arxiv.org
·
4d
🔍
Formal Verification
Beyond Single Models: Enhancing LLM Detection of Ambiguity in Requests through Debate
arxiv.org
·
4d
✓
Automated Theorem Proving
VideoITG: Multimodal Video Understanding with Instructed Temporal Grounding
arxiv.org
·
3d
🎮
Verification Games
GPT-4.1 Beast Prompt
github.com
·
3d
·
Discuss:
Hacker News
🤖
Program Synthesis
ViSP: A PPO-Driven Framework for Sarcasm Generation with Contrastive Learning
arxiv.org
·
6d
✓
Automated Theorem Proving
The Role of Rank in Mismatched Low-Rank Symmetric Matrix Estimation
arxiv.org
·
4d
🏹
Effect Systems
[2025] Homelab Update
i.redd.it
·
1d
·
Discuss:
r/homelab
🏠
HomeLab
Dual form Complementary Masking for Domain-Adaptive Image Segmentation
arxiv.org
·
4d
🐫
OCaml
Recurrent U-Net-Based Graph Neural Network (RUGNN) for Accurate Deformation Predictions in Sheet Material Forming
arxiv.org
·
4d
🐫
OCaml
Iterative Augmentation with Summarization Refinement (IASR) Evaluation for Unstructured Survey data Modeling and Analysis
arxiv.org
·
4d
🐫
OCaml
Loading...
Loading more...
« Page 39
•
Page 41 »