skysight-inc/HackerNews huggingface dataset:
> Do they explain anywhere why we consider radicals special and ask these questions about them in the first place? Nobody ever explains that. To my programmer brain,

But regardless of whether you're a programmer, mathematician, machinist, carpenter, or just a kid playing with legos, there's always a good time to be had in the following way: first you look at the most complex problems that you can manage to solve with simple tools; then you ask if your simple tools are indeed the simplest; and then if multiple roughly equivalently simple things are looking tied in this game you've invented then now you get the joy of endlessly arguing about what is most "natural" or "beautiful" or what "simple" even means really. Even when this game seems pretty dumb and arbitrary, you're probably learning a lot, because even when you can't yet define what you mean by "simple" or "natural" or "pretty" it's often still a useful search heuristic.

What can you do with a lot of time and a compass and a ruler? Yes but do we need the "rule" part or only the straight-edge? What can we make with only SKI combinators? Yes but how awkward, I rather prefer BCKW. Who's up for a round of code-golf with weird tiny esolangs? Can we make a zero instruction-set computer? What's the smallest number of tools required to put an engine together? Yes but is it theoretically possible that we might need a different number of different tools to take one apart? Sure but does that really count as a separate tool? And so it goes.. aren't we having fun yet??
Have you ever wondered why there is laughing gas in your whipped cream?
Yes, because i did not have money when i was a teenager and have money now that i’m in my 30ies.
Depends. Are there actual reasonable grounds to suspect that the US citizen violated copyright law in China? Can China be held to granting them a fair trial with a reasonable punishment (read: not executing them in the courtyard and billing their family for the bullet) being prescribed if the US citizen is found guilty?

If those two things are present... well, then it is what it is. Now, I doubt China would be able to provide the fair trial part, but if we're trying to compare your situation to what Kim Dotcom is going through, it's a question we have to answer. I'd much rather take my chances in a US courtroom than a PRC courtroom.
Why “Hamming”? As in Richard Hamming, ex-Bell Labs,
“You and Your Research”?
Thank you. I am but a tiny cog in the huge machine and wouldn't know where to start when it came to rebuilding a national cloud.

edit: read the "Like Click, but with the safety catch taken off - Bang!" review and subscribed immediately
Batteries and Secure Energy Transitions
This is awesome, very beautiful and well written!

Are there other handy 2-d algorithms that are this well explained? I know redblobgames has a treasure trove too, but curious about more.
Because nobody capable of changing things cares. That is the reason. Is that what you wanted to hear?

If energy savings were a priority over profitability then all our phones would ship with AdBlock preinstalled and we'd overall waste less time loading unwanted content onto our devices. But flashy self-promotion beats consumer sensibility any day of the week. Unless you legislate businesses into compliance, they will consistantly ignore the most ecologically respectful option in lieu of the more profitable one. Even when businesses do choose eco-friendly decisions it's almost always for tax breaks or carbon offsets that would prove more expensive than their subsidy.

Money talks, Mother Earth just sits there gasping for air. Good thing we all voted for this with our wallets, eh?
> if I would take your copyrighted work

https://daringfireball.net/projects/markdown/

>Markdown is free software, available under a BSD-style open source license.

John Gruber's markdown is unmaintained (last updated in 2004), free software, which many people have contributed to to fix oversights and extend its capabilities. This is exactly how fsf is supposed to work.
Why was he a failure politically?
Researchers hack electronic shifters with a few hundred dollars of hardware
Surface Pro 3 is NTrig, not Wacom EMR.

I'd be glad of a guide to installing Linux on a Samsung Galaxy Book 3 Pro 360.
Waymo's Driverless Taxis Honk and Keep a Neighborhood Awake
I am in there four times with four past addresses.

My late father is there five times as far back to the place he lived in 1981. I never knew the address of that place so actually a boon amid this disaster. I can now look up his old apartment on Google Maps.
Article is from 2017 and mostly has statistics from 2015, things have probably changed.

In 2015, [Americans] each made 38 check transactions, on average

I wonder what would be the median number of checks. There is going to be an older generation that is using checks for everything, and there is a younger generation that is forced to use checks to pay that older generation (eg: rent). But I can't see millennials and younger using checks for much else.
That's utterly insane. 32 million horsepower is ~24 gigawatts. That's roughly the same power as ALL OF CALIFORNIA.
https://archive.is/G83zc
it would make sense to post

It's a natural assumption but it's actually the opposite of how HN works since two threads about roughly the same thing on the front page leads to split discussion (and too much of the same thing) and typically the follow-up gets moderated away. So posting a followup/related thing of a front page ongoing topic makes it more likely the followup won't get traction.
- "What motivates you?"

Intelligence operative or peasant. Pick one.
Staffing isn't necessarily directly tied to profits. Just because a company is financially successful, does not automatically mean that it isn't overstaffed. I'm not saying that's the case here, specifically, just as a general rule.
> There's no evidence that piracy causes any type of harm to these multi-trillion dollar American entertainment conglomerates.

I think there is business "harm" to piracy, but it's (mostly) vastly overstated. If I illegally download a song/movie I wouldn't have otherwise bought, did anybody lose out? There was a reason Napster was popular in colleges, because many of those people were cash poor. Music industry revenue peaked in 2000 at $21B and went down to ~$7B in 2015 before steadily growing again. Also, the entertainment industry are not multi-trillion dollar conglomerates. Not even close. Disney is worth $160B and Netflix is $260B.

That being said, if it were up to the music industry we'd still be paying the inflation adjusted equivalent of $20 for an album we only like one song on and we wouldn't be able to create out own playlists. You can only fight the consumer for so long (and they fought long and hard). That's to say nothing about the morality of repeatedly increasing copyright from 14 years to life plus 70 (which is BS). The Beatles' great great grandchildren (or whoever owns the rights later on) shouldn't still be benefiting from intellectual property.

> Moving heaven and earth to extract a citizen from another country using the power of the state, and drag him before their feet is tyrannical.

This is what rule of law is. KDC knew he was breaking the law and not only didn't do anything about it, but invested in an encouraged it to benefit himself financially. Even after being charged and having megaupload shut down, he then tried again. Do you really feel sorry for him?
I did not argue against Apple being regulated. But the “how” and “to what extent” are very important details.

You want to force them to allow 3rd party app stores? That’s fine. But theirs should still be the default. Regulate how hard it is to swap them out if that bothers you, but their defaults are the best choice for most technically-inept users.

I’m open to alternate app stores. But I also think Apple is fine the way it is. It’s a premium brand with opinionated design and if you don’t like that, there are more than 100 alternative phones spread across at LEAST 5 major phone manufacturers.
The usage of the word "copyright" made me wonder... can you even copyright Markdown? I don't think you can, can you? You can copyright the spec (if any) or the reference implementation, but you cannot copyright the concept or syntax itself.

You could maybe patent Markdown (given the amount of trash software patents I've seen I wouldn't be surprised) but (1) it's not patented AFAIK and (2) it's become so common (mark, heh) that I don't think it could be patented anymore.

You could say Markdown is covered as a trademark even if not officially registered maybe? I don't know the specifics though, could anyone chime in? (this is complicated further by the different jurisdictions). But my understanding of the general idea is that if your trademark becomes common (which I guess happened?) or you don't actively defend it (which is what Gruber was trying to do fighting Standard Markdown), you lose it.

So, to summarize, I think he was right to be angry (in a moral way) but that's possibly the only right he had in the literal sense. Which is more than enough of course.
No, that is literally exactly what they just complained about.

> And it's annoying that you need to read some footnote to figure out what exactly it means; it's annoying that it is basically a code-phrase that you just need to know that it's not supposed to be taken literally.

Even to point of deferring the real explanation to a secondary paragraph.
That's common for a lot of small engines. The location of the sump doesn't allow for the addition of a drain plug.
Most people, not just trillion-dollar media companies, have at least some interest in seeing intellectual property protections enforced.

You can argue that there's too much protection, or that it doesn't afford equal protection under the law for smaller parties.
I played around a few minutes with the various features. The voice removing was kind of impressive, though I don't know how novel that is.

I tried making some AI covers, too, which was kind of fun. For one of my tries, I submitted Nirvana's Smells Like Teen Spirit for AI voice generation to make a cover of Carola's song "Främling" (Sweden's ESC song 1983 which came in third, a very non-Nirvana-type of song). At first, I thought the voice sounded pretty much like a Swedish Kurt Cobain, then the more I listened to it, all I could hear was the Swedish artist Nordman, and it dawned upon me that they have similar voice styles. I tried lowering the pitch, and then I was certain I recognised the voice from another artist but couldn't place it. So I'm leaning towards the AI voices being trained on some not-so-unfamiliar artists rather than there being some cool AI magic happening, though I'm out of my depth here.
People say that Markdown is isomorphic to HTML but HTML has <b>, <i>, <em>, and <strong>, while Markdown bold and italic almost always get transformed into <em> and <strong>, right? According to MDN the HTML standard defines clearly very different semantics for the elements, although IIRC there was once a drive to move away from <b> and <i> as presentational, which is why people started using <em> and <strong> instead but in a way as if they were presentational, kinda defeating the point. IDK, what do you think?

"<b>: The Bring Attention To element"
"<i>: The Idiomatic Text element"
"<em>: The Emphasis element"
"<strong>: The Strong Importance element"
> Man corporations have really used AI to justify shredding their workforce.

Most of these layoffs are the balancing force for massive headcount increases during covid. Headcount that isn't necessary outside of that unusual time.

Current economy isn't amazing, and companies are preparing for slower times.
I know you're quoting the linked text, but "show" seems questionable there? How would you not even show the device while presenting ID?
Your story makes me picture Geometric Algebra, defining Complex Numbers or Quaternions and multiplication on them, and their symmetries and elegant combinations. Ty for sharing your math memories. Makes me wonder if Galois theory can determine valid or invalid imaginary number combinations / systems.
So now we’re going to regulate how “good” phones have to be? That’s silly. There are 100s of different phones across at least 5 different major manufacturers.

The argument of no choice is not based in reality.
Yes, the blog post could have made it clearer that the author was talking about editing mode only. (His wording was “meant to be visible to the writer”.)

The issue, of course, is when the writer is also the reader, such as for the note-taking apps. It’s not always clear then what mode the user wants to be in.

I’m pretty happy with the compromise struck by Bear, which does some of what the author is complaining about. Bear’s technique is to show the formatting (i.e., hide the markdown syntax) for everything except the “word” (contiguous non-white-space) that you are currently editing, as determined by the location of your cursor. This lets you edit the markdown directly, ASCII-character-by-ASCII-character, but the rest of the doc looks pretty. It’s not perfect, but hiccups are rare and I find it vastly better than the alternatives: (1) a conventional WYSIWYG editor or (2) a hard distinction between writing and reading mode that the user needs to constantly toggle actively as they use their notes. But it seems fine to me that different users prefer any of these options.
> I just don’t agree with their assessment that they are a problem

And I don’t have an opinion either way, but it seems reasonable for the appropriate government agency to, even if the issue is currently pretty limited
I get it now, but I have so much imposter syndrome that I wasn't sure if this was ACTUALLY something I needed to figure out -__-
Human labor is a cost to society. The less of it we use per unit of output, the better off we all are. If Cisco can generate their value to society with fewer people that's a good thing. Society gains the additional output those workers will generate in other places.

Sucks to be one of those laid off though.
Now featured in Nature newsletter:

https://www.nature.com/articles/d41586-024-02555-7
Possible Chrome substitutes:

https://duckduckgo.com/mac
https://duckduckgo.com/windows
I uh misread the title and thought someone built a C compiler in Scratch.

On topic, though: wouldn't a simpler language (maybe even a pseudo language) be a better target for a first learning compiler. I understand they don't build a full C compiler, but still. It looks to me like there's a lot of complexity add from choosing such a lofty target.
once again i regret my decision to get an apple //c for my collection rather than the more expandable apple ][ or //e. in my defense, it just looks so cute!
Hmm.... so, I dug into the Ford privacy notices, and they do have a very thorough explanation of everything they collect and what it's used for. It does look like the Connected Vehicle information is sold to advertisers by default, but there is an opt-out. Disappointing :/

The YOUR STATE-SPECIFIC PRIVACY RIGHTS part of the Policy links to a form to exercise Consumer Rights, but of all the form options available, Opt Out isn't on the form :( I'm calling Ford now to try to open a ticket with their marketing/data privacy department to fix that.
Everything on this list except for OSM, Firefox and Home-Assistant are proprietary products with even less-accountable service providers than Google.

God help you, if this is your migration plan away from harmful businesses...
I'd say one of the fundamental lessons of field and Galois theory is that they're not intrinsically special. They're just easier and more appealing to write down. (For the most part, anyway. They're a little bit special in some subspecialties for some technical reasons that are hard to explain.)

One reason to focus on them: when you tell students that x^5 - x - 1 = 0 can't be solved by radicals, that "even if God told you the answer, you would have no way to write it down", this is easy to understand and a powerful motivator for the theory. It's a nice application which is not fundamental, but which definitely shows that the theory has legs.

If you want to know which polynomials are solvable by Newton's method? All of them. It illustrates that Newton's method is extremely useful, but the answer itself is not exactly interesting.
Resilient Propagation and Free-Space Skyrmions in Toroidal EM Pulses
But why N2O and not something more inert like plain 'ol CO2 or N2 like in your cold brew coffee or Guinness stout? The article doesn't explain anything.
> It's all UTC-based times

Not even that. UTC has leap seconds, which this code doesn’t handle (FTA: “The calendrical calculations always assume a Gregorian calendar, with no leap seconds”)

It copies that from the golang time package, which makes the same claim (https://pkg.go.dev/time)

That makes life a lot simpler for the implementer, but doesn’t that mean you can only reliably use these two libraries for computing with durations, not with moments in time or vice versa? The moment you start mapping these times to real world clocks and adding durations to them, you run the risk of getting small (up to about half a minute, at the moment) inconsistencies.
Went above and beyond for Hollywood, not for compliance. The tools are only available to the studios. Everyone else can sod off.
I know that's what the literature says but I have tried MgO and alternatives and don't see a difference which might point to it being a placebo effect.
The oceans are weirdly hot. Scientists are trying to figure out why
> better/different open source license

And that's why "open source" is a really bad term that no one should use unironically, unless they want to confuse the hell out of people.

There are protective (copyleft) licenses, and there are permissive licenses - and they're very different beasts. And it's, like, software licensing 101.

> that want to go from LGPL to MIT or something

I find this extremely weird.

In a sane world, picking a copyleft license must mean that you care about user freedoms and want to make sure they're respected no matter what happens. Because that's the whole point of picking a copyleft license - not about letting people peek or tweak some code, not about social brownie points, and most certainly not about marketing campaigns - but about granting users their freedoms.

Either people get confused about "open source" and pick... I don't know, whatever looks cool, without even understanding what they're doing; or they're giving up on their principles when they smell the money.

I can understand wanting to go from, say, GPL to AGPL, or GPLv2 to GPLv3[+] - it would make sense, as it all goes in line of protecting freedoms. But LGPL to MIT is truly a weird one.
As long as he’s calling himself Dotcom, he is explicitly property of Verisign.
I believe the English translation for this is “uhhhh”
His mistake was to host content in the US.

"Megaupload is based in Hong Kong, but some of the alleged pirated content was hosted on leased servers in Ashburn, Va., which gave federal authorities jurisdiction, the indictment said." - Jun 25, 2012

https://www.cbc.ca/news/science/internet-file-sharing-giant-...
Google Maps: Waze
Discussion (96 points, 1 day ago, 29 comments) https://news.ycombinator.com/item?id=41239096
German climate activists stop air traffic after breaking into four airport sites
Apple thought it would be in their best interest to release it.
Ding ding ding! As an employee you're not there to do good work, you're there to what you're employer asks of you which is sometimes good work. When its your own electronics you can do whatever you want but as a rando employee you're not in a position to accept the risk.
I found this playlist to be one of the better explanations: https://www.youtube.com/watch?v=F6B4Kyj2rLw&list=PLx7-Q20A1V...
I've done the older machines, Teletype Model 14 and 15, nearly a century old. I remove the magnets and the motor and immerse everything else. The Model 35 has many plastic parts and some electronics, so I can't speak from experience. Look up Greenkeys Digest and ask there.

("All gunked up" usually means the wrong lubricant was used at some point. Usually something that has heavy fractions. The short, light hydrocarbon molecules in the oil evaporate, leaving behind the long chains that are basically asphalt.

The original Teletype oil was whale oil. I lubricate Teletypes with 0-20W fully synthetic motor oil, which is supposed to be a consistent length of hydrocarbon. So when it evaporates over a few years, it just leaves dry metal. Especially avoid WD-40. All wrong for this.)
If you've picked mesh networking, then you care about partition tolerance. But blockchains prioritize consistency. So I think using blockchains on mesh networks puts you in a disadvantaged situation re: the CAP theorem. There's got to be a way which better aligns the application layer with the constraints of the physical layer.
AFAIK more of a document store unless you use mvsqlite

The architecture is ingenious, though.
Just seconding this as someone who'd been there for over 10yrs and left this last year for those precise reasons. Many of my peers left at the same time and we're quite frequently getting incoming interviews from others who still remain there. Very disappointing :(
Russia the fascist state? Russian citizens have greater free speech and expression rights than any E.U country, U.K, Australia, Canada or New Zealand.

In the U.K people are currently being jailed for years for mild social media posts. Hopefully the Axis of resistance will liberate the West. This American certainly hopes so.
that's a bold claim, why is this any more lightweight than doing namespace-based deploys or just using telepresence for development?

like the name though
If you only care to expose limited formatting to the user, whether the file is stored in Markdown or not is immaterial. It could be stored in Word 2003 DOC format and export to Markdown, and if the serialization and deserialization are faithful, it doesn't matter at all.

Markdown is portable, fast, safe, and simple. Being able to dump your data as Markdown (which you know works, because the Markdown version is the literal source of truth) means you're guaranteed to be able to extract your data and move it wherever you want with perfect fidelity. That's a huge bonus.

The argument here is pointless if your concern isn't the syntax: Markdown _as a serialization format_ versus Markdown _as a typeable syntax_ are two separate concerns. The UX of a tool meant for editing Markdown is going to be extremely different than a tool to edit simple rich text.

In my own app, I default to WYSIWYG with an option to edit the raw markdown (for podcast show notes, which have very limited formatting options). Why? Because the alternative is HTML and that sucks to write by hand (especially if you can't use most tags).
If you haven't seen those already, you might also want to check out:

- Apalache: a symbolic model checker for TLA+ backed by Z3 (https://apalache-mc.org)
- Quint: a modern and executable specification language with TLA+-like semantics, that integrates with Apalache (https://quint-lang.org)
Remember this. This presumably tells you a lot about their corporate culture, so, what it would be like to work there.
Do you think my inability to post AdviceAnimal style memes on HN is a free speech issue? Or do you think that a given forum deciding that it has a specific focus is actually ok, and that flagging an article as not belonging here is not, fundamentally, a comment on whether or not someone can say it at all?

I find that most of the vocal “free speech” complaints seem to center on the belief that everyone is always obligated to host and support anything and everything I say, no matter where I say it. Your comment is emblematic of that, and I’m curious if that’s intentional or otherwise.
They had that rule, every 24-hour room checks, for a few years after the Mandalay Bay mass shooting in 2017. Since Covid they removed that rule and don't do the room checks every 24 hours, unless, I guess, they really want to do it.

Room service counted as a room check so security only did it if you refused room service.