skysight-inc/HackerNews huggingface dataset:
If you really want to draw plots on the terminal, run `xterm -ti 340` and then use gnuplot, like this:

gnuplot -e "set terminal sixelgd;set hidden3d;set view 60, 30, 1, 1.1;set samples 50, 50;set isosamples 52, 52;set contour base;set cntrparam order 8;set cntrparam bspline;splot [-12:12.01] [-12:12.01] sin(sqrt(x**2+y**2)) / sqrt(x**2+y**2)"
No need for "Type Theory", you are interested in "algebraic types".

A sum type is a type whose values consist of one of a menu of choices.

Primo ::= Spaghetti + Gnocchi

A product type is a type whose values consist of "one from each column"

Menu ::= Antipasto * Primo * Beverage

Sums and products interact the way you'd expect them to from elementary school, so:

Antipasto ::= Proscuitto * (Melon + Fig)

tells us that an antipasto may (depending upon market conditions) either be Proscuitto with Melon, or Prosciuitto with Fig, which can be written equivalently
as:

Antipasto ::= (Prosciuitto * Melon) + (Proscuitto * Fig)

Now, we also have natural numbers at the type level, so 0 ("unobtanium") is the unit for sum and 1 ("a trifle") is the unit for product.

Liberty + Death + 0 ~= Liberty + Death (because 0 never happens)

Death * Taxes * 1 ~= Death * Taxes (because maybe hiccups (~= 1) are also unavoidable, but we *don't care* about hiccups)

And it turns out that sums of trivial things ("cases") allow us to make distinctions, so:

True + False ~= 1 + 1 ~= 2

(optional exercise: exponentiation produces a function space, so for instance 2**Foo is equivalent to the type of predicates on Foo: Foo->2. confirm for yourself that all the usual math, with sum, product, 0, 1, etc., also goes through with exponentials)

Note that a product of similar things can be written as an exponential, eg:

Shoe * Shoe ~= Shoe ** 2 (a 'left' shoe and a 'right' shoe ~= a pair of shoes)

Now read §1.1 of "The Derivative of..." and Huet97 ("The Zipper")

Once you've understood the specific case of the zipper, you should be able to make headway on the general cases that McBride is using some heavy notation to convey in the rest of "The Derivative of..."

(optional exercise: note that the choice between Melon and Fig is demonic —the restaurant makes it based on market price— and the choice between Spaghetti and Gnocchi is angelic —we make it based on preference—; learn about linear logic's additional connectives and explain why

Menu ::= (P*(M+F)) * (S&G) * B

is a more precise notation for our menu.)
Exactly, the PhD is a kind of participation trophy at some point. Quals are the last simple way to decide that someone will not get a PhD.
I think what you've done here is document the pain introduced by using TypeScript, but you've not documented the (unknown) pain from not using it.

The question should really be, are the development pains you have more or less than the (most likely) production pains you'd see if you weren't using it?

I personally believe that more problems in development for reduced production outages is the right answer for the vast majority of software development.

If would be interesting to know of cases where projects have stepped away from it. I'm sure there are some examples and it would be interesting to understand their reasoning.
I totally agree with you. The "smart" solutions always end up with more technical debt. I really like the following quote on this matter:

Any fool can make something complicated. It takes a genius to make it simple.
That sounds delicious.

I really miss the McDonald's egg and sausage muffins, mediocre as they are. They stopped doing the special breakfast menu during the pandemic here in Spain and it never came back. They only have it at the airport locations now.

The McCafe locations have a Spanish omelette roll again but it's not the same thing :'(
wait, there's 2 different...? I don't even know what I can call them if not "standards" and only one has "API" in the name.
I was going to contact Stanford and other universities. I detest the words "the," "at," the number "four/4," and the letter "b" and was going to ask them to put those words on the list of harmful language. Maybe it doesn't harm many other people, or maybe I'm the only one - so what? If I am offended and harmed, then I am offended and harmed.
Probably the simplest and most reasonable comment in the thread.
Tweets flowing at 250kbps or more 24/7, of course…

Edit: the way “chronological” timeline works is, Twitter decides on your social graph and hide posts until it fits your serving. Shadowbans, Boosting and Deboosting are factored in as well. That is technically chronological, only technically.
Chances are significant that some explanations received are just not true as chatgpt does that too, unfortunately.
Congress doesn’t care about how strictly any agency follows its mandate. Its kind of fortunate that the agencies follow it so closely at all.

When agencies learn how to make their own money, there is even less accountability because they don’t have to beg Congress.

Things would be different if this funding and mandate enforcement process was also delegated to an agency, or maybe better: a court.
It's a lot of factors that they didn't even consider in the first place; decades ago, the Greenland ice sheet melting wasn't a consideration. Similar things: The north pole ice cap melting causes less sunlight to be reflected back into space, adding to the warming effect. Or the huge areas of permafrost melting (not so perma now, but for earlier models they would have considered permafrost not an issue), which causes sequestered biomatter to start decomposing and releasing tons of methane.

Forest fires were probably in the model, but they seem to be intensifying due to (mis)management and droughts. The Amazon rainforest probably has a significant impact on weather and weather models, but under Bolsenaro a lot of it was cut down and burned. And it goes on.
Terminal is not a graphical environment so why try to make it into one? Isn't the point of terminal to escape the graphics-riddled world
Power Adjustable Pedal Retrofit
At my first job I wanted to automate the way a customer bought a product and got the license key. But the project manager said not to waste time on this, he was going to do all of that by hand. So my obvious response was "What are you going to do when we have a crazy amount of sales and you have to handle all of them by hand?". His response was "I would love to be overloaded with that work! That means we are selling and have money to develop an automated system".

I learned a valuable lesson that day: Build it when you really need it. It's highly likely that you will never need it.
Beautiful writing is more memorable and more enjoyable to read and therefore you're more likely to read it, remember it, and be inspired by it. Hence invisible writing is not the aim, but I agree writing shouldn't get in the way of you understanding something.
The best link I could find is this thread: https://news.ycombinator.com/item?id=31075622
Perform What-If Analysis of Your Network Without Compromising Data Integrity
I have been getting a lot of requests from clients regarding impact analysis. The problem: how can I modify my data a bit, run analytics, and then see the results. Mostly the goal of all that is trial and error until something is done right and a decision can be done at a business level to increase value to the company.

Examples:
Chemical industry - should we add another chemical reactor and will that boost our flow through the network, therefore maximizing profit?

Supply chain - if we do a few changes, will we achieve maximized production and not have excess reserves in our storage

The problem becomes more tricky the greater the risk is to the business if a wrong decision/investment has been made to resources that don't pay off.
Interesting approach. Aren't you worried that chatgpt is feeding you bullshit without you noticing? I'd imagine chatgpt read as much science fiction content as science one, so there's no way to know if it tells the truth or hallucinations. How do you deal with that?
I wouldn’t say the benchmarks put out by graph databases are bullshit. But there is a need for a standardisation of how they’re produced.

The main problem is that when you’re comparing two products you’re bound to be comparing apples to oranges. Every product solves a slightly or majorly different challenge.

So when you run n tests on two different products some tests are bound to perform better on one product and some on the other. Misleading marketing comes into the picture if you only publish the ones that went your way or just partial results.

But that’s why if you believe in your own product and want benchmarks you hire a reputable third party to do them on their own accord.
What's Math.sqrt("hello")?
I always wondered why those generative voices dont capture the feeling of the text per segment and incorporate it to the output e.g. news, narration, first person hunted by vampires, whatever. Seems like a kind of low hanging fruit.

Disclaimer: I use tons of audiobooks so that might not be what people need in general
> I just try to type things 90% of the way, until it's good enough, and slap an `as` in there if I get too annoyed or it takes too long to fix. Don't even care.

Still a js dev in spirit <3
I think the association of those stars with the keys is original to the article. I could not find such in any of the cited sources.
What stage of development do you feel is necessary to acheive what you're describing?

How can a human at this puny stage know this?
Works like jogfm, which is a good and useful thing. I could quickly blindly hand-create a satisfactory playlist for a children's party, which was proving unusually vexing.

I would like the advanced search to add all parameters/metadata shown, such as danceability.
Respeecher is doing this for years now.
i don't see any major advancement.
Beware the Gifts of Dragons: How D&D’s OGL May Have Become a Trap for Creators
I've worked on multiple Typescript projects for years and I'm still not convinced it is actually an improvement over working with plain JS.

Lately I've been using Typescript's JSDoc comments just so I don't have to deal with transpiling code but still get most of the advantages like editor autocomplete and warnings.
I think you're overly generalizing, I don't believe today's generation is much different from previous generations when it comes to interest in STEM and the like. Sure, their attention spans are different - I mean "ours" are due to the advent of the internet etc - but I don't believe their ambitions are that much different. It's just that they want to become youtubers instead of movie stars / musicians.
In the sense of explicit research into this? Not much, especially I'm not aware of anything regarding the demotivational effect of having individual votes stand directly against superdelegate votes.

If you are just looking for information on the system in general, look for "Liquid Democracy", "Piratenpartei", "Liquid Feedback" (the name of the system used), and "LQFB" (acronym for the previous). Most of the info will be in German though.

https://www.sebastianjabbusch.de/wp-content/uploads/2011/10/... is probably the most thorough analysis you'll find, but the survey results have (according to the study itself) strong biases towards active members, the two surveys used different wording for questions so you can't make out trends, and it often commingles Liquid Democracy, the tool used, and direct participation in the party overall, which can make it hard to attribute answers to Liquid Democracy (IIRC it wasn't ever used in a binding manner).

Regarding the biases, 65% of survey participants claim they don't use delegations (page 156 by the numbering of the PDF), page 110 and following shows how high the percentage of delegated vs. direct votes was.
> True, but they seem (again, to the untrained eye) less diverse than today's fauna. Untrained eye = know about dinosaurs from Jurassic Park.

That's mainly because we don't really know what they looked like apart from their general bone structure. Imagine we tried to reconstruct what modern mammals looked like from their bones so gave all of them short brownish fur.
My armchair-neuroscientist take: forgetfulness is an evolutionary necessity. If we remembered every detail of our lives (every pebble on every road, ever second of every day) then we would reach our brain’s total capacity in a single day, and it would take enormous amounts of calories to preserve all that information. So every living creature forgets.

Once we reach maturity evolution basically stops “caring about us” (that is an anthropomorphism)- our systems are left “on maintenance mode”, which in evolution’s case means “luck”. Some fortunate souls might preserve their natural memories until they reach 70 or 80, but most people don’t, and for some the “maintenance mode” comes super early, because biology isn’t exact.

That said, I also think that nature is part of it but nurture also plays a role. The human brain is incredibly flexible. You can partially overcome or at least delay the worst of your memory loses with the right environment, and you can also squander your natural gifts and succumb early with the wrong one.
And mind-boggling you criticize and demonize technology on a forum about technology all while not only being on the internet but also using electricity, a computer, and certainty surrounded by gadgets and other amenities of modern life.

Nature is SHIT, that is why people created technology. There is nothing preventing you from going to the middle of nowhere
and reject modernity, no one is forcing you, but you are that because you wanted and liked it. You talk people should have an "instinctual revulsion" towards technology, but not even you yourself has this reaction towards technology because it is a stupid idea that not even luddites like you commit to it.

If anything the technology we have nowadays is not even 0,01% of what we should have. We should have the technology to make any movie anyone ever wanted to see in a blink of an eye, all done in the best quality ever imagined. We should have the power to build a Dyson Sphere around the sun to harness its energy. We should be able to construct fully immersive virtual reality, like San Junipero from the Black Mirror's episode, we should have the power extend human life indefinitely.
This is true regarding the transactions and cypherl. All data is cypherl transactions because memgraph can handle a large volume of transactions. mgbench was designed to run in-house CI/CD, and mgBench is still tightly coupled with Memgraph. That is the reason we are still running everything in transactions.
We did open an issue where we plan to improve things, adding CSV support for faster imports being one of them. https://github.com/memgraph/memgraph/issues/689 Feel free to suggest things, some things Max suggested we will add.
Agree on the more complex queries, and different vendors.
I like that the engineer refused to do the job. The founder managed to get someone else to do it, but refreshing to see engineers stand up to bad business practices.
EXIF as Language: Cross-Modal Associations Between Images and Camera Metadata
This is not new at all. I forgot when the "For You" tab got deployed, but for a while my iOS app kept switching to it-- hasn't happened in months now.
> to 750 KB for the largest capacity Zip disk

I'm pretty sure it's MB.
> Since this time last year he’s said that both Twitter and SpaceX are likely months from bankruptcy, and Tesla has been flat out told FSD, the feature they’ve been selling all their cars based on (which he has said himself the company is worthless without), just isn’t happening.

As much as I hope Elon loses everthing. This isn't even related to downtime of Twitter. Volentarly shutting down twitter due to it being bankrupt is not the same as it falling over and having outages.

So I'm really not trying to spin anything. You're trying to take something unrelated and use it as justification as to why big bad billionaire do bad.
As a note, there are indeed markup formats to write the phonetic pronunciations, and also allowing everything you mentioned.

It's called SSML.
Amuzingly, this 80286-powered website is still up despite being on a front page of HN.
If you write a very simple admin tool very early on, you just have to maintain it and add features to it.

What would have been a script becomes a feature in the tool with just a slight more effort.

If you don't write it until everything is on fire all the time, it becomes a much bigger task. Plus all the time wasted when you didn't have it.

But perhaps from day one is too early, but it's a very high priority task.
While I understand the desire to define things legally - both by those who want the games to be open and by those who want to control them - game mechanics and rules are NOT copyrightable. We never needed OGL to publish material compatible with D&D (or any other system) in the first place [0].

[0] https://www.eff.org/deeplinks/2023/01/beware-gifts-dragons-h...
Are you aware of any research specifically into the risk of demotivating people who expect the ability to participate directly, but are then facing a situation where e.g. a single superdelegate can nix an initiative (this is a possibility I saw mentioned in the Jabbusch analysis)?

I'd be interested to know how much of that is just my own perception vs. what the actual data says.
I agree someone is doing something wrong, wrt sluggish browser performance and routing. However, I keep being exposed to this in random SPAs I get exposed to; I can only conclude this continues to be a problem that developers have and the popular frameworks somehow footgun them into this.
I definitely want to read the blog post and I certainly need to know what you mean about the flare gun.
Another reason they're dismissive is because they knew it before the files were released. It's not that we aren't upset about it. It's that we were upset about it years ago and eventually (after being told we're over-reacting) stopped being upset about it.

Oh hey HN people they're doing what you said they would, but we forgot you warned us. We're ready for you to be upset now. Clearly you're not so you're dismissive.
it's working for my scripts
I want to venture that 1000 years is pessimistic. I just hope governments or private entities open up their wallets to build and launch more and better telescopes.

I'm reading the whole JWST project is estimated to cost $10 billion. That's about 4.4 overpriced Twitters, 77 US Department of Defense budgets (just for 2023), and 11.7 Facebook annual revenues.

We have the technology and the means, what's lacking now is the will.
Switch to the original timeline, not the algorithmic one.
https://launchpad.net/ubuntu/+archivemirrors
And yet, thanks to the decisive victory of the lawful end of the morality axis, the only actions the public supports are those working within the system. There is no amount of (theoretical or not) fuck-up that warrants putting the fear of god into the heart of someone. All people involved have knowingly created (and themselves been) an existential threat and the most extreme action people find morally acceptable is writing some mildly mannered stuff on a cardboard... but only when and where the government approves.

Otherwise they wouldn't have dared. If the public supported measures against them that are proportional to their threat, they would never have done these things.
I think you are asking the wrong question. The right question is whether it is worth opting out of the benefits of typescript. The answer to that is probably no for lots of people. Another valid question to ask is if typescript is all there is when it comes to those benefits. And the question to that is also no. It's a nice step up from Javascript. But why stop after that? There are so many other languages out there that offer so much more. And some of them even transpile to javascript.

Regarding your points:

I) this is indeed endemic in the javascript world. I would not blame typescript for this. I work with Java and Kotlin a lot. Things are more stable there. Five years is short for compatibility. In the js world, six months is long.

II) The typescript annotations are documentation too. They help your IDE figure out what is what and enable things like autocomplete. The original js code probably isn't a whole lot better. Also, lots of libraries are developed in typescript these days.

III) That's what happens in weakly typed and highly asynchronous environments. Pure javascript just moves that burden to runtime. Better to deal with it before you deploy your code.

IV) Most modern javascript is transpiled. It's a compilation target at this point. So you might as well make full use of the fact that there is a compilation step. The packaging and minification is actually just as bad.
It isn't always clear what that timesaving would be, though. We have to factor in the marginal utility and alternative cost with every- and anything the resources in question thinks about doing (or does.)

Not writing the admin tool might save time in the short term. But as I'm serving you with reports from the database and changes directly in it, I'm not doing other productive work. So you get the reports sooner and the time it takes to give you one is pretty quick.

But that task could have been done by you if you knew SQL. Or a junior programmer. Or by the admin tool.

And I could have spent that time developing customer features (or the admin tool.)
Jupyter Server: A Whirlwind Tour
The person on the toilet?
One of the great things about JWST is it can observe galaxies that are so distant, they're red-shifted that theyre in the IR spectrum.
MOND mispredicts many, many past discoveries. This would have people scrambling for alternative explanations immediately. Dark matter is simply a better fit for what we see.

Second, I don't know why MOND seems simpler and more elegant to you than literally something that doesn't modify the laws of physics at all but just increases the mass you use in computations.
Is Dart object oriented language? What is its roadmap? I know it was created by Google, but is it replacing js?
I think chatbots can probably answer known things, but we'll still need smart humans for original ideas.

That said, I can imagine a chatbot can help as a rubber duck, bring up things that weren't considered yet, or be so wrong as to kickstart the human into a breakthrough.
Technical managers do look at code...they often don't really "see" the problems until they try to implement something tho.
Not really. That more applies to board-game rules; TTRPG systems are more like guidelines for GMs and players.

But regardless of that, open source licences have nothing to do with what the code is doing; they are about using certain specific code in other products. Code is not copyrightable, so you can take some closed-source code and replicate its functionality in a different way - using different language idioms, or a completely different language - completely legally.
Like Kotlin? Can you please elaborate?
https://github.com/Harvie/RotaryDial
Spec [0] is very good + practice with small files.

[0] https://cuelang.org/docs/references/spec
Yeah that was strange, it's my understanding that you can't compare benchmarks between different machines, especially if they're not 1:1 identical hardware.

If you're referring to this line, then it struct me as very odd.

> Instead of 112 queries per second, I get 531q/s. Instead of a p99 latency of 94.49ms, I get 28ms with a min, mean, p50, p75 and p95 of 14ms to 18ms. Alright, what about query 2? Same story.

Otherwise, the article holds up.
Translating from Muskese to English: "free speech" = "speech that Elon Musk likes".
I love this theory because it's both mindblowing and yet, when you think about it, weirdly makes sense. Assuming time travel etc, of course.
not surprising imo, because of how limited our observational capabilities are. we'd probably progress quicker if we could look at far away stuff up close instead of from billions of light years away.
Or 5/"potato"

In JS it's NaN, in TypeScript (or any other language with a remotely sane type system) it's a compilation error that saves you from running into a random NaN at runtime.