skysight-inc/HackerNews huggingface dataset:
A beginner rock climber should generally practice how to move safely from static position to static position before trying any riskier dynamic moves. That approach will indeed limit where they can climb to, though. An experienced climber can lunge themselves through the air to grip an otherwise unreachable handhold, allowing them to climb to otherwise impossible places. Even the best, most experienced rock climbers in the world take an inherent risk when making dynamic moves like that, and occasionally die as a result.

I've gotten into climbing in the past, for the exercise and social aspects. I personally have no inherent desire to climb high enough to require a belay, and prefer the freedom of the bouldering walls in the gym. While I enjoy exploring big rocky areas of nature, I have no desire to dangle my legs over a cliff side or jump over crevices deep enough to severely injure or kill me, unless I have the appropriate safety equipment.

As a software engineer typically working on safety critical embedded systems, I try to work pragmatically and incrementally, with a focus on avoiding regressions. When I need to make a riskier move for the good of the system architecture, I'll once again make sure I have the appropriate safety equipment i.e. a peer reviewed plan, unit tests, tooling improvements, etc.

The CEO of the company I work for is actually a former professional rock climber. He and a couple other founders started the company with the goal of making an educational toy robot, and found success. They had a team of 20 or so, were shipping hardware, and had lined up millions of dollars of new investments. The founders then did some reflection, and realized that they didn't want to build toys. They took a huge leap and pivoted the company, and figuratively broke most of the company's bones in the process. Under a decade later, and it's a billion dollar company employing hundreds of people across the world, literally saving people from otherwise bleeding to death on a daily basis.

The company I work for wouldn't exist in its current form if people like the CEO hadn't taken massive risks and "taken their licks" in the process. The company also wouldn't exist in its current form if they hadn't hired methodical people like me to engineer sustainable technical solutions to serve the business's needs. It seems like there's benefit to embracing both approaches, and as a society we should encourage the diversity of thought rather than discourage one approach or another.

Also, there's risk in anything anyone ever does because life is fragile and ephemeral on a geological timescale. I'd rather live in a world where rock climbers plummet to their deaths occasionally rather than in a world without rock climbers. With the former, at least someone may one day invent Spock's rocket boots from Star Trek 5 (which he uses to save Kirk from otherwise plummeting to his death while rock climbing.)
East Europe. Also it won't be considered a Western country, even if you say it's in the central Europe (with the latter starting at the Ural mountain). The west is more of a cultural term than geographic one, e.g. Finland is West, but Estonia, Latvia and Bulgaria are not, even though their capitals are roughly at the same meridian... and Estonia & Finland having the same song as national anthem.
Imagine if (apologies for the metaphor) each and every sperm cell knew the odds of fertilizing an egg and had a choice whether to pursue that goal or not. I think that in that case no egg would ever be fertilized, right?

I think success is 99% dumb luck. I think everything in life is 99% dumb luck. The fact that each and every one of us exists is dumb luck. But if we resign to that belief, nobody will ever do anything interesting or grand. The remaining 1% (it's way less than 1% of course), is skill, determination, tenacity, ambition, etc. Without those, we wouldn't have any business successes.

Should you draw lessons from successes like Elon, Bezos, Zuck, Jobs? To an extent. But you can't really emulate anybody else. Everyone needs to find their own path.

But what we can do is get inspired by those people. Get inspired by the fact that some human being WAS able to achieve something interesting.
Yeah, it's frustratingly difficult to investigate these avenues of thought, because they are almost by definition out of our grasp. Even worse the barrier to esoteric pseudo-science is very thin.
The two main hurdles with dependent types are:

- Type-checking is undecidable. I've not found that to be much of a problem, since it can be given a timeout (or hit Ctrl-C).

- Soundness requires functions to be total (either terminating or co-terminating). That's generally a good idea anyway, but the approaches for doing this aren't particularly great; e.g. structural recursion is simple to implement and understand, but is very restrictive.

Idris makes the pragmatic choice of allowing the totality-checker to be turned off on a per-function basis; which is certainly no worse than using a language with no totality checking.

Another approach I've enjoyed using is Mtac in Coq: general recursion is an effect, which gets wrapped in a type (similar to Haskell's IO); there is an unwrapping function (like unsafePerformIO) but it gets executed at compile-time, so non-total functions create an infinite loop at compile time (rather than at runtime).
Heaven's Gate wasn't that kind of cult. People were free to come and go. They didn't even do shunning/disconnection.
> that coal is in fact drastically down

Did I say otherwise? I didn't. I said it's not down enough, even if you think it's down "drastically".

I didn't understand one thing. Do you actually accept or deny that due to not enough decrease of coal the world got a lot unnecessary harmful CO2 and radiatioin, or not?

> To quote Amory Lovins: "it's game over".

Maybe in Germany, but not necessarily elsewhere.
How do you tax the bitcoins?
Perimeter? As in -outside- the warp bubble?

So the dust is now moving at beyond light speed but without the protective effects of time inside the bubble?

We know what happens to matter at those speeds, it becomes infinitely "heavy" and would experience time in relative light-years (I mean time-to-travel at light speeds) no?
To borrow a phrase from cooking: "Who are you to tell me what's gourmet", same applies to art, IMHO.
You sound like a American entitled boomer.

Just work hard and it will be fine.

Which if you look was never true.

> Get a guitar and start practicing. Every guitar god I've heard of have one thing in common - they played a lot, for many many years, before breaking through.

Sure but they also got talent and were the exception and your view is biased. The ods of becoming a guitar god are very low and of course they are lower if you don't play the guitar but thats not the point. If I would just practice like one of these guitar gods the chance of becoming one is still really really really low.

> Doesn't matter what my personal definition is. I bet you have your own personal definition of a loser. You'll increase your odds of becoming one by doing what they do.

Sure if you compare doing nothing to doing something yeah you don't have to be a genies to understand that doing something is usually better. But just doing something will not bring you closer to success. its like 0.00% chance vs 0.00000001% chance. yeah the later one is bigger but that's it.

More important then going to school is learning
More important then not doing drugs is understanding how to eat healthy
Not doing crimes is such an odd thing to mention here.

I know your definition of a loser... a kid who does drugs and stops going to school. not that hard to figure that out. But maybe there are reasons why that kid takes drugs. Probably because to start with that from the start and later on we don't have the same play field. Not getting a job because you live on the wrong street is a thing not only in the US just to name one example.
Thanks for this comment. I was initially impressed that the site stated up that long with no human maintenance.

Also, now I want to watch that documentary
Pricing electricity so low that bitcoin mining is profitable during peak hours is absurd.

We should tax the hell out of every ounce of carbon emitted and use money from this tax to pay basic income so that people are able to live with increased prices. Free market will sort the rest out

Energy is so cheap that some renewables could be decomissioned if not for bitcoin: https://www.reuters.com/technology/costa-rica-hydro-plant-ge...
This is the secondary theme of 1984, that gets lost because of the cultural relevance of the primary theme (govt surveillance, authoritarianism etc).

O'Brien, Winston Smith's foil, is presented as charismatic, rebellious seeming and importantly both smarter and better educated than the protagonist. The lesson I drew from this as a high schooler, was that someone can be all those things and still wrong, malicious, nefarious. That our values can be better guides than what seems like incontrovertible logic. And that following rationality blindly without empathy or heuristics (common sense), can lead to utter horror (the Stalinist purges that Orwell was explicitly referencing, and of course Nazism).
And today, all we need for universal programming is Microsoft Excel.

The grandparent has it backwards, if I understand correctly. "Business logic" is to "programming" as "My first spelling book" is to Dostoevsky.

You can write the analog of a memo easily in Excel, or with great effort you could write a sixty page paper, but programmers these days work in teams to produce things that are the writing equivalent of a coherent blend of the Encyclopedia Brittanica, the tax records of 18th-century England, and an epic story 100 times the size of The Lord Of The Rings. And we need bigger systems than that.
If I've learned anything in my brief 10 year career so far it's that we shouldn't wait for things to change, almost especially if it's explicitly promised that they will change. It's not worth the risk of disappointment. If you want your work life to be better, you have to MAKE it better. Not wait for someone else to.
It takes $420k per year to run Lichess
honestly part of staying sane as a working artist is quickly learning to detach notions of quality and value from one another. robert hughes outlined the depressing absurdity of art speculation over a decade before anyone ever uttered the phrase nft.

>https://vimeo.com/419591120

all that aside the most surefire way to get better at art is to enjoy it and keep doing things you enjoy, in perpetuity,

forever.
So you consider Kosovo to be a western country?
I would not call any behavior in Skyrim emergent either, hence my use of the word "dynamic". I am a big fan of Dwarf Fortress, in fact I spent most of today so far playing it with my son, so I know the difference.

But when most people say emergent it is often simply dynamic systems or context sensitive scripts they mean, so I assumed that was likely what they meant.

Skyrim has a number of these: NPCs you've charmed can leave you inheritance if they die, inns and shops can change owners in similar fashion, some scripted events like towns being captured in the civil war cause officials to be killed or exiled and replaced, ...

I wanted to know if there was more of that type of dynamic world behaviour to Morrowind than I could remember.
Ask HN: Anybody else getting a lot of Spam (Gmail)?
This morning I started getting a lot of spam on my personal Gmail account. It’s crazy because Gmail even marked them as “important”. Have they “cracked” the formula to beat Google’s spam filters?

Screenshot of my inbox (they keep coming as I’m typing this):
https://gcdn.pbrd.co/images/oufkAAQmotxm.png?o=1
I have a cellular apple watch and usually leave my phone at home.
No because he wanted to take revenge on the "banks" after the 2008 crisis. He must be incredibly proud of the gigantic pyramid he built, knowing if he move just one btc out of his wallet he'll cause so much ruin people will suicide.
> in fact the entire thing was about religion

So many cosmology storylines about the role of tech as go(o)d proof, including:

False gods (Goa'uld)
Ascended Beings / Ancients
Egyptian history (Ra, Osiris,..)
Bio-mechanical-AI Lotan (S4E9, terraformer)
Purgatory (semi-ascended, Oma Desala)
Immaculate conception (Adria/Ori)
Merlin, Grail, Arthurian legends
Hallowed are the Ori
Transhumanism (symbiotes, Ancient tech)
Asgard cloning/transasgardism
Asgard time-dilation & time-reversal
Multiverses
Multiple dimensions
These days it's easier to create an OS from scratch than a web browser.

This is an excellent observation, and gives me an excuse to recommend Alan Kay's seminal OOPSLA 1997 keynote "The computer revolution hasnt happened yet" -- the link to the whole thing is below, but I've set the time at the start of what I think is the immediately relevant point (he takes a minute or so to explain)

https://www.youtube.com/watch?v=oKg1hTOQXoY&t=1330s
> somebody at Microsoft edited a critical comment that I made earlier this week to simply read “hello there”, still under my name

Moderators on web forums everywhere need to learn that this kind of editing, when done without a publicly visible indication that the post was edited against the nominal author's will, is unacceptable. I've gotten into this argument on Stack Exchange in the past (although fortunately on Stack Overflow at least the mods already have a policy against this - they can delete a comment or leave it standing but may not put words into someone's mouth). It's especially bad when, as is the case here, the edited comment reflects poorly on the author.

It's not just discourteous, it's a tort in at least the UK where I live (namely a violation of the "moral right" against "false attribution") and likely many other jurisdictions too. Do this enough and eventually somebody sufficiently litigious will sue you, and you'll deserve it.
It should be different, internet is not an archive of old newspaper articles.
Here's a thought: if the author wants to make an argument, perhaps they should provide evidence for their point.

"Look it up yourself" is the battle cry of a lazy redditor, not someone who's supposedly an academic. Other people don't have to make your argument for you. It's on you to do that.
The actual Air Force chief of staff, General Ryan, cameoed in one of the episodes with O'Neill being star-struck

SG1 did wonders for the airforce PR department (and it's no accident the episode the cameo happened in was the episodes with an airforce trainee being taken through the stargate)
I thought about it. Maybe it's a cultural difference. Maybe you're right, at least when it comes to right now and American society. Sorry if my comments seem crude or inconsiderate.
SerenityOS Git History Visualized
In the spirit of nand-gate: "An IETF[1] is angry and shocked that an internet does not want to use their crypto dumpsterfire"

Case in point, the mentioned COSE format makes signatures by defining protected and unprotected attributes of the payload and then computing signatures over the Canonical CBOR encoding of the protected attributes. All this is done so that you can have parts inside your payload that can be changed without invaliding the signature, and it of course requires two-phase canonicalization. Yes, PASETO is absolutely, unequivocally a better choice than J/COSE.

Sign. The. Goddarn. Bytes.

[1] Actually not just any IETF but the dude who made an incompatible fork of msgpack named after himself.
> Not sure how I'd classify Hacker News :)

HN is pushing information to us.

You typically don't visit HN to solve a specific problem. Compare to visiting Maps to find a route.
The US constitution guarantees special protection for purely irrational beliefs. Once a belief starts to vaguely makes sense or to make an honest attempt to make sense, it loses its protection.
No Way to Be Human: We now occupy a nearly natureless world
> W11 taskbar is missing several key pieces of functionality which have incentivised new users to get into Feedback Hub and cast votes. By far the biggest and most controversial submission is about having multiple documents open in the same app.

Actually the same reason for me to give feedback during W11 beta. Liked the beta as it gave me access to WSLg, but the productivity loss of the taskbar being useless made me roll back to Win10 last week. "Just give it time", even 6 months and I still missed the taskbar actually functioning. Same reason I gave up my Mac (or, one of them).
It's "über alles" not "uber alles".
This is as coherent as talking of "black culture". There is no west, people who use it are chinese to dismiss everything not chinese (so Japan is western) and the US uses it to force us to join their stuff.
They don't even pay for electricity, you think they pay taxes?
There was recently a table read by the original cast of a script generated by an AI. It's available to subscribers of a service called "The Companion".

https://www.thecompanion.app/ai-project/
Not to be an idiot but you're implying 90g just to confirm the math.
>>> We should tax the hell out of every ounce of carbon emitted and use money from this tax to pay basic income so that people are able to live with increased prices. Free market will sort the rest out

Sarcasm?
The reason why they've stopped temporarily is due to an ongoing court case in India initiated by Elsevier. I'm not sure this is the best article on the case but basically sci-hub agreed not to post any new articles for a period of time (which has been extended) while the case is ongoing:

https://www.hindustantimes.com/india-news/no-new-articles-on...

They did release a bulk issue of 2.7 million articles a few months ago (as part of the torrent collection available from libgen), but nothing new since then.
Thanks. Alcohol is a poison and getting drunk has nothing to do with finding yourself. I wish people would quit romanticising addiction.

I quit a bit over a year ago. Never properly addicted, but Australian culture has it so firmly embedded it's scary. I'm a better person for it, and I don't miss it.

If I want to feel wasted the next day I'll do 120% in the garage gym. Under the bar I both find myself, experience euphoria afterwards, and retain the ability to be wrecked the next day should I choose to.

But it'll be a good kind of wrecked, more likely.
Im in China, yes. It s not Asian, it's not African, those people seem to live in the chistriano-muslim vector on the west of China, anyone here would say they're western.
In Germany you have the KFZ Steuer which brings in about €9.4b every year. You pay KFZ when you have a car.

[0] https://www.bundesfinanzministerium.de/Content/DE/Downloads/...
It helps with customs, but it's a big deal for private businesses too. Before containers, you effectively had to have one trusted person's eyes on the cargo at all time -- and still people along the way lightened the load as they handled the stuff. It was almost considered part of the compensation for a longshoreman.

With tamper-evident containers, you have a trusted person watch the container being loaded and locked, and then a trusted person watch as its unloaded at its final destination, and you don't have to care what happens at every point in between.
I can relate! It's gotten to a point where I'm seriously considering if it's worth it at all. Sometimes I feel outright depressed after having had some drinks the night before, to a point where the observer in my mind is shocked at the dark thoughts I'm having.
I have a fructose malabsorption and most drinks I enjoy (wine, cocktails) do have a huge amount of this sugar in them. I wonder if this might be one of the reasons it's messing with my mood so much - I recall my gastro-doc saying something along the line that high fructose intake can lead to depression/symptoms of depression.
Contributing to Open Source: Be a Mimic
I don't see why you think this is sarcasm. Sounds very reasonable to me.
Ooh, that's a lot simpler than my attempt to extract the DOI via regex (which is anyway not 100% possible because of the how flexible the DOI spec is...)

javascript:location.href = 'https://sci-hub.se/' + document.getElementsByTagName('html')[0].innerHTML.match(/10\.\d{4,9}\/[-._;()\/:A-Z0-9]+/i)[0]
I don’t dispute that regressive and progressive have defined meanings for taxes. Government budget allocation is not a tax, it’s not even economics but social policy! Using “regressive” in this context is a category error.

Moreover using the term “regressive” to refer to a potential government expenditure that would primarily benefit average working people, as most expenditures should do, is in my view completely absurd.
Kinda is amazing outside the pr0n kerfuffle, in essence it’s remained itself. A shame that advertising broke its popularity but glad to see that it’s finally under ownership that isn’t trying to put it against X.
The way to address bitcoin energy usage is to build your own renewable energy sources to power your bitcoin mining. And sell electricity to the grid when it's more profitable than mining.
So what makes these billionaires give so much money to a shitty organization like Scientology church? I guess they’re so starved for attention?

Here is a thought. We should create an organization whose sole purpose is to praise the ultra rich people, in return for “donations”. We can then use this money to tackle issues like homelessness, public infrastructure etc. The bigger their donations are, the more outlandish the praise should be. We can hire the best songwriters, best sculptors etc for this purpose!

What else are these rich people getting from these stupid organizations other than made up titles and praise? Why can’t we do the same and use the money for something good instead?
I heard that the person who invented single serve coffee pods felt a similar guilt when they witnessed the amount of trash created from such a popular invention.
I think inheritance tax differs across Scandinavia, just a small point really not detracting from your message. In Denmark there's definitely one, Sweden it's none or much lower, not sure.
I listened to their radio station for a while, it was all Jesus and God. This is why they have no money.
And then in "Wormhole Extreme" with the 'fake sg1 program' they had a problem that the stun guns lefts loads of badguys on the ground for a romantic scene

Director: We've already established that one shot stuns, and two shots kills. Nick just shot everybody twice.

Martin: So, three shots disintegrates them!

Director: OK, you know what? I'm going to pretend you didn't say that, because that is quite possibly the stupidest thing I've ever heard you say.

They dropped the third shot feature after the second season
Time to Use Mesh Networks to Build Your Own Internet? (2017)
And the road is in a really bad shape, ee Google StreetView: https://www.google.com/maps/@40.9373005,-90.3943558,3a,75y,3...
BSG is my all time favorite, the only downside is that you cannot repeat the true first watch experience, the cliffhangers are not as powerful anymore.

SG-1 on the other hand is just as great on the 5th rewatch, but as others have mentioned, it doesn’t want itself to be taken too seriously.
>> Time now to discuss and debate new ways of funding, supporting and selling great British content.

Perhaps it's time for the BBC to "beg for money" from the government every 4 years and do something in exchange for that(i.e. less critical to gov actions, more propaganda etc).