๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐ŸŒ‰ Galois Connections

Abstract Interpretation, Monotone Functions, Lattice Theory, Program Analysis

Enclosures that minimize the sum of area and perimeter
11011110.github.ioยท1d
๐Ÿ“ŠComputational Geometry
Marvell Shows Dense SRAM Custom HBM and CXL with Arm Compute at Hot Chips 2025
servethehome.comยท4h
๐Ÿ–ฅ๏ธHardware Architecture
The first AI-powered ransomware has been discovered โ€” "PromptLock" uses local AI to foil heuristic detection and evade API tracking
tomshardware.comยท6h
๐Ÿš€Indie Hacking
Gunnar Wolf: The comedy of computation, or, how I learned to stop worrying and love obsolescence
gwolf.orgยท1d
๐ŸงฒMagnetic Philosophy
DIAC โˆž 2: A Post-Quantum, P=NP-Resistant Hybrid Encryption System
osf.ioยท8hยท
Discuss: Hacker News
๐Ÿ”Quantum Security
Trust Spanning Protocol (TSP) Specification
trustoverip.github.ioยท1dยท
Discuss: Hacker News
๐ŸŒณArchive Merkle Trees
Accelerating legacy code modernization: EPAMโ€™s journey with Amazon Q Developer
aws.amazon.comยท1d
๐Ÿ”„Reproducible Builds
The Baby Paradox in Haskell
blog.jle.imยท5dยท
Discuss: Lobsters, Hacker News
๐Ÿ”ฒProof Irrelevance
Lessons from AI Safety for Businesses
svana.nameยท4dยท
Discuss: Hacker News
๐ŸŒCultural Algorithms
Made a one piece knowledge benchmark
reddit.comยท2dยท
Discuss: r/artificial
๐ŸงฎZ3 Solver
Custom slash commands in Claude Code
boliv.substack.comยท3dยท
Discuss: Substack
โš”๏ธLean Tactics
Solving advection equations with reduction multigrids on GPUs
arxiv.orgยท21h
โšกParallel Computing
Needcode Turns your LeetCode Grinding into MAANG Success
dev.toยท8hยท
Discuss: DEV
๐Ÿ“Code Metrics
ChartMaster: Advancing Chart-to-Code Generation with Real-World Charts and Chart Similarity Reinforcement Learning
arxiv.orgยท21h
๐Ÿง Intelligence Compression
How Retrieval Algorithms Shape Better LLM Responses?
dev.toยท1dยท
Discuss: DEV
๐Ÿ”Information Retrieval
Explainable AI for Predicting and Understanding Mathematics Achievement: A Cross-National Analysis of PISA 2018
arxiv.orgยท21h
๐Ÿง Intelligence Compression
FoundDiff: Foundational Diffusion Model for Generalizable Low-Dose CT Denoising
arxiv.orgยท21h
๐Ÿ’ฟFLAC Archaeology
Linguistic Neuron Overlap Patterns to Facilitate Cross-lingual Transfer on Low-resource Languages
arxiv.orgยท21h
๐Ÿ’ปProgramming languages
MC3G: Model Agnostic Causally Constrained Counterfactual Generation
arxiv.orgยท21h
๐Ÿ”BitFunnel
OwkinZero: Accelerating Biological Discovery with AI
arxiv.orgยท1d
๐Ÿค–AI Curation
Loading...Loading more...
AboutBlogChangelogRoadmap