skysight-inc/HackerNews huggingface dataset:
Carrots and cucumbers work as well. I suppose it's the high moisture content.
>It's not actually about how the ballot is interpreted by downstream hardware and software. That's a different issue.

To me, this seems like the only part worth worrying about, and any solution to it should satisfy your concerns as well.

Every ballot should have a UUID that the voter takes with them (or make it a hash of their voter registration number or something). As soon as the ballot is processed, the results are posted to a public place. Voters can then confirm their ballot was recorded accurately.

This still doesn't tell you that all the internal variables were incremented correctly, but you can separately aggregate the publicly posted results and compare with the aggregate reported by the machine.

The problem this still doesn't solve is electronically stuffing in fake ballots.
What would the alias command be for

git-delete-gone-branches

?

EDIT: I saw your other comment (incorrectly) claiming that git remote prune origin will do the job. I don't know of any git trickery that can do the job. And believe me I'd love it if there was something.
> I'm not a native speaker

You got it (mostly) right :-) Just one minor mistake: a native would write, "Would breathing on it be a contactless way..." in order to indicate that this is only one of several possibilities. You could also say, "Would breathing on it be the contactless way..." in order to indicate that this was the only possibility.

The rule here is really weird. The qualifier is only required when there is a singular noun being used as an object. "Breathing is way of doing it" sounds weird, but "Breathing and licking are ways of doing it" does not.

"English is super-weird" sounds right. "English is super-weird language" sound weird.
Is there anything like this for macOS/iOS?
SF Medical Manual link: https://irp.fas.org/doddir/milmed/sfhandbook.pdf
Unfortunately, that is not the case yet on Element X android (0.7.2 from google playstore). Microphone starts off as muted which is an inconvenience.
> Simple computerized systems are incredibly accurate and reliable, easily moreso than humans.

Such systems are better enough that businesses handling cash use them to count paper money.

Next to voting, or perhaps ahead of it, people surely value reliable accuracy in their money. So why not ballots?
This isn’t primarily the US, this is global extreme poverty, and right now for example, it’s bad in Southern Asia, and sub-Saharan Africa, among one or two other places the UN & World Bank talk about.

> w/o also numbers on what it cost to live per day.

This is what “PPP” is all about, that’s referring to a normalized purchasing power parity that is specifically designed to help you understand what $7/day actually means: it means what you think it does, and it is supposed to compare directly to the amount of money it costs you to feed yourself every day.

https://en.wikipedia.org/wiki/Purchasing_power_parity
Same in Elixir
Eventually attentions will turn to Element Web/Desktop.

For now the magic is happening in the background, SDKs etc.
It's not a stereotype and it's not really a mystery.

Licking or wetting your fingers for this purpose has been a standard practice across the globe, when people are dealing with turning pages (e.g. for accounting), counting tickets, coupons, paper money, etc. It was never just something older people did (except in the sense that the practice is not as common now, as people in the US and Europe don't need to do it that much anymore, due to changes like reduced use of cash, etc.).

So, you might not have seen it since the need is mostly obsolete in most of the west, but it's still a thing elsewhere, and was very much a thing in the US and Europe too until a few decades back.

So much so, that there were office gadgets made for this, basically a base holding a small sponge, that you would add water to, and use it to wet your fingers for counting/changing pages. They're still very much sold:

https://www.amazon.com/money-counting-sponge/s?k=money+count...
gptel can output org-babel.
react compiler breaking mobx is purely spa; progressively stricter rules of hooks too. Its bad.
Maybe multiple accelerometers plus machines learning could improve tao detection?
The Myth of the Modular Monolith [video]
This is a long winded explanation of twos complement binary arithmetic. I'm sure some readers can benefit from it, but probably not most of the HN crowd.
No, you were wrong here, they didn't have a defense pact and got dragged into the war in exchange for goods.

Maybe you can point at some pre-existing defense pact to support your claims signed before the war but I'm not aware of any existing.

It's possible that I missed it though but given that Putin flew in there when the situation got worse to negotiate their war support, I doubt they had one.
Important or not, libraries you depend on may jump on it and abandon backward compatibility
https://brainmade.org is similar, but free.
You can browse my website with netcat[0]:

nc apitman.com 2052 <<< /txt/feed

[0]: https://apitman.com/19/
Git is terrible for real-world development, and it's a damn shame that industry has standardized on it. For something like the kernel, which is managed as a series of patches, it's fine, but so many real-world projects depend on large amounts of binary assets or data. Where is the most logical place to put these? The repo.

Guess what you CAN'T do efficiently with Git :)

So a lot of industrial Git users have to do these contortions involving S3 buckets, etc., or else reinvent their own bespoke versions of Git (like Microsoft GitVFS) in order to stand up a working tree on a fresh machine. Plus those external dependencies need to be kept track of, updated, and the updates kept track of.

We used to have an industrial-strength VCS that could handle source code, binary data, and huge repositories of both very efficiently: Perforce. Which is kind of on private-equity life support now.
yup, i'm the CTO, and I don't have notifs enabled on Android and so hadn't checked - I daily-drive iOS. The folks "in charge of ensuring the project's vision and goals are met" are the ones running the Element X team - sorry that I haven't memorised the full feature parity matrix :) Sounds like https://github.com/element-hq/element-x-android/issues/1547 is the bug for you to upvote & subscribe to.
I think that was the one model in the universe I was referring to. I don’t have the layout in my kitchen to put knobs in the front, my stovetop has to fit in a pretty well-defined area. Knobs in the front would have been totally ideal.
> disable the engine off at red light thing.

Why do you do that? I find that it barely impacts my driving experience, and it's an easy way to decrease emissions.
My only caveat here is that people should obtain the 2014 or newer Special Operations Medic version, which is the successor to this older 1982 guide.

It’s almost like going for a programming book from 1982 vs now. The state of the medical art has changed substantially for the better since 1982.

The newer post-2004-ish guides include substantial updates to field medical care techniques (especially WRT blood loss, eg gunshot wounds).

There are PDFs of the newer SOC guide on the net. I’ll try to find some good links when I get back near a computer.
Also, because next broke emotion, toolkits such as Mantine broke backward compatibility in order to move off of emotion, so second order instability effects still affect SPAs
True, I don't think there is any novel concept in the term "science". ( i.e if I understood your correctly).
Azolla as a Safe Food: Cyanotoxin Production in Suppressed in Water Fern
Extended edition:

> The investigation concluded that the mishap occurred due to pilot error. The pilot incorrectly diagnosed an out-of-controlled flight emergency and ejected from a flyable aircraft, albeit during a heavy rainstorm compounded with aircraft electrical and display malfunctions.

> Contributing factors to the mishap included an electrical event during flight, which induced failures of both primary radios, the transponder, the tactical air navigation system, and the instrument landing system; and the probability that the helmet-mounted display and panoramic cockpit display were not operational for at least three distinct periods. This caused the pilot to become disoriented in challenging instrument and meteorological conditions. This electrical malfunction was not related to any maintenance activities.

SO... Assuming that the pilot is not both Neil Armstrong* and the F-35's lead avionics systems engineer...how is it reasonable to expect him to stick with a fly-by-wire plane that is that badly - so far as he can tell - FUBAR'ed? Adding his corpse to the wreck would not improve the situation.

*And recall the even Neil bailed out of the LLRV, leaving it to crash, under conditions far less bad than this F-35 - https://en.wikipedia.org/wiki/Lunar_Landing_Research_Vehicle
Call-with-current-continuation in Scheme blew my mind.
We have a Smeg oven, not with touchscreen controls, but with two pushable knobs that are easily pressed (thus starting the oven) by brushing past them. This oven has the worst user experience of anything, hardware or software, I've even used.
Surprisingly, it is not. This is really a very American thing to say, I am not sure why. It is also political, and used to bring about some emotional gravitas to whatever you are saying, even if it has no application whatsoever, like buying luxury vehicles.
A 34-year-old from Indianapolis became first American world champion of conkers
Free Courses from ICANN's Learn Platform
Not as dangerous as a stove, but the Xbox One had a capacitive on-off button. Turns out the dog could turn it off just by his fur touching it when walking by it.
While re-enfranchising far more people, who have 1/300th the voting power of someone in another state.

States are allowed to good things in service of the union.
Now these seem to be truly artificially intelligent agents. Memory, volition, autonomy, something like an OODA loop or whatever you want to call it, and a persistent environment. Very nice concept, and I'm positive the learnings can be applied to more mundane business problems, too.

If only I could get management to understand that a bunch of prompts shitting into eachother isn't "cutting-edge agentic AI"...

But then again their jobs probably depend on selling something that looks like real innovation happening to the C-levels...
Got it. But once modified by someone the share link changes.
> if there are millions of people without the funds to add to the machine how can the machine continue?

Identifying natural resources, extracting them, transforming them, improving the technology of all those steps, selling the results to the rich who own shares in any of those steps.

Even if it is all machines doing the work, there is an economic cycle that continues.

If the machine doesn't need people, by definition it is doing well without them.
Chess tournaments I've participated in had 7 rounds. The swiss system is really cool because it is a kind of sorting algorithm, where players quickly end up confronting players their level. So if you're a beginner, you still get to play to get a better ranking (instead of "whatever, I won't win anyway").
Smart TV's effectively have touch-style interfaces as well now, where the remote is like using a mouse in free space versus the traditional D pad. The LG Freespace and Sony One Flick come to mind.
One advantage of vanilla JavaScript is its long-term stability. A developer can often revisit code written years ago, make a quick tweak to add a feature, and move on. It will probably feel as familiar and straightforward as it did back then, with new APIs and syntax improvements adoptable in small steps. By contrast, a project built on the framework of the moment might not age as gracefully; the build process can feel outdated or cumbersome as standards evolve. Of course, if you’re able to keep everything up-to-date, it’s less of an issue, but that’s not always feasible. And while vanilla JS may not be ideal for a project scaled to 100 million users, it’s a practical choice for many situations.
Well, you are unfortunately correct. But as coming from Europe, I blame mostly EU at the end. US shouldn't be the sole policeman and shield to 450 million economically strong block. When I look at the government and its steps re defense, its beyond pathetic.

Almost nobody does even mandatory 2% GDP -> NATO flow, the only countries doing so are those treated brutally by soviets/russian in the past - Poland, baltic states. Heck, freakin' Germany is trying to put their highway maintenance costs into those 2%, since 'army anyway has to drive on them' - that's borderline treasonous behavior from Scholz in situation where enemy is at literal gates and repeatedly stated that it will wipe out half of population in nuclear strikes if they want to. Polish army can roll over wehrmacht anytime without breaking a sweat. Sane voices from former eastern bloc countries well-versed in soviet terror and brutality were completely ignored first months of war.

Leading countries in EU are still acting like there is some tiny annoying localized conflict far away and it will for sure end next month, and not like existential situation with many parallels with WWII and Hitler's behavior before and during it. They could have boosted their economies by diverting more money into defense, instead we get shooting in our own foot with endless green deal to kill half of European industry. Environmentally war on Ukraine is an utter disaster - we have some paper straws stupidities while they blow up 1 million plastic + chemistry + metal drones per year, on top of all other stuff blowing and burning to hell.

That's probably the only thing I agree with trump (those 2%), but then again its painfully obvious and Obama kept saying the same. With russians they understand only the rule of stronger, just like typical mafia. Si Vis Pacem, Para Bellum.

/rant
The indicators/turn signals are the most egregious omissions in a Tesla for me. Evidently no-one who made that decision has ever driven in the UK. I cross 8 roundabouts on my quick 20 minute commute into the office, good luck trying to find the right touch target to signal your exit when your steering wheel is at a quarter or half lock.
It's great that both are relatively cheap as they both have their advantages and use cases. Mostly depends on how "hot" your archives need to be.
Friendly reminder that the Internet Archive is accepting donations. In light of recent attacks causing operational issues for the archive, additional funding will likely be well spent:

https://news.ycombinator.com/item?id=41854518
Permission to Purge
I don't have a lot of experience with automatic shifting cars, but I believe that they still have neutral, keys, and handbrakes. If they don't then their designers should go to prison.
Ah yes that's right.

PowerPoint appearing first on Macs is not surprising because historically Macs have been focused on DTP applications, and were much more powerful for that (still true this day).
It took quite a while for Windows to be comparatively capable, I think this is why Microsoft bought PowerPoint, to make up for it.
Hilariously today PowerPoint is considered to be worse than Keynote, some things never change...
GCC also has generic SIMD vector types, which also do that while additionally not making your code nonportable. They look like this:

typedef uint8_t vec16 __attribute__((vector_size(16)));

I haven't used this seriously, but a simple test I did six years ago is http://canonical.org/~kragen/sw/dev3/vecalpha.c, which I compiled for AMD64 with SSE and for ARM with NEON. I imagine you can do better using intrinsics or assembly, but those are architecture-specific.

AV1's poor performance in ffmpeg has been a major reason I haven't been using AV1. It does seem to provide slightly better bandwidth/quality tradeoffs than H.264 or H.265, but if it's 30× slower to encode, it's usually not worth it. Add to that the possibility of patents.
Definitely a technicality, and interesting only because he chose country over personal ambition. The Supreme Court slammed the door in his face. He could have kept fighting but every available path was even more ugly than what he and the country already endured.
This only removes references to remote branches. See e.g. [0]. The command in OP operates on local branches.

[0] https://stackoverflow.com/questions/20106712/what-are-the-di...
Thank you, good sir : ) for the explanation.
at the same time, we are developing MDAD playbook, referenced in https://news.ycombinator.com/item?id=42034100

I'm Aine of etke.cc, and yes, we can ease your pain by managing the server part of the matrix on your behalf, be it on-premises or hosted in the cloud by us.
Honestly I haven’t had much of an issue at all. Just buy trusted brands like Anker, Monoprice, Cables Direct, etc. for slightly more than the cheapest on Amazon. Have yet to receive a counterfeit, checking who is selling and fulfilling the item like you would anything else you buy from any other marketplace style site.

I’m starting to believe the whole counterfeits/commingled inventory zeitgeist on Amazon is another one of those things that was somewhat true at one point, but is more overblown social media bluster like so many other topics are today. Do they happen? Of course. I just doubt it’s as common as trotted out on here.

I buy an exceptionally large amount of stuff like this off Amazon for projects, and must be in the top single digit percentile for consumers of theirs for “cheap Chinese generic junk” and have yet to receive a single item I’ve noticed was not what it said it was. Some useless junk for sure, but those were all my fault and returned without issue.

We are talking hundreds of USB-C cables now, ranging from charging only to full on thunderbolt driving multiple daisy chained 4k monitors.
I don't see how USB-C is improvement. Its socket has the flimsiest feet that keep it, and it its connectrs break off the board, and are impossible to solder back, unless you're pro fixer with a very good microscope. MicroUSB could be fixed with naked eye and thin iron, and type A sockets just never broke off the board.
[push]
autoSetupRemote = true
Coq is cool partially because it can be compiled to OCaml. So you can write part of your program in Coq and prove its correctness, and then write the rest in pleasant OCaml. I believe there are some popular ocaml libraries, like bigint implementations, that do this.

Lean is designed to be a general purpose programming language that is also useful for mathematical proofs. From that perspective it’s kind of trying to be “better haskell”. (Although most of the focus is definitely on the math side and in practice it probably isn’t actually a better haskell yet for ecosystem reasons.)

If you try either, you’ll likely be playing with a programming paradigm very different than anything you’ve used before: tactic oriented programming. It’s very cool and perfect for math, although I don’t think I’d want to use it for everyday tasks.

You won’t go wrong with either, but my recommendation is to try lean by googling “the natural number game”. It’s a cool online game that teaches you lean and the basic of proofs.

By the way, don’t be scared of dependent types. They are very simple. Dependent types just mean that the type of the second element of a tuple can depend on the value of the first, and the return type of a function can depend on the value passed into it. Dependent types are commonly framed as “types that have values in them” or something, which is a misleading simplification.
Oh awesome, yeah that’d work perfect then. I’d just prep beforehand and run the one-time copy.
It’s also inaccessible for able people of young age. I’ve noticed many car companies don’t have a mindset for good design. So they make touch screen interfaces with very small targets. These are hard to hit when the car is in motion and require distraction. Core functions should be physical by law. Some companies with dial based controls like BMW’s iDrive got it right.
I'm asking which managers are receiving golden parachute.

Managers and executives are different groups of people.
Probably why Tesla's have auto-drive. Car has to drive it self while you focus your attention on the screen to decode how it works.
Ah so just the ones “not working” that you don’t like. Got it.
Largest transformer maker warns of supply crunch
Alternatively, you can just get your server managed by https://etke.cc - the developers of the MDAD paybook - and not worry about the server part at all

Disclaimer: I'm Aine of etke.cc
https://archive.is/Qu1qm
I think I speak for literally every car owner when I say “about damn time.”
I personally find actors in rust to be too much of a head ache. You might as well use Erlang (or elixir) and do your heaving lifting in rust with somethign like https://github.com/rusterlium/rustler
I think he means that the stack is not something that you are forced to work with when programming in assembly. You can put data wherever you want (and are allowed to), and jmp into whatever random memory address you want. You can use CPU instructions that handle stack management for you, but you don’t _have_ to.
It is really great. I just wish there was a better story for combining error types. thiserror works, but it’s annoying boilerplate to have to write imo.
I think it might be this one: https://github.com/spectreconsole/spectre.console/pull/991

though, it's dealing with a zero input rather than null
> I don't think there's any particular problem with rotating the engine in reverse while it's off

I agree, in theory it should be fine.

Driving a lap around the African continent is not the place to test that theory.

I just looked it up, my Jeep has the NSG 370 6 speed box behind the old 3.8ltr V6.

1st is 4.46

Reverse is 4.06
Author here. This is essentially the case for many clients, especially governemnt. But we're bootstrapped, so we can afford to consult and use what we've learned to build tooling that only targets a small handful of sane clients.

I've sought advice from various people on this, some who are famous-ish or quiet sales powerhouses in the US. My question was "What are executives buying when they hire consultants?", and the answer is consistently "Comfort". No one is actually comforted by Deloitte, KPMG, whoever.

The moment I had confidence in an ethical consulting practice is the moment someone said "I don't even know where I would hire good consultants". This was someone with 30 years or something absurd of industry experience, including mentoring people that went on to become staff engineers. After processing that, I realized I don't know where to hire a consultancy that isn't going to bait-and-switch me with mediocre talent. They obviously exist, but they probably can only support something like 1 to 10 clients each.

Even Thoughtworks, a place that I used to hear mentioned positively, was flagged by the CTO of a >$1B company over lunch last week as "shifting to bait-and-switch" tactics.

tl;dr Pretty sure you can absolutely do better and make a living off that, but you have to think very carefully, do research, read a bunch of sales/marketing books, have great communication skills and at least adequate engineering skills. I still don't know if I have some of those, but if I fail it'll be a skill issue, not because the problem is not tractable.
> Dear device manufacturers. Please used high quality switches with travel, resistance and a click „BIPPITY-BUMP“. Add a spring. Built in a indicator light within!

Essentially, you are asking what the avionics industry is already doing. Just look at the cockpit of a plane.
I actually don't mind the driver's display being a screen, because it has no controls and I don't have to interact with it besides looking at it. The most important things it displays (speed and revs) are mimicking dials anyway, but it's nice to be able to see things that most lower-cost manufacturers would never bother making a dial or numeric display for (primarily economy and remaining range, for me).