Free PLTL algebras and a coalgebraic extension of hyperdoctrines
topos.instituteยท1d
๐ŸงฎAlgebraic Archives
Obsidian for the privacy-minded: offline, secure notes
techspot.comยท14h
๐Ÿ—œ๏ธZstandardized Archives
Auditing binaries like source code
zetier.comยท20h
๐Ÿ”ฌBinary Analysis
Is AI ready to pop?
aardvark.co.nzยท1d
๐Ÿค–AI Curation
How Good Is AI At Software Application Development?
forbes.comยท1d
๐Ÿ”„Language Evolution
The utility of digressions
rubenerd.comยท1dยท
Discuss: Hacker News
๐Ÿง Personal Knowledge Base
Open ASR Leaderboard tests more than 60 speech recognition models for accuracy and speed
the-decoder.comยท2d
๐ŸŽ™๏ธWhisper
Show HN: AI Finance App for Sale โ€“ $19,999 Negotiable(SaaS, Ready-to-Deploy)
sideprojectors.comยท1dยท
Discuss: Hacker News
๐ŸŽฌWebCodecs
Interactive Atmospheric Composition Emulation for Next-Generation Earth System Models
arxiv.orgยท6h
๐Ÿ“œDocument Physics
Automated Anomaly Detection in Time-Series Statistical Spreadsheets via Hyperdimensional Vector Similarity
dev.toยท3dยท
Discuss: DEV
๐Ÿ”คCharacter Classification
From RNNs to ChatGPT: The Paper That Changed How AI Thinks ๐Ÿค–
dev.toยท3dยท
Discuss: DEV
๐ŸŽงLearned Audio
The Quiet AI Revolution in Your Doctor's Office
dev.toยท32mยท
Discuss: DEV
๐Ÿค–AI Curation
A Denotational Product Construction for Temporal Verification of Effectful Higher-Order Programs
arxiv.orgยท6h
๐Ÿ’ปProgramming languages
Better vector search with graphs and spectral indexing
tuned.org.ukยท2dยท
Discuss: Hacker News
๐Ÿ—‚๏ธVector Databases
Congrats to the Heroku "Back to School" AI Challenge Winners!
dev.toยท20hยท
Discuss: DEV
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Relational Database Distillation: From Structured Tables to Condensed Graph Data
arxiv.orgยท5d
๐Ÿ“ŠGraph Databases
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.orgยท5d
๐Ÿ”จCompilers
How to Bypass Google Search reCAPTCHA: A Technical Guide for Seamless Automation
dev.toยท23hยท
Discuss: DEV
โšกProof Automation
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.toยท3dยท
Discuss: DEV
๐Ÿ“ŠMulti-vector RAG
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.toยท2dยท
Discuss: DEV
๐Ÿ“ŠMulti-vector RAG