Thinking with Types: type-level programming in Haskell
thinkingwithtypes.comยท3dยท
Discuss: Hacker News
๐ŸŒNetwork Protocols
Flag this post
A Guide to My Organizational Workflow
cachestocaches.comยท4hยท
Discuss: Hacker News
๐ŸŽฒGame Design
Flag this post
Status update, October 2025
bisco.orgยท2d
๐ŸŒNetwork Protocols
Flag this post
Unified system intelligence: Learning energy strategies for optimizing operations, maintenance, and market outcomes
sciencedirect.comยท9h
๐Ÿš€Performance
Flag this post
Security Audit of intel ICE Driver for e810 Network Interface Card
arxiv.orgยท23h
๐Ÿš€Performance
Flag this post
Continuous cell-type diversification in mouse visual cortex development
nature.comยท11h
๐Ÿ–ผ๏ธComputer Graphics
Flag this post
Designing Data-Intensive Applications [Book Review]-The Big Ideas Behind Reliable, Scalable and Maintainable Systems
dev.toยท12hยท
Discuss: DEV
๐Ÿ”Reverse Engineering
Flag this post
QuantumBench: A Benchmark for Quantum Problem Solving
arxiv.orgยท1d
๐Ÿš€Performance
Flag this post
MemSearcher: Training LLMs to Reason, Search and Manage Memory via End-to-End Reinforcement Learning
arxiv.orgยท23h
๐Ÿ”€Parallel Computing
Flag this post
[Research] Cross-Stage Vulnerabilities in Large Language Model Architectures
reddit.comยท1dยท
Discuss: r/LocalLLaMA
๐ŸŒNetwork Protocols
Flag this post
I made a tensor runtime & inference framework in C (good for learning how inference works)
github.comยท3dยท
๐Ÿ’ปProgramming
Flag this post
LDBT instead of DBTL: combining machine learning and rapid cell-free testing
nature.comยท13h
๐Ÿ”€Parallel Computing
Flag this post
A Simple and Repeatable Approach to Evaluating LLM Outputs
dev.toยท10hยท
Discuss: DEV
๐Ÿš€Performance
Flag this post
MedRECT: A Medical Reasoning Benchmark for Error Correction in Clinical Texts
arxiv.orgยท1d
๐ŸŒNetwork Protocols
Flag this post
Contrastive Knowledge Transfer and Robust Optimization for Secure Alignment of Large Language Models
arxiv.orgยท2d
โšกPerformance Optimization
Flag this post
Treat Your Citations Like Code: How I Refactored My Research Workflow
dev.toยท2hยท
Discuss: DEV
๐Ÿ—๏ธBuild Systems
Flag this post
Simple Additions, Substantial Gains: Expanding Scripts, Languages, and Lineage Coverage in URIEL+
arxiv.orgยท2d
๐Ÿš€Performance
Flag this post
Redundancy Maximization as a Principle of Associative Memory Learning
arxiv.orgยท23h
โšกPerformance Optimization
Flag this post
MISA: Memory-Efficient LLMs Optimization with Module-wise Importance Sampling
arxiv.orgยท1d
โšกPerformance Optimization
Flag this post
Explore More, Learn Better: Parallel MLLM Embeddings under Mutual Information Minimization
arxiv.orgยท1d
๐Ÿ”€Parallel Computing
Flag this post