skysight-inc/HackerNews huggingface dataset:
But what's the value in it? I'm trading Bitcoin and related ecosystem (from ETH or DEFI nowadays to crypto related securities like MARA, RIOT, CAN, etc. I always hold some crypto) since 2012 and made very good returns compared to the initial investment. But never ever saw a widely adopted use case for any coin other than speculation.

There are always promises, wishful-thinking, hypothetical demand for a use case but it never materializes. Here are some:

BTC: Trade (edit: for goods and services)? No use since price is too volatile. Store of value? Tell me again after this bull run. Besides, what's different than LTC, or even Doge that defines a different value proposition?

DEFI: The infrastructure is there but people just use it to speculate. Never heard a real business borrowing in DEFI to finance, for example, shop renovation. The only use case I can come up with is miners borrowing to buy miner hardware, since returns will be in crypto and will be implicitly hedged against crypto price inflation. Other than that, trading SUSHI or UNI or whatsnext is the only way.

NFT: What happened to CryptoKitties between last bull run and this one? NFT actually guarantees the uniqueness of the outer shell, not what's inside. Rare gaming items might be a use case, but why a game maker would use something it can't control, or fully extract value is beyond me.
>I'm not sure if you look at the curve’s derivative since, say, 1995, it’s clear we’re heading in a good direction.

Crime was near all-time highs in the US, Europe's deadliest war since WWII was raging, numerous civil wars in Africa and elsewhere were claiming millions... It's clear it's way better, and definitely got better since your arbitrary timeline.

>I don’t think there’s been a year in modern history like 2020 since 1968, and even that pales in comparison.

Of course 2020 was a weird year, but to compare that to the height of the Vietnam and Cold War, with nuclear mutually assured destruction just inches away, among the many other things boiling is just naivete. 2020 was NOTHING like 1968, not even a close comparison.

>We’re in the midst of a global pandemic with nearly 500k dead in America alone.

Indeed, but we're rounding it out, things are slowly opening back up, and vaccines are out.

>We’ve suffered two deep, major financial crises in roughly a decade.

And mostly recovered.

>The entire west coast was on fire this fall

Objectively false. Less than 50 people died. If the entire coast was on fire, that number would be several orders of magnitude larger.

>Texas completely fell apart this week.

And recovered this week.

>Living in a bubble?

Correct, you're not living in reality. You're living in a constructed delusion that doesn't match with facts, has no context for history, and is just neurotic/alarmist.
There is no new knowledge, simply a continual and sublime recapitulation.

--Yorge, 'Name of the Rose'
My mom was a flight attendant. She and my dad used to take my brother and I on a lot of trips. Once, when I was young, we got on a flight to Germany out of JFK (TWA). Almost immediately after takeoff (presumably from a bird strike), an engine caught on fire. A few things I'll never forget: 1) since it was a night flight and the cabin lights were off, the inside of the plane was lit up so intensely by the flames it would have made the creators of a disaster movie envious, 2) many adults around me were screaming, 3) my mom leaned over and said to me in a voice no less calm than if she were telling me what she packed for my school lunch, "Don't worry, the captain will shut off fuel to that engine and turn around and land. But we'll have to go someplace else for our trip." I instantly went from being terrified to totally relaxed, and the next day we went to Disney World.

Respect airline crews.
Think Less, Do More
Loss of Focus
Well, I’ll have a go - first, most people have no idea where their trash goes and don’t worry about the problem that something has to be done with it. It just magically disappears because we (especially urban and suburban dwellers) are that abstracted from dealing with it.

The options are to make a pile of it, bury a pile of it (ocean or land), burn a pile of it, or eject a pile of it into space, while recycling what we can to reduce load on the aforementioned options (often far, far less than people imagine, btw).

So it’s not an issue of people desiring to put their dirty diapers in the ground for its own sake, but it being the better of several shittier options.

Fundamentally we all make too much trash. Each of us. But while that problem is being worked we still need to put it somewhere where it minimizes sanitation and environmental risk.

Far from being lazy, modern landfills are pretty meticulously engineered for surface reclamation in the developed world. You are probably acting more responsible by putting developed-world trash in a developed-world landfill than by shipping it across the ocean in container barges to the developing world, where often as not it just ends up in an unmanaged, seeping pile (assuming it makes it to and stays on land).

There’s a lot of wishful thinking about what to do with garbage (if “we” only..., “people” just need to...), but the best thing any of us as individuals can do is obsessively reuse finished materials without becoming hoarders, donate, and consume less (opt out of gratuitous packaging, don’t buy tchotchkes for decorations or gifts, buy things that will last for decades or generations, not seasons or years).

How’s that?
Probably because if you lost them you didn’t have a way to start your car ;)
No, they originated from Romania models and have nothing to do with original Renault models AFAIK. I own Dacia Sandero 2015, it's as dumb as possible and I love it. Not sure about latest models, I know that there's some smart stuff added, like remote engine start, but AFAIK no Internet connectivity yet, just radio channel (and, of course, it's optional).
i'm not sure how much the tech adds to the price of the car. More likely the price increase is due to much stricter crash safety standards then existed 20 years ago. If crappy plastic makes an engine more reliable, economical, powerful and cheaper, then most people are willing to give up on some durability.
The music probably ends up being better when it's not just highest bidder first.
We don't actually know how much the neurons in a given brain pay attention to each other. The part of me that learnt to ride a bicycle probably just sits there idle while I type this comment here. Logically, they might as well have been partitioned. Your example of switching between tasks is another great example of how parts of our brain don't really need high-availability.

In fact, many psychological studies from the last century contest this idea of consciousness requiring either consistency or high-availability.
Show HN: Turn scripts into fine-tuned voices via Wiki markups
I'm using magnetico (https://github.com/boramalper/magnetico), a selfhosted bittorrent DHT scraper. After a few months of running I now have a little bit under 1M magnets in a ~3G database. SQLite is useful not just because I can query it with the full power of a relational database, but because I'm using its FTS capability for searching.

If I had to install a typical database or some search engine I would never have used it. It is more than enough for what I'm using it for.
> But this is not a problem with the tool, this is a problem with those platforms.

Well said. If a saw blade is sharp and you can cut yourself with it, you build safety systems around that. You don't blunt the saw–render it useless.
I actually appreciate your point and those of all similar commenters. I think what bothered me is that a criticism as diffuse as “the system“ is without value because it means everything and nothing.

It also seems not to acknowledge that “the system“ has produced enormous medical and economic advances right along with the many destructive forces it has unleashed. For example, poverty is massively reduced since I was a kid. That is almost completely due to free market forces applied by “the system“.

Please understand I am not trying to defend “the system“ as a whole. I am simply trying to say that a blanket derogation of it does no one any good.
The risks you end up taking on don't make sense for the amount of energy received. Solar, wind, geothermal, and hydro are more than enough to power the world. They're cheaper too.

In terms of baseload requirements, batteries are the far safer alternative for transitioning away from fossil fuels. Nuclear power may have been tenable as a solution, even with the heightened risks, if improvements in battery technology were stagnant and/or stagnating. But this hasn't been the case, and so nuclear fission as an energy source will likely become a relic of our past. Now nuclear fusion on the other hand...
China-nuclear plants , not wind or solar. only for export .
India--nuclear plants, no wind/solar.
Texas.

Keep telling yourself that grid batteries solve every problem with renewables, let alone all intermitancy issues with renewables anytime soon.
you're living in your own bubble.
I had to look that up:

Payola, in the music industry, is the illegal practice of paying a commercial radio station to play a song without the station disclosing this information

https://en.wikipedia.org/wiki/Payola

I'm not a big fan of how tech companies have and continue to ignore existing regulations and legislation simply because "on the internet" or "it's an app" is somehow perceived by them as different.

By analogy: like we have analogue drug laws that deem substances prohibited even before they're invented, we should have analogue services law where a fucking taxi company is a fucking taxi company regardless of what technology underlies it, and a radio service is a streaming service etc.

You don't get to ignore broadcasting rules just because the delivery tech is Internet Protocol based rather than radio.

Whether or not one agrees with the existing legislation on either of those particular matters is beside my point here, so let's skip straight past that distrsction please.
I feel like if I am worried about those issues, when would I ever use sqlite instead of Postgres?

Sqlite seems like it is only appropriate for the knife’s edge boundary between small data, low reliability, in-memory situations (better served by server applications using tools like pandas or R) and bigger data, transactional structure, reliability constraints (better served by Postgres).

I just can’t understand what use cases live in between them and are better served by sqlite.
I originally intended to write what follows as its own comment but, although I used Coq instead of Lean and worked through a different set of exercises, your criticisms so closely mirrored mine, I decided to reply here instead, and point out promising paths to solutions.

I too felt it a waste of time to prove things that were clearly "obvious". Of course, in math, some of the most frightening words to encounter are "obvious" and "trivial" but in this case it really was trivial, at the level of proving `a + b = b + a` while working with integers. Tactics like auto, tauto, ring and field help here and should be given more and earlier emphasis in teaching materials. Tactics like `auto` perform like the proof search you mention and others like ring and field make cleverer use of structure.

To fill in the rest of the gap, a project like the Lean math library goes a long way. Not having to provide your own implementation of reals, differential forms or vectors over reals or complex numbers is incredibly useful. I was surprised by how difficult it was to find (I never did) a well maintained and documented library of basic common mathematical structures in Coq.

The second major issue is Formal proofs without their contexts (something like a debugger variables watch list in regular type code), are incomprehensible to most. However, a project, https://plv.csail.mit.edu/blog/alectryon.html, for Literate Formal proofs fully addressed that pain point for me. It's curious how the problem of tedium has a clear path to solution in the Lean community and the equally important flaw of write only proofs is being addressed within the Coq community.

Returning to the issue of what is obvious, a vast amount of mathematical knowledge is tacit, buried in the minds of the respective communities of pure mathematicians. For everyone else, especially users who cannot themselves provide proofs, mathematical knowledge is very often like a Potemkin village. Superficial and artifice, understanding that falls apart upon close inspection. This divide plays no small part in how difficult it is to properly learn mathematics outside of a mathematics department. Formalizing undergraduate math is important because it provides a solid foundation that leads to deeper understanding of mathematics when taken in aggregate across all participants. Even pure mathematicians have gaps once they step outside their field of expertise.
As I said the other day, nuclear energy is the Amiga of energy sources.

Ahead of its time, it was unjustly rejected and persecuted by the ignorant masses. Its advocates are bonded by the quiet pride that at least they weren't unthinkingly siding with those masses. (And they're right!) Meanwhile, as the Amiga stagnated for terribly unfair reasons, other, scrappier technologies like the i386 and UMG-Si grew from being worthless boondoggles (except in special circumstances, like spaceflight) to being actually far better and cheaper. But the Amiga advocates keep the faith, sharing their suffering and resentment. They inevitably try the alternatives a little and perhaps even start to like them. Gradually their denial recedes, decade by decade.

But they know that however much fab costs go down and leave their beloved Amiga behind in the dust, you'll never be able to run nuclear submarines and Antarctic research stations on solar panels.

You say, "Solar and wind are going to undercut that cost very soon." But the truth is that wind, where available, undercut the cost of steam power (including nuclear and coal) a decade ago, and PV undercut it in equatorial parts of the world about four years ago, or even more of the world if you don't include storage.
Those planes probably have 3 or 4 engines. For 2 engine cross ocean flights there are definitely rules about distance from a landing option.
There is a bit more nuance to it than you suggest: https://en.wikipedia.org/wiki/ETOPS
It seems like everyone in my current org is very against Java, somehow they'd rather build backend systems in JS. I'll never get it.
Wiki2SSML eases the burden of voice editors preparing scripts in SSML, widely understood by modern speech synthesizers including Amazon Polly, Google TTS, IBM Watson TTS and Microsoft Azure TTS, etc. It is powered by WikiVoice which provides an unobtrusive solution of blending voice-tuning markups with free texts and creates seamless experiences of editing scripts and voices in one go.
Fuck miners. They drove the cost of the 1000 series cards up when btc peaked at 14k. Then the 2000 series was the same price as when the btc peaked. Now the 3080 is selling at 2000+ euros.
I don't remember DRM being mentioned in all of the Ted Nelson stuff I've read - I think the idea he had was that just having microtransactions and transclusion would be enough to put copyright concerns aside. This is a sentiment that has aged like a fine milk, of course.

In the Xanadu world, every new book published would be posted online for purchase, but also transcludable; you could remix the work and the transclusion system would ensure the publisher got paid for the part of the work you used by having the system just pass the payments along across each transcluded work. Effectively, you'd publish your remix in the form of a Git diff or IPS file (Ted used the metaphor of Edit Decision Lists) and your browser would just buy the pages of the book that were copied from and paste them into the remixed work.

This is, of course, not how copyright works in the slightest. First off, most people with valuable works do not want to automatically authorize remixes or modifications of their work even if they do get paid. They want to have prior restraint and exclusive license agreements with specific users of their work for the sake of brand maintenance. There is no legal basis for transclusive remixing of content (see Micro Star v. Form Gen). On the flip-side, if someone were to write, say, a review of a work; the copyright owner is entitled to no control or remuneration whatsoever for any quotations you use in that review. That's called "fair use" and it can only be adjudicated by a judge, not a computer program.

BTW, what I'm talking about already exists, it's called YouTube Content ID. YouTube runs literally every upload they have against a database of copyright samples to effectively generate a list of transclusion backlinks after-the-fact. All the problems I mentioned above are problems with YouTube Content ID, not Xanadu - there are plenty of publishers whose policy is "block", and it is their right to do that; making a fair use of content will trip the filters and you have to argue with YouTube to do what you are legally entitled to do, etc. It is entirely an engineer's view of copyright law, which is just laughably bad.
No, they do not. They put a domain name whose human-readable form just happens to resemble the human-readable form of an IP address into the record. An actual machine-readable IP address, and the actual machine-readable domain names that go into MX resource records, are quite different things, and one simply cannot put one into the other. This has been pointed out several times in this discussion.

It has been further pointed out that even if dealing with human-readable forms in (say) BIND's "zone" format files, the human-readable form of an IP address doesn't actually get translated into a 4-label domain name, because it isn't a fully-qualified human-readble domain name. Human-readable IP addresses don't end in dots, and if one has typed in a human-readable IP address into a "zone" format file, one actually has not made the relevant misconfiguration; and conversely if one has made the misconfiguration (in a way that will actually work with dnscache et al.) what one has typed is not actually a vanilla human-readable IP address.

Ironically, neither the headlined article nor many in this discussion have noted that the SMTP standard's algorithm for loop prevention breaks when one does this in MX resource records for the same reason that it breaks when one uses alias domain names via CNAME records rather than the canonical domain names. SMTP Relay servers do not match the domain names in the data of MX resource records against (their own) IP addresses because ... well ... those domain names are not IP addresses.
The part about "doing everything" for someone hit home at first, but it took a turn when you mentioned leaving that position. Sometimes I've had managers come in and just take over a project because a client/investor wanted it yesterday, which I think is a bad approach. Sometimes it's necessary, but it should be mitigated by proper project management practices.

So it seems like a really strange assumption on your part that the new manager or the person "on track to be a senior dev" would behave in the way you expected. What exactly should a manager do different in that scenario? Close their "poop umbrella" and potentially let the person you're mentoring fail?

Furthermore, is shielding an employee with a "poop umbrella" tantamount to "doing everything" for them? I feel like putting your employees on track to a promotion and shielding them from organizational concerns that might distract them is a fundamental aspect of being a manager, if the next manager comes in and doesn't do that, then that's on them...

edit: fixed typo
Well yes but no if you ask me.

Slack is definitely a good enough knowledgebase for problems with your environment setup and other transient things. We have a channel that all the devs are on and if someone has a problem with their setup they usually ask there. Since all of this stuff is sort of changing all the time or new problems come up (say because of OS updates or toolchain updates), writing it all down in a knowledgebase is sort of wasted energy and time if you ask me. Slack search is good enough.

And I don't think that it's about whether its written down either but more about people not remembering stuff and not knowing that search exists... We literally had a case last week, where a guy was reporting an issue on there and I was like "wait, that problem happened like 3 or 4 times in the last couple week", so I searched slack, found it right away and sent him a link to the thread, which had a solution to the problem. Turns out, it was actually _the same guy_ with the same problem!

Please tell me how a "knowledgebase" would've helped him?

(and yes we do have docs for the general "this is how you setup your dev env from 0" right in our source repo.
What do you mean? (sorry, english is not my first language).

The way I understand it is that if you have the law of excluded middle you cannot discard 'non-constructive' proofs as invalid since they follow straight from the axioms.
I agree with that. Currently the display is very close to the edge so it feels like you would have to peer round the frame. I guess you want to use as much of our pixel-area as possible, but a bit of margin would make it more relaxing to look at.
This is the difference between an "application" and a "library": https://caremad.io/posts/2013/07/setup-vs-requirement/

Libraries should absolutely not pin their dependencies. Applications should if you care about reproducible builds (not necessarily byte-for-byte, but "can build today == can build tomorrow").

Installing both libraries and applications in the same way in the same environment is a fundamental mismatch that pip encourages, and yes - it leads to fragile binaries.
5% losses IIRC.
That consciousness arises from the physical world and not something like the soul.
The truth about hydration: should you drink eight glasses of water a day?
> ...creating the equivalent of a WAL-like system or oplog to protect against sudden failure & loss of in-memory data is a pretty easy part to solve

That's a pretty bold claim. Judging by the number of applications (including "real" databases) which fail to get this right, I'd have to say it's probably harder than you think.

Besides, SQLite has done that work already, and has done so very thoroughly. I would definitely trust SQLite over something home-grown.
I think they'd usually use one of the non-KYC exchanges to move the money into an anonymous cryptocurrency, and then out to whatever they wanted. I'm not sure why they don't skip the intermediate step and just ask for Monero or whatever. Maybe they think the mark will be more familiar with BTC and thus more likely to deliver?
> If you don't complain, you have no right to complain.

A beautifully stated maxim I’ve never been able to articulate. As an immigrant from the USSR to the US, I believe this mentality is what separates the First World from the Second.
Paywall.

Can we please stop linking to URLs that have no public content? Would it be ok if I start linking to some closed community in a part of?
TransferWise changes name to Wise
Try playing online with 48 hour deadlines. Diplomacy isn't a thing that's over in a day, its a thing that just happens in the background for weeks at a time. The paranoia gets to you man.

playdiplomacy.com
It hasn’t failed at being anything. Bitcoin is still very new to this world. Just because at this moment it isn’t realistic to use as a currency does not mean it has failed.
Are you saying Debian stable isn’t slow and careful enough in your experience? I usually hear just the opposite.
A controversial new drug promises to make little people taller