🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔠 Type-Level Programming
Dependent Haskell, GADTs, Type Families, Kind System
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
A filigree sound absorber for all weathers
empa.ch
·
1d
·
Discuss:
Hacker News
🔬
Unikernels
Channel-level EEG analysis systematically misattributes cortical source
neuromechanist.github.io
·
1d
·
Discuss:
Hacker News
🏹
Effect Systems
Comparison of Tribblix and Other Illumos Distributions
tribblix.org
·
2d
·
Discuss:
Hacker News
📦
Unikernel Systems
Visualize Your Puppet Data in Grafana with the Observability Data Connector
puppet.com
·
3d
·
Discuss:
Hacker News
👁️
System Observability
Lawyers for Chicago Housing Authority used ChatGPT to cite nonexistent case
chicagotribune.com
·
3h
·
Discuss:
Hacker News
✓
Automated Theorem Proving
K-State study finds odd twist in galaxy rotations
k-state.edu
·
5h
·
Discuss:
Hacker News
📦
Unikernel Systems
Google spoofed via DKIM replay attack: A technical breakdown
easydmarc.com
·
3d
·
Discuss:
Hacker News
🌐
NetworkProtocols
The "computer janitor" of the Manhattan project
allaboutcircuits.com
·
2d
·
Discuss:
Hacker News
💾
Retro Computing
Laravel and Admiral: The Internal Admin Stack We Wish We Had Sooner
dev.family
·
3d
·
Discuss:
Hacker News
🌐
NetworkProtocols
Google Has A Long Duration Energy Storage Message For Fossil Fuels, & It Ain’t Pretty
cleantechnica.com
·
2d
·
Discuss:
Hacker News
🖥️
Self-hosted Infrastructure
The Thermodynamics of Trading
signalsandthreads.com
·
2d
·
Discuss:
Hacker News
🏠
HomeLab
M720q vs M75q
reddit.com
·
4h
·
Discuss:
r/homelab
💾
Retro Computing
Fast LoRA inference for Flux with Diffusers and PEFT
huggingface.co
·
5d
·
Discuss:
Hacker News
🐫
OCaml
Recursive and non-recursive filters for sequential smoothing and prediction with instantaneous phase and frequency estimation applications (extended version)
arxiv.org
·
6d
🐫
Embedded OCaml
Assessing the Reliability of Large Language Models for Deductive Qualitative Coding: A Comparative Study of ChatGPT Interventions
arxiv.org
·
6d
🎮
Verification Games
FinSurvival: A Suite of Large Scale Survival Modeling Tasks from Finance
arxiv.org
·
6d
🐫
OCaml
Exploring Human-AI Complementarity in CPS Diagnosis Using Unimodal and Multimodal BERT Models
arxiv.org
·
6d
🏹
Effect Systems
AI is Eating Developer Experience
aviator.co
·
4d
·
Discuss:
Hacker News
,
r/programming
🔄
Reproducible Builds
Vision Transformer attention alignment with human visual perception in aesthetic object evaluation
arxiv.org
·
4d
➡️
Category Theory
Uncertainty-Aware Knowledge Transformers for Peer-to-Peer Energy Trading with Multi-Agent Reinforcement Learning
arxiv.org
·
5d
✓
Automated Theorem Proving
Loading...
Loading more...
« Page 53
•
Page 55 »