Introducing PromptIntel
blog.securitybreak.ioยท1d
๐ŸŽฏThreat Hunting
Science on a Sphere: Aerosols in the Air
svs.gsfc.nasa.govยท5hยท
Discuss: Hacker News
๐Ÿ“œDocument Physics
Show HN: We used LZMA to encode data into a URL
standardsapplied.comยท1dยท
Discuss: Hacker News
๐ŸŒ€Differential Geometry
Show HN: Recallie AI โ€“ Duolingo for learning anything
apps.apple.comยท13hยท
Discuss: Hacker News
๐ŸŒ€Brotli Dictionary
A new breed of analyzers
daniel.haxx.seยท2dยท
๐Ÿ›Fuzzing
Cold Calculation
kae3g.codeberg.pageยท1dยท
Discuss: Hacker News
โšกIncremental Computation
Clarity
robinsloan.comยท3d
๐Ÿง Intelligence Compression
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.orgยท6d
โšกProof Automation
In-Depth Analysis: "Attention Is All You Need"
dev.toยท2dยท
Discuss: DEV
๐Ÿง Intelligence Compression
How to Build Modular AI Personalities with LuminoraCore v1.0
dev.toยท21hยท
Discuss: DEV
๐ŸŽฏGradual Typing
From RNNs to ChatGPT: The Paper That Changed How AI Thinks ๐Ÿค–
dev.toยท2dยท
Discuss: DEV
๐ŸŽงLearned Audio
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.toยท16hยท
Discuss: DEV
๐Ÿ“ŠMulti-vector RAG
11+ Best All-in-One AI Platforms in 2025
dev.toยท4dยท
Discuss: DEV
๐Ÿค–AI Curation
Revealing Interconnections between Diseases: from Statistical Methods to Large Language Models
arxiv.orgยท6d
๐Ÿง Machine Learning
Augmented data and neural networks for robust epidemic forecasting: application to COVID-19 in Italy
arxiv.orgยท2h
๐Ÿง Machine Learning
Everyone's Searching for Agentic AI. Here's What 94% Get Wrong.
dev.toยท1hยท
Discuss: DEV
โšกProof Automation
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.toยท3dยท
Discuss: DEV
๐Ÿ“ŠMulti-vector RAG
Improving Temporal Understanding Logic Consistency in Video-Language Models via Attention Enhancement
arxiv.orgยท3d
๐Ÿ“ŠLearned Metrics