Navigating The Next Era Of Digital Investigations: A Thought Leadership Perspective
forensicfocus.comยท1d
๐Ÿ”—Data Provenance
Flag this post
Tycoon 2FA Phishing Kit Analysis
cybereason.comยท1d
๐ŸŽซKerberos Attacks
Flag this post
OlmoEarth: A new state-of-the-art Earth observation foundation model family
allenai.orgยท12hยท
Discuss: Hacker News
๐Ÿ“ฐFeed Readers
Flag this post
Comparing Data Serialization Formats: Code, Size, and Performance
qt.ioยท1dยท
Discuss: Hacker News
๐Ÿ”งKAITAI
Flag this post
Yes really, curl is still developed
daniel.haxx.seยท17hยท
Discuss: Hacker News
๐Ÿ”ŒInterface Evolution
Flag this post
Shouldn't we trust Google and other pertinent questions
cryptography.dogยท5hยท
Discuss: Hacker News
๐Ÿ“ฐRSS Archaeology
Flag this post
Voxel Grid Visibility
cod.ifies.comยท10hยท
๐Ÿ“ŠComputational Geometry
Flag this post
Linkers: A 20 Part Series
airs.comยท1dยท
Discuss: Hacker News
๐Ÿ”—Static Linking
Flag this post
Handbook of Satisfiability (2021)
iospress.comยท2dยท
Discuss: Hacker News
๐Ÿ”—Combinatory Logic
Flag this post
I built sbsh: persistent terminal sessions and shareable profiles for kubectl, Terraform, and more
reddit.comยท5hยท
Discuss: r/kubernetes
๐Ÿ“ฆContainer Security
Flag this post
Porting Lean to the ESP32-C3 RISC-V Microcontroller
kuruczgy.comยท1hยท
๐Ÿ”ฉSystems Programming
Flag this post
Generation at the Speed of Thought: Speculative Decoding
bittere.substack.comยท2dยท
Discuss: Substack
๐Ÿš€SIMD Text Processing
Flag this post
A Thesis and Playbook for Edge AI
ondeviceguy.substack.comยท1dยท
Discuss: Substack
๐ŸŒŠStreaming Systems
Flag this post
ZoFia: Zero-Shot Fake News Detection with Entity-Guided Retrieval and Multi-LLM Interaction
arxiv.orgยท22h
๐Ÿ“ฐContent Curation
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.orgยท22h
โœ…Formal Methods
Flag this post
Show HN: Refusal-Aware Logical Framework for LLMs
github.comยท11hยท
Discuss: Hacker News
๐Ÿ“Linear Logic
Flag this post
Computation as a Game
arxiv.orgยท22h
๐ŸŽฏPerformance Proofs
Flag this post
LeMiCa: Lexicographic Minimax Path Caching for Efficient Diffusion-Based Video Generation
arxiv.orgยท22h
โšกLZ4 Streaming
Flag this post
Structure-Preserving Physics-Informed Neural Network for the Korteweg--de Vries (KdV) Equation
arxiv.orgยท22h
๐ŸŒ€Riemannian Computing
Flag this post