zero_k

6 ms·

1.
by zero_k 12d ago
If you are interested in the original, high-quality article: https://krebsonsecurity.com/2026/09/fbi-probes-service-selli... Only in case you are interested in the original source, of course. If you like the copyw
2.
by zero_k 21d ago
Lol in Germany, internet is soooo slowwwwwwww. I used to live in France, and Free (i.e. free.fr = kind of a bad choice of name) was absolutely demolishing the local big carrier (France Telecom?), but in Germany, there is very little competi
3.
by zero_k 24d ago
This is very important work. If it interests you, and you want to dig further, it's broadly called "Safety II". You probably want to read Erik Hollnagel [1] or Sydney Dekker. I put together a presentation once about how this
4.
by zero_k 1mo ago
Markus Anders, who wrote the symmetry breaking system (satsuma) they use for SAT is pretty much a genius. His version of Kissat won the SAT Competition this year, with satsuma of course: https://satcompetition.github.io/2026
5.
by zero_k 1mo ago
Build walkable cities instead. Stop car-brain-rot. Your cities could be beautiful, full of life and children running around and having fun. Walking, cycling, and taking public transport, brings life to a city. It allows random connections a
6.
by zero_k 2mo ago
Wow, so true! Domain expertise is apparently not a requirement. At all. Wow.
7.
by zero_k 2mo ago
It's crazy I am being downvoted, though. Like, I am complaining about their processes that failed, and people are somehow on GitHub's side. Really weird stuff.
8.
by zero_k 2mo ago
Nobody at GitHub expected this? Their feature develoment&release processes must be garbage/non-existent/not followed. This potential security issue should have been flagged when the new feature was thought up, security should
9.
by zero_k 3mo ago
My friend bought an apartment. In February. Still in processing at the Amt (bureau). It's nightmare fuel. They are sending physical letters, and are hand-matching payments from banks. Apparently, they couldn't match a 53 EUR trans
10.
by zero_k 4mo ago
Citation needed :) That's a bold claim. May be true, but it's a bold one, so something backing it up would be nice.
11.
by zero_k 4mo ago
Data Protection Authority (DPA) should investigate. In Germany, the company's DPO (Data Protection Officer) has personal, criminal liability. For these cases, I'd like to see them in front of criminal court, and see what happens.
12.
by zero_k 4mo ago
I'll steal your ZD-8965 recommendation :) Thanks!
13.
by zero_k 4mo ago
You don't need $300 gear to do Level 2. A lot of people who are pretty up there the "pro" scale use something similar to a FNIRSI DWS-200 200W, which I bought for $90, with shipping. It comes with 8 tips, and is extremely tig
14.
by zero_k 5mo ago
It essentially already has one. Probably only self-levelling, but has some extra programming like delayed flaps, wheel-up sequence (first up the wheels, then close the doors), blackbox feature, etc. Likely using a version of Ardupilot [1] t
15.
by zero_k 5mo ago
If they want "eco progress" they should make their devices repairable. Reduce, Reuse, Recycle. *In that priority* Reduce & Reuse by making it repairable! See: https://www.epa.gov/recycle
16.
by zero_k 5mo ago
Yes, agree. At the same time, it's what these top-tier universities are known for: presenting something relatively simple as if it was ground-breaking, but in a way that the average person can (or has a better chance to) understand it.
17.
Ganak: The making of a high-performance model counter(msoos.org)
2 points by zero_k 7mo ago|1 comments
18.
by zero_k 7mo ago
Code & Readme: https://github.com/meelgroup/ganak/
19.
by zero_k 7mo ago
It's not only about the token cost! It's also my TIME cost! Much-much more expensive than tokens, it turns out ;)
20.
by zero_k 7mo ago
Honestly, the more research papers I read, the more I am suspicious. This "surprisingly" and other hyperbole is just to make reviewers think the authors actually did something interesting/exciting. But the more "surprise
21.
by zero_k 7mo ago
I still remember the time when a gcc bug caused MiniSat to output UNSAT for a satisfiable problem [1]. I was the author of a SAT solver, and I was chasing my tail trying to figure out why I was getting UNSAT for a satsifiable problem. I hav
22.
by zero_k 8mo ago
I worked at a company that wanted to implement an AI chatbot. I was helping to review the potential issues. On the first try I realised it was given full access to all past orders, for all customers via an API it could query in the backgrou
23.
by zero_k 10mo ago
Honestly US standards can go to hell. I absolutely abhor these monstrosities. They should be outright banned except if specific need can be shown. They are dangerous, take up way too much space, and excessively damage the road. Your freedom
24.
by zero_k 10mo ago
My favourite quote from him: “Because children grow up, we think a child's purpose is to grow up. But a child's purpose is to be a child. Nature doesn't disdain what lives only for a day. It pours the whole of itself into the
25.
by zero_k 10mo ago
YES. The "This is evidenced by the new set of hacker values being almost purely performative" is so incredibly true. I went to a privacy event about Web3, and the event organisers hired a photographer who took photos of everyone (
26.
by zero_k 11mo ago
SAT solvers are used _everywhere_. Your local public transport is likely scheduled with it. International trains are scheduled with it. Industrial automation is scheduled with it. Your parcel is likely not only scheduled with it, but even i
27.
by zero_k 11mo ago
Author of CryptoMiniSat here :) XOR+CNF is indeed supported by CryptoMiniSat. Which is cool, but if you _really_ think about it, the resolution operator over these two are gonna give you multivariate polynomials over GF(2). So resolution is
28.
by zero_k 11mo ago
Wait, is this another algorithm where they didn't bother even cursorily looking at the classical algorithm for even a minute, then compare it with their stuff? Last time they pulled this, it was my field, and I could only laugh. Just s
29.
by zero_k 1y ago
I wish I could tell a story. Alas, I can't. It turns out that large corporations are excellent at hiding evidence of wrongdoing, and will do everything to cover the backside of high-level execs, because stock price matters. When it&#x2
30.
by zero_k 1y ago
I am happy they demonstrated how useful these devices are. Marking these as "disposable" is a kind of insanity. I recovered a few of them "disposed" (i.e. "randomly thrown away into") in an empty flower pot, an

More ›