skysight-inc/HackerNews huggingface dataset:
I'm a bit torn on whether an advanced type system like TS produces better api designs for libraries or whether it promotes bad designs that need advanced typings to be safe and sound.

I feel typescript is in many ways closely tied to JS because many of the advanced typing features don't make sense outside of existing javascript patterns.

We all talk about simplicity so what makes type systems different that we get excited about their advanced and complicated features.
The Empirical Metamathematics of Euclid and Beyond
That's a very good analogy!

While reading the article, it struck me how fast-paced YC was, and how that is not at all like how I want to develop my software. I'm all about low pressure organic development of my business.

But man, what I'd give to be a fly on the wall at that YC dinner with the founder of Lithium...
Come on! So many downvotes - but that trial spawned reality TV - it gave us the Kardashians ffs!!
"save" as in, return to shareholders as value (ATAT) or invest for future (Amazon)?

Keep in mind that the top 5 companies in the US are doing wildly better than the top 3000, who are in turn doing wildly better than the x hundreds of thousands of small businesses we have in the US.

I can assure you that the average waiter or call center worker is not getting the same benefits as a Google employee, and I can further assure you that the average restaurant (pre covid ofc) doesn't have the same profit per capita as any publicly traded company.
This entire application is client-side.
Thank You. In other words, it was not Open Office, per se that was cost saving, it was using Open Office as a tool to give less space to employees that was cost saving.

I mean you could have small cubicles too, I once worked in a office cubicles that physically could not fit anyone taller than 6"2. There are simply not enough leg room.
One could allocate each loyal subscriber a limited number of trial passes to share with their friends. The passes would allow them to access one or a few articles for a limited time.
At a larger scale than Microsoft though?
I used to be “dependency-first” for library code, but I’ve noticed lately that my first question has been “why wouldn’t it be a good idea to build in house?”
I’ve only been writing TypeScript for about a year, so I might be getting something wrong, but here’s my understanding...

I’m not sure your request fully makes sense. TypeScript is extremely expressive. You can specify basically any type you what... stuff like “The Number 4 Or A Function That Returns The Number 4 Or An Object With Any Attribute Which Is Equal To 4” and TS will just work with that.

This SQL compiler is a perfect example of how far that can be taken. But I think it’s important to realize how this differs from a strongly typed, compiled language.

A language like Go doesn’t just need to know you’re passing an “array of structs with attributes x, y, and z” for fun. It actually uses that information to generate a binary. The types are not just a check that happens before the real compiling begins, they are how the compiler thinks about structuring the executable.

I would love if a compiler expert could chime in here, but my understanding is you could never write a Typescript compiler that was “strongly” typed because there is no data structure that can efficiently represent arbitrary types like “4
Or An Object With An Attribute Set To 4” in any meaningful way.

These kinds of “wacky types” are things you can statically analyze but not really “compile” per se. That’s why it’s a good fit for being transpiled down to a language with no types at all.

TL;DR, TypeScript is not really a “typed programming language”, it’s a static analysis tool. It’s not really designed to “run”.
Nvidia's latest driver “improves stability” of RTX 30 series GPUs
Y'all need to log off at 8 hours worked. I used to work 8:30 - 4:30 (read: get up at 7, shower, bus at 8, in work at 8:30). Now I work 7 - 3 most days (literally roll out of bed and sit down at my desk). If I'm tired, I'll snooze my alarm for an hour and work 8 - 4. My life is significantly better working from home.
I love pendantic notes! Steiner chains, Thurston's notion of circle packing and circle packing as an optimization problem are quite different from a theoretical point of view. However, they all have one thing in common, and that is that the end result is an arrangement of circles that you may or may not be able to turn into a lamp :)
If I'm getting this right, it's essentially immediately consistent distributed state for workers. They could have called it simply "Workers State" :)

Now in all seriousness, this is super impressive. Congrats to the CF team!
TSMC to Mass Produce Breakthrough 2nm Mbcfet Transistors in 2024
Latex is a nicer way to write equations.

You can use a sigma character, for example, and move characters around to create equations, but it’s cumbersome.

Plus, it’s a nice little language for formulas. Someone else might give you the Latex and you could copy and paste that into your notes.
Your conclusion rests on the assumption that Rust's sound guarantees are free and have no cost to correctness while they might very well do, or, put differently, that "all else is equal." It's like concluding that you must be richer than me because you have more cash in your wallet. See my comment here for more: https://news.ycombinator.com/item?id=24617127
One thing I am not sure, maybe I missed something in the blog but will there be always one instance of this object or can there be multiple?
If you're using Windows, you can download the portable version that shows a small overlay in the screen. MacOS comes with a builtin keyboard viewer.

I don't think grinding is a good approach, you need to learn it and make it part of your life, just like going through a dictionary won't teach you a language.

Just keep in mind it will always be hard at first, and you won't see the benefits until you have more or less the same fluency as you had with qwerty.

People sometimes think that it will make you faster, and it _can_ make you faster, but the real reward is being just as fast, but enjoying much more using the keyboard.
And who knows, one day he'll be hailed as a hero again. Nothing's to say today's dominant opinion will reign forever.
Religion doesn't cause harm by itself. Just like a gun doesn't. It's religious people. And who if not people harming others deserve punishment? Furthermore the sentiment of his comment definitely aims into that direction.
> Breathe, and take some time to figure yourself out.
This! I lost my job a few months ago and the knee-jerk reaction was to just get a job ASAP (no income next Friday!? PANIC!)

But we seldom make good decision in such state. Look at your career, and what you enjoy out of it, what kind of company/project/team you'd like to be part of AND what kind of company/project/team you wouldn't like to be part of.

As a software developer we sometimes can afford the luxury of choice, so don't let it go to waste.
And when you are ready, tons of luck and enjoy the ride!
Just love arbitrary dollar numbers so that they can claim to not target specific companies.

How about laws the apply equally to all. Seriously, go across the magical threshold and then what? You have to leave your own market place? Do we have then a list of exceptions and exceptions to exceptions?

Mickey mouse legislation is the reason the system is in such shambles and there are legions of lawyers just to navigate it all. Government which operates off the petty whims of the politicians is subject to abuse by all sides and you just best hope you stay on the right side.
Lately I've enjoyed bypassing the NYT paywall using the `Lynx` CLI browser.
The parent's referring to consignment inventory[1], not payment terms.

The model isn't common for general consumer goods retail, but it's a fairly common practice once you get into more specialty and high-priced inventory.

[1] https://www.warehouseanywhere.com/resources/consignment-inve...
I have used several split keyboards. The matias ergo pro, the ergodox ez and finally the Kinesis gaming k975. Honestly the kinesis so far is hands down the best. Matias was great at the start but the pads are expensive to replace and repairs were difficult. Not only that but the non standard switches meant that as soon as one went I had to buy expensive switches from matias and look at opening up the keyboard myself.

Couldn't get used to the layout of the ergodox even though it was very nice.

The kinesis hits all the marks an is incredibly programmable.
I've been laid off a couple of times in my career for reasons I couldn't control. Anger, fear, anxiety, then relief and hope. It's always resulted in growth and more wisdom. This is life. Let yourself feel all the things. If you loved your old job, then you know what you're looking for. Otherwise, I'm sorry if it sounds glib, but this is an opportunity.

You're a dev. Developing is sorcery. Sorcerers are badasses.
I can't help but feel like this article is a good summary of what's wrong with the modern internet. It's not a bad article, it just feels like a parody.

'Ok guys, now here's the modern way to make one of the more simple things from yesteryear.

First, lets bust out react....

A few hundred loc later...

Ok guys the database...

Sign up for account

Several more hundred loc later...

'Now to actually write our functions'

Download some dependencies
Several hundred loc later...

And...here's your hit counter guys...

This whole article just captures perfectly the essence of all the things we complain about with the modern web.

Overengineered, convoluted solutions to simple problems.

Honestly, it would be nice sometimes if modern solutions remembered sometimes, it's ok to just keep it simple.

I did have a quick look around to see if i could find a simple, 'modern' hit counter.

https://www.codementor.io/@jamesezechukwu/how-to-create-a-si...

Personally, I prefer the simplicity of this to the article myself.
You needn't (and shouldn't) edit the config file in the image. Going into /var/lib/docker/images and editing things is bound to end poorly.

Most images have environments variables you can set that will control the config, or you can bind mount a config file from anywhere on your hard drive.

> Now i need to install a docker, type some docker install command, that pulls who-knows how many files, puts them in some 'weird' location, including the config file (which belongs in /etc), so instead of having a 2mb service, I now have a 1gb docker image sitting on my system, with a config file hidden somewhere, and I, the user, don't see any benefits, compared to just 'apt-get install'-ing something.

On the other hand, I can `docker-compose up -d` on practically any platform in existence. I don't have to worry about what package manager this host uses, or whether the version they have supports the config flags I'm using. It's the same everywhere. I don't have to deal with the pain that is 3rd party apt repositories, and handling pinning when they want to ship a newer version of a library than the main OS does (I believe Salt does this).

That, perhaps, is worth less to you than to other people. I would _far_ rather handle setting up another couple Docker containers in Compose than I would handle figuring out which Apt repository they actually publish to, and handling the installation, and fixing the configs (because many services ship with broken configs, because they have no idea what your Postgres password is, for example. Not true of Docker, their docker-compose.yml typically includes setting the password).

This is especially true of multi-component systems, or systems that I'm testing out or using in dev. If I want to enable the Jaeger built into an application, it's one command to run it. In apt, that would have to install 4 or 5 daemons that I would then need to configure.

I also think complaining about disk space is rather disingenuous at this point. Yes, disk space costs money. No, you are unlikely to have Docker make a significant difference in the price to build your PC. 1GB is huge for a Docker image (but many people are bad at trimming them down, so I'll accept it). In 2017, storage cost roughly $0.03/GB on an HDD. You're paying 3 cents to store that Docker image. Probably less at this point, I saw an article about WD releasing $15/TB HDDs in the near future. The moderate performance impact seems more important to me.
A real human! Welcome! I'm glad to hear from _you_!

One last bit of unsolicited advice: your job is writing. This is the best writing book I've ever read that deals with the issues I saw in your writing: https://www.amazon.com/Writing-Well-Classic-Guide-Nonfiction...

You can tell the author knows what they're talking about because the book is a really easy read!
I’m a python developer by the way, sorry shameful advertisement I know.
Try SDDM, i recently switched from lightdm on arch.

It is themeable using qml
> This is due to the fact that internally "пружи́на" is translated to English first, resulting in "spring"

Do you have a source that that is actually what is happening behind the scenes? I work in this field and would be surprised if that is what Google is doing. My guess is this phenomenon is more due to a model that was trained on an Russian->English corpora first and then trained on Russian->German due to low resource, or something like that.

Someone like Yandex is going to have better translations because (shocker) they have larger russian corpora than google.
Totally. It depends on what you are building. Myself, I gravitated towards games and engine tech. Stuff that requires study, and thinking, and mathematical advancements. It’s not something that was “Oh, there’s a void in the market here, let’s fill it with an intensely focused product from our program.”

But, again, I like working on kit cars...
If you have to learn to use NPM, then it is really tough :-) Sofar I always use the available UI component frameworks (DominoUI, GWTBootstrap3, ...) and I never have to use NPM to download the JS libs, Maven only ;-)

Agree, that at the end the our target should be the users and they don't care about the technology you use in the implementation. But from my point of view, we also don't have unlimited resources. So it plays a role whether you have a full stack which you can use from client (web browser) to the server and this is where GWT / J2CL / Spring Boot have their "power".
I’m pretty sure Equifax et al aggregate this info as well (well perhaps not yet your trash-sorting) such as arrest records and probably social media activity as an option, or future option, to swizzle into credit rating.
If you go by the doomsday forecasts of what will happen if nothing is done, then yeah, everyone did great. But the US and GB could've done better, which we know by seeing how things played out in other countries.
A standard US credit score system may seem to be similar, but there are some important differences:

- a person has access to their file

- there are ways to correct mistakes on file, should any be found

- scoring algorithm is more or less known
It's been a while since i read about the SAGE / Imperial College Model, so I'm rusty on the details. However, my recollection is that a. there were serious technical issues with it, in terms of quality of construction, stability of results from run to run, and with the assumptions that went into it, and b. it predicted a much higher number of deaths even with a full lockdown.
Thank you, point well taken. The feelings may be the same, but you're right, the underlying fires are more intense and pervasive.
I'm also a YC founder (Py) and worked with Mitch. He's been an invaluable mentor to me not just in sales but also in general COO advice. Could not recommend working with him enough. It is a Privilege to get to work with him. He has a wealth of experience that make his monthly rate easy easy ROI.

We went from literally $0k ARR to high 6-figure ARR in 8 months before getting acquired. He taught me everything I know about SaaS sales.

Mitch was recommended to me originally by Peter, CEO/Co-founder at Segment.
Daniel Vassallo has made $200k with a Twitter course
Private sector credit systems provide layers of indirection in the Western democracies. Add to that mix: surveillance capitalism and third-party doctrine. Result: the same deadly cocktail that people living in authoritarian regimes experience!
> "Like modernizing math by using little colored blocks with symbols written on them, because your tired of using boring old white and black pencil and paper..."

Most developers like color-coded syntax highlighting in their IDEs and editors though?
I think that would be the last time I would ever buy a product of that type.
I've been building boats using woven glass-cloth and epoxy resin but this will be my first experiment using carbon-fiber cloth. I should have noted that ideally I'd like these to be both light and tough enough to throw into a laptop bag.
Ironically, Apple is the most open streaming platform.

- you can pay for a subscription off site

- any app can integrate with the TV app. If you search for a movie/tv show and it is available for purchase from Apple or via a subscription that you already have, it will show you your free options first.
I find it strange that Netflix is associated with them considering the breadth of subdivisions and acquisitions that Google, Facebook, and Amazon have.
Yes, there's a lot we need to be doing to put pressure on the CCP that we aren't currently doing, and it also doesn't need to be binary. There's a difference between Apple doing business in China, and a Chinese company doing business in the US. China has considerable influence on Apple, but not as much as it does on TikTok. Tim Cook's family isn't at risk of jail if he criticizes the CCP.
I generally agree. I'm not especially interested in litigating which gender is worse-affected since you can spin it either way (e.g., "By default it defines women to be less important employees"). Suffice it to say it's more restrictive to men than to women (i.e., men don't have the option to take longer leave if they wanted to); however, there may be second order effects that are harmful to women (a firm that discriminates like this may be less likely to hire women because they would de facto be more likely to take off longer). In any case, it's all wild speculation.
Salesforce AutoML Library for Apache Spark
> ... has never been attempted before. It is revolutionary.

Have you seen http://terralang.org/
Huge trackpad fan here - if you're thinking about switching to mouse-life try the Logitech MX Master 3.

It has five programmable buttons with hundreds of options, a second scroll wheel, is wireless, and is very, very comfortable.

I have my extra buttons set to:
(thumb controllable) Expose, Forward, Back
(behind the main scroll wheel) click-and-hold-to-pan
(scroll wheel click) screen shot

Then the secondary scroll wheel is set to scroll between tabs.

It's all the functionality I'm used to in a trackpad, but with even less motion. I HIGHLY recommend this mouse.
Durable Objects are globally unique, so it's guaranteed that there's just one instance with a given id.
Amazon was pretty similar. Selling other people’s stuff makes financial sense because you don’t carry inventory. It makes an accounting cost center a profit center.
> I think a dumb TV and a small, physically connected network device is optimal.

I wish this would be a possible choice but I don't think anyone make dumb TVs anymore. I've searched recently to find a new 4k tv and couldn't find any. So I finally bought a smart one...

A lot of people are perfectly happy with their Firestick, Apple TV or Chromecast. It really felt like such a waste to have to buy a TV with software I will never use.
Social Engineering – The Art of Hacking Humans
As someone currently looking for the next step in my career, I can say that the job market right now for skilled labor is much better than it was even 1-2 months ago (at least anecdotally). From June - August I wasn’t getting anyone contacting me, but in September I’ve already had 2 interviews. It looks like the initial uncertainty around the pandemic has passed and companies are opening up their budgets again.

I wish you best of lucking in whatever your next step might be.
Given the formula for relativistic excess radius [0] as applied to Earth gives 1.478 mm [1], or 0.23173 parts per billion, anyone using at least 10 significant figures is wasting effort unless they’re also accounting for general relativity.

Naturally, I had already memorised the first 12 digits of π years before I found out about that.

I’d be surprised if NASA wasn’t accounting for GR as standard, what with Mercury etc., but for the rest of us, 10 sf should be enough.

[0] https://www.physicsforums.com/threads/what-is-feynmans-exces...

[1] http://www.wolframalpha.com/input/?i=G%2A%28earth%20mass%29%...
I would guess it’s possible to do a similar design with translucent plastic.
It's more than most Americans get.
Some people do work at vastly higher levels of precision. The electron g factor has been experimentally deterred as -2.00231930436256 +/- 0.00000000000035. NASA on the other hand uses corse corrections rather than trying to active insane precision with rockets. It’s simply more efficient.
Hard same. After having a few experiences where a dependency hardly does anything, my approach is to read the docs first and see if I can implement the parts I need in a couple of hours. Often I can.
I have never used Spacemacs, but the Doom FAQ provides some comparison: https://github.com/hlissner/doom-emacs/blob/develop/docs/faq...
Seems unlikely, but I'm not sure why MS is being compared.
If you have dependents, DO NOT listen to "hang tight and figure out your life" kind of advices; your dependents comes first, you no longer own your life.

1. Reach out to friends in the industry and former colleagues
2. Meanwhile, apply to jobs in LinkedIn (this is for FAANGs)
3. Stack Overflow has a good job board
4. Look for almost-FAANG tech companies, such as NVIDIA, HP, Dell, etc.
5. Consider moving -- Denver, Boise, Austin, etc. Industry is booming in these cities.
I'm not a guy, but I'll provide some tips anyway…

Tip 1: Don't freak. There are tons of dev jobs out there still despite the pandemic.

Tip 2: Take care of yourself. Job hunts are emotionally draining.

Tip 3: Watch this 4-hour workshop (split into 1-hour chunks) from OSCON last year. It's "Care & Feeding of a Healthy Job Hunt". It's a hiring manager (me) providing info on how to update your resume, write a cover letter, apply, interview, negotiate, etc. It's entirely free on Internet Archive:

https://archive.org/details/oscon2019-jobhunt
Your credit rating doesn't affect your ability to go to a concert or buy an airline ticket.
The "X Considered Harmful" trope has become exhausting ("harmful", even?).

Every single technical decision has trade-offs. You might make a case that you (usually) shouldn't do X in cases like Y, or maybe even that you (usually) shouldn't do X in general, but it's a very big statement to say that something is flatly harmful. Very, very few things are so simple. If you aren't Edsger Dijkstra, there's a good chance you're outing yourself as either inexperienced, or willfully ignorant, by claiming them to be so. Yet this meme has encouraged lots of people to do just that, by making dogmatism easy and catchy.
It's on standby. I measured the power draw and it was too low to register on my kill-a-watt on standby so I never turn it fully off.
I don't think this is at all in the spirit of hit counters of the past; IIRC they were an img tag that would be dynamically rendered serverside. Static markup » dynamic content.

Perhaps a more apples-to-apples comparison would be an img tag that returns an SVG, allowing CSS styling. You can still choose serverless backend, or you can use the tried-and-true apache/nginx with memcache, just like the 90s.
https://linux.die.net/man/3/tdelete does not have it. My man does not have it. I'm curious what system do you use.
Good old micropayments. Now's our chance to make a hojillion dollars!

https://www.penny-arcade.com/comic/2001/06/22

(2001, parody of http://www.scottmccloud.com/1-webcomics/icst/)