Tea-Fi Redefines DeFi: One SuperApp. Infinite Yield. Powered by $TEA
hackernoon.com·2d
🔐ChaCha20
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·3d·
Discuss: Hacker News
📐Type Theory
Flag this post
Ask HN: What made you improve your logical reasoning?
news.ycombinator.com·1d·
Discuss: Hacker News
🧮SMT Solvers
Flag this post
The state of SIMD in Rust in 2025
shnatsel.medium.com·21h·
🔀SIMD Programming
Flag this post
are-dependent-types-actually-erased
chadnauseam.com·3d·
Discuss: Hacker News
🔗Dependent Types
Flag this post
I Processed the Internet on a Single Machine to Find Valuable Expired Domains
blog.mbrt.dev·2d·
Discuss: Hacker News
🌿Trie Structures
Flag this post
[P] triplet-extract: GPU-accelerated triplet extraction via Stanford OpenIE in pure Python
reddit.com·2d·
🧮Vector Databases
Flag this post
Getting Started with Generative AI Models: Concepts and Building Blocks
pub.towardsai.net·8h
🎨Creative Coding
Flag this post
Beyond the "Vibe Check": How to Use the Web Codegen Scorer to Master AI-Generated Code
dev.to·17h·
Discuss: DEV
⚙️JIT Compilation
Flag this post
The Curved Spacetime of Transformer Architectures
arxiv.org·8h
Category Theory
Flag this post
Auditable-choice reframing unlocks RL-based verification for open-ended tasks
arxiv.org·1d
💬Prompt Engineering
Flag this post
AILA--First Experiments with Localist Language Models
arxiv.org·8h
📝Parsing
Flag this post
QuantumBench: A Benchmark for Quantum Problem Solving
arxiv.org·2d
⚛️Quantum Computing
Flag this post
A Criminology of Machines
arxiv.org·8h
🤖Cyberpunk
Flag this post
KGBridge: Knowledge-Guided Prompt Learning for Non-overlapping Cross-Domain Recommendation
arxiv.org·1d
💬Prompt Engineering
Flag this post
Radar Trends to Watch: November 2025
oreilly.com·2d
🎭Program Synthesis
Flag this post
Exploratory Analysis of Cyberattack Patterns on E-Commerce Platforms Using Statistical Methods
arxiv.org·8h
🦠Malware Analysis
Flag this post
A Unified Model for Human Mobility Generation in Natural Disasters
arxiv.org·1d
🔲Cellular Automata
Flag this post