skysight-inc/HackerNews huggingface dataset:
I don't remember the name of it, but a service I only used once required me to pick an available timeslot.
> Tesla (ticker: TSLA), a company that CEO Elon Musk says he founded to put the world on a path to a sustainable-energy future

Tangent: I thought he didn't found it?
Ray Camden: My First Web Component
Perhaps. I always assumed it had more to do with offering better waterproofing, but maybe that's naive.
That was when silicon valley was still run by computer nerds. Those days aren't coming back buddy, time to move on
> Oil companies rank high on ESG metrics because they don't actually burn the petroleum oil that they extract. It's that simple.

Simple and farcical.
This is where solutions like WooCommerce shine. WooCommerce is an amazing piece of software that is many times used for free, but generates thousands of dollars.
TikTokers Are Accused of Starting Forest Fires for Views
Getting appts is a pain, and there's always an 'unexpected' wait because they're running behind schedule. Probably better to go to their tutorial classes for a particular topic and then ask the trainer how to do the thing you want to do.
It's quite ironic how the font settings page for Chrome doesn't do well with different font sizes itself. They got the sidebar backwards and appeared to have used px for the font-size but em for the padding.
I am LMFAO at this headline from the "Capitalist Tool" (a phrase used in their own marketing) Wall Street Journal.
> Keep in mind that any email client that allows you to reply to (or forward) an email would count as transmitting restricted scope data from the user's device.

Not if it does so only via the oauth api?
Show HN: The opposite of a job board, an ideal role board for product folks
It's hard to write laws to outlaw them. I mean you can't really outlaw a company shuffling money around to meet their business needs. You also can't write laws governing another country.

So unless there's a big international effort to get all countries to adopt some consistent tax laws, and cut off trade with the ones who don't sign on, there will be some countries who profit from keeping their laws favorable to being tax havens.
Your inbox can literally have that many applications in it, but by far most of them are junk. A lot of them seem like they're sent to intentionally not get seen, like they're part of some requirement to apply for jobs or something like that, eg people with no appropriate skill listed, or anything at all similar to what was advertised.

Then there's also complete dreamers. I hear football clubs often get guys who've played Champ Manager sending in an application on a whim.
Very interesting. Kind of similar to https://dialworks.io
Let's say "the state" saw promise in crypto and therefore threat to its monopoly power over money. How best to counter the threat? Forbidding things makes them sexy...

How about let's foster an ecosystem of horribly transparent scams and predatory behavior on top of it? If we can spread enough shit over it, no one will want to use it, and the potential will be safely buried.

See also 4chan.
If you're starting a new career, I'm not sure the info you will find on Glassdoor will speak much to you either (or, not as much as when you already have had one or two positions - because then you know how to interpret some signals companies broadcast through their ads, or their employees reports).

And looking after COBOL (or an old tech, without having been introduced to it before) as an entry job is a bit peculiar.

Better looking after the companies that still need it, understanding why, and then going through them for specific jobs, linked or not to COBOL.

I understand the appeal of getting into it for the technology or the money, but getting into it for the problems and how to solve them first will open many more paths (and as much if not more money).
That's their point, they said "do business in the US". You're saying the same thing.
I also worked with Rails before and I'm happy to see their progress,
I however wouldn't go back to work with it if I can choose,
for me Phoenix and LiveView doesn't feel like magic or too much convention unlike Rails does unfortunately.
There's nothing in the turing test or systems that solve it that are really amazing progress. To me they are just an expected and obvious outcome of the general improvement of scientific modelling of reality.

Here's something that I'm not blase about: AlphaFold. That is one of the crowning achievments of humanity. It solved a problem that people have been working hard on for 40 years using an algorithm that is less than 5 years old on a computational framework that's a couple years old, on hardware with ML training powers orders of magnitude higher than anything that existed 5 years ago, and conclusively demonstrated that evolutionary sequence information, rather than physical modelling, is sufficient to predict nearly all protein structures. And, once the best competitor had a hint how it was done, they were able to reproduce (much of) the work in less than a year.

Now that's amazing. World-class. Nobel-prize worthy. Totally unexpected for at least another 10 years, if ever. Completely resets the landscape of expectations for anybody doing biological modelling. However, it also won't transform drug discovery any time soon.
The context makes it powerful. If I did not know it was done by an (acclaimed) artist near the end of their life, it would not be as powerful to me.
Nah, why bother? The honor system and money are a totally compatible combination /s

I'm so embarrassed about how my country deals with these things.
I'm in elixir land - but have a look at https://github.com/elixir-desktop - they even have an ios app in the app store..

basically wxwidgets comes with a webview, and that one is loaded up - and everything is packaged as an app - so you can use phoenix (liveview), or even react or anything to your liking..

believe certain improvements were made to OTP 25, so multiple things will land soon - even livebook https://github.com/livebook-dev/livebook are aiming at shipping a native app..
you think bindings are super cool like bind the hidden state of soemthing to some variable then Flex did it before React and probably was not the first.

Compos ability for me means I can make a big component by combining smaller ones, what does it mean to you?

Extensibility is the important part, you can get a DataGrid and add 10 lines of code to add some feature to it and you inherit everything from the base component, you get it all: the performance, the events, the accessibility. In web I only see shitty implementation that fail in different ways, even the YouTube search + dropdown input fails sometimes and remains open until you reload the page, a ton of Google "geniuses" can't implement a shitty component with all their languages and frameworks.

I personally like about react the functional part of it and not the JSX part, that is sugar syntax, though when doing complex stuff the functional part brke and you had no choice then get your hands dirty and find workarounds and do ugly stuff.
The headline and lede on the page are a bit better:

> How to Write Software With Mathematical Perfection

> Leslie Lamport revolutionized how computers talk to each other. Now he’s working on how engineers talk to their machines.
I don't buy the premise that "excessive" screen time leads to ADHD, aggression, or anxiety in children. I think that kids dealing with anxiety, ADHD, etc. are using screens to self-medicate because the adults in their life can't or won't get them the help they need.
Why wouldn't they? For crypto holders, a 25% drawdown isn't doomsday, it's Tuesday.
I consider that a good feature. I decline about half the updates. Some of those "simple" family tools have had "updates" that add nagging and attempts to get you to upgrade to a paid premium version.
Most of those things really aren't part of the OS as such, they're just applications. Command line tools and UIs for example. They're just utilities, they don't matter at the level we're talking about here, about the operating system as a platform for developing and running software. You're complaining about the software people run on it, not the base layer of the OS itself.

This is what I'm trying to point out, too many other OS projects rolled abstracted services into the base layer of the OS in order to make things easier to develop applications. That was a mistake because it tied them to particular implementations of those services.
> And that says a lot when I read the developer of Pegasus Mail doesn’t want to record a 2min long YouTube screencast to get approved.

Congrats on misreading the article. That's not the problem. The problem is having to spend a lot of money for a security audit for free software.
Free Unit of Travel Coffee Mug
Do not worry. Blockchain will solve or at lease simplify all of these problems.

It is the way.
Btoa
Passing the Turing test requires, for any human judge:

1. This judge is aware that they have to discern whether the 'bot' is real or a machine.

2. The judge cannot discern whether the 'bot' is real or a machine better than random chance.

This failed 1. And even given that advantage, might have failed 2 as well?

Often I see headlines along the lines of "X fools people and beats the Turing test!". But the point of the Turing test isn't to trick a person, it's to make it functionally impossible for a person to distinguish between the real and simulated thing, no matter how hard they try. For something to pass a Turing test, it would need to be able to pass the following:

"Anyone can play as judge any number of times. You can take as long as you want, and if you're successful in breaking it under controlled conditions (IE, you don't cheat and use an out-of-band communication protocol with the 'bot'/human), we'll give you a 10,000,000$."

The "One Million Dollar Paranormal Challenge" (https://en.wikipedia.org/wiki/One_Million_Dollar_Paranormal_...) is a solid example of a Turing test for magic.
Maybe, as a suggestion, launch a Notion page with your “100 side-project ideas I never got around to making” — perhaps this will get that juices flowing?
2 problems: Julia supports cpus without FMA, and on windows, llvm will use libc to constant fold the value of fma even on computers that have fma in hardware.
I haven't used it, but in a recent Thinking Elixir episode, they talked about Elixir-Desktop, which supports Android and iOS, as well as the standard Windows/Mac/Linux

https://github.com/elixir-desktop/desktop
Inference here means "running" the model. So maybe it has a similar meaning as in econometrics?

Training is learning the weights (millions or billions of parameters) that control the model's behavior, vs inference is "running" the trained model on user data.
Thanks for clarifying that you didn't mean managers. I was confused because my post was only concerned about managers, and so I thought you were replying to that.
Elephants in Mourning Spotted on YouTube by Scientists
COBOL devs have been at their same job for 10+ years. So take whatever the average dev wage was 10 years ago, and add 3% raises.

Zip Recruiter puts average salaries at around $88k/yr with the top 10% making over $110k. Payscale puts salaries a little lower than that.

The of the few job postings I see, none have salary information listed -- in my experience, that tends to mean the salaries are low or average. And if you're a COBOL engineer, jobs opportunities are slim, even in a region with a large number of older banks and insurance companies (read: prime COBOL industries). There's like one job each in areas like Omaha, NE; Alpharetta, GA; Montgomery County, AL; Chattanooga, TN; Milan, IL; Feather South, FL; etc. In other words, a bunch of places nobody has ever heard of.
I am making the distinction between natural statements and contrived statements. I claim godel only find contrived statements. However there exist non-contrived, natural statements that are unprovable in ZFC. My question is, what set of additional axioms are needed to have a maximal coverage/provability of those independent statements, while introducing the least possible axioms.
And yes indeed ZFC + ¬CH seems like a good first step.
Who cares? Nobody invests in tesla or index funds because of "ESG" scores. Nobody cares about the ESG index. Other than useless privileged people with too much time on their hands. If TSLA was removed from the SP500, that's news. Being removed from SP500 ESG isn't noteworthy in the slightest.
‘People should be more aware’: the business dynasties who benefited from Nazis
Not even legal issues.

In my experience invoicing, and really all 'printable' documents is the land of "oh someone did something wrong put X on the document". And then again and again and again... And "this is two pages long that's too much" and on and on ...

It's bike shedding insanity with no ideal or end in sight. Every change is arbitrary with no real measure of success.

I swear the only time anyone LOOKs at these documents is to bitch about them.

Oh man and just as if I summoned it someone just sent me a ticket about something on an invoice.
A credit note. How the ** do you handle it in the US without issuing credit notes in your bookkeeping?
A lot of the time there’s trade-offs that can be made that engineers don’t even consider because they’re not pure. For example, why do you need a one-to-one relationship between your customers and Stripe customers? I am guilty of it myself, where an 80% solution is unacceptable from an engineering perspective but, actually, when balanced against the cost of building out a perfect solution, the business may well find it very acceptable.

One of the most important things I’ve learned about working with third-party systems is that there has to be some amount of surrender to their way of doing things. Essentially, the price of using Stripe is not being able to use invoices as a quote, and that has to be articulated to the business. If that’s not acceptable, then the business should be considering the requirements in aggregate when evaluating a solution, rather than deciding on Stripe and then gradually re-implementing parts of Stripe internally because they aren’t right for the business.

(Obviously that’s easier said than done, and for engineers it’s a fun challenge to make something impossible possible, but it’s almost always a mistake and as engineers it’s our responsibility to articulate the burden of owning workarounds.)
Biller migration: how we changed our billing cycle
Basically everything you wrote above is what I'd say - except I haven't submitted a bug report or feedback to Kagi...

Basically, when I used DDG, I found myself frequently using !g to search Google instead. For Kagi, I haven't really found myself doing that anywhere near as often.

So yeah, you have to fill out a survey (took a couple of minutes and I got an invite the same/next day), so it's not the easiest to recommend right now. Two weeks and they go free+premium according to an email today.

I think it's just that I, like a lot of HN, have been getting super disillusioned with Google lately - and most importantly the preponderance of obviously machine-generated zero-value spam pages for everything I search for - so I was desperately trying to find something better. DDG constantly disappointed for my searching. Kagi doesn't do that. So I'm happy. $10/month happy? I'm not sure.

Generally, there's a growing group of people who are feeling about Google the way a lot of us felt about Facebook 10+ years ago - it's time to stop relying on it and maybe cut it out entirely (and yes, I know there are plenty of people who felt this way about Google for years already). So I pay for Fastmail now. I guess I'll likely be paying for Kagi now. Quality is getting expensive, but at least I'm paying with my money rather than my data.
> It's a paradox, but I've found that my best ideas now come from building other ideas.

Building and failing and building and failing might be a faster way of getting to something great than vetting, vetting, vetting, building, vetting, vetting building...
In this particular case, yes.

But look at any suburban shopping mall (e.g., in Maps satellite view): how much of the land is for the mall's actual retail space, and how much is for parking?

(Part of this is zoning mandated of course, but it's a bit chicken-egg with regards to car-centric design.)
It's like selling shovels to miners who are mining iron that is only used for manufacturing more shovels.
> We need similar open source frameworks for common business use-cases - billing, subscriptions, order/purchase management, and so on.

You mean like an ERP? There's 2 open source ones I can think of:

- Odoo, which is the bigger one, mostly Open-source (CRM / sales / subscriptions / invoices / webshop / inventory / purchase) but some enterprise-only modules (Rental, Field Services), I work with this software daily as an Odoo Developer (Customizing Odoo for customers' needs).

- Erp-Next, which is completely open source as far as I can tell, through my limited testing it seems to be less advanced than Odoo currently.

EDIT: you can even check runbot.odoo.com for some test-environments which are automatically built, where you can test/experiment, login is always admin:admin
Sorry, Rube Goldberg was a cartoonist who drew ridiculously over elaborate machines. Some biochemical pathways strike me the same way (though this is mostly due to contingency and opportunistic reuse, and definitely not gratuitous complication per-se).

https://www.nytimes.com/video/science/100000002588110/rube-g...

Edited to add: and I AM aware that much of the "over complication" affords opportunities for positive and negative feedback loops that subject a pathway to external control of various sorts and variable expression in different conditions, cell types, and tissues.
From the article:

> The increasing rate of screen time in early childhood has engendered concern among clinicians, policy makers and parents regarding its possible effects on children’s mental health,” the authors write. “This study found small but significant correlations between screen time and children’s internalizing and externalizing behaviour problems.

Sounds like the parents are looking for validation of their pre-existing notions. Did anyone investigate that increased screen time could be the easiest accessible outlet kids have to cope with difficult situations?
This is false because everything isn't metabolized the same. I don't like this idea of trying to apply physics. It's not the right model.

Simple example, you eat only protein and fat, you don't gain weight. You substitute some fat for carbohydrates and you suddenly go up in weight. This despite you just went down in calories.

You can also mess with your feeding window and loose weight. Simply cram in a days worth of calories over a few hours and eat nothing for the rest of the day and you'll likely loose weight do the opposite (eat several times during the day) and you gain weight. Assuming same total calorie count overall.
BLE Proximity Authentication Vulnerable to Relay Attacks
Umm, excuse me, what?

The author is telling people to pick up Cobol/Basic/Pascal/MUMPS (and not Go or another modern language) as their first language in 2022? To make themselves more employable? How did this make it to the front page? I get that some people will like the old-man grumpiness in the post but put that aside and focus on the actual advice they're giving - it's just outright harmful career advice.

And also, think about it from first principles - why would people starting their programming careers 15+ years later than most people need to pick different tools? It makes no sense at all.
Because they fear pissing off nvidia. Everyone wants their gpu to work after all.
unless... multiple inadequate cleanings build up over time to a dental problem that could have avoided in the first place by going to a better dentist
This would be at best unidiomatic and at worse, frustratingly complicated in code where you're sharing a client across many goroutines. You can do it (and I have done it, to deal with a very weird server) but reusing an http.Client is rarely seen as a source of problems - nor should it be. The client has no clue how many layers of proxy and lb might be between its contact and the real server; if it wants me gone, it should close it or respond with `Connection: close`.

If you're in some other environments, e.g. a browser, this might not even be possible.

And again: If the request is non-idempotent I'm SOL no matter what. (I don't see anything in the post that says it was or wasn't.)
Anh-Tho, one of the co-founders of Lago, here!
yes totally, each time I open a pricing page, I have full sympathy for the engineering team who made it happen! I used to be the one tweaking with pricing plans on a spreadsheet and handing it over to engineers in a 'just make it happen' fashion!
No, you can use transfer learning.
How do you know the dentist is closest to your house unless you considered multiple options and ranked them by distance? In your case, "best" includes time convenience and you did compare options without even being aware of it.
Besides maximising luck, the only real strategy I follow is buy low, sell high in a sense of keeping the burn low and counting on a win every 3-4 years that will create enough cash to finance the next period of failures — because what got you here won't get you there ...
I spent a lot of time right out of college working on the equivalent of an invoicing system for a pharmacy chain (rx drug pricing, electronic carrier submission, and reconciliation).

Account receivables is also another nightmare. We would get checks that randomly show up at corporate for no reason from insurance carriers but then when the carrier realized their error instead of handling it as a separate process they would deduct the check amount from whatever invoice ( or even across a range of invoices! ) from us they felt like. We literally had a bucket called "magic money" these random deposits went into that we would use to fill in the A/R gaps from insurance carrier insanity. There was no connection between magic money and whatever invoice they decided to short change us on so it was just a hope-for-the-best process.
A big part is that Python uses reference counting GC. Java, Go, C# all use tracing GC. Py_INCREF and Py_DECREF are responsible for inc/decreasing the reference count, and are not atomic. The GIL ensures refcount safety by allowing only one thread access to changing refcount. The naive approach to parallelization would require locking each ref inc/dec. There are some more sophisticated approaches (thanks to work by Sam Gross et al) that avoid a mutex hit for every inc/dec.

Tracing GC does not run into this problem. Why Python doesn't use tracing GC is not something I am qualified to answer.

Sam Gross' work: https://docs.google.com/document/d/18CXhDb1ygxg-YXNBJNzfzZsD...

The GIL code:
https://github.com/python/cpython/blob/main/Python/ceval_gil...

Py_INCREF: https://github.com/python/cpython/blob/a4460f2eb8b9db46a9bce...
They're meaningless. I don't understand how these things can continue to exist and evolve in ever more ridiculous incarnations of the same stuff. If, next year, they all disappeared and managers just "cut the pie" for their own sub-org-- nothing bad would happen and the vast majority of folks would see it as a relief.

The weird thing is that almost everyone, even high up in the organization, thinks these performance eval mechanisms are a baloney waste of time. But somewhere, at some level, somebody is really pushing hard for these and values them.

Is it a suit thing? At what point in one's career does someone all of sudden decide "yeah, having everyone write paragraphs of BS justifying their work performance is a good use of time and THAT will REALLY solve problems"?
There was a report comparing M1 Pro with several other Nvidia GPUs from a few months ago: https://wandb.ai/tcapelle/apple_m1_pro/reports/Deep-Learning...

I'm curious on how the benchmarks change with this recent new release!