formerly_proven

5 ms·

61.
by formerly_proven 3mo ago
Category error
62.
by formerly_proven 3mo ago
Germany is currently liquidating their high-performance lithium-ion battery maker. Western industrial policy is indistinguishable from malicious interference.
63.
by formerly_proven 3mo ago
rerere
64.
by formerly_proven 3mo ago
That was the literal reason given back then and it did not stick. https://en.wikipedia.org/wiki/Crypto_Wars https://en.wikipedia.org/wiki/Bernstein_v._United_States
65.
by formerly_proven 3mo ago
IME agents are extremely happy to write more or less convincing // SAFETY: comments (most Rust code in the training set has these just before unsafe { - also it often works in unit tests). However, miri remains broadly unimpressed
66.
by formerly_proven 3mo ago
I really look forward to new Fedora releases.
67.
by formerly_proven 3mo ago
Illegal numbers 2: Electric Trumpaloo
68.
by formerly_proven 3mo ago
And -march=native or at least -march=x86-64-v3 or similar, alternatively identifying relevant functions and manually invoking FMV and uarch specialization via target_clones. Plus non-integer code can generally not be autovectorized in norma
69.
by formerly_proven 3mo ago
Spec-driven development is sold on the idea that you regenerate modules or entire services when you change the spec. It's a really dumb idea but was briefly popular in enterprise, probably still is in some companies.
70.
by formerly_proven 3mo ago
Not user code, no. Someone eventually has to, but virtually every ORM under the sun allows you to construct dynamic queries without having to concatenate strings yourself or resort to string interpolation.
71.
by formerly_proven 3mo ago
Most problems should be divide-and-conquerable into chunks that 300 vs 400k context is basically never an issue. A coding agent isn't an infinite chat.
72.
by formerly_proven 3mo ago
You can even see the clear download slope starting in 2016 and (sans COVID) not changing slope substantially until about 2023. This part was not caused by AI at all.
73.
by formerly_proven 3mo ago
> This situation has.. no precedent as far as I can tell.. No, this has been going on for years. Vendors have been pushing malicious software through the Windows Update automatic driver installation since forever. MSI and Nahimic/A-
74.
by formerly_proven 3mo ago
> That doesn't block writers (when the writer uses WAL) Neither does VACUUM INTO or ".backup" (which uses the backup API) or sqlite3_rsync or litestream.
75.
by formerly_proven 3mo ago
It randomly and frequently turns off, then the connected services of course no longer work, then you turn it on manually, they still don’t work, then you hard kill safari a few times and/or toggle it on and off and it eventually works.
76.
by formerly_proven 3mo ago
Tailscale on iOS has always been highly unreliable for me, while the regular Wireguard app just works.
77.
by formerly_proven 3mo ago
https://en.wikipedia.org/wiki/Anti-nuclear_movement#Fossil_f... cf. https://en.wikipedia.org/wiki/Carbon_footprint#History
78.
by formerly_proven 3mo ago
libssh, libssh2. These are totally independent and unrelated code bases, libssh is maintained by Red Hat mainly for ansible and some other tools, libssh2 was created for curl. libssh2 is client-only, libssh can also be used to implement ser
79.
by formerly_proven 3mo ago
The SQLite documentation doesn't say that. WITH and WITHOUT ROWID tables are also different data structures (ordinary tables are B+ trees, without rowid B*). In particular, without rowid tends to be detrimental for tables consisting of
80.
by formerly_proven 3mo ago
> This document describes the support for SQL foreign key constraints introduced in SQLite version 3.6.19 (2009-10-14).
81.
by formerly_proven 3mo ago
If every time the SQLite team added a better default for something they changed it, we'd be at SQLite 11 by now and every application would contain at least six incompatible versions of SQLite.
82.
by formerly_proven 3mo ago
> Steve declared thermonuclear war on Google because Android re-skinned to use BUTTONS. Was there ever a point in time where Google was not the default search engine on iOS?
83.
by formerly_proven 3mo ago
sqli is easily and fully mitigated and has generally been a non-issue for any half-serious project, especially if you use any kind of SAST. Your link actually subsumes any type of injection, not just sqli. Some of them are marginally harder
84.
by formerly_proven 3mo ago
Console vs PC is a red herring since UE games still stutter on consoles, people just notice that less because most games run at 30 fps anyway. You can read Unreal's own blog posts on this and they'll actually explain that this is
85.
by formerly_proven 3mo ago
UE is also just not a good engine. If you reduce "what is a 3D game engine" really hard it is "framework for running an input-process-output loop while consistently rendering audio and video". UE fails at the latter (fac
86.
by formerly_proven 3mo ago
Most of the time people are not asking for domains which don't resolve. Also, think about what DNSSEC is actually having to do when signing an NXDOMAIN. It needs to prove a negative with offline signing keys, DNSSEC does this by basica
87.
by formerly_proven 3mo ago
> It leveled a huge stretch of coast, but didn't make it uninhabitable. This is not actually true, because it deleted around 120 km² of habitable land ( https://www.forbes.com/sites/oshadavidson/2011/04
88.
by formerly_proven 3mo ago
> I find text useful for repo-specific conventions, especially skills.
89.
by formerly_proven 3mo ago
Pure slop.
90.
by formerly_proven 3mo ago
> The irrational fear-factor associated with anything nuclear is highlighted by how much attention Fukushima, the nuclear disaster, which gravely injured like a dozen people, gets relative to the earthquake and tsunami causing it, which

More ›