83 Followers
129 Following
380 Posts
PhD in Engineering with concentration in Cybersecurity. Did my thesis in ML applied to network intrusion detection. Currently specializing in automated binary analysis. Also tech enthusiast, audiophile, gamer, dad.
bloghttps://blog.researchmonger.com

[sigh] The *real* problem is not that there now is an _optional_ "birthDate" field in systemd. The *real* problem is that those laws are even proposed in the first place.

I'm not a systemd fanboi, but I am old enough to remember sysvinit. It SUCKED!

#linux

What’s up with news about predictive markets? Are we infiltrated by the #Jeraptha ? Is this all #Skippy 's doing?!

I just heard about this game and this one minute trailer has completely sold me on it. Instant day one purchase.

https://www.youtube.com/watch?v=2o2IzrPOruo

#karen #gaming

Karen - Official Reveal Trailer

YouTube
@JakobFel if you don’t know yet - you will really enjoy protoweb. It’s a wayback machine proxy that lets you browse the old web. https://protoweb.org
Home - Protoweb

With ProtoWeb, you can browse the web like it's 1995!

Protoweb
Amazing use of #startrek #data
Systematically Improving Espresso: Mathematical Modeling and Experiment
L: https://www.cell.com/matter/fulltext/S2590-2385(19)30410-2
C: https://news.ycombinator.com/item?id=46466438
posted on 2026.01.02 at 11:31:18 (c=0, p=4)

It’s that time of the year again - someone (me) wanting to try replacing #gentoo ‘s #portage with a #Z3 #SMT solver. Well, this time I did it! Or at least started to… got 2x performance boost but it’s not quite black and white.

https://blog.researchmonger.com/2025/12/integrating-z3-smt-solver-into-gentoo.html?m=1

Integrating Z3 SMT Solver into Gentoo Portage: A Technical Deep Dive

## Introduction Gentoo's Portage package manager uses a sophisticated dependency resolver that has evolved over two decades. Unlike b...

Why would vehicle hacks affect your business? Why would compromised car result to fines to owners? If you’re a law firm, at least bother checking what your AI wrote. This just tells me that you pay zero attention to your clients.
https://github.com/Hexorg/Ouroboros #decompiler written in #rust can now open PE32 files and decompile them. Decompiler isn’t complete of course - expect unresolved expressions and crashes too. But basics work. Open a file, then hover over a byte And press D to disassemble from from that byte onwards. Then hover over instruction address and press F to define function start there. This will show the function in decompile view.

My decompiler reached a milestone - I can now lift every instruction in this sample function I've been using, which includes rep.movsd instructions.... though no floating point yet. The rest has been a lot of "internal" updates for how I handle going from basic blocks to abstract syntax trees. Hopefully this will speed up the process later.

I've also added basic symbol resolving logic that tracks scope of the high-level variables.... Of course nothing is creating them yet so that's why you see a lot of the "unresolved" symbols.

The rest of updates include some quality of life updates like being able to click on keywords, assignment operators, and function calls and that will take the assembly view to the instruction responsible for that operation. I've also added the little block offset drop down lines, which was easy to implement but surprisingly useful.

https://github.com/Hexorg/Ouroboros