The Quantum Schur Transform: Theory and Implementations
blog.wolfram.com·9h
⚛️Quantum Compression
Flag this post
Title: Algorithmic Discrepancy Theory
informatics.ed.ac.uk·4d
📐Linear Algebra
Flag this post
Problems from the Land down Under
pballew.blogspot.com·19h·
📜Manuscript Calculus
Flag this post
Dynamic Decisions: Making Memory-Efficient AI a Reality with Differentiable Algorithms by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
Incremental Computation
Flag this post
Speedrunning an RL Environment
sidb.in·11h·
Discuss: Hacker News
⚔️Lean Tactics
Flag this post
Infrastructure Should Be Inferred, Not Written (and LLMs Are Why)
ivan.codes·6h·
Discuss: Hacker News
🔒WASM Capabilities
Flag this post
Learning Regular Languages with RPNI Algorithm
rahul.gopinath.org·1d·
Discuss: Hacker News
📐Format Grammars
Flag this post
Clojure Runs ONNX AI Models Now - Join the AI fun!
dragan.rocks·1d·
Discuss: Hacker News
🌳Context free grammars
Flag this post
Paillier Cryptosystem
en.wikipedia.org·12h·
Discuss: Hacker News
🔐Homomorphic Encryption
Flag this post
Five LLM Tricks for Data Pipelines
presentofcoding.substack.com·12h·
Discuss: Substack
🔗Constraint Handling
Flag this post
AI Code Whisperers: Can Neural Networks Unlock Peak Performance?
dev.to·6h·
Discuss: DEV
🧠Neural Codecs
Flag this post
A new measure for dynamic leakage based on quantitative information flow
arxiv.org·21h
🕳️Information Leakage
Flag this post
AI for Science: Root Cause Analysis and Non-Consensus Findings
unvarnishedgrady.substack.com·11h·
Discuss: Substack
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Flag this post
MOBO-OSD: Batch Multi-Objective Bayesian Optimization via Orthogonal Search Directions
arxiv.org·21h
Incremental Computation
Flag this post
Formal or not formal? That is the question in AI for theorem proving.
xenaproject.wordpress.com·5d·
🔬Lean
Flag this post
The Trojan Example: Jailbreaking LLMs through Template Filling and Unsafety Reasoning
arxiv.org·21h
🌐NetworkProtocols
Flag this post
SQL Mandelbrot Benchmark
github.com·1d·
Discuss: Hacker News
🗃️Database Storage
Flag this post
AutoOpt: A Dataset and a Unified Framework for Automating Optimization Problem Solving
arxiv.org·21h
🧠Machine Learning
Flag this post
Challenge: An asymmetric key system that does everything
news.ycombinator.com·14h·
Discuss: Hacker News
🌳Archive Merkle Trees
Flag this post