Tracking an evolving Discord-based RAT family
reversinglabs.com·5h
🦠Malware Analysis
Flag this post
I am a beginner to Golang, what mini-projects would you suggest?
reddit.com·6h·
Discuss: r/golang
🐚Shell Monads
Flag this post
The Impossible Optimization, and the Metaprogramming to Achieve It
verdagon.dev·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🧪Binary Fuzzing
Flag this post
Quantum-Resistant Federated Learning with Lattice-Based Homomorphic Encryption for Medical Imaging
dev.to·21h·
Discuss: DEV
🔲Lattice Cryptography
Flag this post
Dr StrangeTranspile, Or: How I Learned to Stop Worrying and Love the SBoM
orrymr.substack.com·1d·
Discuss: Substack, r/javascript, r/node
🧪Binary Fuzzing
Flag this post
PMPP-Eval Journey
blog.sinatras.dev·2d·
Discuss: Hacker News
🔍Concolic Testing
Flag this post
Vectorizing for Fun and Performance
ibm.com·3h·
Discuss: Hacker News
⚡SIMD Vectorization
Flag this post
Concurrency Step-by-Step: Conforming to Protocols
massicotte.org·2d·
Discuss: Hacker News
🔬Refinement Types
Flag this post
Think Twice: Branch-and-Rethink Reasoning Reward Model
arxiv.org·1d
⚡Incremental Computation
Flag this post
The Irony of the LLM Treadmill
jamespeterson.blog·6h·
Discuss: Hacker News
🦋Format Evolution
Flag this post
Fil-C: A memory-safe C implementation
lwn.net·21h·
Discuss: Hacker News
🧠Separation Logic
Flag this post
Optuna f-string Refactoring
dev.to·14h·
Discuss: DEV
⬆️Lambda Lifting
Flag this post
Clojure Runs ONNX AI Models Now - Join the AI fun!
dragan.rocks·3d·
Discuss: Hacker News
🌳Context free grammars
Flag this post
RS-ORT: A Reduced-Space Branch-and-Bound Algorithm for Optimal Regression Trees
arxiv.org·16h
🧮Kolmogorov Bounds
Flag this post
ENTP: Enhancing Low-Quality SFT Data via Neural-Symbolic Text Purge-Mix
arxiv.org·1d
🧮SMT Solvers
Flag this post
Fil-C: A memory-safe C implementation
lwn.net·1d·
Discuss: Lobsters, Hacker News
🧠Separation Logic
Flag this post
Fil-C: A memory-safe C implementation
lwn.net·1d·
Discuss: Hacker News
🧠Separation Logic
Flag this post
Concrete types yield better maintainability
alejo.ch·4d·
Discuss: Hacker News, r/programming
🔗Dependently Typed
Flag this post
Turing Machine Visualization (2016)
turingmachine.io·1d·
Discuss: Hacker News
🎞️Tape Combinatorics
Flag this post
"use workflow": Understanding Directives
useworkflow.dev·2d·
Discuss: Hacker News
🐚Shell Monads
Flag this post