🌲 CTL

Computation Tree Logic, Branching Time, Model Checking

The World's Tallest Chip Defies the Limits of Computing: Goodbye To Moore's Law?
hardware.slashdot.org·19h
🔲Cellular Automata
Flag this post
Exploring a space-based, scalable AI infrastructure system design
research.google·1d·
Discuss: Hacker News
📡Network Protocol Design
Flag this post
Technocalvinism
blog.cosmos-institute.org·5h·
Discuss: Hacker News
📵Digital Minimalism
Flag this post
Handling Events Coming in an Unknown Order
event-driven.io·2d·
Discuss: r/programming
🌐Network Protocols
Flag this post
Why stop at 1 million tokens when you can have 10? My journey to extreme context on a gaming GPU. [P]
reddit.com·1d·
Discuss: r/MachineLearning
💾Retro Computing
Flag this post
Generation at the Speed of Thought: Speculative Decoding
bittere.substack.com·3d·
Discuss: Substack
🔀OCaml Multicore
Flag this post
Good abstractions for humans turn out to be good abstractions for LLMs
betweentheprompts.com·2d·
Discuss: Hacker News
🤖Program Synthesis
Flag this post
KAPLAN — Stealthy Bulk Fetching Over Tor for Red Team Ops
dev.to·6h·
Discuss: DEV
🔒Protocol Verification
Flag this post
AI Uses Functions to Fetch Real Data (Not Just Chat)
farukalpay.substack.com·1d·
Discuss: Substack
λFunctional Programming
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·1d·
Discuss: DEV
📦Module Systems
Flag this post
Quantum AI: Are We Building Castles in the Clouds? by Arvind Sundararajan
dev.to·12h·
Discuss: DEV
🔲Cellular Automata
Flag this post
BRAINS: A Retrieval-Augmented System for Alzheimer's Detection and Monitoring
arxiv.org·15h
🔍Type Inference
Flag this post
Understanding New-Knowledge-Induced Factual Hallucinations in LLMs: Analysis, Solution, and Interpretation
arxiv.org·15h
🛡️seL4
Flag this post
Stop Calling LLMs AI
dev.to·11h·
Discuss: DEV
📚Automata Learning
Flag this post
Amelie 0.7.0 is out with support of User-Defined Functions
github.com·1d·
Discuss: Hacker News
λFunctional Programming
Flag this post
AI won’t replace you, but bad AI habits will
dev.to·1d·
Discuss: DEV
🤖Program Synthesis
Flag this post
How to be convincing when talking to people about existential threat from AI
lesswrong.com·12h
🎮Verification Games
Flag this post
A Simple and Repeatable Approach to Evaluating LLM Outputs
dev.to·2h·
Discuss: DEV
💎Refinement Types
Flag this post
Accumulating Context Changes the Beliefs of Language Models
arxiv.org·1d
📚Automata Learning
Flag this post
The Hardest Problem in AI: Human Context
dev.to·1d·
Discuss: DEV
🧠Automated Reasoning
Flag this post