Limitations of a two-pass assembler
boston.conman.orgยท1d
๐Ÿ”งRISC-V Assembler
Flag this post
Decentralization Ends Where Interoperability Begins
timctrl.substack.comยท12hยท
Discuss: Substack
๐ŸŒEdge Preservation
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ยท2dยท
Discuss: Hacker News
๐Ÿ”Certificate Analysis
Flag this post
Drawn to Danger: Windows Graphics Vulnerabilities Lead to Remote Code Execution and Memory Exposure
research.checkpoint.comยท2d
๐Ÿ’ฃZIP Vulnerabilities
Flag this post
Library and Culture: A Scientometric Analysis and Visualization of Research Trends
arxiv.orgยท4h
๐Ÿ“ŠCitation Graphs
Flag this post
Neurosymbolic Deep Learning Semantics
arxiv.orgยท4h
๐Ÿ”ข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
Civilization Heartbeat Sentinel
github.comยท3hยท
Discuss: Hacker News
๐Ÿ“กNetwork Monitoring
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ยท10hยท
Discuss: DEV
๐Ÿ”Semantic Search
Flag this post
MemSearcher: Training LLMs to Reason, Search and Manage Memory via End-to-End Reinforcement Learning
arxiv.orgยท4h
๐Ÿ”ฒ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
REMI: PostgreSQL as Agentic Core in Tiger Cloud (Agentic Postgres Challenge by Auth0)
dev.toยท2dยท
Discuss: DEV
๐ŸŒ€Brotli Internals
Flag this post
Show HN: Refusal-Aware Logical Framework for LLMs
github.comยท18hยท
Discuss: Hacker News
๐Ÿ“Linear Logic
Flag this post
A Hybrid Deep Learning and Forensic Approach for Robust Deepfake Detection
arxiv.orgยท2d
๐Ÿ”Vector Forensics
Flag this post
ParlaSpeech 3.0: Richly Annotated Spoken Parliamentary Corpora of Croatian, Czech, Polish, and Serbian
arxiv.orgยท1d
๐ŸŽ™๏ธWhisper
Flag this post