skysight-inc/HackerNews huggingface dataset:
I love types.

I just didn't when I was new to programming. I learned Python because that's what I saw pitched to me all the time. There was a local Python meetup, MIT's CS courses taught Python and Udacity eventually taught Python. I loved the language and learned quickly how to do a bunch of basic stuff

But I wanted to make Android apps and, ugh, Java confused the crap out of me. It wasn't so much the language, but rather "URI? Where in the world do I get one of those?! Oh, you instantiate a URI with the string. In Python this is just a String..."

Or another time, once I had mastered types, I convinced my Javascript team that Typescript was Worth It. And the ensuing chaos when nobody understood how to use Types and nothing would ever compile for anyone.

All SUPER noob-y mistakes. All because I (or my team) didn't understand how to think in Types. Furthermore, people who can Think in Types often don't know how to articulate that thought process to others.
Rust has manual allocation with Box<T>, it's just not as automatic as Zig. Rust's manual allocation pain is constant-factor overhead: typing out the type signatures takes longer every time you use it, but the complexity doesn't grow beyond that. I don't enjoy typing Box everywhere, but it's not that bad.

https://doc.rust-lang.org/std/boxed/index.html
Why can't they still sell it at stores which they don't owe?
I understand that bit, but all the same I can't imagine replacing my desk with this and not having it look out of place in the same location :)

Like.. it would feel weird having it face a wall. Maybe perhaps if it faced a window. Placing it in the middle of a room would definitely make a statement, but at that point you've dedicated the room to your scorpion-desk.
This this this.

I also find that, for me, cygwin is a better solution for what I want: A bash shell and a decent set of unix-like command-line tools, that (critically) uses the same filesystem as Windows programs do.

I've honestly been kind of perplexed by all the excitement around WSL. A lot of people seem to say they want it for "development", by which I guess they mean web development. And I could see WSL being a nice alternative to running a full Linux VM for web development. But I don't do web development (mostly). I just want a unix-like shell and tools on my Windows box. And I don't want to have to think about whether the files I'm creating and working on live in Linux-land or Windows-land.
As long as I remember there have been no complaints about restricting advertisements. (Although plenty of other anti-competitive behaviour)

Amazon touts a 'free' marketplace where anybody can sell and advertise their product. Yet it uses its monopoly on ads within their domain against others.
In that post, Ben writes:

> It feels like we're talking past each other.

I completely agree! I do feel like you and I and Ben (even after reading Ben's post) are still talking past each other. I am completely lost at the point where you say "A and B, therefore C, the US should ban TikTok." What is it about the combination of success and external control that means TikTok should be banned? Ben wrote:

> This [video-based content-rich algorithmically-controlled feed] both explains why TikTok succeeds, and why it is an app the United States ought to be concerned about.

I think that's a jump to conclusions that is illogical it does not follow from the priors.

You, Ben, and other advocates of a ban on TikTok try really hard to explain and prove Fact A, that TikTok is a uniquely successful mobile-first semi-social network/information sharing platform. You also describe Fact B, that ByteDance is vulnerable to CCP influence which is ideologically opposed to the US. You do well on both counts, I agree completely with these facts, they're pretty indisputable. I would probably use "different from" instead of "opposed" to frame the philosophical differences in a less antagonistic way, but still, I'm with you on these facts.

http://english.www.gov.cn/ is another platform that's controlled exclusively by the Chinese government. But no one's proposing a book-burning, that the US firewall all information controlled by the CCP or those with ideological differences. Twitter is a popular information-sharing social platform, and there are Chinese actors on it, but this argument isn't extended to suggest that it be banned, either. But somehow, a platform that does both must not be allowed to exist? I don't get it.
>> This comes from the Ada design philosophy to be explicit in everything and to prefer the use of keywords over symbols.

This may be true, but it doesn't contradict the claim that Ada is old-fashioned in this regard. It was an old fashion in programming languages to prefer words over symbols, and to try to make programming languages look more natural language-like to make them more readable. See Ada, Cobol, Pascal or AppleScript for some examples. This is much less common with newer programming languages, where it's much more common to favor terseness and shortcut syntax. It's debatable whether this is better, but it seems undeniable that Ada-style verbosity is no longer in fashion.
I wonder if there's any opportunity for a "YouTube Red" of journalism where users are charged a monthly subscription for access to many content networks and the revenue from their subscription is distributed to the networks based on which ones the users engaged with most. I'm not sure how you could measure that engagement, though.
As an engineer/YC founder turned B2B go-to-market/sales leader, I can attest that it's hard to learn sales without jumping in and doing it. That said, a few things helped me along the way:

1) I found a mentor that I could relate too, one that did exactly what I was trying to do (an aside, I ended up joining a company called Boomtrain and learned how to sell while helping him build product -- this hybrid role evolved into starting and running their Solutions Engineering team.)

2) Be OK with being uncomfortable; a lot of sales is about putting yourself out there -- you're going to get rejection, but you start to learn how to place your bets and work in the opportunities that have the highest likelihood of closing (and therefore can be well-forecasted.) This is where a sales methodology helps. Calvin (the CTO of Segment) wrote this amazing blog post about about what we use on our Sales team: https://segment.com/blog/how-to-sell-a-b2b-product/

3) Spend the time building a defined process, whether it's generating top of the funnel/leads, moving deals through sales stages, and even a deal-desk process for inking MSAs/contracts. Invest in a CRM (I suggest Salesforce) to log everything and provide visibility on your business, while helping to manage the pipeline.

Happy to share more details about my journey so far.
Another chilling moment when I realise that I'm way too old and can perceive slow changes of things (like the meanings of words). Please don't do that.
Does it matter if people are so much happier and feel so much more secure in nordic countries compared to the US?
Al Capone didn't declare any of his earnings - that's a big difference.

My business also shoes a tax loss almost every year - that's just normal good money management.

Amazon showed a tax loss literally every year ever.
> There a GC'd language with modern features should do best.

I predict that there will be a paradigm shift away from GC in the next round of languages. I suspect what will win for something like web-dev will be a language with static memory management like Rust, but at a higher level, with slightly more tolerance for abstractions of non-zero cost.
China's social credit system is both unique and part of a global trend
Yes, that's pretty much what ld.so does when one exec's a dynamically-linked executable.
First, Second, and Third world country designations originated as US-aligned, Soviet-aligned, and non-aligned.

However, the meanings of these have changed from political designations to economic designationms.
Brick and mortar stores buy from wholesalers and resell.

Amazon facilitates direct transactions between buyers and sellers. It also participates as a seller.
I'm honestly curious. What other languages have a type system the would allow for this project? That is, (a subset of) SQL as a type. And assuming these languages exist, are they as ergonomic to the developer as TS while instrumenting the above?
Fixed now, thanks for the heads up.
Ouch, my first foray into Zig several months to a year ago also ended when my compilation of a copy-pasted version of the very first Hello, World code sample failed. (Copy-pasting of the second example did work, but still) Sad to see this hasn't changed in so long. Good documentation, especially for just starting out, is crucial for language uptake.
This would look perfect in some evil lair.

Seriously now, it would probably look nicer (and family-palatable) with less angles and pointy extrusions. And it seems to take a lot of floor space, which is also a concern.

But I quite like the idea of a reclining computer chair with dual monitor support and an ergonomic armrest. My neck and shoulders have been killing me for the past few months.
Took me about a month to get used to an ortho, but even during that transition period my WPM wasn't reduced so much that I was unproductive.
Yeah, the article's giving me the same vibes as an article in 1990s Afghanistan saying "here's how to chill out and relax once music is banned". I'm not exactly mad at the author, it's great to share coping strategies for bad things, but the underlying assumptions going unquestioned are glaring.
How to Use Images on Your Blog
It's pretty common to see bots scanning the internet for misconfigured proxies that can then be openly abused to distribute traffic.

Additionally there are a number of readily available services where one can rent IPV4 and IPV6 proxies (For example see https://proxyall.com/pricing.php)
Thanks for the insights :) For us it's really a side product that will help drive growth for our main product!
Show HN: Auto Subtitle Generator – Inside a text-based video editor
It takes a few weeks to retrain muscle memory, to be sure, but I've found that once you get used to it, you actually make fewer typos because your fingers are moving in a more predictable/logical up and down pattern.
The context matters. Dark themes, where? I guess OS? Or WWW? In terminal and CLI, it was and is the default. The difference has been the color of the text (green, white, grey, yellow). This was during the time of CRT monitors though.

The commercial web popularized white background. Companies like eBay, for example. Although my favourite website back in those days (Webwereld) had some kind of pastel light yellow, IIRC. Marktplaats (popular alternative to eBay, old) also still has this. I suppose the colour is mostly akin to old newspapers, and backlight.

HN also has this colour, by default. Goes very well with the orange (tho I'm biased as that is my fav colour). Though I use a CSS sheet to turn HN into Solarized Dark (which according to the article is voluntarily hurting myself). I'm actually fine with the HN theme, during day. I'd be OK with Solarized Light during day, and Solarized Dark during night. Same with Android and macOS. What worries me is that it ain't going to work fluently for all the programs and settings.
FreeBSD: Created by people who run OS X on their computers for Sony and Apple.

NetBSD: Created and run by people on a huge variety of computers, big in Japan.

OpenBSD: Created by its own users, fork of NetBSD, run by everybody who truly cares about security and correctness.
To clarify, the "tuple" is just an array with fixed length. So ts isn't "providing" the length property, it's simply surfacing the underlying Array#length in JS, which it knows to be a constant.
I'll also throw out there that scripting languages w/o types tend to have a lot less tooling around the language. People are used to being able to type whatever they want and things kinda just work.

Typed languages are very different. The tooling is far more robust and more able to point out errors, but also tends to be more complex than just a simple text editor.

This is changing with VS Code and LSP being a thing, but it still influences those communities in fundamental ways.
It is infinitely amusing seeing people talk about the right and wrong sides of history as though they had a crystal ball. The phrase is best translated as "I'm right and you're wrong, moron", with no further clarification at all, but fifty times as smug.
Does that also mean that Nintendo and the other console makers can’t produce first party games? Does Roku have to get rid of the Roku Channel? Can Epic no longer release Fortnite on its own platform?
Here's what I did, which works much better than phone apps or scanners.

Mount a digital camera on a tripod and bring a couple lamps over for strong uniform lighting. Turn the page, take a picture, turn the page, take a picture. You'll go through a 100 page notebook in 10 minutes (not an exaggeration). There are better quality ways to digitize documents, but I don't know of anything cheaper and faster.
Where does the extra productivity in Zig come from in your experience? I haven't worked with it, but my understanding is that memory management is manual and explicit, which tends to come with some cognitive overhead. If Zig has a good solution for this I would be curious how it achieves it.
There are a couple of recent (either recently released or will be released in the future) 8-bit computers that retain the fun of those old computers while giving them some modern conveniences like an SD card and some even have ethernet.

The ZX spectrum Next looks amazing. Then there is the 8-bit guy's Commander X-16 which is being built by him and many other volunteers and should be ready for Kickstarter soon. Also there is the Mega65 project which is a very similar project to the Commander X16. Also there is the Color Maximite 2, which seems to be a screaming fast BASIC computer not meant to be fully compatible with any machine that I'm aware of. Some of these are implemented on FPGA and others on actual chips and some have the keyboard/computer integrated, while others do not. Either way, I'm really excited to finally be able to buy one of these fun old machines where you can fully understand the full system and easily make simple games.
Again, a lot of these things are pretty common in business.

My Dad has a business, and pays me a consultancy fee. I pay consultancy fees to my wife.

None of this is unusual for a family business.
Ah yes. I looked at this a while ago. I liked it but then ran into a brick wall with a lack of support for an equivalent to async/await syntax. It has wrappers for JS promises but they are clunky and awkward, unless someone wants to enlighten me?
Is a patched in-place binary identical to the binary that would be generated from a clean compilation?
Unfortunately, this lacks specifics. WHICH assets? Which conflict? Which diplomatic effort?
Very interesting. It makes a lot of sense. Do you have a read on how well using the LLVM interpreter modes fill this gap?

EDIT: To be clear, I mean the gap of slow build performance in the feedback look of code-build-check.
Quick example of very large json files: a database dump (in JSON format), eg from a mongodb, django dumpdata, etc.
Want to learn how the Pentagon works? Then play this board game
How long did you stay in Norway?

Edit: word. If you're gonna compare A to B, get some B experience...
I started using a dactyl manuform about two months ago and now I can't imagine typo on anything else.

I'm already planning on order a second one for the office, assuming we ever return to it.
2 Months of Daily Blogging
'@' was used to mean 'at' or 'each' for a long time before email addresses. Often in pricing. '12 @ $3' means twelve units priced at $3 each. It's referred to sometimes as 'commercial at', including its Unicode name.

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

It was used as 'at' in computing in Algol 68 where it was a shorthand for a keyword 'at'. It has a different application as 'at' in Dyalog APL.
That data speaks for itself.

And we're still talking about an average output. When wind will not blow enough for meeting consumption then additional energy will be drawn from other sources, and it will, it already is.

Renewable energy is great but it is a non-viable option as a main energy source.
We have 12 weeks for "primary care giver" and 6 weeks for "secondary care giver". I'm very curious about how a company could determine or enforce which spouse is primary and which is secondary. From the bit of reading I've done on legal blogs, companies open themselves up to legal liability if they so much as permit a culture in which it's assumed that women are primary care givers and men are secondary much less pressure men to take the lesser amount. I wonder if there are a lot of companies who are still pressuring men to take the lesser amount and just rolling the dice on the legal liability. Otherwise why bother with the "primary vs secondary" distinction at all, since they presumably can't enforce it? Maybe they're hoping it will be honor-system? Or maybe they hope they can pressure everyone to make their other spouse (who most likely works outside of the firm) be the primary care givers?
Why do most gaming products look like an edgy 13-year-old has designed them? This trend goes from useless RGB coolers on RAM modules to tuning software for mainboards with a UI that is essentially a fancy bitmap with random interactive elements spread throughout for the user to figure out. (Basically Winamp but worse)

The most ergonomic mice are usually from one of these gaming companies, so it is difficult to avoid them. But their drivers are over-stylized bloatware, and their useless colored LEDs are covered by my hand once I start using the device.
Dealers are very pragmatic about sales tactics. They absolutely stereotype people walking in off the street vs online, and among the people that do walk in they stereotype based on gender and race. They will use different tactics with Mexicans, blacks, whites, etc. Effective dealers (going to avoid using 'good' in this case) realized pretty quickly that the folks who work the deal online will just walk instantly if you feed them the usual line of crap. The best shot at closing the deal is to go directly to the best price and be done with it, because they probably won't wait around for a second shot.
Right now is the best time in the last decade to shop for second hand quality office furniture. The work-from-home drive has left lots of offices empty and there are many companies downsizing their office presence and offloading surplus office gear.
Exactly my thought. Also the nicest way I could have possibly imagined to mention the personality stereotype
Show HN: Go Budget, a full-featured manual budget tracker built with Flutter
Over the weekend I launched Go Budget, a side project of mine from the last few years that originally was just an Android app used by me and my wife, but was recreated in Flutter during the pandemic.

https://gobudget.io

[0] App Store

[1] Google Play

[2] Privacy Policy

Go Budget lets you set up your income and bills (repeating expenses), automates tracking them wherever possible, then makes it as painless as possible to log every day purchases. For individual users the app is free/adfree. I offer a premium subscription that allows you to back up budgets online and invite others to join your budgets to stay in sync.

My experience with Flutter was nothing short of amazing, and I think the end result turned out pretty nice. I'm happy to answer any questions about Flutter or anything else related to the app.

--

The backend stack is pretty basic:

- Flask + Redis + Gunicorn + Traefik running in docker on a Digital Ocean VM

- Managed Digital Ocean postgres cluster

--

[0] https://apps.apple.com/us/app/id1531580468

[1] https://play.google.com/store/apps/details?id=io.gobudget

[2] https://gobudget.io/privacy
Better to cancel the line than supply competitors with better cheaper products than your own store.
Chernobyl’s Bugs: The Art and Science of Life After Nuclear Fallout
Rulebook and player guide available on the RAND website for free: https://www.rand.org/pubs/tools/TL301.html
Or think like a FOSS hacker ...
Don't forget a keyboard-driven navigation plugin for your browser, like vimium. I have a desktop PC and use my mouse maybe once or twice a day, mostly for JS-heavy crap (which also probably presents enormous problems for the blind folk).
Radiation Levels on the Moon Are Alarmingly High
Thats still pretty small and usage specific - modern 1000 MW electricity producing nuclear power plants produce about 3000 MW of heat, so about 15x the naval nuclear reactor in your example.
A VCS like Fossil at least makes the parent commits un-fungible, so you would only need to sign the latest commit, and not every commit every single time. Git is amazing in it's flexibility, but it's not necessarily always the right VCS solution.

Otherwise I agree with your answer about Git.
Hello! This was definitely not a canned response, but we can understand why it was seen that way. Tone is a really tricky thing through text, and we didn't mean to sound like a robot. We hope you won't mind if we try again:

We are very sorry that the spam filter is giving you such trouble. It has self-learning capabilities, but algorithms are not always perfect. If you could send us your account details and the headers for some of the emails, we will look into this right away. Please send us an email at support (at) zohomail (dot) com when you have a few minutes and we will dig into the details.
If there were more details, or if he was doing something complex and interesting, I'd say post it.

...but everything I see in the article is normal tax avoidance that pretty much every family business does.
How would you debug and upgrade your durable objects?
Even if we completely put aside the discussion about safety, storage of the nuclear waste etc., the killer argument is the price. There are no current designs available that would allow nuclear compete with renewables. On top of that, nuclear power plants are rather slow to switch output levels, so are not a good companion to the renewable producers. Instead we should use gas for filling the gaps in the renewable production. Gas plants are rather quick to change power output and as long as we drill for oil, gas often gets even burned on site as there is not enough demand. And of course we should grow renewable sources strongly.
Wow, 8k is nothing!
Well, a used Leaf with around 50-60000 kilometers, 2015., is 15 000 dollars+ in Denmark.
Interesting thing is, if you didn't know, Denmark has 70%-180% taxes on cars. Reality is that the base car prices are lower(ed) so the end price is not as high as people expect.
Electric cars were exempt from taxes until Tesla came and messed things up (people bought model S instead of nice beemers, audies as they got more car for buck...Danish government didn't like that). Now the tax is 20% with planned increase, as Danish welfare system, unlike Norway's (similar taxation policy), can't afford losing future tax revenue (quoting Danish government). So logic dictates, rate of electric car price decrease has to be same or higher (abs) as tax increase in order to make average Jørgen decide to go electric.
We are talking about 1.6M employee/small business owner, who has families as well. So Labour supposed to punish the most ambitious, hard-working people and their families with even higher taxes (40+20+13.8+... percent) they already pay.