๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
โšก Circuit Verification

Hardware Formal Methods, FPGA Validation, Logic Synthesis, Digital Design Proofs

AI Driving the Adoption of Confidential Computing
darkreading.comยท4h
๐Ÿ”’Privacy Preserving
Building a SFF nvme NAS with a Lenovo M920x
i.redd.itยท43mยท
Discuss: r/homelab
๐Ÿ HomeLab
Good binding data is all you need
leashbio.substack.comยท17hยท
Discuss: Substack
๐Ÿ—‚๏ธVector Databases
Edsger W. Dijkstra on IPW's
cs.utexas.eduยท1dยท
Discuss: Hacker News
๐Ÿ‡ท๐Ÿ‡บSoviet Computing
Ask HN: โ€“ Build Gaming Setup AIO: Steam โ€“ GoG โ€“ Epic Games โ€“ RetroArch โ€“ PPSSPP
news.ycombinator.comยท2hยท
Discuss: Hacker News
๐Ÿ”ŒOperating system internals
The Impact of Prompt Bloat on LLM Output Quality
mlops.communityยท5hยท
Discuss: Hacker News
โœจEffect Handlers
Multiplicative Modular Nim (MuM)
arxiv.orgยท2d
๐ŸŽž๏ธTape Combinatorics
I Accidentaly Wrote a Compile-Time Executable State Machine (2020)
philippegroarke.comยท3dยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
๐Ÿ›๏ธ Using Blockchain to Anchor AI: Why Future AI Systems Require Consensus and Censorship Resistance
dev.toยท3hยท
Discuss: DEV
๐ŸคDistributed Consensus
Urban Green Governance: IoT-Driven Management and Enhancement of Urban Green Spaces in Campobasso
arxiv.orgยท13h
โšกIncremental Computation
Understanding the Basics: Linear Equations and Matrices
dev.toยท15hยท
Discuss: DEV
๐Ÿ“Linear Algebra
SLIM: A Heterogeneous Accelerator for Edge Inference of Sparse Large Language Model via Adaptive Thresholding
arxiv.orgยท2d
โšกCompression Hardware
Edge detection robot | Smart Robot | Arduino Robot
hackster.ioยท8h
๐Ÿ”ŒMicrocontrollers
Graph or Chain? Choosing the Right Engine for Your AI App
dev.toยท13hยท
Discuss: DEV
๐Ÿ”—Topological Sorting
Machine Learning Fundamentals: dimensionality reduction tutorial
dev.toยท1hยท
Discuss: DEV
๐Ÿ“Vector Dimensionality
I've been coding with AI for two years. Here is what I've learned
nathanpeck.comยท14hยท
Discuss: Hacker News
๐Ÿ’พPersistence Strategies
Improving Data and Parameter Efficiency of Neural Language Models Using Representation Analysis
arxiv.orgยท13h
๐ŸงฎKolmogorov Complexity
Dollars per token considered harmful
modal.comยท1dยท
Discuss: Hacker News
๐Ÿ’ปLocal LLMs
UART VHDL Implementation on FPGA with Host Data Exchange
hackster.ioยท5d
๐Ÿ”FPGA Verification
Xiangqi-R1: Enhancing Spatial Strategic Reasoning in LLMs for Chinese Chess via Reinforcement Learning
arxiv.orgยท13h
๐Ÿ”ฒCellular Automata
Loading...Loading more...
AboutBlogChangelogRoadmap