skysight-inc/HackerNews huggingface dataset:
If I had had a needle that would pop the dot com bubble, I'd hesitate before using it. Maybe there are cool things that were brewing and they just need a bit more time to incubate before we can benefit from them.

If I had a needle that would pop this bubble, I'd use it immediately. Advertising is all about making people do things that, when left to their own devices, they don't want to go. Whatever survives this bubble may need to be hunted down and exterminated.
Fwiw - I enjoyed your posts The way I enjoy poetry : lovely, but largely incomprehensible.

I don't know if you're getting down voted due to people disagreeing or merely not understanding what your point and data is. It is possible if you contributed more clearly you'd find a more receptive audience.

I find frequently when there is topic near to people's heart aNd they spend a lot of time thinking about, they start at a hundred with a very strong and flowery language. My suggestion would be to understand others don't have same context and start at 1 and build your way up, whether logically or emotionally. You Gotta ask yourself are you writing for your own sake and enjoy your metaphors and alusions and poetry without regard for others (even finding gratification and martyrdom in not being understood), or are you actually trying to educate, persuade, build understanding. If the latter, focus on that goal most clearly and directly.

(I could be wrong - merely my 2 cents).
This looks like a rewrite of this web site? I don’t remember it looking so visually appealing.

I would hope that every programmer has a “happy language” that they most enjoy using. CL is my happy language, both for personal projects and also since around 1982 I have probably been paid to use Common Lisp for about five of the last 39 years.

This may sound sacrilegious, but in modern times I steer people newly interested in Lisp languages towards Racket. There are also many great Scheme implementations.

For my own development I use LispWorks Pro, which is pricey but extremely well supported. SBCL is probably the best open source CL system, and I often use it side by side with LispWorks.
Yes, but crypto has been a better investment compared to stocks for now about 10 years (if you keep crypto long enough, not day to day trading). Stocks gains are anemic in comparison.
Taube Archive of the International Military Tribunal (IMT) at Nuremberg
There's significant risks from possible regulation, anti-trust measures and such.
Scientific literacy in a pandemic: can the public ‘follow the science’? [pdf]
Seems they forgot to write the documentation lol https://docs.cloud.coinbase.com/exchange/reference/market-fe...
The most commonly reported breathing problem is "abnormal breathing", which can 100% be caused anxiety/stress/etc, especially when COVID hysteria is driving hypochondria.

There is no compelling evidence that the correlation between these self-reported symptoms, and having a COVID infection months prior, is due damage caused by the COVID infection, and not due to any number of other confounding factors. There have been no rigorous studies, i.e. large, randomized and controlled studies, showing this.

Notice how extreme rigor is demanded for the ivermectin studies but then really just mere correlation is enough to draw scare mongering conclusions about covid.

Also, the theory simply doesn't make sense, given the vast majority of COVID cases are mild, with no evidence of the kind of acute lung damage that can lead to long-term complications affecting breathing. If lung damage from COVID was really that pervasive, we would know about it, both from the acute symptoms, and from imaging scans.
When reading "Lisp-2", Most lisp programmers will probably think of the lisp dialects with 2 namespaces, one for value binding, one for function binding. See
https://andersmurphy.com/2019/03/08/lisp-1-vs-lisp-2.html

Lisp-2 are still alive; emacs lisp is a lisp-2. If you extrapolate hard enough, both Erlang and Elixir are lisp-2.
It's not about what to use, it's about having expectations of zero privacy when communicating online. Expect everything to be potentially public.
Grafana Prometheus: Detecting anomalies in time series
Maybe Newton was on the same level? Or Gauss? Or Leonardo?

Or maybe not.

There have probably been dozens of people in the past millennium who had the potential to develop that kind of mind, but most of them probably lived and died without the opportunity to develop their gifts, whether because of enslavement, rural poverty, or lack of access to education.
How do you justify pricing carbon when governments subsidies for fossil fuels are billions of dollars annually?
It's unmetered for dedicated, pay as you go for cloud iirc.
You know what those emissions in China are for right? China is the factory of the world, they build the things that we consume.
So applying a carbon tax in Canada will make those goods more expensive and reduce the demand, reducing China's footprint.
It depends on field and more importantly, country. I was the last person in my year (that I know of) at CMU to get a PhD, a whopping 9 years after we started. A friend had to re-enroll to get his 10.5 or 11 years in.

Meanwhile, I knew tons of people who got PhD's in CS in 4-5 years back in Australia. They typically did zero coursework or breadth stuff, and they were able to start dissertation work within a few months of the clock starting on their degree, without the undignified business of having to propose their thesis formally in public or even defend it in public.

The process of getting a PhD isn't order-of-magnitude different from field-to-field or place-to-place, but there's definitely a good factor of 2-3x between the most arduous process and the least (which does not mean that one degree is 2-3x better, of course).
> Facebook is such a terrible human manipulation company

$X is such a terrible human manipulation $enterprise.

Let's not be naive about the nature of prominent elements in our society. To take action against FB, one would establish precedent to curtail many types of widely-accepted manipulation and exploitation, not to mention corporate machiavellianism. (Machiavelli seems thoroughly benign these days.)

"Social media" is a delivery mechanism for propaganda and surveillance, with a smaller element of actual sociability and collaboration. I am opposed to what we see in social-media business, and I certainly don't think children should be encouraged to use it.

> Is this how you want the next generation to be?

One looks upon the current generations without much admiration.
Do a Flutter UX Branding Rail Navigation Experiment
Common Lisp is another example of a Lisp with 2 namespaces.
Does Russell's original Lisp count as a Lisp-1?
I guess it probably had a common namespace for functions and values.
Changes in Varnish 7.0
I don't get it. How is a huge markup on a commodity product their "moat" or protection against clients leaving?

I am one of their clients and I am leaving due to it.
'Google' is not the most common query on Google, just the most common search result.
"You make an ass out of you and umption."

https://www.youtube.com/watch?v=YS3i-irQ0L0
Merck didn't do the research, Emory did the research. Now, maybe you're thinking, would Merck finance the clinical trial of like 1000 people if they didn't get exclusive licensing right to the Emory-owned patent?

Well, perhaps in a non-exclusive licensing situation, other pharma outfits, or a consortion, or how about the federal government? would pay for the clinical trials. I'd guess this situation - competitive manufacturing - would result in a massive drop in the price of the drug for people who needed it.
The automobile analogy brings up another benefit of advertising. Items that are sold as socioeconomic status proxies don’t work unless everybody knows the brand.

It’s not just that Volvo wants me to think I drive a safe wagon that is a sensible choice for middle-class, educated people who watch public television.

I want my neighbours to think these things about me even though they drive Ford and GM. That advertising assures me I’ll get both a car and a cachet.

If Volvo had a way of only selling to people who want Volvo cars for the utility, but few others would have heard of the brand, it would have less value.
Their app ecosystem would implode as nobody would develop or maintain their ad supported apps anymore.
Localtunnel, an Ngrok Alternative
The current talking points I assume. The zero cost joke did not work so this the new spiel? It is amazing that these primitive propaganda tricks work on so many otherwise smart people here.
I think there is a big difference between functional programmers and people making proofs with programs.

> Lack of imperative constructs in these languages forces one to nest a lot to be expressive and we get a symbol salad

I don't think that's true. If you really have nothing in your language, you can emulate this with small functions. Most functional languages do have support for "let ... in" which allows you to basically program like in an imperative programming language. There's also another part: sometimes no name is the best name. In imperative programming you sometimes have to either nest a lot of function (like `toto(titi(tata(x)))` with a lot more parameters), or give temporary names that are sometiems not helping at all.

> Unless FP embraces more modular and structured ways of programming it’ll always remain a niche.

> To think that any human, with any amount of training, can parse such code in one pass is a fantasy.

I could say the same for the usual OO/design pattern soup. The difference is that in the last 30 years, lots of people made a lot of money with OO training and consulting, and the same didn't happen with FP. What I'm saying is that it's not an inherent problem of FP, so we shouldn't treat it like such. It's a training/cultural/popularity problem.

> It’s high time we improve ergonomics of both math and FP because the rewards can be tremendous. Rust manages to do some of this to great success and programmers have embraced it so well.

Rust is a good compromise I think. A strong base of FP and imperative, while still allowing the useful OO paterns. However, I think the best innovation of Rust is around tooling, and this is where FP is often lacking. Cargo is a pleasure to use for basic stuff (which is 95% of programming), the compiler is very nice and gives useful error messages (unlike old OCaml/C++ error messages). An interesting fact is that Rust's error messages come from Elm, which is also a functional programming language. You're right about the ergonomics of Haskell and such being a bit rough sometimes, but what I find really baffling is that it took so long to just care about error messages. Rust also has great IDE support, rust-analyzer is impressive. All of that to say that as much as Rust gets some things right by allowing some imperative programming, it also gets tooling right, and that matters at least as much to the ergonomics of a language.
> It also breaks down if users have disabled tracking.

Almost all users who disable tracking also block ads, so you are still correctly measuring the effect of your ad spend.
Why? The person did not propose culling or anything. What they said is true: human population is the main problem.
The context here is software development. Depending on what field you are in, I would tend to agree with you that it might either not be possible or a bit harder.

That said, even in software, you don't always 'have the authority' to do that other job. But does that matter?

Example: you're the junior, new to the team. When the team does backlog maintenance, everyone just slaps some estimate onto the barely defined ticket and calls it a day. Sprints slip all the time because tickets "explode" once you actually start working on them. The team lead does nothing about it, the PO couldn't care less, he just screams at everyone when none of the tickets are done at the end of the sprint.

The junior could just resign himself and play along. Or he can start asking "dumb questions" during backlog maintenance. I.e. start a proper discussion. Suggest tickets to be split etc. The bad team lead and PO might ignore this and even actively try to get back to just slapping on estimates, not actually do the splitting or say "yeah I'll do the splitting by the time we do sprint planning" and then obviously nothing ever happens.

Do it yourself! Offer helping out, to give them a chance to be part of it. They might refuse or try to "pull rank". Ignore them. Split the tickets. If you can't do it before a sprint starts (e.g. cause they'll notice and try to pull rank), split them after you've started on one of those bad tickets. Split it into 3 nicely sized ones and at the end of the sprint you can show that hey, ticket 1 is finished, ticket 2 is almost done and ticket 3 isn't even started yet. We can release the functionality of ticket 1 to customers even!

You've just done all of the following:

Shown that you're not the junior you've been hired as but much more!
Ignored the team lead's authority when it became clear that even when shown the proper way, he's not going to act
Ignored the PO's authority when it became clear that even when shown the proper way, he's not going to act

Let's take this to the call center:

Folks quit these all the time, like you said. Even the shift leaders or managers. I don't know enough about call center operations to know what the equivalent tasks of the little story above are but I do know from experience w/ some of our guys that it's totally possible there as well. We had a really great QA that came in through the call center. Started as a regular rep, became a shift lead, moved into QA and then became a BA. He was awesome at that. Knew everything by heart or was able to quickly try it out in-product. Heck the department lead came in through the call center as well. Similar trajectory but didn't move over to the software side and stayed on the business side.
>CO²

Nitpick here: I see you've gone into the effort of stylizing the 2, but chemical formulas are supposed to be numbered using subscripts, not superscripts.
Yeah for real this is a major issue in news and science communication.

There's "we don't know" (and we have no idea why), there's "we don't know" (just because we didn't prove it yet, but our money is on that) or (we think it's because so and so but haven't looked into it) and in-betweens.
Paste Secret GitHub Acion
I seem to remember reading somewhere on the forums or the subreddit that for Factorio, memory speed is a lot more important than CPU/GPU performance (in terms of the UPS gains you can achieve by improving either of them)
》Desperate times call for desperate measures, and if the past year of climate catastrophes has shown us anything, it’s high time we act.

This is the battle cry of those who have surrendered to fear and are willing to trade freedom for oppression.
There are good reasons to compare pandemics this way. I think the mutation rate depends on total secondary infections, if you can compare mutation rate between events. Cemetery plots are found on land that’s not growing proportional to population. The risk over hospital beds doesn’t change when the population shrinks, it’s a fixed number. Etc.

I’d leave the proportional figures as a footnote. It’s only useful as a scorecard between countries. Only economists make judgments based on changes in proportion.
Show HN: Interactive HTTP Server Mocker for testing
The differences are on the margins... many activities become unprofitable or less profitable if you have to pay carbon tax. Many fuel sources (e.g. coal) become uneconomical, so people switch. I don't see any issue with rich people polluting.

Carbon tax is like LVT - we have commons (ability of the ecosystem to "absorb" emissions), we have to split it up somehow, what better way than to price them in a manner where only the amount that can be sustainably used, is used? People who can make the best use of the capacity, or are willing to burn money on it, will buy it up.
p.s. Extraordinarily gifted and organized students at CMU were referred to be "on the 4 year plan". Interestingly, some of the most speedy completers of their PhD work were among the least well prepared for the MSc coursework - there was very little correlation between people who blitzed tons of coursework fast with high grade (the 'hares', like me) and the 'tortoises' - who seemed to struggle with the breadth requirements but had solid research ideas that they plugged away on from Day 1. So a woman who didn't have a formal CS background and completed her MSc requirements slowly was the first person to get a PhD in our year.
> So you are forced to choose between something efficient but with no built-in dependent types like Rust or an horribly inefficient dynamically typed languages.

Or…use TLA+, which doesn't have types (but you instead define near-trivial type invariants that the model checker checks). This turns out to have a lot less ceremony, while producing extremely useful results quickly.

tl;dr TLA+ is a lot more practical if you care about bug-free software, and not even in the same universe in terms of difficulty as something like Coq. However, Coq can do fancy mathematics that TLA+ doesn't even try to do, so both should exist. (Neither are easy to learn, but TLA+ is much, much easier than Coq.)

I'm familiar with Coq, and reach for TLA+ and Alloy for practical programming. Coq is super-interesting, but ultimately not very practical for programming today. It's very nice for doing weird math stuff though. (You can't do any weird math stuff in TLA+.)

In the end, it kind of depends where you think you'll get the most bang for the buck with formal verification: can you confidently write correct code, if you get the design right? Or are you afraid that even with a flawless design/spec, you'll still screw up the code?

If it's the latter, Coq (and relatives) are what you want, though almost no-one uses the generated (read: provably correct) code. Expect to spend years on anything useful and produce at least one PhD, probably multiple, in the process. It's an absolutely enormous amount of work.

OTOH, if you're concerned that your proposed design might have issues, then TLA+ is many, many orders of magnitude more useful in practice, because it can help you produce a correct design with very little effort (days to weeks). TLA+ helps you find specification errors extremely easily, and the specs (once you get used to it) are easy to write.

Once the design/spec has been tested to work correctly in TLA+ (using a model checker), you still have to implement it (e.g. in Rust), but honestly, that's straightforward once the spec is correct and your mental model of the problem is solid. Highly recommended.
This is somehow related to why I hated introduction to programming at Uni. They would teach you the print function in python, and then ask you to do a full Pacman. Same with C ("why str1 == str2 doesnt work?"), they would treat it as a magical black box and answer questions that would have easily been answered by reading the language's manual or bible (K&R).

Then some of the students would say "I dont know where to start" and type random code, because they didnt teach nor the syntax nor the semantics...

Meanwhile the other ones who understood just went forward with it (they even made harder tests to comp. engineers!). Full brute-force practice (or work) doesnt equals good learning! With a good theory or methodology you can do a better learning.
Wild! I didn’t think anything of it since in my social circle being ironically not-ironically communist is totally normal. Using lingo like “comrade” or more extremely stuff like “Daddy Stalin” is just counterreactionary and an attempt to “own the label” when people accuse you of being a communist or socialist for wanting the mildest of progressive policies.

Edit: Not sure why the downvotes for what is basically a candid, “hey if you’re confused about the wording it’s because it’s a very specific political activism shibboleth.”
I think that's the case for most DIY projects that we have on Hacker News. Most assume that you have lots of X in the first place. It can be lots of experience with programming languages, it can be a lot of space, it can be tools.
Catastrophic events are happening you just live in a country that can deal with it-for now at least.

This summer we saw floods kill people in Germany and Belgium while in the Netherlands nobody died because it spent a fuck ton of money on flood defences.
Also, I fail to see how carbon tax collected in the U.S. for wasteful lifestyle is going to be distributed to, say, Ethiopia, with a same-order-of-maginitude population (115M vs 329M) and ~1/150 emissions per capita (according to [1]).

Without scaling back the unsustainable rich American lifestyle, this tax will have limited domestic impact, while punishing developing countries trying to catch up via more polluting industries. Which is perfect for maintaining the world order where the majority of human beings work and live in subpar conditions to support the unsustainable lifestyles of a small minority, I suppose.

[1] https://www.worldometers.info/co2-emissions/co2-emissions-pe...
You know, even beyond Common Lisp, lisp literature is often surprisingly low level. Lambda papers are dealing with assembly too. People may be confused about lisp being up high in its ivory towers but the people in this subculture were extremely diligent/smart on both end of the ladder.
Apache Traffic Server Manual
Coast Guard's first Black woman pilot helped give the next one her wings
What’s wrong with “comrade” ?
Some people consume too much media, they literally miss the forest for the trees
Lots of industries are low margin (the natural state of competitive markets) and cannot simply pay the carbon tax and act like nothing happened. They can pass the price along, and that will hurt these industries according to how elastic their customers’ demand is. So at least we’d be emitting carbon for the things markets deem more useful.

It may not be a total solution, but it’s a first step. Too many climate activists have this brinksman “no but” approach to changing the course of the political ship of climate change (see nuclear power discussion above), when we really need “yes and” even if the first steps aren’t perfect or big enough. Yelling at people to make drastic changes has never convinced even honest skeptics.
... we are not ... but there are nightmare scenarios ... some human induced ... pray they never come true ...

This is media fear porn. Take a minuscule number. Can't fear monger the number itself. But look, it's 50% larger than it was during the last year's spike. The headlines write themselves:

RECORD NUMBER OF YOUNG PEOPLE DIED DURING THE DELTA SURGE. JOE, 31, DIED OF COVID

PS. The delta spike appears to be over in the South. I bet you never saw that one on the front page of NYT.

PS2. Just noticed the funny choice of words. NYT prefers 'surge'. I prefer 'spike'. Because the data we have so far indicates that state-level 'spikes' are short lived, about 3 months, and then numbers rapidly decline.

PS3. UK data. Two large spikes in spring 2020 and winter 2021. Then a relatively small spike corresponding to delta, apparently receding. Presumably the vaccine program worked quite well. Can we please stop fearmongering 'delta', as if it is the end of humanity? https://coronavirus.data.gov.uk/details/deaths
Investment vehicles like the stock market are being propped up by the money printing, so I don’t consider that a good alternative. That’s just a game of musical chairs that stops and usually the poor people and those furthest from the money printer are the ones without a chair.