Viewing profile — zero_k

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 tran…

Wow, so true! Domain expertise is apparently not a requirement. At all. Wow.

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.

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 th…

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 ban…

Citation needed :) That's a bold claim. May be true, but it's a bold one, so something backing it up would be nice.

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 …

I'll steal your ZD-8965 recommendation :) Thanks!

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 shippin…

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), blac…

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/r…

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 averag…

Code & Readme: https://github.com/meelgroup/ganak/

It's not only about the token cost! It's also my TIME cost! Much-much more expensive than tokens, it turns out ;)

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 inte…

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 …

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,…

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 t…

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…

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 …

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. …

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 gi…

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 pulle…

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 hig…