skysight-inc/HackerNews huggingface dataset:
web3 is completely overhyped and a16z is part of that hype and pouring funds into it.

the promise of web3 boosters , "everything will be on-chain" is impossible to realize. maybe best to see decentralization as a spectrum or something that lies on multiple axes.

something like an NFT on Eth with IPFS is platform-agnostic and transferable only by whomever has the private key. that owner can also self host the file if they want. but there still will be centralized platforms, pinata hosting, AWS, etc build on top of this ecosystem to make it easier and to attempt to capture value where possible (openSea charges 2.5% on each trade).
AFAIK, it depends on your bottlenecks.

In terms of actual compute speed, Python is still significantly slower, and although 3.11's changes will help quite a bit, V8 is also just insane.

In terms of I/O speed, uvloop (https://magic.io/blog/uvloop-blazing-fast-python-networking/) can beat Node quite handily, so if you're more concerned with being able to handle requests than doing anything major during those requests, Python might be comparable.
id.me is another that I am growing to dislike. The IRS association is what caused the pivot from 'tolerate' to 'avoid'.

Square looks like it will be added to my list as well. The inability to use a per-vendor email address when checking out with a credit card is my point of frustration.

Cash is looking better all the time.
All blockchain is a ponzi scheme. Reasons to give your money to the blockchain: currency of the future (Bitcoin) -> trustless computing (Ethereum Classic) -> trustless computing with that one bug fix (Ethereum) -> store of value (Bitcoin, Tether, etc...) -> digital assets that you really own and we ignore copyright and existing laws that might cover this subject (NFT's) -> vague web3 promises.

Next year it will be something else, or maybe they will circle back to the beginning (Future of currency! Fundamentals!), but the only reason anyone really buys in is because they believe they will make money.

A16Z has no problem running a ponzi scheme. If blockchain were actually useful, why wouldn't they just pour all that money into Bitcoin?
https://www.gonum.org/
Err, what?

.edu is a TLD for US based educational bodies. So the reason you don't see a cookie banner is because the majority (AFAIK) of US states don't mandate a cookie banner, unlike EU and UK based sites (like the Natural History Museum, based in the UK). Does this mean the Natural History Museum is a less authoritative resource than anywhere else? I'd say the opposite, actually.

And for the "change a tire" example using a .edu TLD. That's a fantastic example of how to find search results that are almost completely useless for anyone outside the US. What's a "tire", anyway? Oh, you mean "tyre". What's a "flashlight". OK, you mean a "torch".

In summary: there's a world outside the US. It's lovely out here.
My experiences have tended more toward "everybody stresses out about OKRs for a couple weeks every quarter and then you might as well have deleted the file because nobody will ever, ever, ever talk about them again".
Sure, so can pypy.

But that means you have to add all sorts of dependency tracking, such that you are able to deoptimise any function affected by mutation on things which were optimised in or out.

This means your complexity increases very fast, very high, before you can have anything which actually works.
I feel like this is a paradox. If it's simple enough for a non-tech user, I assume it's basically self installing and self managing. That basically sounds like managed hosting.

Even if the install is automatic, self hosting requires the ability to debug issues if they ever popup. If you can't install it yourself, you definitely can't debug it.
Wow! I've just subscribed to New Relic for my company (I'm the CTO) and couldn't be happier. What a coincidence :)
I"m an engineer, but also a writer, so as my writer self i totally feel the inability of Google to find quality information.

Just from performance perspective I can see that the listicles and how to's are doing better then any other niche topics.
I’ve found their lack of a relational database a huge problem for any project that scales beyond trivial complexity.
I’m not so sure about this, my Windows at home is a stock one and it randomly inserts junk into my Start menu and comes with crapware. The one I use at work has full-time admins to protect me from this garbage. I bought the Windows box to do only one thing (be essentially a dumb terminal to connect to work) but even using Windows for a task this small is such a bad experience that if I had it to do over I would just spend the extra money and get a Mac Mini.
OKRs are New Year resolutions: "this year I'm try to stop drinking" or, if you want to sound more realistic, but still ambitions, then reword it to "this year I'll get less than 2 DUIs."
‘Don’t leave campus’: Parents are now using apps to watch their kids at college (2019)
That is a ~good thing, inflation is when there is too much money.
> I can't see the future but I don't think it's going to be a bloodbath like the .com crash.

I agree. I've went through .com and the gfc, and key to both times was to make sure the company I was with was making money. While I think tech will see downward pressures on salaries, each company will be in a different situation. For example, if you're in a company that needs a runway, assume it may get cut short at any time. I expect the big techs who are making money to start scooping up some of the people cut from VC companies which is where the downward wage pressure will come from.

The other side that is very different from both .com and the gfc, is that engineers are seen as assets even outside of tech companies now. Almost every company views tech as a competitive edge, and that is simply not going away. Salaries may level off and/or pull back some, but there is too much technology deployed to stop hiring completely.
> They fscked up when they decided to omit the dot when multiplying. So now it's impossible to differentiate between "varname" and "var*name".

Well, since we don't use multi-letter variable names, no such distinction is necessary! But if, for some reason, we did do so, then these two cases would be typeset in LaTeX as \(varname\) and \(var\,name\) (or, rather, \(\mathit{var}\) and \(\mathit{var}\,\mathit{name}\), since TeX correctly interprets \(var\) as semantically `var` anyway).
I'm sure there are plenty of people who have bad intentions but these days I seems more common to assume they do when they don't. Usually this is an indirect conclusion. "You're pro local business? You clearly hate others you racist". The 2nd does not follow from the first but the person judgin has assumed bad intentions
“What do NFT collectors think about NFTs?” Sounds like the kind of thing you pay consultants for. I mean, it does sound like exactly the kind of question a VC might ask, but it would be really hard for the average person to know what to do with this information. I guess if you could disrupt nuanced cultural mastery, that would be great, but also, impossible to get an objectively answer. Also, talk about an entrypoint for algorithmic bias.
Putting Decentralized Finance in the Pocket of Millions
Thanks for this. I recently left an otherwise awesome job mostly because of OKRs. I am still trying to articulate why.

I'm going to correct you, because it's relevant. Mehta says, "but only if it is actually accretive to the strategy." I think the accretive is important here, because one of my observations on how we were doing it wrong was that there were no stated goals for security against the company as a whole. This made it seem like each teams' OKRs were a chaotic free-for-all. Intuitively, the goals for security as a whole should be based on the overall needs of the company, divided up across the appropriate teams. These teams will have the tribal knowledge to write the best roadmap, determine who will own the workflow that the project generates on completion and generally know how to scope each task.

Going to listen to the podcast now. Maybe I will have more to say after. Cheers.
Emacs source code goes quite far back, with extensive changelog between every 2 functions, if you don't fancy rifling through commit log itself: https://git.savannah.gnu.org/cgit/emacs.git/log/

Earliest commit is from 1985: https://git.savannah.gnu.org/cgit/emacs.git/commit/?h=emacs-...

Log starting from 1985: https://git.savannah.gnu.org/cgit/emacs.git/log/?h=emacs-19....
Six Lessons for Entrepreneurs from the War in Ukraine
Maybe not even everything I need. I got to the home page and I don’t know what this product is, but I see they want money for something I don’t know how it works or why I’d want it or what it would solve for me.
Is this a product for someone who already knows what it is?
> Does that still exist?

Yes - just walk into any store.
Since it's tangentially relevant, if you have an M1 Mac I've created some boilerplate for working with the latest Tensorflow with GPU acceleration as well: https://github.com/alexfromapex/tensorexperiments . I'm thinking of adding a branch for PyTorch now.
Probably the best OKR i have heard. At least it is good for morale!
I’d love to get into 3D printing, but the sheer amount of waste I’d produce is too much for me. I looked into recycling wasted filament into new filament, and all the reviews of different devices made it seem very hit or miss.

Is there a good way to not generate plastic waste and still get into 3D printing?
I meant that I couldn't get budget to do it. Obviously I could do a code verification in my free time, but my goal was to start the project with everything that could be written in FStar being written in FStar, with my coworkers onboard.

I had root access to my laptop so I could install anything I wanted, but it's hard to do anything if you don't have budget allocated to do so.

EDIT: I also should point out that I wanted to export the code from FStar to F# and use the exported and verified code.
I don't see any serious attempt at UIs with erlang. I think erlang processes would provide a great foundation for UI components, but has it even been tried?
That's fair. The current workaround is to use the search in our docs, or add 'render.com' to Google queries. Of course, I'd love examples of frustrating searches.
No, this does not enter into it at all. The universities set their assessment policies how they see reasonable, and will generally not allow auto-generated text. Just like it is not illegal to have a smartphone in an exam, but you can still be failed for it if it’s against the rules of the university.
aside: do you guys know of a Python-based TUI/prompt library that allows multi-line output?

the idea is to be able to do what IDEs like vscode, or recently, Fig[1] do. they autosuggest, but at the same time include documentation at the prompt. prompt_toolkit[2] does not do that afaik.

[1]: https://github.com/withfig/autocomplete
[2]: https://github.com/prompt-toolkit
UK reprocessing plant to end operations
> Deaths on rural interstates and urban arterial roads increased by 15 percent. And local and urban collector road deaths went up by 20 percent, belying the idea of "Vision Zero."

> It was risky to be a driver, passenger, motorcyclist, pedestrian, or cyclist in 2021, as deaths in each category went up by 12, 9, 9, 13, and 5 percent, respectively, year over year.

What I get from this is that being a pedestrian on a local road is becoming increasingly dangerous. It's a shame that pedestrians have been so low on the totem pole when it comes to safety in the US, despite being one of the most environmental and economical ways to travel.

I'd love to bring in discussion about how the US needs to change its transportation infrastructure, but I think that horse has been beaten to death here.
> - Cheaper Python frames are enabled by making some semantic changes to the language, mostly by removing some dynamic functionality that no one uses

What dynamic functionalities does no one use?
Circle.so can be a good alternative I think.

They are marketing themselves towards content and course creators, however the structure of their community is geared towards creating long discussions, and long form writing.

I'm a member of a neuroscience community hosted on circle, it works great.

as a cherry on top you can host it on your own website, and change the appearance.

the only con i see is the pricing.
Sure, I can be less subtle:

My job for the last decade has been to facilitate accessibility.

Not only have I never heard of this control existing in native Chrome, I can't figure out how to do it. I'm doubtful, then, that we can consider this a remedy of any kind for accessibility issues.

My hunch is that you mean that there are extensions that provide this – which I definitely have issues classing as "browsers providing" much in the way of anything.
#1 is a real issue, but is actually a problem of management and company as a whole. Teams want to be silo-ed and not bothered by anyone else hence set their goals and just do them, engineering managers just care about their teams or don’t even communicate between them to check for cross team projects, and upper management never sets some actual objectives and roadmap which could have been mapped into cross team projects and goals. And goals become a religious quarter to quarter thing without allowing any deviation, and then everything is slow.
I work on alternative search engines, my first was something called Whize which flared for a bit, hit the front page of product hunt and then died after a few months of trying to support a search experience that we've all become used to ala Google.

We had thousands of users stopping through over the months but that's not enough for an AD supported model and ultimately indexing the web with a significant enough amount of coverage so that results weren't lacking and then working on a novel enough ranking methodology that combined vector search signals with classical search signals is a massive undertaking that was running us thousands of dollars a month.

It's possible but you need to basically be prepared to burn a lot of money, more than I and my friend were willing to support. That's why most of these alternative search engines serve custom Google results combined with other aggregator content or license Bing and they produce good results but at the end of the day your still beholden to the index and to some degree the ranking signals of the engines your building over.

So far in the landscape Kagi is doing a good job on establishing itself with it's use of lens and subscriber based support for it's boutique engine. Neeva and You.com are also both in that space and have the benefit of being supported by gobs of funding (Neeva in particular due to the background of the founding team.)

All of these engines are attempting to provide the curated experience this article talks about in the form of programmatic boutique like searches over Google and Bing's existing index. From a technical standpoint this makes obvious sense.

But.

From the year+ of working on that search engine and my continued interest in alternative search engines here's the thing. Google and Bing index web pages, but there are so many alternative forms of curated information we've created over the last decade and a lot of that information is in semi-public spaces like slack, discord, whatsapp, telegram, facebook groups, newsletters etc.

As more and more spam has propagated over the internet real useful information and discourse has retreated into these semi guarded spaces that the existing incumbents do not index and do not serve which means all of these respective engines are missing that information which means in turn you're missing that information regardless of where you search.

Want to buy a car? The best review of what car to buy is probably happening in a car enthusiast discord or slack maybe an e-mail newsletter. But you won't see that. So my opinion? I think the next real killer search application is going to figure out how to index and make that content searchable not an alternative take on searching web pages.
I disagree as a developer. I wish they’d make their core products easier to use instead. This just seems really distracted and spastic
> Any antitrust lawyers want to chime in? Why isn't this illegal?

It's unlikely to meet an antitrust threshold because it's a single example of incompetence rather than policy - the Google Play store developer guidelines and agreements do permit this functionality, it's just that there is no functioning review process when people cock up.

You would probably have to demonstrate that it was a systemic problem before you could make anti-trust stick.

This is not legal advice. I am an idiot on the internet and I could say anything on my qualifications and you would have no idea if it were true.
Is Elixir running on OTP 25?
I miss n-gate updates, but this made my minute!
Do You Understand Me, Siri?: The Intersection of AI and Linguistics
I understand that to some degree this is an arms race between business SEO optimization and Google's SEO ranking algorithms but I don't understand why Google upranks websites with obvious annoyances like the 3 popups in the case of OP's website, excessive amount of adtracking, and unreasonably large website sizes. In those cases, I can only suspect Google upranks them because they provide ad revenue to Google.
I post this because it's a good article that really summarizes some of the main painpoints in crypto right now. I'm not sure these guys have the answer but I'm glad people are actively working to solve these major adoption issues with crypto. If people want crypto to be more mainstream and widely adopted then we have to make things easy for the basic user.
The plan for mopidy-spotify was to move towards web-api for everything we could to be on the official APIs where possible. So the end state would have been only streaming left on libspotify, then figure out how to get librespot and GStreamer to play well enough together (there is a plugin but it's missing at least one feature we need).

But as you can see in issue #110 this goal hasn't been reached yet.
OAuth is hardly Google only, it's part of RFC7628. There are very good reasons why a simple password login isn't necessarily what you want for your email protocol. IMAP and 2FA are often at odds, for example, usually leading to vulnerable application passwords that bypass security requirements out of necessity.

I don't think many email clients support OAuth2 (Thunderbird does, but that could be Gmail specific?) but the concept isn't inherently bad, in my opinion.

I don't really see the problem with OAuth2 itself, the email space is just very very slow at accepting new standards. Dovecot and UTF8 email addresses still don't play well together, for example. The lack of proper on-the-fly application registration for mail servers is annoying, but supporting them should be easy enough if the mail service isn't run by complete doofuses.
Ah I see. So uboot is roughly equivalent to PC UEFI BIOS, but configuration is more open to the user.
Telling developers to not use the global .gitignore seems to be the wrong response. For example, I use VS Code, its extensions, and various other development tools that create local files that should not be in repositories. Those files and directories do not belong in a repository's .gitignore file, unless it's a personal project. They most often belong in a global .gitignore unless a team uses a common set of tools. Having a single developer's custom tools be handled by a repository's .gitignore seems to be the wrong approach.
I still don't understand the lack of Mozilla's support for Thunderbird, right as the mail client space was hitting peak hotness.

This was the time Google and Apple were paying millions to buy the likes of Sparrow and Inbox, etc.
But I’m going to have to say this… I tried moving away to Finicity and it was hell
The day when RPi's browsers can play HW accelerated video without stutter, It's truly ready for desktop; Then again even with intel GPU's excellent Linux support getting HW accelerated (4k) video on browsers is not possible without some funny business(at least on Wayland).

Interestingly x86 ChromeOS machines with low memory (4GB) didn't have issues with HW accelerated videos, I wonder whether the ARM ChromeOS machines of that era had issues?
> To that end, the Turnaway Study followed almost 1000 women across the country for 5 years to see how having an abortion, or being denied one, affected their physical health, mental health, finances, relationships, and children.

For completeness, shouldn't the study also have followed 1000 children for 5 years and asked them whether they would rather have been aborted? By designing your experiment to specifically deny the humanity of one group of test subjects, of course "science" can give you any result you want.
I've been following these, and it seems like such a fun thing to do. He seems to have been lucky that he caught on to his real product on day 1 -- semi-viral blog posts.

Still I imagine it's hard for most people to go 2 years on a few thousand of sporadic revenue.
> independently of ZFC, can your statement be mathematically proven in a reasonable alternative axiomatic system?

There are plenty of people who find ZFC + ¬CH a reasonable axiomatic system.

EDIT: I misread samth's statement (https://news.ycombinator.com/item?id=31424581), which I think is proveable in ZFC; I thought their statement was ¬CH.
I've started hearing from non-tech people complaining about the spammy results in google results.

Feels like "trust" that they're actually seeing the best results are going down.

That said, many of these same people rarely actually google things outside of simple factual information that Google does okay at (e.g. height of the eiffel tower). Their experience of the internet is mostly through various social media filters (e.g. Facebook, TikTok, Pinterest, Instagram, Twitter, Reddit, etc.)

I also suspect this is part of the reason Google is giving worse results. Most of the actual content being generated on the internet is now occurring in various walled gardens that either pollute search results (Pinterest!) or don't show up (Facebook).

It's a tough problem for a company built on the open web that web mostly resembles a late-game Risk map with just a few big players.
Levels.fyi lists that number as base cash salary, yes. Total comp for a Staff SWE at Google is easily breaking $500k. It is also not a secret to anyone that cash salary at most tech companies tops out pretty low, because as you grow in levels, cash becomes a smaller and smaller portion of your total comp.

$224k/yr is below what a midlevel/L4 SWE would make at Google in total comp.
You don't, you can trigger the installation directly from mainstream Android browsers. When the download finishes, there's typically a notification that it finished, and that notification allows you to open the downloaded file directly without having to go through a file manager.