skysight-inc/HackerNews huggingface dataset:
> Was speaking specifically about your opinions on Dialyzer and Elixir. It's very much a cursory Google around and having stronger opinions about the limits of a language than people who spend time with the language.

I think your experience with Elixir and Dialyzer (or perhaps emotional attachment to these tools) is blinding you to the fact that there are features that your favorite language lacks. I gave you a concrete example of something that's a research topic in Elixir (inferring types from guards), which has an existent analogue in TS (type narrowing). You completely ignored that and fixated on the one sentence about experience. Your entire argument is that I should defer to your authority on the topic as an anonymous commenter, because you're supposedly very experienced. It feels like a very hollow appeal to authority.

> It took further reflection on the idea.

But by your standards simple reflection is not enough to establish authority on a topic. You need to have deep personal experience with using macros to parse text before you're qualified to make a firm judgement. You event went so far as to speculate on how TypeScript implements type checking and claimed that the "secret sauce" is probably metaprogramming, despite having never worked on the compiler. This all feels incredibly contradictory.

> Metaprogramming allows features to become 'built in'. e.g., being able to integrate type checking and compiler errors for HTML/XML or other DSLs.

Built in does not mean "I might hypothetically be able to write my own macro that does this". It means it already exists in the language today.

Honestly this discussion feels like it's devolved into repetitive bickering, which is why I let your original comment about metaprogramming stand unanswered, and you reacted by following me into a different comment thread to reiterate the point.
> It’s because they explicitly do not want people to know what they are paying so they can raise the rates with minimal flak.

Or maybe it's simpler to just say paid and they did that. I'd wager that they're well aware of push-back over fee increases but still do it anyway, because monopoly. And the roads need the money.

On that note, the real fun is going to be about how do we pay for the roads once the majority of traffic is not pay fuel tax...
Probably a lot fewer upstarts find success than you imagine - it may seem like "a lot" but the rate of success is abysmal. It's hard to get accurate statistics because it's not obvious what to count, but from the attempts I've read it's somewhat over 90% of games that do not breakeven and has been this way since the early 90s at least (probably earlier but it's even harder to find data the further back you go).

The vast majority of startup game studios go bankrupt within a couple years of founding and the vast majority of solo indie devs only release one game.

There is no international industry-wide wage-suppression conspiracy, the supply-demand equilibrium is simply at a lower wage level than non-games tech.

It can be "unfair" in an intuitive and specific case while still being the result of market forces (is it fair that I'm paying rent to my former landlord's son? he did nothing to earn it except inherit this building)

EDIT: I realize you were not claiming it was a conspiracy, I just wanted to correct a common perspective by industry outsiders that see a lot of success stories and think "how hard can it be?" - the world is big and the "many cases" you are seeing a tiny % of the whole, which are overwhelmingly unsuccessful.
You misunderstood “sharing desks”. You get a normal desk, but have assigned days to the desk, and you share a monitor setup. Then everyone keeps their keyboard/mice in a locked drawer etc. if you aren’t coming in 4 days, there will be a different employee using that desk and chair the days you aren’t there.
Artificial intelligence has made its way into the Indian legal system
Some impressive photos in that story.
Malicious Bot Attacks Suspended My Twitter
Hey friends,

In the past 3 months, I have managed to grow a Twitter account to around 4000 followers.

I've done this by consistently putting in 2-4 hours every single day including weekends, and I was seeing great results with very high engagement.
My account was poised to overtake the big names in the space.

However, throughout these months, I was plagued by bot follower attacks - my account would get followed by 20k+ bot followers each time these attacks occur. I came to learn that this is a malicious attack where your account get mass reported for spam / manipulation by the attacker.

Using custom and off the shelf tools, I worked on removing and preventing these attacks until it happened again recently.

Finally, the attackers got what they wanted and my account was permanently suspended.
I appealed but it was quickly rejected with zero explanation.

Does anyone by any chance have any contacts at Twitter or could assist in the matter?
Colossus: The Forbin Project (1970) [video]
I checked them out last week. They claim to be the internet's favorite open source 2fa app (or some similar wording). The trouble is they only just became open source and there is no evidence to support the claim. They are open source so I don't want to spread FUD but for my own personal use case I found the project a bit dubious. Like what else are they not being honest about?

I do in pirinciple like that their browser extension works in conjunction with their phone app.
Love that openprocessing is being featured here! (I checked and this is the first big hit on HN). It is a great open source coding site with great coding artists, who share their creations openly. My personal favorite is Okazu, see an example here: https://openprocessing.org/sketch/1653811
Live coding is another way for hackers to get started with music making:

https://glicol.org/
Headline reminds me of Caroline Ellison. Speaking as a non-prodigy mathematician, I hope this story has a happier ending.
Some of these were less messaging apps than unregulated hosting platforms. Big encrypted apps like Telegram, Signal, WhatsApp etc have not been banned.
not even close. NR doesn't bill overages, doesn't do per-host. we switched and saved tens of thousands monthly
I’ve always used VSCode for TailwindCSS and Vim or Zed for everything else. They work well in hybrid, but a minimalist VSCode setup with Vim keybindings is really hard to beat.

VSCode kind of like Wordpress - the more plugins you install the slower it gets. Leave it be and it’s remarkably fast.
It sucks at Rust

fn convert_ogg_to_w av(input: Path) -> Result<
The translations in this article use GPT-3 (the free version), not GPT-4 (ChatGPT Pro). You can tell by the green logo.
Grad School Turned Me into Darth Vader
I'm not sure I'd call 7-10 years "pretty short". That's roughly 10% of one's entire life.
Correction x2: it's called by both names.
You should comment on the specific issues you see in the article.
I was a (semi-)competitive player two decades ago (Tekken 2, 3, TT) during the golden age of Tekken; for the uninitiated, the challenges are multiple layers:

1. The vocabulary of the game: there are two dozen or so characters, each with dozens of moves. Each move comes with its own attributes (e.g. hit points, latency). If you are anywhere near competitive, you need to memorize all of the moves and attributes, in the hundreds. Some of the detailed analyses count the latency in frames (60 game frames in a game second), and a few frames difference does make difference in match results.

2. The grammar of the game: the game boils down to predicting the opponents next move and the best to counter it. There is a path dependency in the game but it's weak i.e. what your opponent did ten moves ago may not affect your current decision aside from the current state of the game (hitpoints left, location on the stage). Weak path dependency means that you can model the game as a Markov process

P(opponent's next move| your character attributes, opponent's character attributes, opponent's style, game state)

If you are competent, the only unknown on the right side of the pipe is "opponent's style". Based on your observed probability of the opponents moves thus far in the game, his regional background (i.e. Japanese), etc, you are supposed to estimate opponent's style. The more accurate the estimate is, the better you can counter or parry his moves.

3. The meta game: Once you know the opponent's style and the opponent knows you (given everything else in the probability function above), what should you do? You need to choose a different character, so that the opponent has to learn your style again. Any learning comes with its sampling cost, and your goal is to deal maximum damage while the opponent is learning your style. In order to do so, you need to prevent any kind of shortcut in opponent's learning, e.g. transfer learning. Transfer learning is possible if your new character is similar to your first character. Thus, you need to master completely different characters. Another is to adopt a completely different fighting style for a given character, but this is easier said than done -- people are surprisingly predictable unless something (i.e. different character) forces them too.
Another aspect of meta game is the psychology. Players get stressed, nervous, shocked as humans do, and make sub-optimal decisions.

Overall, the game is fun but surprisingly complex and competitive. Of course, I wrote above can be applied to other games and 'games' (e.g. starcraft or trading). Knowing how difficult it is to compete on the international level, I am truly impressed by the Pakistani team.
FYI you have a typo on your homepage. On one of the charts under “Solve efficiently” you misspelled salary as “salarry”.

As a side note: your product is pretty cool :)
I've read that this does indeed happen with some HTTP proxies. In some environments that includes HTTPS because some environments intercept HTTPS traffic too. It's enough for me to consider SSE too unreliable to use if my application needs to be reliable with events, and it's the first thing I thought when I saw the SSE spec the first time.

Back beore SSE, I recall seeing some server-to-client event protocol specification inserted extra padding bytes after events in the middle of an HTTP response stream, just to convince some HTTP proxies to forward the event in an incomplete HTTP response, but I don't recall which protocol now. It was never entirely clear how much padding would be enough, or if any amount would be.

When cometd and the Bayeux publish-subscribe protocol was designed, this is why long-polling was always used, instead of streaming partial responses inside a single HTTP response. With correctly designed overlapping long-polling requests, it's possible to get event latency very similar to SSE, without this issue of lost events due to proxies. So that's a good, reliable choice, if you don't use WebSockets. In fact it's more reliable than WebSockets (which can also get stuck at some proxies), so if you value very reliable event delivery long-polling or just periodic polling are the way to do it, but with much higher overhead.

In theory SSE provides the option for mobile device power saving described at https://html.spec.whatwg.org/multipage/server-sent-events.ht... Using more active protocols almost certainly defeats this. In theory a mobile network and network stack (modified inside the mobile browser where cleartext is available) could implement that power saving strategy for mostly-idle WebSockets too, which is another argument for WebSockets.
This 1970 film, about computers taking over the world, is relevant again. It shows the Singularity as it happens. "Colossus, The Forbin Project", seemed like a joke for decades. Computers couldn't possibly do all that. It's far less of a joke today.
I often wonder about this. As a kid, I had enough time to sit and wait until the cassette tape stopped loading. Later, when I started experimenting with assembler on my Amiga, my try,crash,retry from scratch style didn't put me off. Information was hard to find too, so I spent an enormous amount of time prodding the system to see what would happen.

But what about parents back in those days? How were they able to get anything done on a computer with only a few hours (at maximum) to spend on it a day?
In my country it's fairly easy; you can not default on debts, they are for life.

If you don't pay, debt goes to a specific government ministry that picks you clean (property, assets, accounts) until debt is paid off, leaving you with nothing more than enough to eat and pay rent every month (for a tiny apt).

Every time you try to take a loan or buy something on a payment plan, the seller will check with the ministry if you are registered there. You can't get anything unless paid upfront in full, no cellphone subscription, no credit cards.

Once debts are paid off, you are still in the registry for 3 years (unless you rack up more debts).
I said "novel theory of mind tests as part of a broad suite of intelligent capabilities that it can apply in context when appropriate". What you're suggesting fails the first word, before we get to the rest.
That’s fine, they buy cheapest totally legit 100% bro trust me carbon credits to offset that.
Revenue doesn't matter, profit does. Articles focusing on the former are being intentionally disingenuous. Twitter's employed headcount has fallen to to ~1800 from 7500, and their contractor headcount to ~1100 from 5500. And among the layoffs include most (all?) of the former executive positions, many of which drew quite absurd comp. For instance Vijaya Gadde's final comp was ~$17 million for a year.

That's going to be a dramatic decrease in costs. Their revenue since is going to be difficult if not impossible to fairly assess. Many (most?) of the largest advertisers like Apple/Amazon have returned, but likely with discounted enticements which, to my knowledge, are not public. So all one can do is speculate. I think the only fair conclusion is that it's hardly doomsday for Twitter, but it's also not quite time for a victory parade either.

I genuinely hope alternatives, especially decentralized ones, succeed. Competition improves everybody. But the reason Elon spent $40 billion on Twitter is not for the software, but for the users. Network effect is seemingly impossible to overcome, regardless of the merit of a site.
Oh, liberal arts is valuable, but the degree isn't.

I've seen plenty of programmers who are very educated in history, philosophy, economics etc.

The problem with the actual degree.

1. Liberal arts degrees have terrible economic returns, almost always negative, especially for men. Because...

2. Liberal arts is ill-suited for mass-market higher education. Can you really teach liberal arts with underpaid teach assistants grading essays on strict rubrics?

3. The degree introduces indoctrination. When you have to please the professor, when your opinions have to please your employer, you end up self censoring, initially consciously, eventually subconsciously, and transform into a drone, incapable of original and piercing thoughts. That's lethal when the whole selling point of the degree was to produce 'original thinking'.

When you have an otherwise normal job, you are free to think, not needing to please anyone else, but your own judgement and conscience.

Indeed, I find it extremely questionable, why a liberal arts degree is needed at all in the age of the internet. I obsessively read over history, and its extremely cheap and available online, full of endless high quality material, perspectives. And because its free, its a lifelong hobby with no monetary investment, and its pure fun and no downside.
The man that did the heavy lifting to create the open source operating system would predictably have personality quirks (or even worse), we should just be doing what our ancestors did, make fun of him and complain behind his back (half-joking) but to cancel his appearances in which he'd discuss his professional career and thoughts on computer science, is throwing the baby out with the bath water.

this man is not a normal man. He's a brilliant programmer. We shouldn't expect everyone to be normal. He is the definition of fringe and weird.
https://en.m.wikipedia.org/wiki/Credit_score

Sorry, what you said is false and easy to verify.
it's not just you, it always triggers me when repopulating species are called "pests" by the most invasive species on earth (humans).
Google's .zip Top Level domain is already used in phishing attacks
“Cancer” is so prevalent that it’s basically part of normal human variation and has enormous advantages.

I find the knee-jerk suggestion of medication offensive tbh. The trick is to learn how to use your tumors to succeed.
Continuing with the eating metaphor, here's a good story a few days ago about kudzu, a notorious weed that in the end failed to swallow the South.

https://news.ycombinator.com/item?id=35934578

I suspect we may well see something similar here: stinknet is going gangbusters right now because it's been wet and it doesn't have local enemies yet. The first is guaranteed to change, and the second is very likely to.
Absolutely! For me, getting medication required multiple consultations with a doctor and a 3 hour IQ tests. Just scheduling all of those was difficult. And where I live you need a special registration card on top of your health insurance. On top of that, for other medication you can pay the full price and then reclaim the cost if you don't have your health insurance documentation with you but not ADHD meds. Multiple times I've been denied meds because my insurance card was being renewed. Not only that, but after missing meds for a month, getting them prescribed again the pharmacist nearly blocked me because they wanted to titrate up from a lower dose (this is a dose I'd been on for years).
> Broadly speaking, if someone is accused of a moral crime about which you have no privileged information, publicly hypothesizing about how they might be innocent is tantamount to a defence.

What ??? How ??? Are we supposed to assume that every accusation we hear about is true, and everyone is guilty until proven innocent?
It's weird that the article mentions Makepad, but somehow fails to observe that Makepad's primary demo application is actually a software synthesizer. Go watch some of Rik Arends' talks! Most recently this one from RustNL last week: https://www.youtube.com/watch?v=9Q4yNlbfiYk (first talk of the day).
> I’ve always been a little afraid to ask, but isn’t it sort of weird that it is legal to score your citizens like that in a democracy?

Why? The govt is not scoring you. It is done by companies.
I might be one of the few people who didn’t like this book. Philip K Dick (the author) manages to come up with some of the most incredible premises. And then somehow the plot meanders into some boring, meaningless corner that left me mystified. How could the person who thought of this premise also have written this plot?

It’s not just Androids. In another book he comes up with this fascinating idea of an alternate history where Japan and Germany won WWII. And then it turns out astrology is real and everyone is obsessing over it. Just why?

I’m sure everyone will say actually astrology is fascinating, or you need to look past that to get the real meaning of the book. But I prefer the books that don’t meander into meaningless dead ends. There are plenty of them out there.

Yet others may say Dick was enormously influential and inspired many other brilliant authors. Ok, I’ll read those authors then.

Overall I’d rate the books I’ve read by Dick as 2 stars. And only because the premises are so fantastic.
i can do $50/hr, but max 20hrs/week, fully remote :-)
From your description I think that .NET WPF[0] has the same architecture?

[0]: https://learn.microsoft.com/en-us/dotnet/desktop/wpf/overvie...
I take the other side of this and find that it being so useful its use as a task runner just means make is really awesome. Even when “misused” it’s super useful.

That being said I really do like this article. I want to learn how to use make properly.
There was a defect in Live’s implementation of VST3’s UI that lead to poor UI performance (lag) that got fixed in the upcoming 11.3, it’s in beta test right now.

It most affected users with hundred of tracks and VSTs in most of them. No impact on VST2.
Yep. Accelerate our own thinking to absurdity.
I know. It’s a very good joke.
"ADHD is not a disorder" in a nutshell. This is not backed up by science, not by experts in the field and neither by millions of people who suffer from it.
Random is always interesting.

Here is an example I made to use logistic map for music note generation:

https://glicol.org/demo#chaos
Thanks, this is really handy. The JS version does so not what I expect, and it certainly doesn't do what I want.
A side effect of the credit system in the United States is that it "entrenches and reinforces inequality by dictating a consumer's access to future opportunities."[0] This primarily affects minorities, though anyone in poverty suffers from the credit rating system.

In regards to scoring, its complex, but generally: pay your debts on time and on schedule. Importantly, do not pay off loans early. You'll get positive points for eliminating debt, even early, but more positive points for paying the maximum interest the bank would like to earn from the money they loan you.

0. https://www.nclc.org/images/pdf/credit_discrimination/Past_I...
One company I worked at had heavy SQL Server stored procs. I was pretty dismissive initially ("don't put business logic in the database layer!") but grew to understand that really those were the gold. The first versions were written in 1997 and by the time I arrived that code was bulletproof. There were about 4 UI technologies over 20+ years (VB, ASP, Forms + asp.net), but the procs were the same shape with thousands of edits for edge cases. Changing UX for the new hotness was massively de-risked and faster because the procs were solid.

CTO's change. They started replacing it with a "proper" ERP system around the time I left and it's been nearly 6 years of pain. Joel spaketh: https://www.joelonsoftware.com/2000/04/06/things-you-should-...

(As usual: of course you can break the rule, but first deeply understand the risk you're taking.)