skysight-inc/HackerNews huggingface dataset:
So you agree that you can't verify that the system has one and only vote tabulated for every person that actually voted, or that the vote they intended is the one that got counted. So, you agree that you can't trust the results of this election.

Furthermore, if you check and find out that your own vote was incorrectly counted, you can't actually do anything about it, unless voter anonimity is not guaranteed: if you can't prove to an outside party what your real vote was, you can't pursue any legal action, you just know for yourself that the vote was rigged. And if you can prove to an outside party what you voted, that opens up a whole host of other attacks.

So no, this is not even close to an acceptable solution.

I'll also note that the Bush V Gore election issues were not caused by hand counting, but by machine counting as well. So, they should be taken as further proof that simple ballots and manual counts are the right way to conduct an election.
FYI it seems that your account is perma-dead, or however HN calls this. Your comments are automatically flagged and not seen by anyone who doesn't choose to enable seeing them in their settings.
Except non-citizens have voted. And the Democrats found Virgina over removing confirmed non-citizens from the voter rolls. Why would anyone support keeping illegible voters on the rolls? We all know why.
Rust could just have mandated that const have to be uppercase and disallowed variables starting with uppercase. It would be better than making a warning.
Atmosphere of fear? Hypobolic nonsense.
Transformer Circuits Thread
ABS faults can do way more dangerous things than indirectly command 5 Nm of torque in a no-load situation.
Well, elisp probably accounts for like 85% of the lisp code on GH and co, so that'd make sense
How do people you work with recieve this? I'd imagine it could get messy6if every dev has their own little things like this
> I kind of wonder if lawsuits/regulation might be the way to get those.

I’m talking about prototype cars. The solution there to have an e-stop is to ask your technicians to put it on. No lawsuit or regulation is necessary for that.

If you are thinking about mandating e-stops on production vehicles then I don’t think that is the right thing to do. It is a complicated analysis but it boils down to that the cases where it would help should be vanishingly small, and even in those people not trained for it would forget to use them.

> there will always be some sort of cost with that kind of thing

Absolutely. And the cost of the switch is not the major component. Where i work forgetting to reset the e-stop is so common that it is the first thing we ask about when something is weird. And the people forgetting them are skilled engineers with known prototype cars. I imagine the cost of support/service calls would be huge in prod.
Nobody wants that. The more mayhem, the easier it is to cheat. Same reason the U.S. has such a complicated tax code.
ISO Ruby is a tiny, dated subset of Ruby. I doubt you'll find much Ruby that conforms to it.

The Ruby everyone uses is much better defined by RubySpec etc. via test cases, but that's not complete either.
So is she unable to vote? Virginia has same day registration, so it would seem like a non-issue for a citizen.
It's not actually about how the ballot is interpreted by downstream hardware and software. That's a different issue.

It's about the ability for the voter to determine that their own part of the process -- the recording of their own vote -- is done correctly in every respect.

Each step of the system has to be verifiable as correct for the system to be trustworthy. As it stands right now, I cannot visually verify that my own vote produced a correct printed ballot. I have no way of doing that.

This removes one of the most critical safeguards. If something in the software (malicious or otherwise) records an incorrect barcode, I have absolutely no way of knowing.

That's a problem.

Garbage in, garbage out.
Copy: 80% benefits, 20% features

Font: 80% easy to read, 20% brand style

Offers: 80% real value, 20% bonus extras

CTA: 80% showing value, 20% fancy design

Nav Links: 80% main pages, 20% extra pages

FAQs: 80% common concerns, 20% extra info

Headings: 80% clear message, 20% catchy words

Colors: 80% making things clear, 20% looking nice

A/B Testing: 80% major elements, 20% minor tweaks

Urgency: 80% real reasons to act, 20% time pressure

Images: 80% showing product use, 20% stock photos

Forms: 80% must-have fields, 20% nice-to-have fields

Features: 80% addressing pain points, 20% cool extras

Analytics: 80% conversion metrics, 20% vanity metrics

Layout: 80% essential information, 20% extra information

Mobile Design: 80% functionality, 20% animations/transitions

Social Proof: 80% real customer reviews, 20% company awards
Nobody is going to argue that non-citizens should be on the voter rolls. They are going to be upset if your method for taking them out is too coarse and removes legitimate voters, though.
This could help get me into a theatre more often. My top complaint for all movies, even the one I’ve enjoyed, over the past decade has been that they’re too long.
sure, but I would think some special case when we expect car to have 0 speed to not request any torque from its motor.
IMO three is no case where car should request any torque when been in neutral
I see that DuoLingo has a Hungarian offering, but I would not touch it with a ten foot Pole.
Some of my colleagues use Microsoft PowerBI, and indeed, they upload a few hundred rows of data (and a few hundred columns, which get unpivoted in powerbi to a say 40k rows). When they upload it, the powerbi instance overloads, and people get timeouts and such. That can last up to 20 minutes. I stay away from that as far as I can.
There are none. They connect to thousands of untrusted peers, accepts incoming connections, all in C++ code, and none of them are sandboxed. It's laughable.
> No one's forcing you to upgrade when the framework does.

Many large companies have entire departments dedicated to forcing you to keep your code up to date.
I don't necessarily disagree. But there's no going back now. There's a demand for rich user experiences that are not as easy to implement or deliver via legacy operating systems. So there's no point in arguing to keep functionality out of web browsers, since there is no practical alternative for it.
- autoscaling
- connection pool size limits
- query limits
- multi-region support out of the box

more here: https://www.prisma.io/docs/accelerate/connection-pooling

also recommend trying out the Accelerate speed test to get a "feel for it": https://accelerate-speed-test.prisma.io/
And are you writing meanwhile?
But not programs. Not in the sense of SIGPLAN.
Heroes of newerth did something like this. They tracked gold earned, wards placed, kills, damage dealers etc etc etc.

At the beginning it was terrible. But after a year or two, it was pretty good fine tuned!
They could've called it GitHub Moist, or Github Fungus, or Github Bequeath. They didn't for a very simple reason:

The vocabulary isn't infinite. And within that finite number there's an even smaller set of words you would use for a product. And within that there's an even smaller set of words that are a combination of some of all of pleasant/short/applicable/relevant.

And Spark is a choice because the icon of choice for all things AI-related seems to be the sparkles emoji.
Welcome to Apk-version.com, your ultimate destination for downloading the latest and greatest APK files. Whether you're looking to stay ahead with cutting-edge apps or explore unique applications not found on mainstream stores, we've got you covered. Dive into our curated selection of APKs and discover a world of innovation at your fingertips. Trust Apk-version.com for secure downloads, regular updates, and a seamless experience. Join our community of savvy users and elevate your app game today! #UnleashThePotential #APKVersion
And how likely it is you quit because you lost or won to many matches.

Blizzard does it. Especially in overwatch.

It's called engagement matchmaking
The context is that he has been publicly calling for a televised military tribunal for Cheney (who is not in the military) for quite a while now, but since he’s a senile old man who “weaved” this into an argument against hawkishness, the right wing can play dumb.
> I don't know why Bluesky hasn't added the federation systems that would enable freedom of exit to its service

Is this entirely up to the Bluesky team? In the activitypub universe there are many independent implementations of the protocols, not just multiple mastodon servers but multiple types of servers.

Its not clear if the lack of comparable efforts in the atproto universe is a matter of timing / resources, lack of information, incompleteness of the protocol or some other (non)technical issue.

Concretely, can somebody now simply build an alternate atproto tech stack that would more or less seamlessly federate with bluesky (the way say pixelfed federates with mastodon). If yes, stop whining and get coding.

The issue of control of the protocol remains, so there are more frictions ahead but it would be wise (and a good omen) for the broader decentralization movement to be arguing only based on bare-bone facts. This will reduce wasted energy and accelerate the journey we all want.
Anyone can design a bridge that holds up. Romans did it millenia ago.

Engineering is designing a bridge that holds up to a certain load, with the least amount of material and/or cost. FEM gives you tighter bounds on that.
It's still there, albeit not for long.

There were ample reasons in the past whereby going down this path made architectural sense. The primary one being multi-language support. Since then, TS and JS have found their way to the top of "the programming langs of choice" charts and so we're digging into removing the Rust based components and making them optional.

We'll share more on this in the coming weeks.
why not put it on max gear with brakes fully pressed? it should not have enough power to continue
Normally, it's all the same.
When I write up tutorials/explanations[0-5], or do presentations, I spend a lot of time (sometimes, weeks), testing and refining the artifacts.

I always provide gists, repos, and playgrounds, and they are as standalone as possible (no dependencies). I think that it is very important that readers be able to exactly reproduce what I’m saying, and that they are able to understand it completely.

I don’t think anyone actually cares (except me), but I’m anal. I do it for myself.

Most tutorials that I take are pretty slapdash, when it comes to supporting artifacts. People just throw them together. Sometimes, they are still working on them, as the class is starting, but I still learn what I need, so it probably isn’t mandatory that the class material be circumspect.

[UPDATE] I just noticed that HN formats link pairs, where I have a link, followed by another one in parentheses, in parallel columns, when displayed on small screens. Cool stuff.

[0] https://littlegreenviper.com/series/universal-links/ (https://github.com/LittleGreenViper/ImplementingUniversalLin...)

[1] https://littlegreenviper.com/series/bluetooth/ (https://github.com/ChrisMarshallNY/ITCB-master)

[2] https://littlegreenviper.com/miscellany/leaving-a-legacy/ (https://github.com/LittleGreenViper/Ozymandias)

[3] https://littlegreenviper.com/series/swiftwater/

[4] https://littlegreenviper.com/series/spm/

[5] https://littlegreenviper.com/miscellany/
They could say that, but they haven’t to me in the past.

Of course people can say no to things, but that doesn’t mean that you shouldn’t ask when there is a good probability that they would say yes (particularly if you ask for the right amount in the right way) and very little downside.
What do you think about combination squares? They look super useful and the common advice seems to be get a Starrett or maybe a PEC. Less expensive options probably aren’t a better value.
Unquestionably! Using FEM.
I think we don't really need better llm.

Biggest problem is the context window and understanding of context.
> I guess at certain volume, a serverless instance is meaningless since it’s always on anyway.

Bingo. The pricing alignment makes sense:

You share the risk of idle, but provided capacity with the provider: no fixed capacity for no fixed pricing.

The capex for the provider are fixed, though.

That's why I think more competition in the serverless Postgres space is fantastic: Sure, it's not a pure price competition, providers try to bundle with slightly different customer groups they focus on.

But underneath it, technology is being built which will make offering serverless ever more cost effective.

We might see a day where serverless (i.e. unbundeled storage and computed) with dedicated compute is cheaper than standalone GCP/ AWS/ Azure Postgres.
Or perhaps it could administer an Ozempic shot to anyone mentioning they’re hungry
GeForce Experience is optional.
Uniqlo recently released tshirts with some of these prints on. Oiwa-san was on one of them. They also had a few tshirts with the great wave and some from Hiroshige's 53 stations of the Tokkaido road. They're good quality tshirts. Probably sold out though.
And now the abuser can just say "show me a picture of your ballot" since we all take our phones into the booth. And the abuser might stand in line and watch to see if you get a second ballot. And you could quickly use photo editing software to fake it, but the abuser might run analysis...

Where is the line of accepted risk?
Yup. EStop saved is from the fence when a programmer learned that there are "low active" signals on an ECU he war trying to convince to follow our acceleration CAN signals. Adrenaline time...
well it's more of a metric than you've provided
I'd have to look into the app myself, but at first sight the permissions are scary but the decompiled code he showed was just about enough to show a map using Baidu maps. Probably just a feature of the app. I honestly think that yes they are probably collecting too many analytics for comfort, but at the same time it's really not that easy for a random app to really collect anything useful these days. All apps are sandboxed by definition, so all they're getting is what you give them. Also don't forget that high-accuracy location permission could also mean they just want to use Bluetooth for pairing something.

I'm all for calling out espionage and malware. But I'd also like to see proof and not just "this could potentially be used for bad".
I thought early code was carefully validated on paper with flowcharts and review by someone else before you were allowed anywhere near an expensive CPU cycle.
It is very nice, but won't save the web. What army of devs will write a lean web engine in C99+, a _real life_ one, dodging all the efforts of google and apple to make their engine(blink/geeko/webkit) incompatible with it, and look at what is required to build those engines (c+++++7489327438974928 and no, rust has the same syntax complexity issue than c++ and similar). And the size of the task is daunting (very convenient for google and apple...).

The current and only way out is aggressive regulation with noscript/basic (x)html for "utility/critical" services.

That said, I was thinking about an event driven threaded "javascript based engine" with a pixel window (something hardcoded to some overkill RGB 12bits per components), but we would need very "basic" OS service interfaces: audio/network/storage, 2D blits with color space conversions, video decoding acceleration (and probably 3D).

Nobody will agree on a stable and lean set of interfaces, the incentive of planned obsolescence will be way too strong.
How would you do it otherwise? And btw. Ice cars have probably similar amount of modules.
Are there any suspicious blanks in the map or missing buildings? Apparently the North Korean leadership don't like to be reminded of the unfinished Ryugyong Hotel[1], or more prosaically there may be missing military sites and the like.

[1] From Wikipedia: "The government manipulated official photographs in order to remove the unfinished structure from the skyline, and excluded it from printed maps of Pyongyang" (https://en.wikipedia.org/wiki/Ryugyong_Hotel)
Switching out a Postgres provider surely is on the easier side of things to migrate?

With most of these serverless providers, there's no technological lock in I am aware of, it's all just Postgres features paired with DevOps convenience.
True, I meant "it's not 'impulse purchase' cheap".
Are paper ballots and hand counting such a big problem? To me there is something special with the pageantry and ceremony of physically going to a central location to vote, filling out a ballot, physically placing it in a collection box, and then having another human count it. All that pageantry trumps whatever efficiency you get from automating this process with computers, and mobile phones and databases and internets.
The problem with out-of-band package systems is a lack of quality control, and accountability. Entire ecosystems emerged to handle Python Environment specific version issues, and often ignored a systemic underlying legacy library deprecation (same code may not work in 10 months).

Despite personal opinions on Rust use-cases/scope-creep (why not use a higher level llvm language if you want safer syntax.) Cargo like npm, php pear, and pip3 etc. traded convenience for long-term security rot, high maintenance cycles, and version instability within downstream source code.

i.e. the proponents will likely feel like they are in perpetual Beta, as dependent resources permute under conflicting use-cases.

People often confuse convenience with Workmanship Standards, and rotten code trees in any language have the same result. This is not a new phenomena ( https://en.wikipedia.org/wiki/Second-system_effect ) =3
This mentions Jupiter generations, which I think is about 10-15 years old at this point. It doesn't really talk about what existed before so it's not really 25 years of history here. I want to say "Watchtower" was before Jupiter? but honestly it's been about a decade since I read anything about it.

Google's DC networking is interesting because of how deeply integrated it is into the entire software stack. Click on some of the links and you'll see it mentions SDN (Software Defined Network). This is so Borg instances can talk to each other within the same service at high throughput and low latency. 8-10 years ago this was (IIRC) 40Gbps connections. It's probably 100Gbps now but that's just a guess.

But the networking is also integrated into global services like traffic management to handle, say, DDoS attacks.

Anyway, from reading this it doesn't sound like Google is abandoning their custom TPU silicon (ie it talks about the upcoming A3 Ultra and Trillium). So where does NVidia ConnectX fit in? AFAICT that's just the NIC they're plugging into Jupiter. That's probably what enables (or will enable) 100Gbps connections between servers. Yes, 100GbE optical NICs have existed for a long time. I would assume that NVidia produce better ones in terms of price, performance, size, power usage and/or heat produced.

Disclaimer: Xoogler. I didn't work in networking though.
Problem is that I actually have to worry about spills while cooking. Some water droplets drop on controls, well there is now error and it shuts down...
Bonjour Kuala Lumpur – Read about KL and Malaysia
Well. Reading out failure memory from ECUs couple of years old showed us that all chechsums failed several times over that time...
I assume as a data scientist, he is at the consumer side of things.
They can always release capital back to investors, and then those investors can put the money into different companies that eg produce networking equipment.
The Further Resources section goes a bit further back.
I think they mean that the manager would get to talk to HR
That's a good point. I do not have the problem with water droplets (it would really need to be a big spill) , but when I clean the stove, I always get error messages.
> you probably don’t have access to half of what you need to in order to fix any given problem

I’ve found this to be one of my largest day-to-day problems even in a relatively functional organisation. Particularly when it involves something I can’t run on my own machine, like an AWS service.

In a previous role I often found myself constructing elaborate hypotheses about what was going on inside systems I couldn’t see into. I’d then need to try to verify it with someone on another team, in another timezone, who had the access but not necessarily the development background. Which usually meant getting on a screen share and asking them to click various things I wasn’t allowed to. If I was wrong, back to the drawing board and start again.
>> Plus many of the things they want go directly against the wishes and good judgement of the engineers who made the system.

Never attribute to intelligence what can easily be explained by good old stupidity.

I know the automotive industry from inside. It is a miracle that cars work at all.
There are so many problems with simplifying power usage and production, there is no silver bullet. The costs are always based on todays markets. I think coal should be relegated to a baseline emergency power role, there are several problems with that statement depending on where you are in the world and what role coal has there.
Well, Facebook also created their own hacked up version of PHP (called Hack) that's presumably easier to migrate PHP to.

Hack is actually surprisingly pleasant, basically about the best language they could have made starting from PHP. (I know, that's damning with faint praise. But I actually mean this unironically. It has TypeScript vibes.)
I've worked with COMSOL (I have a smaller amount of ANSYS experience to compare to). For the most part I preferred COMSOL's UI and workflow and leveraged a lot of COMSOL's scripting capabilities which was handy for a big but procedural geometry I had (I don't know ANSYS's capabilities for that). They of course largely do the same stuff. If you have easy access to COMSOL to try it out I'd recommend it just for the experience. I've found sometimes working with other tools make me recognize some capabilities or technique that hadn't clicked for me yet.
Show HN: A browser extension for Claude/ChatGPT to edit your projects locally
They don't create billions of dollars for election machine makers.
CPython itself has seen lots of performance improvements recently. Benchmarks on CPython 3.12 take about half the time they took on CPython 3.9.
It looks like a Hungarian keyboard does not have a key for the dz ligature. So do they use that unicode codepoint in practice? Or is it just a ‘d’ followed by a ‘z’?
Have a look at FEniCs to start with.
I was half expecting our friend, Mike Brady, from Oceanliner Designs.
1kwp (2 panels) should cost no more than 120-150 USD delivered.
Location: Ireland

Remote: Yes

Willing to relocate: Yes, for something interesting

Technologies: Terraform, Ansible, Docker, Kubernetes, AWS, Azure, Jenkins, ArgoCD, Tekton, DevOps/SRE/Platform Engineering, Linux

Résumé/CV: https://www.linkedin.com/in/lazzurs

Email: rob@lazzurs.ie
Some C compilers supported it as an unofficial extension well before C99, so that could be why you didn't realise or don't remember. I think that included both Visual Studio (which was really a C++ compiler that could turn off the C++ bits) and GCC with GNU extensions enabled.
I learned about TWI and pirate aba some months ago, and binge-read the whole series non-stop.
Hacker News Clones
You can export other CAD meshes for use in it
The average age of a bridge in the US is about 40-50 years old and the title of the article has "80 years of FEM".

https://www.infrastructurereportcard.org/wp-content/uploads/...

I'd posit a large fraction were designed with FEM.
no geospatial data types!
I took a look. It seems that the original company folded (ha) in 2021 and I'm not sure who owns it now or what the level of support would be like.
FEniCs is mostly used by academic researchers, I used it for FEM modelling in magnetic for e.g. where the sorts of problems we wanted to solve you can’t do in a commercial package.