skysight-inc/HackerNews huggingface dataset:
> Oh yeah the easiest code in the world to read is some contorted type system and function signatures that look like hieroglyphics that you need a PHd in CS to comprehend.

People who just learn programming probably think the same about whatever language they are learning.

> No typing system can tell you that you wrote > when you should have written <.

The more the compiler can figure out for you, the quicker problems can be identified and fixed. I stopped using python altogether, because it was just infuriating to have the tiniest mistakes blowing up in spectacular and inscrutable ways. Mixing up values of complex types often does not fail at the actual site of the error, but much, much later. Sometimes literally later in time, as in hours, days, or months until you get an obscure "FooType does not Bar" error, and how the thing in question ever became a FooType is inscrutable at that point. If the result even is a runtime error at all! (Bonus points if your production database is now full of junk as well.[1])

The unit test did not catch it because it did not test the offending composition of classes and functions. Meanwhile, a compiler would have caught it immediately: "The thing you're doing here leads to your data structures being nested wrong."

When I started using async/await in python, at first it was just over, since in plain python that introduces another layer of typing without any assistance whatsoever. Then I discovered mypy which actually lets me do some amount of static typing in python, and it was very enjoyable and now python is back on the table for smaller projects.

There is a reason Haskell has the reputation of "if it compiles, it works". There is a reason why system programmers that work on critical systems are jealously eyeing Rust if their shop still does C.

By the way, dependent type systems absolutely can tell you if you wrote > instead of <. But since that usually comes at the expense of not being Turing complete anymore, it's more used for very critical systems, or for theorem provers.

[1] Yes sqlite, I'm looking at you. The decision to make database column dynamically typed, and hence have for example an INTEGER column silently accept data that is very much not an INTEGER at all, caused me some grief on a widely deployed system once.
https://news.ycombinator.com/item?id=29996432
Its implemented in Rust! https://github.com/Cadiac/sanuli
Sifting Through the Train Thefts of Los Angeles
Also looking for recommended paid/simple alternatives. Email only. Been using it for family email on a custom domain and am not looking forward to funding a dozen accounts every month for eternity.
You're making a claim without evidence here. I'd like to believe as you do, but "people would rather not steal" is a statement of faith, not fact.
You make $600k a year from a side project?
I’m still skeptical. I was hired at ridiculous rates once ($2k an hour) to validate DKIM signatures by a small time firm. 90k to be “on call” and validate things seems totally reasonable even from a small firm.
Vast majority of rich are not idle and live very active life. While they may not do work as you understand it, they do philanthropy, investment, etc. Few if any just stay home to watch TV - which is equivalent of automating work and not telling anyone.
I needed this. Finally an excuse to get off my ass and transition the last bits away.
Huh. I thought that was what I had, but I haven't heard this directly from them. It's the first I've heard of it.

I used a microscopic subset of the features. Aside from them hosting my email, I don't think I'm any different from other users. It's just me; I'm not really a business. I notice some differences, mostly in limitations: less storage, features of my Pixel phone that sometimes don't work with that account.

I'll probably upgrade to whatever the minimal plan is just because it's less trouble than any alternatives. I've had this for a very long time, so there's a lot that I'd rather not touch. They're providing a fair bit of value and I don't really mind paying for that.

But I'm surprised not to have heard about this by email. Perhaps I'm on yet another different legacy thing.
I am going to migrate to Migadu. I have already given them a try and they were perfect for my needs (multiple domains and mailboxes).
Putting everything into the hands of an enormous corporation and being surprised when they do things to benefit themselves. insert picture of shocked but not that shocked fry meme
I do not know enough about CA budget's mechanics, but that would seem like a very inefficient and ineffective way to operate a state.
So no more free gmail accounts?
Was FDA's review of aducanumab biased? [video]
This is my worry. Also device support, etc.
A comment to this response posits that:

"Dr. Monica McLemore's obit on E.O. Wilson was an unintentionally hilarious display of ignorance mixed with woke sanctimony.... The idea that scientific knowledge is "socially constructed" ... is categorically and demonstrably false."

In the past century we've seen many cases of strongly-held hypotheses causing contrary evidence to be ignored - and scientists with contrary hypotheses to be ridiculed, even ruined. Three examples: Wegner's plate tectonics, Bretz's catastropic floods, Cinq-Mars Bluefish cave dating. Eventually the first two were later adopted by the mainstream, their authors lauded.

So certainly, the prior 'scientific knowledge' -- passed along to trusting educators and their students as if it were 'gospel truth' (despite evidence to the contrary, and eventual overthrow) -- was demonstrably socially-constructed - and still is. One difference from the the dogmatic medieval era is fewer stake-burnings.
This "just works" as long as you use `git mv` to do it. Agreed that it's a pile of yuck to try and do it manually though.
Please do this Google.

This is what I'd imagine most of the people on Legacy Google Workspaces want.
Damn. I've been using the free version to host my personal email with a custom domain for, apparently, over a decade. I have no need for the rest of gsuite - I just want `myfirstname@mydomain.com`. Guess I have to decide if it's worth $72/year for that, or look into alternative email hosts.
What on earth are you talking about? Some science yes, but certainly there were scientist from the "West", e.g. aristoteles
I think 'dynamic language' is appropriate here, since it's not only talking about types; it's largely talking about macros, pre-processors, reflection, etc. too.

Also, the main argument is that separating features into those used at compile-time (AKA static) and run-time (AKA dynamic) is necessarily creating separate languages (i.e. a "static language", which may involve types, macros, preprocessors, etc.; and a "dynamic language", which may involve memory allocation, branching, I/O, etc.)
Geocities might disagree about the "modern" part...
1Password has 600 employees?

What do they all do?
If your organization can support provisioning and managing certs for end users, you can do that too (https://www.pomerium.com/guides/mtls.html). This is talking about the connection between the identity-aware proxy (Pomerium) running in your local network, and the upstream service. It prevents someone with unauthorized access into your local network from talking directly to the service.

Does this explain the context better? This is not a SaaS solution, this is self-hosted so there's no third party here. If you still think there's an attack vector here, maybe you can tell me exactly what that is?
Does anyone know of another service that accepts the email+whatever@domain.com wildcard? I've used that feature a lot over the years and its the only thing keeping me on Google Mail
For the free service, the user was the product.

Now, the service is the product. Only since it's Googs, the user will still be a product too. Googs needs to re-watch the Seinfeld episode on double dipping.
Thank you! In person I'm a bag of laughs, but on text I really come off as aloof, so it feels good to read that someone was impacted by something I wrote.

I've got so much more that I'm afraid to publish. Might have to reconsider.
The hardest bugs are the rare bugs. Common and frequent problems are easy bugs to fix. These subtle or rare changes are those which should be feared. If you model only that which you support, finding the source of the problem becomes much easier.
If they really are low on power, for whatever reason, it's time to raise prices. I know people like fixing the price below what the actual market rate would be but it causes a lot of problems. And Europe in particular isn't doing itself any favors by shutting down clean nuke plants and relying on fossil fuel Russia, of all countries. They need to re-think how they're managing their energy before it's too late. And "we allowed someone to use their computer a lot so let's ban that" is not a root cause here.
Creating the GitHub of Databases, with Sugu Sougoumarane, CTO of PlanetScale
My understanding is that a big part of this is the backwards assertion that having natural immunity was not a viable substitute for vaccination. Nurses and Healthcare workers had very high infection rates.
Typing allows you to specify the expected behavior in terms of input/output structure of algorithms in such a way that they can be statically verified without writing unit tests or manual checking code in the source, allowing your unit tests to check behavior by value rather than by value and structure. The equivalent of type checking is not unit testing, but fuzzing.

Python is not easy to grok at all, when you consider you have to grok implementations to understand what they are supposed to do, and require extensive runtime debugging to figure out if it is behaving as expected before you can even write unit tests.

Compare to decent statically typed languages, which have quicker write/debug cycles since checking type definitions is faster than checking code behavior, and the structural unit testing is covered automatically by the compiler.

It's like getting more than 50% of your programs' test coverage, for free!
Halloween wasn't a thing, then it was, but now not so much where I live, and hardly at all under covid. Nov 5th is still bigger.
We have migrated 150+ accounts from GWorkspace to M365 last year. Better price, more features.
exactly... maybe just curl <url> | pbcopy

and the server only serves to non-browser useragents
I used zoho for a long time, free tier.
It’s not analog (writing by hand and doing things the hard way pays off. It did for Luhmann and continues to do so for many others who use notecards). Second, numeric-alpha addresses per card with strict character count restrictions. Third, tree-like structure for branching thoughts infinitely. Fourth, an index that forces one to neuro-imprint keyterms in their mind to act as cues for thought. All of these create a unique structure Luhmann communicated with. Obsidian = bubbles that connect markdown files. Completely different concept. It’s not a zettelkasten even though people have hijacked the term and ensconced it with digital notetaking apps. This is my opinion.
Seconding Fastmail. I pay about £45/yr for it and I am very satisfied with all the features it provides. What I most value however is the no-bullshit attitude from the Fastmail team. No random killing of features, no ads, no sudden UI changes.

It might feel simple and old, but I like it simple and old.
I wonder how much extra revenue would be generated out of this move? Google stock to the moon?
Does anyone have any recommendations on _easy and inexpensive_ ways to migrate an entire family off this (6–7 users)?

The value we get is _not_ worth ~$500 US per year.

I don’t need a full business suite. I mostly need the email and calendar. I’d need to poll other people whether they use Google Drive or not.
Exactly! Or provide a migration path - I went back to a standard gmail account, but the vast majority of my purchases, photos etc are in my old GAFYD account.

Google are going to lose even more goodwill without a migration path.
My JavaScript screencast, letscodejavascript.com, made over $10K net profit per month at its peak. It costs $25/month for unlimited access to over 600 videos.

I stopped producing videos in April 2018, but the site is still up, and still gets occasional new subscribers. (There's been an influx lately, in fact, and I have no idea why. Maybe because I have a new book out.) It's still netting more than $500/month, although not by a lot. But it requires nearly zero effort from me, so I'm happy with it.

Edit: To clarify, it wasn't a side project when I was producing the videos. But now it's passive income.
That would be perfect for me!
Having used ID.me before, I thought their email was a phishing attempt at first, before I looked into the situation and found that it was legit. Government services should never ask users to provide personal information to third parties which lack .gov TLDs; it's very problematic from the perspective of a cautious user.
In my case, two state congressional reps ignored me, state senator did not.

He wasn't very helpful, but he at least responded... And not in a canned letter.
What is the source for book data? I was recently looking for a TMDB equivalent for books but couldn't find a good one. There is OpenLibrary but they don't have covers and only do dumps once a month.
I moved to a new state last year and to get an ID/DL the first available appointment was 90 days away. The amount of documentation required for the said ID was also less than whats needed for a US passport. Even after an appointment for a specific time, I waited 1.5 hours in the line for my turn. The fee was nominal (for me, $25.) But I can totally see how it can be hard for some people to go through the whole process.
In the U.S. context, Black people were deliberately deprived of the right to vote for most of the country's history via seemingly-neutral requirements that were designed to stop their participation. Voter ID as proposed is an attempt to re-introduce one of these requirements.
Unless the connection broker has more bandwidth than the server, the attack will just take it out instead, still denying access to the site. Either it doesn't work or it's just adding more bandwidth with extra steps. Your solution might help people already connected to the server, but anyone else is still out of luck.
You understand that even NJ taxes are low by comparsion with most western European nations, yes? And that even in those nations, people still find publically-facing government agencies frustrating to deal with?

Still, I'm inclined to agree with you that some of what you describe in your 2nd para is likely happening too.
It is? I thouht it was the proper word to use to describe software which has limited features in free version so they can sell commercial licenses.
Very cool, how long did it take from idea to working v1? Anything you'd do differently in terms of getting it to PMF faster, tech choices, or lessons learned?
> that way no one can schedule a meeting in your focus time.

LOL. Oh my sweet summer child. I so wish I lived in your fantasy land where this was remotely true. My experience has been that everyone assumes their stuff is more important than your stuff, so you will reschedule your stuff to make way for their stuff. I’ve worked in a number of places professionally for 25 years and I’ve never seen different.
It's OK, I began killing Google from my life last year. Excited for the last bits to be gone.
Curious what the rough process is to generate art algorithmically... I've heard of ML that attempts to generate art based on its training pool. What concepts does this sort of art use?
Try to setup OBS in such a way that there is hardly any editing that needs to be done. Especially on the audio side you can achieve a lot by adding rnnoise and a compressor to your mic.
> The real power of dynamic languages is being able to do: const foo = JSON.parse(arbitraryJsonString); and not having to worry about the structure up front.

That's not power, that's a shotgun aimed at your crotch whose trigger is connected to a cosmic ray detector.
Historically, they've not been able to migrate purchases from g suite to Gmail - I've been asking on roughly an annual basis for the last 5 years. I really hope they are going to change that, although I don't buy much anymore thanks to a phone with very little app storage space.
>However, scientific consensus was that we may not see such great results in the real world, especially if variants emerged. That was all highlighted in the Nature article I posted, which came out at the same time.

They were not released at the same time. Check the dates. Your Nature article was written almost two months before the actual studies were released. It was based on preliminary evidence. It's not a rebuttal to the actual studies. The actual studies are a rebuttal to the Nature article.

>I don't understand why this is so difficult for people to understand

Likewise. Why do you insist on lying and perpetuating lies?
Ok but improving their cyber security practices isn't going to solve it. Maybe they could identify the person responsible.
A BOM would be lovely and glad that you include a link right on the board, but isn't a showstopper - most components are fairly obvious on inspection/testing (not so much when manufacturers sand off/exclude/obscure IC identifiers), but a list would definitely be a huge timesaver. A schematic is almost essential though - I think the PolyEvolver board is 6 layers and would take ages to map out.

Oddly enough, someone else mentioned the other day that Sequential started a cloud-based service for converting wavetables to a usable format for the new Pro3 [0] - it's free now, but maybe a service after DSI was bought out by Focusrite?

As for source code, updates are still downloadable from DSI, plus the microcontroller has an I2C or JTAG interface and isn't protected AFAIK; wouldn't be overly difficult to extract the source (albeit in machine code). I think I previously ordered backups of the DSP and microcontroller when they were still available - just in case, but there are a bunch of components that aren't available from DSI or supply shops anymore (e.g., the custom CEM chips). I think that's an aspect of the right to repair that may be overlooked - component availability.

[0]: https://www.sequentialwaves.com/
I use Zoho for some personal projects, and enjoy it. It's very full featured with a la carte pricing for additional services.
I'd rather tax users than have a slush fund that has no accountability because state lawmakers can allocate more money to it whenever they want without regard for the results achieved for the money invested so far. Then if you want more money you have to go to the voters and convince them more taxes on gas are a good idea.

Somehow Florida still manages to have, as of writing, $1.50 cheaper gas per gallon than California, so I think they're doing fine with their taxation scheme.
I'm actually rather salty about this, as a long-time G suite user: google has considerably degraded the service over the last few years. For example, since a couple of years ago you can't rate apps on Google Play and leave reviews if you use a G Suite account. You also can't use family subscription/space sharing plans, which is especially ironic given that many years ago Google was promoting G suite (or whatever it was called back then) as a way to run your family emails on your own domain.

So the paid account is in several things worse than a free Gmail account.
That's harsh. Sounds like a thoughtful candidate who understands edge cases to me.
If a random employee behaved in the manner that this guy did, they would have fired his ass without a second thought.

While I'm sure that some people are stupid enough to believe that this man has some sort of rare talent that is SO special that you can't replicate it, the fact of the matter is that a CEO isn't some administrative robot that gets shit done. He is the leader of your organization and who your employees look to for guidance and confidence. This dude is TOXIC. Not only should he have been fired, but anyone who thought it was a good idea to keep him in his position should be removed from the board ASAP.
No. If one person can wrangle AI to solve the problem, it's an easy step to solve it in a bot-farm. Hence, the CodeCaptcha is entirely broken.
Impact and potential of open source on climate technology
There's a 200 MHz guard band between, and (on top of that!) another 200 MHz unused. The altimeters aren't even close to the 5G spectrum. The gap between C-band 5G and the aircraft frequencies is ENORMOUS, wider than anywhere in the world.
Right, but so what?

If the optimal strategy is a 50-50 split against someone else playing the optimal strategy and at least a 50% win against someone who is not, it doesn't follow that if they other player plays crap every game that the optimal strategy is best against them.

Identification of the crap player means that you increase your bets vs what you would normally bet for perfect play. Perfect play is bullet proof, but it isn't necessarily maximal yield against a non-perfect player even if thats the rough trendline.
I had to laugh, hard.

It's fine if you want to insulate yourself. But I don't see that you're making much of a point here.
There are somewhat separate issues here: racism/xenophobia and standoffishness.

Regarding the first: Yes, I'm sure it exists, including, to some extent, in government representatives. It can express itself in more stark ways in rural areas (If you want to get naturalized and live in a rural village, the village gets to vote on your application; it larger places, the process purely bureaucratic). OTOH Switzerland is not a particularly violent country, so generally the racism does not express itself in physical violence.

The standoffishness is a big cultural thing. When we moved back to Switzerland after 8+ years in California, this was something we had to get used to again. OTOH, as others said, 25% of the population is foreign born, so you can always socialize with those… and, who knows, maybe over time you'll develop a taste yourself for keeping your distance and playing your cards close to your vest ;-)
I have used zim in the past, and I didn't like zettelkasten because of the autogenerated magic.

I also just learned about obsidian for the first time in this thread and it looks pretty impressive, but I do agree that the onboarding is a bit hard and all the plugins while impressive are also a bit overwhelming.

But it's interesting that the core plugins including things like slides which is definitely something that is great to have
Thank you. I was panicking and clearly not reading clearly.

That "May" still worries me, but hopefully it will still work fine.
YouTube channels can be converted to a "brand account" then you can link it to a different email address.

Play store purchases are probably lost (I'm in the same boat). I have no intention of repurchasing my Android apps so I guess its an easy permanent switch to iOS at this point.
Do you actually read the notes you write in obsidian or is it just a waste of time?
Dunno. Perhaps because cloth masks were good enough for COVID Classic and Delta, but not Omicron?
> In my case, because the USA does not have a national ID,

Solution: Make the USA passport card free and compulsory.
How can you have a substitute for a religious sacrament?
If you’re not using the productivity suite (docs, drive, sheets and whatnot) why not go with the little guy and use Fastmail? $5/user with 30gb or 100gb per user for $9/month

Their support replies faster than google :)
Maybe the interview question should be 'How is the question 'reverse this string' a bad interview question'
You gotta schedule it. I do it first thing in the morning, I have a template checklist that goes through everything so I don't have to think:

- [ ] write for 5 minutes

- [ ] check inbox

- [ ] process yesterday

- [ ] schedule today
I suggest indicating the language being used, directly on the captcha element, not just on the landing page.
No, they like @gmail.com, but don't want people getting gmail for their own domains without paying.
Legal vs. Illegal Lego Builds [pdf]