🔍 Type Inference - hello · Scour

Linear Realisability and Implicative Algebras

arxiv.org·1d

📏Linear Types

HyPER: Bridging Exploration and Exploitation for Scalable LLM Reasoning with Hypothesis Path Expansion and Reduction

arxiv.org·1d

Sampling the Oxford CS Library

blog.computationalcomplexity.org·5d·

Discuss: blog.computationalcomplexity.org

The anti-Bayesian is standing at the back window with a shotgun, scanning for priors coming over the hill, while a million assumptions just walk right into his house through the front door. (also, an interesting point by Yann LeCun about human language)

statmodeling.stat.columbia.edu·3d

⏰Lamport Clocks

On Linguistic Precision

blog.firedrake.org·3d

Hardness of hinted ISIS from the space-time hardness of lattice problems

eprint.iacr.org·4d

🔢Homomorphic Encryption

Recursive Deductive Verification: A framework for reducing AI hallucinations

news.ycombinator.com·1d·

Discuss: Hacker News

🌊CALM Theorem

The Future of Software Engineering

poberezkin.com·1d·

Discuss: Hacker News

🎭Program Synthesis

Convolutional Neural Networks using Logarithmic Data Representation

dev.to·2d·

Discuss: DEV

Pascal-J/type-system-j: adds an optional type system to J language

github.com·6d·

Discuss: Lobsters

📐Type Theory

AI ‘brain’ Mapping Reveals How Language Models Store And Recall Facts

quantumzeitgeist.com·16h

⚛️Quantum Computing

Private Data Space Model

privatedata.space·5d

🔗Intrusive Containers

RoomKit, Pipecat, TEN Framework, LiveKit Agents: Choosing the Right Conversational AI Framework

dev.to·19h·

Discuss: DEV

💬Prompt Engineering

Manton Reece - Read the code

manton.org·2d

Deep dive into Hierarchical Navigable Small Worlds

amandeepsp.github.io·2d·

Discuss: Hacker News, r/Zig, r/programming

📐Computational Geometry

LISP: Symbolic Architecture and the Evolution of Agentic Systems

notebooklm.google.com·4d

🔄Concurrency Models

Cross compiling made easy, using Clang and LLVM

mcilloni.ovh·2d

Context Is Part of the Game

joy.pm·2d·

Discuss: Hacker News

💬Prompt Engineering

Efficient Bayesian Sieve Modeling for Predicting Twin Prime Density in Large Numerical Ranges **Abstract** The distribution of twin primes—pairs of primes se...

freederia.com·4d

📊HyperLogLog

Why Large Language Models Make Terrible Compilers — And Why the Industry Keeps Trying Anyway

webpronews.com·3d

📊Profile-Guided Optimization

Loading more...