skysight-inc/HackerNews huggingface dataset:
Yeah, just like fresh water and trees are everywhere, so why bother conserving them.

Environmental destruction is a huge problem and usable sand is a limited resource and often in delicate environments. It’s not the 19th century anymore—people today are more aware that taking resources has consequences.
It’s amazing how much effort has gone into making C compilers achieve the kind of performance that was routine for FORTRAN. The reason, ironically, is that FORTRAN didn’t suffer from the aliasing ambiguity that C does.
He said this which shows he doesn't care for women having the right to vote. He funds anti-abortion, anti-birth control, anti-gay politicians regularly.

"The 1920s were the last decade in American history during which one could be genuinely optimistic about politics. Since 1920, the vast increase in welfare beneficiaries and the extension of the franchise to women — two constituencies that are notoriously tough for libertarians — have rendered the notion of "capitalist democracy" into an oxymoron."
The Dropout: A History
Okay, thank you for explaining this all to me.

I just saw the Taiwanese program, and I assumed with all the various EU countries at least one of them had implemented something similar.

I actually might consult with a tax attorney before I do this.

Thanks
The xfinity 3 gbps service (actually 3+1) is symmetric. And it’s not shared at the neighborhood level—you’ve got a dedicated 10g port on a Comcast switch at your head end. Of course it costs $300/mo.
This was a web design flaw not a db flaw...

Or rather, if it is a db flaw the team hosting it should be removed from their jobs...
The publishers now encode their papers with individual identifiers, that generationP calls UUIDs on all pdf's. That means they can trace it back to the institution(and perhaps the actual prof?) They have then sent nastygrams to threaten them with fees or loss of access to the institution - potentially serious punishment.
What is needed is a way to run the papers through an OCR recognition program to create renewed text and to further process to randomly vary a large number of adjacent letter spacings. (this is called 'micro kerning' and it allowed a second order of unique document recognition where the document is scanned by the journal to look for these fractional kerning gaps in the letter spacing which can lead back to the institution). I suppose a program flow could be made to OCR + random micro kerning changes - it would take time, but once set up it would be a rapid computer based document flow process. Photos/charts could be sanitised as well, but legends etc on them would also need OCR and micro kerning adjustments. With 25 words of text, each with 6 letters, micro kerning can easily create 10,000 unique ID's, easily enough to cope with all subscribed institutions - and that is on one chart/photo.
I suspect the subscribing institutions have acted with firm words to their profs and grad students to block this. This can easily be told to us if a few people in assorted institutions let us know if they have been read firm words about this?

I am not sure how Sci-hub can get past this, unless they get a good Indian court ruling and can use Indian friends to scan printed copies of journals - if they exist in this online age?
Every case in the article you cited involved someone conducting "research" on computers they did not themselves own, as happens when you portscan a remote host, or look for XSS vulnerabilities on someone's SAAS app, or try to pentest the media system on an airliner.

Project Zero doesn't do any of this kind of research.

Nobody is going to be able to sue Project Zero for finding iOS bugs. You have an almost unlimited right to conduct security research on a phone you buy, or a piece of software you install based on a click-through license.

What you need to be very careful about is, again, testing other people's computing devices. There, you have almost no rights at all (save for services that publicly waive their own rights by standing up bounty programs --- and, don't be confused, Project Zero doesn't depend on Apple's bounty programs to conduct iOS research).

These distinctions are super-clear to people who actually work in this field, but clearly unclear to people outside it, because we end up having the same picky debates about them every time vulnerability research comes up. I get it, it looks fuzzy on the outside. But it is not fuzzy to practitioners; the rules you have to be aware of to conduct research are actually fairly straightforward. Don't mess with other people's machines.
Ah it seems that the repos mentioned in this threads are all related after all—

The coq repo is covered by the paper but is a verified version of only the scheduler (a part of the parent python repo, i presume)

Then the repo you linked to seems to be a rewrite/generalization of another(?) lower level part of the main ATL.
Those two things are called the time zone - a geographical area that has and had the same time all the time - and the zone time within that time zone which might change from time to time, for example regularly because of daylight saving time or kind somewhat randomly because people change their mind about which time they want to use.
They may have had him in custody already and got a warrant to scan his whole hand.
Good point! ISO 8601 dates should support timezones. Then a 24-hour "date" could only be in one of standard time or daylight time.
Does it still give an error trying to log in with your Apple ID?

I had a version of this working months ago but it was pretty useless without iCloud or my developer account.

I guess I should test it.
I really appreciate the sentiment, and think I would like to live the suburban version of that life. With some luck, and by maintaining thrifty habits, I think some semblance of that life is within reach for a good fraction of the population today.
You're creating one big false dichotomy. This notion that you either focus every bit of your being on your career or otherwise be a wage slave is absurd. Having a strong community around you is an incredible financial tailwind, beyond the fact that it is just a generally a positive thing and makes your life emotionally richer.
This is maybe what UTM uses in the latest releases to virtualize macOS on ARM64? Works very well for me so far. https://github.com/utmapp/UTM/releases
Potentially relevant: AMD Receives Approval for Acquisition of Xilinx[1] and HN discussion[2]

[1] - https://www.amd.com/en/press-releases/2022-02-10-amd-receive...

[2] - https://news.ycombinator.com/item?id=30285837
I wonder what kind of horrible design decision led to this in the first place.

I’d argue though, that without context, a date has the time 00:00 in your local time zone.
Quick reminder that those timezone abbreviation are not unique (i.e. Philippine Standard Time)

https://www.timeanddate.com/time/zones/
> How does listening to you benefit them? Listening to lobbyists, on the other hand...

Listening to lobbyists (and implementing the stuff they ask for) can only get a politician money to try and buy votes he can use to cling on to his position. People writing in from his constituency, OTOH, are the voters he needs, and listening to their demands and implementing those has a much higher chance of directly giving him their votes.
It is rubish that intelligence causes unhappiness. The more intelligent you are the more of this amazing universe you can understand and therefore appreciate... There is so much joy, so much beauty in this life. Art, music, sex with someone you love, the wonder of understanding or creating, and intelligence gets in the way not one iota.

Honestly, speaking only in cynical observations is associated with only middling intelligence, or people who have decided to build their identity around some misguided sense of what intelligence looks like, rather than those who actually are intelligent.

Think of Einstein, Feyman, Von Neuman, they all knew how to enjoy life. Intelligence is a privilege, and one should appreciate it. Bemoaning ones intelligence, is as ugly and clueless as a richman complaining to the poor about how he has too much freedom. If one is inteligent one should apreciate ones privilege, and think how to use it to help others
Unable to connect ;(

Down right when on HN frontpage?
The relevant flag is listed in the CVE report this whole discussion is about. CONFIG_FORTIFY_SRC=y turns the stack overflow into a panic, preventing the out-of-bounds write attack. You're probably just better off not loading the TIPC module, though, so that you don't have a crash condition either.
And the Braid protocol, using a variation on SSE: https://braid.org
So an outdated implementation of the launcher pulled user data from Steam. 3 years ago. What else you got? That's not enough to really justify saying it "spies" and "fucks up" users, is it?
That’s not true. VMWare has worked well for years. I used on my Intel Macs for years.
Probably in reference to Ext4's[0] configurable rename-replace behavior under auto_da_alloc

[0]: https://www.kernel.org/doc/Documentation/filesystems/ext4.tx...

Edit: note this isn't a universal property either, so it's still wrong: https://btrfs.wiki.kernel.org/index.php/FAQ#What_are_the_cra...
It's not even pronouns. It called the user a man, which could be wrong. It's weird that not automatically assuming a user is a man is "contemporary".
How do you spot fake Chinese USB hard drives?
TCP is not perfect. There is ambiguity between the acknowledgement of a segment and the retransmission of a segment that we have tried to address with extensions and heuristics. It can introduce latency for upper protocols which are comprised of fixed-length messages. SACK reneging is a crime against humanity.

It's amazing that we've been able to adapt the protocol in a backwards-compatible fashion for over 30 years, but QUIC addresses problems with TCP in ways that could not be done in a backwards-compatible fashion. Personally I wish the protocol were simpler, but I lack the expertise to say what should be removed.
Can you use iCloud?
Outcomes are intentionally made clear because the morality in this case can rule out options when uncertainty is involved.

In you example of capital punishment, If you say it is wrong, even with 100% certainty of guilt, then nobody has to discuss the situation where uncertainty is involved.

If you say it is moral with 100% confidence, then you can ask the separate question involving uncertainty.
Ask HN: Thoughts on my Three.js / CSS intro?
After 3 weeks learning Three.js I decided to try out the CSS 3D renderer to create a parallax mock-up. This is the final result, live (Desktop only).

The rest of the site is unfinished, so any shitty UI/UX quirks WILL be fixed. I just wanted to show this off and get some general feedback.

Website: [sprintdock.app](https://sprintdock.app)
I didn't say that at all. Putting effort into maintaining a social circle has greatly diminishing returns as you get older. It's just a fact of life. Priorities change as our age, and if they don't, you'll find yourself a 30+ yr old child.

Social energy should shift more towards personal growth as you get older.
Linus Torvalds does not answer to the Linux Foundation, and the Linux Foundation has little to do with how the Linux kernel handles security reports. It doesn't matter that they sponsor him; they aren't the "vendor" for Linux in any meaningful sense. They are just a nonprofit entity established to support Linux development in various ways.
I'm glad at least the AI is able to understand this gender/pronoun thing and even able to joke about it because I for one don't get it at all and still confused about this whole thing (1)

(1) https://youtu.be/nhWo1AOrSrY
If the date is, for example, the starting date of a contract, then the date is most likely just a shorthand for 00:00:00 on that date. With that there is no problem at all comparing the date with an instant and decide whether the instant is before or after the contract went into effect. This is not arbitrary, this is making explicit use of otherwise implicit domain knowledge.
Eh, not really.. we're at around 90% vaccination rates... most truckers are annoyed/embarrassed by the whole situation, as it really has nothing to do with them.

This is as much about 'truckers' as 'joe the plumber' was about plumbers...

There's a minority government in Canada.. remaining in office requires the support of an opposition party.

There's continuous work to paint the political situation as incredibly fragile and mandates as highly divisive. Reality shows otherwise - we'd be talking about an election if this was an actual problem politically, and an election simply isn't in the cards.
This comparison is incomplete without thinking about what happens to the disposed-of panels. Panels in landfills are pollution as much as anything else
Some of what's on Portswigger is extremely good (as is the case with anything James Kettle writes), because it's coming directly from practitioners. But Portswigger also functions as a sort of industry newsletter, and some of the content comes from non-subject-matter-experts. That's the case with this article, and I think it's reasonable to assume the author is just confused here.

I think it's pretty obvious that the feature/quirk of QUIC that the author is trying to summarize is that it's a UDP protocol (the most noteworthy thing about QUIC!) that provides its own congestion control, which is what makes it possible to run as a bulk transport for ~all Internet traffic, which is the premise of any new HTTP protocol.
Autokey https://github.com/autokey/autokey
"...most people agree with you that the fat man should not be thrown off the bridge. However, this view seems to be inconsistent with your earlier claim that there is a moral requirement to maximise the happiness of the greatest number of people."

I don't agree with that. If people could be "morally" randomly killed to save two and more people, the overall happiness of the population would decrease. They would be scared of going on bridges to stop trolleys or hospitals so that they don't become accidental organ donors.
Where I live (Southern California) I’d be shocked if 30% of people are even remotely complying with mandates and regulations around COVID-19.

The attitude that seems to prevail here (which I take no position on) seems to be roughly: “it’s time for vulnerable people to segregate”.

Personally I’m both vaccinated and recovered from Delta, and I don’t go maskless anywhere that there isn’t already an unmasked crowd because while I’m not a virologist I don’t like making people uncomfortable needlessly.

But I do think that we probably need a better answer than shouting down a high double digit percentage of the population who have to one degree or another reached their limit on an unbounded state of emergency running into its third year.
Everything AI chat bots say can be construed as a joke.
Didn't almost all of the investigation for this recall take place between when Cummings joined the NHTSA and when she was ordered to recuse herself from all Tesla-related matters?
Ask HN: How do you handle “staging servers” in non-web environments?
Sorry if the title doesn't make sense, but I always work as a web developer and I wondered how do you handle testing / simulations / etc in non-web developments, especially in stuff like satellites, cars, etc.

How do you test your software? How, for example, is SpaceX software tested without launching a misile? I am sure you can test a lot with "fake" inputs but you can't be completely sure that it is going to be the same in the real scenario.

So if you want to share your insights from a not-common industry, use this thread!
> I’d argue though, that without context, a date has the time 00:00 in your local time zone

I'd argue that without context a Date cannot have any time inferred. In the programming context it should be treated as a programming error and comparisons should fail to compile unless additional context is given.

A lot of the confusion here seems to stem from how we traditionally store dates (seconds/millis after a reference point in time), and over time we've confused the predominant way in which the data is represented from what the data actually is intended to mean.

let date1 = Date("06/05/2022")
let date2 = DateTime("06/05/2022 20:05 UTC")
if date2 > date1 {
// SHOULD NOT COMPILE
}

let date3 = Date("06/05/2022").withTime("05:00 UTC")
if date2 > date3 {
// DOES COMPILE
}

Injecting context automatically without the intentional action/declaration of the programmer is where a billion bugs are born.
A cup of skill – Build competitive web games using a state machine authority
I wonder if the various corporate MITM nanny gateways and firewalls will keep up with this. And not just the manufacturers, but the device owners that don't keep them up to date.

I know Chrome had to implement a race between tcp and quic to detect various forms of broken firewalls, content filtering devices, etc. Maybe it would be better just to let things break and force the issue?
The test results are input specific, so it is unclear what contradiction you got from the test.
Usually you won't know what server it will be in, and usually you'll be searching from google.
Yeah I'm not a philosopher, but I am an artificial intelligence researcher, and I feel like these questions have some aspect of the old rules based or expert system thinking in them, where we try to codify human thinking and it doesn't work because there are always edge cases and new information.

These, and questions like them (typical of many surveys) assume that its possible to give an answer to a complex question based on limited (or closed) sets of facts. It's not in general, if it was we'd have human-like rules engines
A fully electric harmonica. No audible reeds.
I love playing the harmonica, but it's not super easy to find a place to practice.
Visually I like it - although it is very slow on my machine at the point of being unusable.
I was born in the coastal region, called Kokan, of the state of Maharashtra in India. Various varieties of mangoes grow there(Alphanso/Haapoos mango variety is on of them). During my childhood one of the most exciting activity was to plant the seed of the I had eaten and then see it grow overtime.

I think seeing any sapling grow from a seed is mesmerising.

P.S: I don't know why the shell of the seed had to be removed as in the video. The sapling grows without removing the shell of the seed. This process looks like Cesarean of a mango seed :)
What I would like to see (and haven't found yet), is a bash or python shell that automatically does a "more" when a command exceeds some number of lines.

So many times I accidently fill up my scroll buffer with an unintended awk or grep mistake.
Cuz weapon producers need to make money …
I’m a big proponent of verbose naming, but I suppose I should say in this context that I generally have a negative preference for terse naming. There are some exceptions to that preference, usually deferring to idiomatic usage, e.g.:

- i or idx is often preferred over index

- fn or fun is often used where function is a reserved word

That said, I’m also cognitively sensitive to column width. I’m not “80 columns or fight”, but I definitely find longer lines of code challenging to follow. As such I prefer to balance verbosity by deferring to the context (lexical scope, imported module name/hierarchy, file name/path, general contextual assumptions that you’d already need to be effective in the codebase).

I find both extremes jarring, and there’s usually an opportunity to optimize for both local understanding and reading without reaching those extremes (of course at the expense of keystrokes/autocomplete pitfalls, but once you’ve embraced verbosity at any level that’s assumed).
TransAsia Airways 235
>It's great to hear from other game devs!

I agree! Do you happen to know of any small discord servers / other communities for game devs making simulation games? The larger ones I've been to were just too big.

I dont have a name for my game yet. I'm only 3 months in. When I get to the point where I have a SimCity 2000 level of functionality, I'll know I should keep going and will start putting together a brand/webpage.
Yeah. I'm trans too and while it does hurt, if you apologize there's no problem whatsoever.
Perhaps people on the internet are happier than they seem. Because they are grousing and complaining. Which are great guilty pleasures which until recently there was little room to indulge in day to day life. Until we invented something to let us indulge to our hearts content: the internet.
I was looking for something like this a couple of weeks ago, thanks for posting it!
I have tried ShareX, but I still feel like it is really easy to share a screenshot of something you are working on and share to the internet way too easily. How do you avoid those situations? Feels like having a loaded gun at all times.
This is a fun self-realizing thing, and I see it all over the place even today!

Well, I haven't changed jobs in about 5 years - but there are plenty of indicators of the same problem around.

Less the, 'we never reboot' thing but more... 'that person is the only one who understands this'; leaving the problem ripe for creation on any given day.

Also a very large business/conglomerate - it's a household name.

I'm part of the newer generation in a sense - I picked up Linux and the like in the mid-early 2000s. I was a glutton for punishment. I wanted to see everything break however it could.

Eventually I learned quite a bit of these lessons out of sheer interest. It provides a lot of opportunity for the 'wizard' moments OP mentioned.

I find a fairly cavalier attitude about things as a result. People at work think I'm crazy, but the longer this is prolonged - the more likely it is to hurt.
Even better, it's embarrassingly parallel!
I tried macOS in Parallels and it was _awful_. Significantly worse than Windows 11 ARM and Ubuntu ARM. It seemed like it had zero acceleration. Very poor experience. I just used the wizard to install it so I didn't do anything weird.
Ask HN: How do you run multiple VMs on Apple Silicon M1?
My goal: run N Ubuntu VMs on a MBP M1 using either host-only or bridged networking mode. On my previous Intel MBP I was using Vagrant and Virtualbox as provider. This worked wonderful. Now, as you may know, Virtualbox doesn’t work anymore on M1s. I looked around at alternatives, and the panorama doesn’t look good as of now:

- qemu. Quite versatile. Works with hvf and it’s fast! Sadly, it doesn’t support yet advanced network modes (bridged, host-only) for mac. There exists unofficial patches that implement vmnet (https://gitlab.com/qemu-project/qemu/-/issues/465#note_824941037) but they are unstable and require running qemu as root

- UTM (https://mac.getutm.app/) also works fine, but doesn’t offer advanced network modes for multiple VMs (it relies on qemu behind the curtains anyway)

- vagrant + vmware fusion. This is the most promising one. But vmware fusion for M1 is still in “tech preview” mode. Also it’s unstable (https://gist.github.com/sbailliez/f22db6434ac84eccb6d3c8833c85ad92)

- docker. Not really a replacement. I need to replicate cloud environments locally (so I need VMs running systemd. The VMs themselves may run docker)

Anyone else in the same boat?
> I'd like to see the science on this.

Why would you need to? Only if you are saying no amount of voter contact has ever changed any politician's vote on absolutely anything. Is that what you're claiming?

If not, then even a single letter changing a single vote by a single politician is already infinitely more than not doing anything, which won't even change a single vote by a single politician on anything.

QED: No science needed. HTH!