ajb

11 ms·

181.
by ajb 8mo ago
Hansard is a great example, because originally parliament did not allow publication of its proceedings; to get round this "Several editors used the device of reporting on parliamentary debates under the veil of debates of fictitious so
182.
by ajb 8mo ago
That exists for court documents (RECAP) but I think they didn't have to solve the issue of privilege as PACER publishes unprivileged docs.
183.
by ajb 8mo ago
It depends. Many places in the UK have a tradition of "virtual queuing" at bars; they don't stand in a line because that would usually block the space, but everyone remembers who was before them. Usually the barkeep remembers
184.
by ajb 8mo ago
Absolutely. "One size fits all", doesn't. Doesn't even fit one, all of the time.
185.
by ajb 8mo ago
I wasn't arguing that it is impossible, which as you say, is only true in a closed system. What I was saying was that since you wasted the organisation of the system, sorting it out again is going to take more energy than if you didn&#
186.
by ajb 8mo ago
That one seems like it should fall foul of thermodynamics, I guess. Just melting everything together probably increases entropy to the extent that it's at best like extracting elements from mining ore. Whereas before you do that, there
187.
by ajb 8mo ago
Along these lines, one of the early popular science works is "Letters to a German Princess", which compiles Euler's letters on Natural Philosophy (which is mostly what we today call science and maths) which he was commissione
188.
by ajb 8mo ago
I don't think slack or discord are optimised for completers. They are optimised for dopamine stimming. Sure, not every chat has much value. But it all has a cost . I don't know zulip, so I can't comment on whether it's
189.
by ajb 8mo ago
Older flu vaccines become less effective, as there are many flu strains and the dominant one changes. Different flu vaccine is recommended every year.
190.
by ajb 8mo ago
Yeah, I've seen someone get strung along and then finally hired. What happened was that it was a bit of a downturn so there was a limit to the hiring. Another dept somehow convinced the division head that their role was more urgent, so
191.
by ajb 8mo ago
Hah. This perspective is how you get an embedding of booleans into the reals in which False is 1 and True is -1 :-) (Yes, mathematicians really use it. It makes parity a simpler polynomial than the normal assignment).
192.
by ajb 8mo ago
Each individual detail isn't difficult, the moat is dealing with a huge, huge, pile of them. But most of the details are driven by laws and regulations: of the entity in charge of those things decides it doesn't want you to have a
193.
by ajb 8mo ago
We definitely need a vendor-independent tool like this. Have been reviewing the Claude setup and, despite initially being hopeful since it uses bubblewrap, it's quite problematic: * The definitions of security config in the documentati
194.
by ajb 8mo ago
The "hide" button is on every article. Most articles don't have political discussion. When the political environment becomes unstable, people need to reach out to communities that they trust. For some people, here is where th
195.
by ajb 8mo ago
He is. But he's also convinced that cellular automata will replace the standard model as the foundation of physics, and that he will therefore be known to history as the third founder of physics after Newton and Einstein. /s
196.
by ajb 8mo ago
Some vocal techniques - like belting and the classical voices - require the actual development of musculature, both to hold a shape (for high pitches) and to be able to stabilise shapes. That's not going to happen overnight, so you hav
197.
by ajb 8mo ago
Wikipedia suggests that the Jacquard loom introduced Babbage to punched cards, which would be why it, rather than the others, is associated with the origin of computers.
198.
by ajb 8mo ago
I used to have colleagues who literally learned to program on punched card machines. As in they wrote a program on paper in symbolic assembler, manually converted it to machine code, punched the machine code onto a card,and then carried the
199.
by ajb 8mo ago
My understanding is that tactics output piece of proof, but that this isn't trusted by the TCB of an LCF prover. This is very far from my area of expertise, but seems to be confirmed by https://www.cl.cam.ac.uk/techrepo
200.
by ajb 8mo ago
Wow. Glad it worked out. There were at least some good high school CS teachers in the 90s. Ours knew that a lot of kids joined the class who were burned out on school, and insisted on going beyond the curriculum to the point where those guy
201.
by ajb 8mo ago
I had the same problem when I was in uni. Funnily enough, the RCD switches for each block were behind a panel in the common toilets, which did not have a real lock; just a hole for a "cabinet key" (a square rod).
202.
by ajb 8mo ago
Right, so the problem here, apart from people not giving a shit, is that no-one has designed a 'spirit level for soundproofing' - a tool that can be used during the job by the builder and by the supervisor to check on it. What y
203.
by ajb 9mo ago
Comments like this remind me of those guys who wouldn't stop working, in the twin towers. Just didn't want to get out of their zone.
204.
by ajb 9mo ago
Their next one ( https://baochip.com/ ) is going to be a SoC, piggy backed on another company's SoC. So not completely open source RTL, but enough to prove their technology on a larger scale. Bunnie's presentation o
205.
by ajb 9mo ago
A project that addresses that issue is betrusted: https://betrusted.io/ Their plan for fab trust is not to bring up a fab,but to design for inspectability: https://bunnie.org/iris/
206.
by ajb 9mo ago
That's very interesting. I guess it could be a great option for when the % of ICE vehicles is low enough, it might be practical to ban more polluting fuels. (Edited to add) Hmm actually people are already doing LPG conversions today as
207.
by ajb 9mo ago
My understanding is that that works for personal use. If you want to use a group library, not so much. Which can be considered fair, as mostly organisations which should be able to help fund zotero are the ones that need group libraries.
208.
by ajb 9mo ago
Previous discussion: https://news.ycombinator.com/item?id=46393936
209.
by ajb 9mo ago
Theoretically, they have a smaller attack surface. The programs inside the VM can't interact directly with the host kernel.
210.
by ajb 9mo ago
This is fair as a criticism of the leading AI companies, but there's a catch. When you attribute blame to technologies, you make it difficult to use technologies in the construction of a more ethical alternative. There are lots of peop

More ›