Limitations of a two-pass assembler
boston.conman.orgยท1d
๐Ÿ”งRISC-V Assembler
Flag this post
Decentralization Ends Where Interoperability Begins
timctrl.substack.comยท9hยท
Discuss: Substack
๐ŸŒEdge Preservation
Flag this post
NumPy for Absolute Beginners: A Project-Based Approach to Data Analysis
towardsdatascience.comยท10h
๐ŸŒŠDigital Signal Processing
Flag this post
Catalog of reliability properties for blockchains (Antithesis)
antithesis.comยท1dยท
Discuss: Hacker News
๐ŸคDistributed Consensus
Flag this post
Analysis of NGate malware campaign (NFC relay)
cert.plยท1dยท
Discuss: Hacker News
๐Ÿ”Certificate Analysis
Flag this post
Library and Culture: A Scientometric Analysis and Visualization of Research Trends
arxiv.orgยท1h
๐Ÿ“ŠCitation Graphs
Flag this post
Model Predictive Control with Multiple Constraint Horizons
arxiv.orgยท1h
โœจEffect Handlers
Flag this post
Towards Reliable Pediatric Brain Tumor Segmentation: Task-Specific nnU-Net Enhancements
arxiv.orgยท1d
๐Ÿ—‚๏ธVector Databases
Flag this post
The Curvature Rate {\lambda}: A Scalar Measure of Input-Space Sharpness in Neural Networks
arxiv.orgยท1d
๐ŸŒ€Riemannian Computing
Flag this post
On Designing Low-Latency Systems for High-Traffic Environments
hackernoon.comยท1d
๐ŸŒŠStream Processing
Flag this post
Towards Automated Petrography
arxiv.orgยท1d
๐Ÿค–Paleographic Automation
Flag this post
Neurosymbolic Deep Learning Semantics
arxiv.orgยท1h
๐Ÿ”ขDenotational Semantics
Flag this post
ZoFia: Zero-Shot Fake News Detection with Entity-Guided Retrieval and Multi-LLM Interaction
arxiv.orgยท1d
๐Ÿ“ฐContent Curation
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.orgยท1d
โœ…Formal Methods
Flag this post
Automated Figure-Text Alignment & Knowledge Extraction for Scientific Literature
dev.toยท7hยท
Discuss: DEV
๐Ÿ”Semantic Search
Flag this post
MemSearcher: Training LLMs to Reason, Search and Manage Memory via End-to-End Reinforcement Learning
arxiv.orgยท1h
๐Ÿ”ฒCellular Automata
Flag this post
Computation as a Game
arxiv.orgยท1d
๐ŸŽฏPerformance Proofs
Flag this post
LeMiCa: Lexicographic Minimax Path Caching for Efficient Diffusion-Based Video Generation
arxiv.orgยท1d
โšกLZ4 Streaming
Flag this post