Viewing profile — kaeso

I think this may lack a bit of context, so I'll try to fill in. This is a demo that was just showcased live by the author as part of their talk at FOSDEM'25: https://fosdem.org/202…

Nice post @javierhonduco, really interesting read! As you mention that you are looking into loosening the minimum kernel requirements, what is currently the primitive(s) that is di…

In a funny twist of events, the author of the grandparent comment above yours was indeed building that OS (Container Linux) at CoreOS :)

> So we were already potentially vulnerable to the DOS [...] > the security org at the big tech company I worked at and reported this to I'm confused about these two statements, be…

> have disappeared like locksmith Locksmith[0] implementation is tightly coupled to the specific update daemon, so it can't be directly re-used outside of Container Linux or withou…

> Is there any benefit to making this [compute_pi_digits()] function awaitable? If you introduce suspension points in that (e.g. every 100 computed digits), then you can co-schedul…

Kind of. Starting from 49, the feature needs to be whitelisted per web-site. Client certificates are not anymore imported automatically, only downloaded (user action needed to load…

> It seems like rust bundles it's own version of llvm. Are patches from the rust community making it in slowly? Or are there some fundamental differences? https://github.com/rust-l…

Reality check: ~30% of active AS worldwide don't drop spoofed packets originating from their networks. http://spoofer.cmand.org/summary.php

This seems to be a common opinion recently, see https://tools.ietf.org/html/draft-thomson-postel-was-wrong-0...

Rocket-Internet SE - https://www.rocket-internet.com - Berlin, Germany (VISA) - Security team # About the job # Rocket-Internet's security team is seeking talented and motivated se…

While everybody is mostly focused on Deutsche Telecom and Stellar, I'm more concerned about the long list of big-profile red-filled dots ('SIGINT collection points from AS') in the…

"Z3 integrates a modern DPLL-based SAT solver, a core theory solver that handles equalities and uninterpreted functions, satellite solvers (for arithmetic, arrays, etc.), and an E-…

A C++ LGPL implementation of this has been as been developed as part of last year Inkscape GSoC and is available as a standalone library: https://launchpad.net/libdepixelize It wil…

I would have loved it to be some old ARM ISA to use it as a testcase for Avatar[0]. On the same topic, FIE paper may be an interesting reading for msp430 lovers[1] (but it needs so…

An experimental Debian X32 port is currently being built[0], already covering about 79% of the whole packages archive[1]. [0] http://www.debian-ports.org/ [1] http://buildd.debian-…