skysight-inc/HackerNews huggingface dataset:
So instead of something imperfect you prefer nothing, great I am sure Apple stuff is not perfect so don't use it.

We use open source docx tools and write code to work with docx format so the actual reality is that it works infinity times better then attempting to reverse engineer some proprietary binary stuff .

People would make open sourse stuff to connect to Apple things and if Ap[ple is as bad as Microsoft we can call them out and try to do our best with or code to workaround the imperfections.
That seems to be the opposite of how I am used to using those words. The phrase 'America was already facing deep divides, and the supreme courts actions only exacerbates the problem' I would take to mean a permanent escalation. But 'I get so aggravated when I get people throw rubbish by my house' I would take to mean a temporary thing.
I've been following this space with extreme fascination from the perspective of a software engineer with no formal mathematics study so please take my questions with a grain of salt.

My understanding is that a SNARK circuit is used to prove a series of computations without revealing any of the inputs or outputs.

For example some people submit their salaries in encrypted form through a compiled zk circuit and receive an encrypted answer on the other side that that tells them which person earns the most money without revealing who earns what.

Is my understanding correct that lurk would be used instead of something like circom where circom can create simple arithmetic zk circuits, whereas lurk can create circuits that can describe arbitrary computations?

> Lurk constructs compound data using SNARK-friendly Poseidon hashes (provided by Neptune), so its data is naturally content-addressable.

So lurk programs can point to previously proven (and published?) hashes to make provable claims about their calculations?

Is this like "merkle-izing" computation?

Sorry I'm just really trying to wrap my head around this.
> Oh no! A trolley is heading towards 5 people. The lever just speeds up the trolley, which might make it less painful. What do you do?

I voted no, cause really? who the hell would SPEED UP a train to hit someeone because it 'might' make it less painful. Disregarding the million other mights that could be assumed. The logic here is astounding & yet.

33% of people agree with you, 67% disagree (20,485 votes)

I guess the lesson here is people act on assumptions as tho they are fact.
Tsla is no longer the largest, by quite a bit:

> BYD sold 638,157 electric or plug-in hybrid passenger vehicles in the first six months of 2022

Though about half of BYDs cars are full battery, and the other half are hybrids.
These are presented as ethical dilemmas, but are they also legal dilemmas? Example 1, for example. If you can clearly see that one person will die if you pull a lever, and he will not die that if you don't, is that not murder or manslaughter? If not, why?
38 year old math PhD checking in. Guess I missed my shot. Oh well.
Maybe most apps never see the problem of hitting the row limit because the devs spend time beforehand thinking about which limitations they're likely to hit.
Agreed re actively making a decision: my answer was mostly not to pull the lever, and if I analyse my feelings it's because then the results aren't my fault. Pulling the lever makes me party to the situation.

Disagree re realism though. You never get a chance to think in real life; and any situation in which you could deliberate what the moral course of action is, is a situation you could avoid entirely. Really the closest to trolly problems in real life are public policy decisions - which are real and affect all of us. So yes I guess I've argued myself around to agreeing again :).
Yes! Use `<pattern> -linguist-generated` (the minus sets a negative override for any gitattribute).

Here's a test demonstrating that this usage works: https://github.com/github/linguist/blob/32ec19c013a7f81ffaee...
No shit. That's how their staying afloat. Oracle is basically a Chinese backed American company now.
I didn't read them because I don't believe them anyway. If the website uses my camera, I'll just assume that everything is recorded and sent to advertisers and shady governments before I closed the tab. So I did not want continue with this one. It was after reading the comments here I decided to give it a go. Terms and conditions played not role.
I drive under 100 in the rightmost line and it's not a problem, since there are trucks and campers there. Just stay out of the left lane.

However speed limits make sense from an environmental perspective. The difference between 100 and 130 is quite a lot of petrol.
Sounds good. I already have a domain to use just been on the fence about what service to use. Will pull the trigger on Fastmail. Thanks.
Can anyone give a little insight into how some of these discoveries can have engineering applications? There are some abstracts, but has anyone looked at this and seen potential uses in computer science? I'm surprised there aren't more comments on this on Hacker News considering it's the Fields Medal.
Twitter Ban
I don’t get the feel that he’s racist. Maybe light frat boy levels of racism where there’s no animosity but some judgement.
> while we’re slowly dying.

Contracting anyway. The collapse of industrial activity due to covid cooled things off. Enough humans die off, humanity could ultimately survive in a more bucolic but tech stabilized system to help manage logistics, intentionally leave out all the military industrial complex and disposable crap production.

Religion wanted cheap manual labor; breed, breed, breed! We still rely on memes like Protestant work ethic despite the awareness there’s probably no “higher power” in the traditional sense. Less militant political leadership not grown of WWs but of managing a global ecological problem would wisely find value in the idea “doing less is more”.
For me, pulling and not pulling the lever are the same. Both are actions. So I have to choose one of them.
> Yes the underlying (if true) behavior is bad too.

Not just bad, but illegal.

If Tesla is losing court cases — which they are — then that’s because the judge and jury believe based on the evidence presented and argued that Tesla, as a company, was at fault.

If it’s happened, they SHOULD be sued. No ifs ands or buts about it.

> We should at least consider the possibility this is just a bunch of lowlifes trying to cash in with lawsuits

No, we don’t need to consider that possibility. Judges and juries, who have actually seen the evidence (moreso than you or me), have repeatedly considered that possibility and repudiated it.

Keep in mind Tesla has some of the absolute best legal representation money and reputation can buy. If the claimants’ stories had any exploitable openings for doubt, Tesla’s lawyers would have absolutely (and skillfully) used them to deflect culpability. The fact they are still losing says something.
I can’t think of a chip maker that doesn’t segment their products, I think you’re giving Nvidia too much credit to make it sound like they invented the practice. Same goes for suggesting AMD isn’t thinking for themselves, right? If doubles were a competitive advantage, certainly they’d jump on it, no? It seems like they do have a bit higher average double-to-single ratio. But maybe the real problem is that double precision just isn’t in that much demand, especially for GPUs with less memory? Maybe the market is doing the segmenting and not the manufacturers?

BTW, didn’t prices come down in the last gen? Consumer did, and I don’t know about data center products, but you certainly can get newer GPUs with more mem and more single & double perf for less money than what @majke quoted for GV100. If you want a consumer GPU with DP perf, maybe the Titan V is what you want?

Here’s a naive question: what is the expected ratio of double to single flops if you build the double precision hardware as much as possible out of single precision math units? So I mean given a certain single precision perf level, what double precision perf level do you get if you devote the absolute minimum amount of chip area to DP specific logic? I’m no hardware architecture expert, so maybe the question is weird, but I would speculate wildly that multipliers might be the limiting factor and that it would take 4 single precision multiplies to get 1 double precision result. So I’m wondering if a 1/4 ratio is the most ‘natural’ in some sense? Adds alone I could see being 1/2, but multiplies and other math, especially transcendentals seem like they’d bring down the average.
Straw man, germany has physical speed limits on most of the Autobahn. Meaning the rightmost lane is usually filled with trucks, leaving one or two lanes, were the aging populations slowest drivers create a upper speed limits (usually 120). And even those struggle with those slow Netherlands caravans. Your habbits are not a borthright to be a traffic obsticle in another country.
Speaking as a compiler user, how much longer until we can expect better support for Mixed Boolean Arithmetic (MBA) simplification from compilers? For example, it's problematic that GCC and Clang aren't able to tell that `((((x ^ y) | (~(x ^ y) + 1)) >> 63) - 1)` is equivalent to `x==y` or that `(((x ^ ((x ^ y) | ((x - y) ^ y))) >> 63) - 1)` is equivalent to `x>=y`. We need MBA simplification because the algebra engines don't support it and malware authors frequently use it to obfuscate programs. But if we could plug it into a C compiler that shows us in assembly what the code is actually doing, then it would help a lot with software analysis.
I tend to feel that is the general answer, but that at some (arbitrary) level of absurd disparity of outcome, it becomes morally imperative to act.

Like that 5-to-1 standard trolley problem is a hard question for me to answer, and on different days, I pick different answers. Probably "do nothing" most days. But if you made it 50,000,000-to-1, it is not a hard problem any more. Somewhere in between those two is "the line" where the fact that you are becoming a murderer is outweighed by the value of the life you saved.

Yes, if I could be certain that I could save 50,000,000 lives by murdering someone, I think it would be a moral imperative to do so. That wouldn't change the moral evil of murder, it just outweighs it.

I think. Don't ask what I'd do "in real life", I won't know until it happens (which I pray it will not)
Hey guys, I’m Ankur, Surabhi’s cofounder. Would love any feedback regarding the app!
Yep, it's essentially the same question as the cat vs the lobsters. Most chose to save the cat, and that's not exactly surprising given the western context of cats as companion animals. We just value some lives more than others.
I got 46...
I love the stagit file view, with sizes displayed as numbers of lines.
Some people might not value their own life very much.
Yes, this is a weird romantic retcon of a highly accomplished mathematician as some kind of artist-drifter. He was not a tip top performer as an undergraduate but this is more like a sixth round NFL draft pick winning the Super Bowl, not some couch potato accidentally stumbling onto the field and winning the Super Bowl.
> Bun.js uses the JavaScriptCore engine, which tends to start and perform a little faster than more traditional choices like V8

So it isn't really everything written in Zig and there is some C++ helping there, actually.
I think the bad “web” has a lot more to do with the business side of things than whatever development tools you use. If the website is free to use, it’s either a passion or community project or it sells you. Sometimes that works out sort of well in places like HN, and other times it works out less well like on the infinite amount of shitty news papers. But those news papers can be shitty in all technologies even in the physically printed form.

I do think we need a better tool for finding the passion projects. Because search engines have basically become the “portals” they replaced by curating search results into being about herding us toward sales, but I’m sure we’ll see a shift sooner or later. It’s sort of already happening with more and more people returning to things like news letters instead of reading blogs.
Covid-19 reinfections may increase the likelihood of new health problems
I mean it's mostly tongue in cheek, but he did convince Netflix to basically pay for him to take exotic vacations with his friends.
This is an interesting one that really drives home just how dangerous it is to try to learn from trolley problems.

Yes, if you have perfect information, speeding up the trolley is likely the merciful thing to do.

In real life, you never have perfect information. Speeding up the trolley is definitely the wrong thing to do because it reduces the amount of time that you and others have to find an alternative solution that might save somebody.

(I still agree with your point about assisted suicide. Our points are compatible.)
I have a curated home page of videos, yet I could search for "WW2 documentary" and YouTube will intersperse after the 5th result some trending video about the Kardashians.

Search has become one of the most dysfunctional features in Google products. I am extremely annoyed that I am paying for YouTube Premium, I might just pull the plug and install a network-wide ad blocker system so I can vote with my wallet.

God, I hate modern Google.
Some of YouTube’s algorithms have been broken for years.

Some years ago my daughter who was around 4 at the time was watching some YouTube videos that were clearly for kids, part educational part entertainment. It might have been before they had YouTube Kids.

An ad came on for I think “Walking Dead”, showing really scary and gruesome Zombies. She was covering her eyes waiting for it to end.

I couldn’t believe it, “The Algorithm” decided an adult Horror series ad was appropriate to show in a kids video.
My guess is that it is a question about responsibility. In the trolley problem it is my responsibility to pull the lever or not. If I don't lose my money people will die. In real life it is the responsibility of everybody. Maybe still very egocentric not to donate but at least your conscience can let you sleep at night.

An interesting take on it is that if, for example you have 90.000 in savings you could choose not to pull the lever and use your savings to save 20 people in Guinea, but also this would not be a popular choice I guess.
I just wish they'd included the complete kill count, not just the people. "You killed 85 people, one painting, and five lobsters." Or whatever.
I only got 58. Anyone get lower?
They surely are,you apparently aren't aware of the available toolchains for such purpose.

Plenty of coments of mine where I list what exists since their early days.

Yes, C++ compilers like Visual C++ support it. Or Unreal tooling like Live++.
But why isn't NOT pulling the lever "taking action"?
That's.... kind of the point?

Mathematically the expected outcomes should be the same, but morally they are not.
There's a small chance that there's only 5 people left in the future, so you should do it while it's guaranteed to not wipe out the human race.
At this point I can't really tell which is the parody.
That question is actually really easy. No party represents the population. There aren't any meaningful choices to be made. Thq as weere is no such thing as a wasted vote if there is no party worth voting for.

They all suffer from the same flaw. Especially the ones near the left are particularly hypocritical. My hunch is that they depend on poor and angry voters so there is no way they would ever try to achieve prosperity for them while risking to lose their voters.
I feel the opposite about America. We have many consumer and social protections that Americans don't. They seem to value freedom over the well-being of the average citizen.

Perhaps we'll never have as many nobel prizes per capita, or as many millionaires, but I quite enjoy things being regulated in favour of the average citizen.
I use it to watch BBC and Channel4 from Poland.
I would argue that they are too. That's kind of the point. That morally taking no action is better if you have imperfect information.
As a person who worked on the original web socket spec - it's because many networks run "deep packet inspection" routers, etc (to protect the network or some such), and those routers are almost universally badly written.

There have been many cases where those routers can be compromised by sending specially crafted content. That's apparently something that hit Java applets, presumably ActiveX (though with activex that is surely on the lower end of the security issue spectrum?).

Because of the nature web sockets providing much more control of the actual bytes on the wire from a browser it was necessary to "encrypt" the bytes. The goal isn't to secure the content, it's to make it so attacker JS can't control the byte content - the "encryption" key is literally prepended to the data being sent so anyone sniffing network traffic can "decrypt" the WS data.* From JS running on a webpage this is completely transparent (or is that opaque?) because obviously if the web content knew the key material they could modify their data to get the correct bytes again.

This is one of the things people forget when asking for browsers to provide features: it's not just "what can I use this for?" but "what can a malicious actor do with this?". Because the threat model for a browser is not the same as an app - browsers can be trivially made to load and run arbitrary JS - Ad networks are notorious for it, but unending websites make it possible. One of the things that make the web a great and amazing thing is that I can go to any website, and not worry about it doing anything to my computer (and with the exception of chrome) browsers also try to make malicious behaviour like spying on you hard as well. Yes there are security bugs that can be exploited, but there's a difference between a security bug that can be fixed, and a literal specified attack surface. *

* To actually protect data you should be using TLS, but you knew that right?

* Fun story, there was a version of the SVG standard (or a draft? it was a long time since I was on that committee) that provided raw socket access
You load up Frontpage or if its late in 1997, Dreamweaver.
Complexity is just another part of natural systems. It's not something to be avoided for it's own sake, in as much as we should avoid having eyeballs, because they are crazily complex. Yet we tend to like ours and find them worth whatever cost they incur.

The emergent behavior of containerization has had an overall positive effect, even if it has annoying costs.
Interesting that models of only moderate attractiveness are in the highest demand due to creating a perception of "attainability". The connectivity of the internet makes them, de-facto, the most desired.
> In that framing, I'm really surprised that, on Level 27, 70% would rather send a trolley into the future to kill 5 people 100 years from now, instead of 5 people now. In almost 11K votes, this seems significant.

RIGHT?!?

I mean, who know's the potential reprecussions that portal might hold for us if we send that trolley through. Sure, 5 people might be saved today; but millions could be saved instead in 100 years when that portal isn't reopening to whoop our ass for killing 5.
Is Propping up oil company profits one of those reasons? Driving the speed limit would likely drive gas prices down due to a >10% decrease in demand

Or according to this site maybe >20% https://www.mpgforspeed.com/

People who speed don’t really mind the gas prices. Because Speeding is like paying $1.20 extra per gallon in CA
Yes, but you can't get a devkit for a console without Sony/MS/Nintendo approval.

No devkit, no game. Dunno if they still gatekeep the physical products.

Apple takes the $99 developer license and that's it. You get full access to all tools and the App Store. Releasing a new version doesn't cost you anything extra.

I wouldn't even know how to go about creating an Xbox or PS game. Who do I contact, where do I pay and how much? What rules do you have to follow to get your indie game on the Playstation Store or XBox Store?
I have the ability to re-earn my wealth. I can't undo death.
End users aren't writing GPGPU code.
I have been using a linux vm setup on azure as vpn for years and it works great for iplayer.
I learned HTML by looking at other people's code. It's a wonder thatvthis feature is still standard in most browsers.

That also made me a firm believer in open-source.
No, I don't buy that. We already pay them for the privilege of letting them usure us.
I'd love to have that as an option. I'm not in a hurry to get anywhere. I usually get speeding fines because I'm not paying attention to the speed limit or my own speed.

It's a bit like cruise control. I like not having to constantly monitor my speed.
So you could do a collaborative computation of a particular index in fibonacci by taking turns computing up to a certain index, getting the hash and handing it off like a baton to someone else who could prove the starting value they're given is correct for the starting index and then keep going?
I'm a theist. His writings wouldn't have converted me, either.
It doesn’t. I wasn’t trying to make serious philosophical choices I was just having fun and picking whatever amused me.
Nope, because that's an EU law, the ones collecting speeding fines are national governments. And the saved lives, and resources from having less traffic police, will probably make up for the fines lost anyways.
Dreamweaver!
Chrome is the new Internet Explorer. They have a ridiculous market share.

It's not about standards, it's about being Chrome-compatible.
Intel, in a shocking move, has preemptively patched this vulnerability in silicon by deprecating AVX512 months ago :P
Because in most non-Western countries it’s assumed that even a marriage solely meant for making children will never dissolve. Let alone the western divorce courts which are prone to leaving the man with no real access to their kids and 18 years of financial obligation to a woman who hates him. Divorce is how vast majority of western marriages end up in our modern times.

If you don’t internalise this simple reality you will not understand why those men behave towards you the way they do.
I answered with the majority because I followed John Rawls' condition of the "veil of ignorance", which means that the only information I have to start with is:

1) an average person's life savings is less than 1 million

2) an average person's life is worth ~10 million
I think everyone did that back then, I painted min with a chrome spray paint, looked awesome, just.. you could never touch it again xD

These days, I want a beige case, and can't find it, sweet irony.
It is more of the long tail of distribution. These are the stars that were seen on TV in repeats of the same movies. Or rented and taped videos.

One reason might also be how consumption of media have changed. The same stuff isn't repeated as much on main delivery channels.
This is great. Does bun handle yarn.lock files and create them? I.e - can I replace yarn/npm with bun 1:1 for the speed gains?

I also wonder how bun compares to esbuild for js/ts transpile speed gains?
I get daily spam from mega.nz. They can go to hell
The crazy thing is that the Autobahns are not exactly safe ... Sure, millions of people drive on them every day and most of them will never be in an accident. Still there are about 15000 accidents per year on the Autobahns [1].

More anecdotally, my SO was commuting on the A2 for about a year. She saw the aftermaths of (minor) accidents basically every day and was the first car not to collide in a pile up twice.

(To be fair, most accidents on the A2 happen on that stretch around Gütersloh iirc.)

[1] https://www.destatis.de/DE/Themen/Gesellschaft-Umwelt/Verkeh...