Beyond Theory – Interview with Rūdolfs Henčels by Natālija Lāce
ica.org·19h
🎞️Cinema Preservation
Inside PDF annotations
eclecticlight.co·3h
📄PDF Internals
<p>I&rsquo;m the first to admit that my spelling is pretty atrocious, so I&rsquo;m heavily reliant on spellcheckers. But there has been more than one occasion w...
lmika.org·2h
⚡Proof Automation
Threat Bulletin: Fire in the Woods – A New Variant of FireWood
intezer.com·20h
🌳Archive Merkle Trees
TensorFlow Graph Optimization With Grappler
hackernoon.com·1d
✨Effect Handlers
I created a website that featured absurd and funny things
sillygooseworld.vercel.app·1d·
Discuss: Hacker News
🚀Indie Hacking
Swift for the Web
nicksloan.com·1d·
Discuss: Hacker News
🔬Refinement Types
The Software of Science
mirawelner.com·15h·
Discuss: Hacker News
⚙️Proof Engineering
Estimating from No Data: Deriving a Continuous Score from Categories
towardsdatascience.com·2d
🧠Machine Learning
URL Inspection Tasks: Helping Users Detect Phishing Links in Emails
usenix.org·1d
🌐WARC Forensics
My tiny (1000 lines), fastish, embeddable scripting language can be AOT compiled
wareya.wordpress.com·2d·
Discuss: Lobsters, Hacker News
🏗️Compiler Archaeology
Micro-Health Interventions: Exploring Design Strategies for 1-Minute Interventions as a Gateway to Healthy Habits
arxiv.org·6h
✋Tactile Computing
Which one Performs Better? Wav2Vec or Whisper? Applying both in Badini Kurdish Speech to Text (BKSTT)
arxiv.org·6h
🎙️Whisper
Towards Effective MLLM Jailbreaking Through Balanced On-Topicness and OOD-Intensity
arxiv.org·6h
💻Local LLMs
Ethical Medical Image Synthesis
arxiv.org·6h
⚖️Emulation Ethics
Optimal Representation for Right-to-Left Parallel Scalar Point Multiplication
arxiv.org·2d
🧮Algebraic Datatypes
Exploiting Krylov Subspace Methods for Real-Time Sparse Linear Systems in High-Dimensional Signal Processing
dev.to·2d·
Discuss: DEV
⚡SIMD Vectorization
Generative Artificial Intelligence in Medical Imaging: Foundations, Progress, and Clinical Translation
arxiv.org·6h
🤖Advanced OCR
FSM for Python, Inspired by Gen_fsm
github.com·2h·
Discuss: Hacker News
🔄Finite State Machines
Integrating Feature Attention and Temporal Modeling for Collaborative Financial Risk Assessment
arxiv.org·6h
🧠Machine Learning