skysight-inc/HackerNews huggingface dataset:
But again.. how do you see that happening?

Even in a Portugal decriminalization situation, we aren't going to be selling drugs at Walmart.

And the cartel isn't going to play fair. Undercutting the cartel means assassination attempts and kidnappings.
I want to use SIP hardware phones as clients. And a SIP client running on my phone.
Model Y w/HW3 + FSD Beta loves to take those turnoff lanes on 2-lane 55 mph highways, thinking that the road just went to 4 lanes. Unfortunately (for me), those turnoff lanes abruptly stop in a 90 degree right turn. I leave audio comments when it happens when prompted asking why I disabled FSD by yanking the wheel left, but I don't know what else to do.
I've written a whole SQLite replication system that works on top of RAFT ( https://github.com/maxpert/marmot ). Best part is RAFT has a well understood and strong library ecosystem as well. I started of with libraries and when I noticed I am reimplementing distributed streams, I just took off the shelf implementation (https://docs.nats.io/nats-concepts/jetstream) and embedded it in system. I love the simplicity and reasoning that comes with RAFT. However I am playing with epaxos these days (https://www.cs.cmu.edu/~dga/papers/epaxos-sosp2013.pdf), because then I can truly decentralize the implementation for truly masterless implementation. Right now I've added sharding mechanism on various streams so that in high load cases masters can be distributed across nodes too.
Sadly “The Winstons” received no money for the sample. Tragic that the genius behind this revolution got absolutely nothing.
Cause and effect. Due to of the rehash and sell-out as by not re-inventing the wheel; in return has caused the effect as you've mentioned above.

Where many had the opportunity to take the risk, didn't. So now we live in the world where it's either A or B.

And I'm fed up to the point where my business, self-funded is re-inventing the wheel regardless of the risks.

Besides the point, innovation has been stifled because of no reinvention.
I don't know. I generally take these graphs at face value: because it's above 2°C, it doesn't really change that we have a lot to do still. The only question is: a lot of what? Convincing people? Convincing politicians? Signing up for a job as wind turbine builder? What's most effective is what I'm currently struggling with the most (but not what you asked, sorry)

I guess it's also unpleasant to know. I can't change tipping points anyway, I'm already pushing for change as hard as I personally can without becoming a hermit or similar
Is there a technology that doesn't automate work and isn't sold to consumers for money?

Self driving cars could potentially end car accidents outright, saving 40,000 lives in just the US per year. But that would put some mechanics out of business.
Where do they go in winter?

That being said, a nomadic lifestyle sounds so interesting and romantic. Too bad most nomads are heavily discriminated against.
Why is it that you want to tone police me (when I was actually trying to be facetiously funny) instead of parent with his virulent ad-hominem's towards two industry veterans which probably have done more for the field of computer science than most of us commenting in this thread combined (at least until Walter drops in).
Man will burn tomorrow
Security and backups are important regardless of the technology you’re using.

Managed Postgres is a thing, probably much more common than managed lucerne. I can name three managed Postgres providers off the top of my head (AWS, Vultr, Supabase).
Is there a docker image for this?
> Cmd.exe is still the same

cmd.exe is a shell so it shouldn't be any different just because the console updated. This article simultaneously explains the difference between a shell and a console as well as explicitly list the feature changes added to the console in Windows 10 https://blogs.windows.com/windowsdeveloper/2014/10/07/consol...

> Not fully. They still have it as a menu item in Edge

Well sure, completely removing IE just because they added Edge would have made the replacement more painful for no real gain. They already committed to ongoing support of IE based applications for many years to come years ago.

> YMMV. This one is hit or miss.

YMMV on what apps support the new DPI features but the APIs and support itself is 100% there all the time in every copy of Windows 10. In previous versions of Windows apps were unable to reach that level of DPI support regardless if they wanted to update and do so.

> You cannot revert to a previous release in Windows.

Where'd you get that idea? I've done it myself, it's quite possible. You're also quite welcome to just install fresh if you're update data has been cleared but you can revert otherwise.

> When SW changes just for the sake of change (see calc.exe), something is wrong.

Calling adding resizability, OS theme following, (fractional) DPI awareness, additions to the unit and time conversions, and graphing "changes just for the sack of changes" is spot on the nose of what I was talking about - the only way they could have made you happy was to not change, it has nothing to do with how much better or worse the new calculator actually is. Maybe you personally aren't a fan of a single one of the changes, that's still not reasoning for why it's changes for the sake of changes.

The rest is more individual so I won't say anything one way or another. E.g. ARM support can be critical to one person and irrelevant to the next, hard to make 1 list containing only what every person on Earth agrees is relevant so I included things many will even if some won't. That doesn't mean I'm saying you specifically must find ARM support one of the meaningful changes.
It is a theory that Tesla will dominate all profits in the EV industry similar to Apple in the smartphone market. It isn’t a sure thing, it is a theory.

Being a true believe is a faith based endeavor. It isn’t clear at this point it is right.
Cruise was finally hit with blame over someone's death after blocking in an ambulance. I'm not sure they're such a good example of autonomous driving done right.

As for instantaneous death, a collision between a person an automobile at 25 mph is enough to do serious damage to the person. What you've described is autonomous driving at a walking pace, and somehow that doesn't sound so appealing.
News stories are about things that are new/novel -- that's why people read and discuss the news.
https://archive.ph/UJwY1
Around half of it is what you get out, +/- around 5% depending on whose the more earning party.

In Germany if you marry you get the option to either both stay Steuerklasse 1/4 or you get to downgrade one which has to pay a little less taxes while the other one stays higher taxed.

Patriarchially that's why married women always earn less in their Steuerklasse 5 (even if they would be paid the same) because they pay the more taxes, so that the husbands in Steuerklasse 3 pay less taxes.

Not making this up, in case you want to smash that slur button.

Oh, and it also is only useful when one party (statistically the husband) makes 60% or more of the combined income because all untaxed Freibeträge are always accounted to the one with the better income in a Gemeinsamer Güterstand.
sell linux phones, etc

i spent my teen years studying and selecting electronic components from radio shack.
I always thought it would be cool to build an entire toy “stack”. Maybe start with a language, DB, and web server. You could start out simple, for example building a language that transpiles to JS, and overtime replace parts with lower level implementations
I think GLR was the only label for a very long time that did that stuff though. I remember listening to DNB stations in the 90s and they were all very dark compared to today, I don't think there was any easy way to find out about liquid in those days for someone not deeply into the scene. I think that didn't change much until Fabio and Grooverider got their late night show on Radio 1 and wanted to make dnb more accessible, even so, I remember tuning in sometimes and just having to turn it off because it was too hardcore. It wasn't until I got fast enough internet and found online radio specializing in dnb that I really got into dnb but that was considered super obscure and there were only a handful of stations, and of those, only occasional shows played liquid. So I definitely feel it got more common since then.
Last remaining member received $22k. Not enough.

https://www.vice.com/en/article/rmje4q/amen-breakbeat-fundra...
Can you please elaborate?
what grand stories (or meta-narratives) historically shown to be good tools for prediction and problem-solving do you have in mind?
My biggest takeaway from this is that it's not a good idea to give control over games distribution to one company.

We have good decentralized protocols these days.
I mean, Micro Center exists in some areas of the country (the one near to me is literally next to a Michaels). The reason it’s not everywhere is probably because there’s not as much demand outside of big cities.
One could confidently put the makeup on without being annoyingly interrupted every couple of hundreds meters by having to drive up to the next red light!
Agreed, PowerShell (and lately the new Windows Terminal app) are nowadays the defaults but cmd.exe and the legacy conhost are by no means deprecated. https://devblogs.microsoft.com/commandline/rumors-of-cmds-de...
Was it Taylor Tomlinson? A couple of months ago I suddenly got videos of her (both shorts and the longer 5-10 minute clips) recommended, and I'm normally not into standup at all.

(I did enjoy them, but not enough to actively seek out more.)
There are plenty of ways to eat that don't require smothering the world's communication like a modern day Sauron.
Shameless plug on something similar: https://feedreader.xyz

Comes as a bookmarklet and it will not only find a page's feed, it will also display it nicely directly.

Demo on Verge's feed: https://feedreader.xyz/?url=https%3A%2F%2Fwww.theverge.com%2... (you just visit the site, hit the bookmarklet & there you go)

This was primarily built after realizing that the official Google RSS plugin for Chrome was never gonna be updated and was "stuck" to that annoying layout while displaying a page's feed.
Please clarify.

Would love to know how running a database is considerably less work than adding a library to your existing app.
Ironically, chrome(ihm) is starting to show that again.
An RSS icon next to the URL if an RSS feed is provided.
Hmm. Murray Sargent's blog post states that Win95's WordPad IS written in MFC.

from https://web.archive.org/web/20070127011040/http://blogs.msdn...:
"...RichEdit 1.0 was wrapped in MFC to produce WordPad as an example of how MFC could be used for text processing. This was shipped with Windows 95 as mentioned in the previous post."

More RichEdit history:
https://web.archive.org/web/20070306114503/http://blogs.msdn...
With an EV, I Had to Learn to Drive All over Again
The two unrelated dead bodies were just probably thrown in the grave and ended up in that position for all we know.
There is no such thing as managed Lucene. It's a library.

There are search engines e.g. Solr, ElasticSearch but those aren't what this paper is proposing.
https://archive.ph/R85tV
Some DnB “OGs” such as Dom and Roland, Paradox are still heavy proponents of the amen sound, and can toss it up between darkish, breakbeaty and soulful tracks.

Long time DnB fan, since late 90s.

https://paradoxmusicuk.bandcamp.com/

https://over-shadow.bandcamp.com/music
The claim was that electric cars are heavier, but they don't appear to be much if any heavier than comparable ICE vehicles.

Comparing an electric car to a gasoline motorcycle is silly. Comparing an electric car to a gasoline car of a similar size, the electric car is going to be modestly if any heavier and significantly more efficient.
AVs aren't complementary to public transit, though. From the customer perspective, the only difference between an AV car service and a taxi service is that one of them has a human driver. Why would any taxi customer take a three-leg trip from SF to SJ with two robotaxis and the Caltrain when they could have a single-shot transportation solution door to door?
eh, this post is seriously misguided. the experience on DMT is relative; you might feel like you have been gone for days or months even if the clock tells you 15 min have gone by. furthermore, the power of DMT, with its sudden onset, can feel quite violent, literally like a drive-by shooting, or beamed up a la Star Trek.

curious people, please look into the concept of "pharmakon"; the knowledge gained from drug usage often does not come without a reciprocal cost, and the sense of elevated consciousness can be fraught with illusion and the same old tricks of the ego.

I have had many life changing experiences under the influence of drugs (one of the most powerful, under the influence of DMT), but in my opinion it extremely misguided to recommend it wholeheartedly to people without a very strong disclaimer regarding its adverse effects.

When I used DMT properly, for the first and last time, I experienced temporary ego-death. Afterwards I re-lived "my trip" every single night for almost a year, having the same dream, over and over again. In my waking hours I would sometimes find myself fusing with my environment (real-time temporal loss of self) "at one with everything".

Undergoing this process helped me "find myself", but the experience was dangerously close to full-blown psychosis - tl;dr drugs are a powerful and useful substance, be aware of the risks before taking, and do not recommend to others; DYOR and decide for yourself.
I don’t think it’s made to support WASM. You’d also need a compatibility shim to get it to act like a Y Doc.
Another song that's been sampled a lot is La Di Da Di, by Slick Rick and Doug E. Fresh, which came out when I was in primary school:

https://www.wsj.com/articles/how-la-di-da-di-a-b-side-from-1...

Other frequently sampled songs typically have a single element, like a drumbeat or a vocal shout, that is used again and again. Part of what makes “La Di Da Di” unusual is how many different lines from the five-minute track have wormed their way into popular music.

Slick Rick's other tracks are also emulated. You probably know 'This is how we do it' by Montell Jordan. This not only has a repeated music sample from "Children's Story", but also a verse in the style of the opening:

Children's Story:

Once upon a time not long ago
When people wore pajamas and lived life slow
When laws were stern and justice stood
And people were behavin' like they ought ta good
There lived a lil' boy who was misled
By anotha lil' boy and this is what he said
"Me and you Ty, we're gonna make sum cash
Robbin' old folks and makin' the dash"

This is how we do it:

Once upon a time in '94
Montell made no money and life sure was slow
All they said was 6' 8" he stood
And people thought the music that he made was good
There lived a D.J. and Paul was his name
He came up to Monty, this is what he said
You and O.G. are gonna make some cash
Sell a million records and we're makin' tha dash
I would probably agree. Aside from my own interest in the topic and in Kennan, Michael Anton has made such a poor showing for himself and his critique, that even in my ignorance, Costigliola seems positively glowing in comparison.
Long term nuclear waste storage messaging
The editor fell asleep at the wheel by the looks of it.
a more elaborate version of this lives at AestheticsWiki:

* https://aesthetics.fandom.com/wiki/Aesthetics_Wiki

* https://aesthetics.fandom.com/wiki/List_of_Aesthetics
It's a standard phrase in the formal methods field, [0] emphasising that it's an alternative to the usual approach where we hope that our testing (which can never be complete) is enough to catch all the worrisome bugs.

Personally, this article didn't strike me as being very easy to follow, or as being the most compelling demonstration of the value of formal methods. At the risk of going off-topic: if you're not seeing the point, I recommend this example using SPARK, a non-functional language. [1]

[0] https://betterprogramming.pub/a-taste-of-coq-and-correct-cod...

[1] https://docs.adacore.com/spark2014-docs/html/ug/en/tutorial....
My guess is that's the matter of whether infinite scrolling is enabled.
This is dedication:

>having authored a short book and over 40,000 posts on internet bulletin board Styleforum.net

https://en.wikipedia.org/wiki/Michael_Anton
Fairly sure this is wrong, on both fronts.

History is story telling about a period of time for which we do not have easy access to all the information, nor full access to the participants and their motivations and self-conceptions. In addition, even with the benefit of hindsight, it is common to be unable to identify conclusively which possible elements of the story are the most significant (and as a corollary, which are cotemporal but irrelevant). Consequently, there are different ways to tell the story, and no "objective" set of rules to decide which to choose. Like all human story telling, history must come with a point of view that is critical in framing the elements used in the telling.

Now repeat everything I've just said, but substitute "news" for "history".
About five years ago I asked myself whether I wanted to pursue a career change out of tech. I’m always excited by history and I’m sad that more people don’t feel the same way. I considered becoming a history professor or teacher and it was the credentials required that stopped me.

I’ve never had the patience for school even though I love to learn. I make a good living in my field despite not having a CS degree like many of my peers. I commend you for taking it upon yourself to do what I did not. I hope you have a very successful teaching career, by which I mean that I hope you have at least one student discover the joy in learning history.
You're making an assumption that the parent's age and ignoring the possibility that they actually just think that the 60s/70s had the best combination of technical ability to limitation.

I came up in the 90s (that's actually when sampler based music really took off vs using turntables or tape to loop things).

I still think the 60s/70s had better trade off between limitation to technical capabilities. Studio time used to be unbelievably expensive, so people didn't mess around.

I love Goldie's Inner City Life (1994) and DJ Shadow's Endtroducing, they really changed things for me. Neither would be the same if they didn't have the source material to sample from.
According to Murray Sargent's blog post on RichEdit version history, justified text was added to RichEdit in v3.0. The Win10 version of WordPad seems to support fully-justified text per paragraph.

see https://web.archive.org/web/20070306114503/http://blogs.msdn...
Isn't this solved by managed databases? Is there a problem with paying more and having AWS/Azure/GCP take care of the difficult parts for you?
> And I believe in actual government

No, you believe in _utopian_ government, which is not actual government. Actual government is what we have right now, in reality.

> I call this real government.

https://en.m.wikipedia.org/wiki/No_true_scotsman
Node interface physics simulated within the Mandelbrot set
17 Years ago this audio/video explained it all. Props to the artist Landon for laying down the audio to a record and playing the audio (with examples) from the record. 6.8 millions views - the Winstons will never be forgotten.

https://www.youtube.com/watch?v=5SaFTm2bcac&t=3s
Arguably it's a good description because it automatically filters out audiences who don't know what it means; if you're building a distributed system and looking at different consensus algorithms then it's a simple and clear explanation, but if you aren't then it's not a relevant algorithm for you anyway!

The general class of consensus algorithms are for trying to solve the problem of what to do when you have multiple replicas of a data store across several physical devices, when one or many of the devices or their connections fail in some fashion. They are titled "consensus" because the machines need to come to a consensus for what decision to make about a piece of data when a failure event occurs.

For example, you have three servers all replicating the same SQL database:

(A) - (B) - (C)

The network connection linking (C) to the other two drops; (A) and (B) are notified and (B) is promoted to be the primary (it receives the writes and then distributes them to the replicas).

However, (C) doesn't know what's happened, and continues to receive some writes. The network connection is restored, and now (A) and (B) and (C) need to decide what to do. (B) and (C) have both independently received a different set of writes, and the servers need to come to a consensus on what to do with the data.

This is what Raft, Paxos etc. are attempting to solve in a consistent and performant fashion.
Ask HN: Is paid search-engine model like Kagi viable?
Search engines are the first interaction of a user with the internet. Yet, something like Kagi requires me to login on multiple devices before I can use it. This creates an unnecessary extra layer which drives me away from Kagi—why should I go through setting up all this settings to make a simple search query when I can simply use google without an account?
Right, not all of the techniques shown yield code that’s correct by construction. For example, an argument was indirectly given, and that error was only found after writing a theorem involving it and finding it was impossible to prove.

In the section “Correct BST by Construction”, they explain the technique of requiring every constructor of a BST to supply a proof that it maintains the properties of a BST. Any modification to a BST constructs a new BST (since Coq is pure), so any operations on a BST must also supply a proof of their correctness. That is correct by construction.
Harvard study from a sophomore undergraduate. Doesn’t take into account energy mix, improvement in supply chain sourcing that will eventually reduce emissions for bev, not sure if carbon costs of refining gasoline is considered.

Also… don’t people just take an Uber or bus if not driving that often?
Right. So now my existing stack needs a backup strategy that’s independent of the database. That’s really tough in production; Lucerne is adding complexity.

To be clear I object to this:

> I wish HN had some bot that would just delete any comment from people recommending installing databases.

Most applications already use a database. Pooh-poohing Postgres as a solution is silly. For many people, it’s actually going to be less complex to take to production than installing a library, especially one with its own complex storage needs.

Also: technically, isn’t Lucerne a database?
OLE has always fascinated me. I’ve wanted to play around with it just to see what sort of cursed things I can do, but my eyes glaze over looking at WinAPI docs.
I find the introduction interesting, it somehow clicked. Devs are like toddlers playing with wooden bricks, who are demanded to scale up this act of building to the level of a grown up's house.

In fact it often feels that way. You're either asked to extend or improve existing constructions that feel like sticks and stones bound together with rubber bands. Or one feels excited for being allowed to make up such a construction as a demo, not knowing it will be used as a basis for a production-quality construction.

I'm not sure if mathematical proof is the way to go. There's just too much code to cover for this approach to be realistic.

Most problems are born on the drawing table. The designs seem right on paper and only in practice, during or after building, they become visable.
Whenever I open a specific aesthetic, it is shown below a grey semi-transparent overlay, and a white box with "Title (untitled) Description (no description)" in the center. The overlay can't be closed as far as I can see. Strange behavior.

Safari on iPadOS.