Detecting Logo Similarity: Combining AI Embeddings with Fourier Descriptors
dev.to·4h·
Discuss: DEV
🗄databases and optimization
Flag this post
A^2FM: An Adaptive Agent Foundation Model for Tool-Aware Hybrid Reasoning
paperium.net·17h·
Discuss: DEV
🗄databases and optimization
Flag this post
Just know stuff (or, how to achieve success in a machine learning PhD) (2023)
kidger.site·1d·
Discuss: Hacker News
🗄databases and optimization
Flag this post
n-ary Huffman coding
lesswrong.com·15h
🔤type system theory and implementation
Flag this post
Modern perspectives in proof theory (2023)
pmc.ncbi.nlm.nih.gov·50m·
Discuss: Hacker News
🔤type system theory and implementation
Flag this post
Using the probabilistic method to bound the performance of toy transformers by Alex Gibson
greaterwrong.com·2d
🗄databases and optimization
Flag this post
glacier-creative-git/knowledge-graph-traversal-semantic-rag-research: Completed research on semantic retrieval augmented generation through novel knowledge grap...
github.com·14h
🗄databases and optimization
Flag this post
Imperative to Relational
madhadron.com·7h·
Discuss: Lobsters, Hacker News
🗄databases and optimization
Flag this post
Cracking the Code: Why AI Still Struggles with List Languages by Arvind Sundararajan
dev.to·9h·
Discuss: DEV
🔤type system theory and implementation
Flag this post
Modeling and Optimization of Reliability Reallocation for Modified Systems
sciencedirect.com·4h
🗄databases and optimization
Flag this post
Fast Answering Pattern-Constrained Reachability Queries with Two-Dimensional Reachability Index
arxiv.org·5d
🗄databases and optimization
Flag this post
2 Years of ML vs. 1 Month of Prompting
levs.fyi·5h·
Discuss: Hacker News
🗄databases and optimization
Flag this post
Drax: Speech Recognition with Discrete Flow Matching
huggingface.co·7h·
Discuss: Hacker News
🗄databases and optimization
Flag this post
How to create a generic JSON request function, over HTTP, in Go?
cristiancurteanu.com·4h·
Discuss: r/golang
🔤type system theory and implementation
Flag this post
AI's Cost: Human Displacement and Environmental Destruction
open.forem.com·1h·
Discuss: DEV
🗄databases and optimization
Flag this post
“Reasoning with Sampling” — Notes on Karan & Du (2025)
kosti.bearblog.dev·2h
🗄databases and optimization
Flag this post
HyperMarkets: Fast, Fair, and Fun Prediction Markets on Hyperliquid Perps
crypto.forem.com·20h·
Discuss: DEV
🔤type system theory and implementation
Flag this post
Ask HN: Seeking IP Translator to Architect a System for Predictive Stability
news.ycombinator.com·1h·
Discuss: Hacker News
🔤type system theory and implementation
Flag this post
Lean4 Macros for Implementing Custom Quantifiers
jamesoswald.dev·1h·
Discuss: Hacker News
🔤type system theory and implementation
Flag this post
Unlocking Out-of-Distribution Generalization in Transformers via RecursiveLatent Space Reasoning
paperium.net·1d·
Discuss: DEV
🔤type system theory and implementation
Flag this post