skysight-inc/HackerNews huggingface dataset:
> puttering around organizing my space gets me moving

I've done this myself. Three or four hours has seemed optimal. Time to meditate.

On occasion a string of Reward Beers (TM) provides motivation and carbs.
My point is that Android is very complex because it has to support a diverse set of devices. The complexity paid off for Android for sure, but will it for Meta VR headsets? That's debatable. On one hand it lets the exploration outside Meta, on the other hand, it slows Meta's development down.
It is a very simple blog post, it makes a simple point, but I also think it is a very important point: Types are a means to an end.

I am implementing Practal in TypeScript, and it is so much more productive than if I had to do it in JavaScript. I am (mostly) not using any advanced features of the type system, but use it for its simple features, as described in this blog post. The greatest feature: I can ignore the type system, where it makes sense. That isn't as bad as it might sound, given that the type system of TypeScript is not sound in the first place.

The blog post suggests also thinking about other means to achieve the end (less bugs), such as push-button technology like static analysis. I agree with this, but am more interested in another direction of developing this thought: If we are actually proving theorems in a logic about mathematical objects like code, we don't need a type system, either. In fact, a type system can and will get in the way of formulating your theories in the simplest and most elegant way. It adds the additional constraint that on top of figuring out how to express something mathematically, you also need to figure out how to express it in this particular type system. And while often these two things are aligned well enough, this is not always the case. By the way, note that I am not saying that types themselves are not always useful. They are. It is just that we don't need a static type system to use types, which I think of as abstract sets.

Let me anticipate a comment someone will make: But type systems are how in practice logic is implemented, what are you talking about?! And yes, if you look at the main systems in the space, like Isabelle, Lean, Coq, they are based on type systems. But that is not how it necessarily needs to be done. You could be using first-order logic, like Mizar does, but that comes with its own set of restrictions, mainly missing out on higher-order features. What I am implementing in Practal instead is Abstraction Logic [1], which is higher-order, but based on a single mathematical universe instead of types.

Now, right now that is a far cry from the push-button alternatives the blog post suggests, but a) it is not opposed to these alternatives, but an additional angle to view things from, and b) it is becoming much more push-button than it used to be with the help of increasing compute power and AI.

[1] http://abstractionlogic.com
> Utilizing Llama3, I developed an ADHD assessment tool

So the headline shouldn’t be “Llama3’s AI-Powered…”

> …that synthesizes findings from the Adult ADHD Self-Report Scale along with 23 other tests to create comprehensive diagnostic reports.

Purporting to do this sounds like it is either a software medical device that would require evaluation by the appropriate regulatory authority (FDA in the United States) before being offered.
I truly despise what Microsoft has become. I rarely even use Windows but the amount of monetisation that has occurred has degenerated a somewhat acceptable product into something that is bloated spyware trash.

I’m honestly surprised that there isn’t more government intervention - the productivity loss of the useless features, constant prompting to update to windows 11 or mode to edge and potential data spills caused by OneDrives absolute persistence is mind blowing.

If anyone reading this works at Microsoft as part of a team complicit in this behaviour: fuck you.
It might not be a problem for DOS 4, but often the source code of software that was only ever meant to be published as closed source contains source code that was licensed from 3rd parties. This license may not allow publishing the source code.

Doing an investigation of what licensed software was used and possibly trying to get permission from the relevant rights holders (if you can even figure out who owns the rights so many years later) can be a big and expensive task, unfortunately. I understand why companies might not want to take that on (even though it sucks).
How’s that related?
Feels like there's more depressing stuff than that going on in the world. Sure, it's a constant struggle against government overreach and most of us live in a capitalist society, but it's not war or famine. On the other hand I'm optimistic about the fact that there are a lot of people out there--in software and otherwise--who do stuff just because they care about it.
On this style, I've loved

Archaeological Dig Uncovers Ancient Race Of Skeleton People - https://www.theonion.com/archaeological-dig-uncovers-ancient...

Study: Dolphins Not So Intelligent On Land - https://www.theonion.com/study-dolphins-not-so-intelligent-o...
The Nigeria video is a masterclass in subtle comedic scripting and acting. Old favourite.
May Be Our Last Chance to Halt Bird Flu in Humans, and We Are Blowing It
I have never heard of this company but after reading this letter and visiting their website, it is very clear they were the real deal. My sympathies to all involved & affected.
As is often the case, the article gets the difference between open source and open weights wrong.

Also, they don't seem to understand that Apple's variant of the MIT licence is GPL compatible.

> This is Apple's variant of MIT. They've added wording around patents, which is why it gets it own shortname. Apple did not give this license a name, so we've named it "Apple MIT License". It is free and GPL compatible.

https://fedoraproject.org/wiki/Licensing/Apple_MIT_License
> How’s that related?

OP doesn’t like privacy invading capitalism

Yet OP wants his investments to go up in value.

Personal data has value. Those who use it will outperform those who do not.
Why not?

Destroying harmless creativity and amusement culture is evil.
New business models come around very rarely. In the mean time, existing companies optimize everything they can relentlessly - that's why people own their stock.
To each their own but I find Fedora upgrade cycle is just a bit too tight for my preference. Properly planned you can get away with yearly but it still feels like I'm due for a dist upgrade every few months.

I'm curious to try out Silverblue, though, where this shouldn't be an issue in the same way.
Here's what they are referring to:

https://en.m.wikipedia.org/wiki/GNU/Linux_naming_controversy
Maybe there's "Dunbar number" for things we can keep liking
I’m not sure that there’s much relationship between the two properties - if anything the seediness of current behaviours costs me, you and the wider economy via highly strategic profitization of us.

We are the cattle, complaining about how green the grass could be doesn’t stop us from ending up slaughtered for meat.
The dividend is interesting. Why not spend that to further grow new businesses for Google? Is it signaling that they're not unfairly using strength in one market to take over another?
My understanding is the hardware is just for early adopters. They don't have the AI ready for mass consumption, it still needs to be trained on many of the tasks people are going to ask of it. Therefore, the early adopters who will go through that pain are willing to fork out for the hardware.

Then, they will either
a) sell a new hardware with subscription
b) sell only software likely as a subscription
c) plan just to be acquired.
Did investments not go up in value before online data harvesting?
Ok, we changed the top link to that from https://buglab.ai/platforms/user/register.html. Thanks!
When I was nine years old, I liked poking around with a hex editor on my dad’s PC.

I didn’t speak English and MS-DOS wasn’t yet localized to Finnish in 1989, so I decided to try translating it myself with a dictionary by manually finding and replacing strings in the SYS/COM files. The result worked and my dad was suitably impressed, if probably a bit peeved that nothing worked anymore in the shell as expected (since I had replaced all the basic command names too — “dir” became “hak” and so on).

It’s pretty cool to see those strings again in src/MESSAGES.

At the same time, it feels a bit sad that today’s kids can’t get the same feeling that the computer is really theirs to modify. Modern operating systems don’t run binaries tampered with a hex editor. Most kids are on operating systems like iOS where they can’t even run a C compiler.

They can play with code in various sandboxes locally and on the web, but the computer fundamentally belongs to someone else today.
I know plenty of people who live in Washington and work for Seattle firms without living in Seattle. Many live in much cheaper places like the Peninsula, south toward Tacoma, or up north in Snohomish county.

They work remotely or hybrid. In some cases, companies like Microsoft will transport you in a very nice coach bus - with excellent wifi so that you can work during the commute.
Perhaps because the VPS is hosted somewhere remote and (s)he needs to ssh into it. Why ask questions in such an arrogant manner to begin with.
I saw that he signed off with that in the letter. What does it mean? Founding year? Callsign? Channel?
Ben collins is a promoter of this left right war, he was literally suspended for being biased. That is not a good reporter, he is a beneficiary of the culture war and its disrespectful to actual factual journalism to call him anything else but a political stereographer who is out to push ideology above facts.
How to detect imperfect simulation: some unexplainable missing wavelength bands, or quantisation of results where it should be continuous would hint at "cutting corners" in simulation, like steps in energy levels from very distant xray sources perhaps?

As far as we know, our "physics" does not show any possible imperfections, or we didn't thought of all imperfections which could arise in simulation.
They were general purpose computers. You could do BASIC or machine language and run other software on them. Lots of software developers grew up on those.
can blockchain technology or more generally any other not fiat money help somehow the situation?
for dev there is already pg-lite server (postgres as nodejs/wasm) you can spin up, it's self-contained single-folder db to disk, 100MB RAM thingy. Highly experimental. Not sure if supabase codebase is setup for debugging the way you suggest.

https://github.com/kamilogorek/pglite-server
How do you conduct a security assessment of AWS?: r/cybersecurity
At best they are like PayPal... So pretty bad.
You just used "extreme", "left" and "leftist" 7 times in 4 sentences. Sounds a bit "extreme" and "biased" to me.
Well, if you want to connect to your home LAN from your phone anywhere in the world you either need SSH or some VPN port opened either. Alternatively you can use some SaaS server where everything initiate the connection against the remote SaaS endpoint, but if you want to stay 100% local you need to open a port.

For ssh changing the port to something else usually takes out 99% of bots.
> Did investments not go up in value before online data harvesting?

They did. But not in 2024.
Ideally integers, but at a large multiplier.

Google's money proto [1] has units and nanos. Any competent ad-tech system will use something similar: integer number of micro-dollars, nano-dollars, etc. You want a fair amount of precision, so just tracking whole cents isn't enough, but you want that precision to be (linearly) equally distributed across the value space so that you can make intuitive guarantees about how much error can accumulate.

[1] https://github.com/googleapis/googleapis/blob/master/google/...
Every mobile carriers should be required provide all known hops (and eventually block all carriers who do not do this so there are no weak links) so that we can block calls uBlock Origin style or similar. Blocking anything with any non-US hop would work for me.
you’re right? I’m pretty sure I remember a moderator ruling about this?
> dressing well and working as a team

An argument against incarceration is that it might turn minor criminals into hardened criminals.

Maybe transporting undesirables to a continent inhabited by cockatoos wasn't the full shilling?
The Left no longer means pushing for worker unionization or trying to expand welfare programs, at least not in the rich countries. This traditional left has become fringe almost everywhere in the top 20 economies.

The Left is now a mostly academic movement dealing in obscure words.
It is quite ridiculous in my opinion that the iso standard is paywalled. When it comes to standards, we should be driving adoption by making it accessible, in particular for open source developers, students learning etc. Piracy of standards may actually be beneficial for their success. I wonder who buys the access at such price and how much money iso makes it any at all.
If China suddenly became democratic, that law would be repealed?
If you work for a company that pays a bonus over the financial year then that payout usually happens in August/September. This is probably what they are referring to.
I'm from Australia.

I grew up on a cattle station in the Nor'west.

I'm downvoting your comments for their strong foaming at the mouth unhinged vibes, and I'd do the same if they ranted in a similar manner against some other part of US culture.

I dare say you could make a comment with fewer empty buzz phrases if you tried.
For the most part I have adopted the trope of 'the only way to win is not to play'. By that, I mean checkout of online life as much as possible.

The issue is that if 95% of folks decide against building these systems of oppression, that 5% remaining will still build it. And then the other 95% will justify it as "If I don't, they will". The sign of moral corruption at work. And those that do it will always have a 'claim to virtue'. They are innovating this that and the other under the disguise of progress. The real question is, was it worth it?

The weirdest part is that Richard Stallman essentially spelled it out in full back in the late 1980's and almost nobody listened.
How do you know he has any investment?

Did you read his personal data?
Super creamy Apple pie [video]
It’s so niche that it regularly wins the popular vote in the US despite massive voter suppression.

The only reason the god n guns lobby wins in the US is 1. the constitutional settlement which massively overweights rural voters and 2. corporate lobbying in a winner takes all system which is prepared to hold its nose and bankroll racist hicks if it means they get their corporate welfare.

You are a great nation, but very little that anyone admires about the US has come from the flyover states (and even then probably because of federal pork barrel science and defence funding for those educated elites you hate so much).
It's the sovereign right of any country to be protectionist. Protectionism is actually the default. Open markets is not the default. I'd like to think the open US market is what makes it great, and too much protectionism actually stifles innovation and the robustness of the domestic economy.
Same here. I have bright daylight lights in the kitchen part - it looks like a lighthouse because this is a place I need to see.

The living room is warmer but still very much daylight, otherwise I would sleep there all the time
Sorry what?

As a Canuck, US politics is typically indecipherable, eh! Most news makes no sense, until I found The Onion. Now you are telling me, you bunch of hosers made it all up!

Signed "Bob Jenkins, Canadian Minister of National Affairs"

"You made it all up! Ah, damn you! God damn you all to hell!”, Charlton Heston, a Great Canadian
There is a great judgment of Germany‘s highest courts from some years ago, where a criminal verdict was reversed and remanded. Almost in passing the court noted that the (professional) judges should have been more careful.

Of the xx counts, some were acquitted, some convicted, some both, and some neither. Of the convictions the lower court had sometimes given prison term y in the upper part of the judgment, but prison term z lower down in the text.

And so on. The higher court dryly wrote that special care has to be given when dealing with many counts.
What? Is this what MZ means? Fascinating!
> The losses go far beyond the cost of building and selling those 10,000 cars, according to Ford. Instead the losses include hundreds of millions being spent on research and development of the next generation of EVs for Ford. Those investments are years away from paying off.

Premature amortization ?
> can blockchain technology or more generally any other not fiat money help somehow the situation?

Yes it can, but existing governments will not cut off their own limbs (give up their current power over currency management and tracking) by adopting a true blockchain.
Quick commerce, slowing globally after pandemic, is thriving in India
It's Been a Year and Georgia.gov Continues to Be Hacked
I have never used an LLM for buying intent and those are the valuable queries, AIUI.
Nice. I think I've heard of that title.

I've met a few gems amongst a cavalcade of colorful characters who perhaps could be captured fairly between pen and paper to record an echo of human splendor that should live beyond time.

- A paranoid but happy and cynical gentleman with long, scraggly hair like a wizard from the Appalachias who was a military aircraft electrician and an Apple rework tech. Stories spanning every feeling with hilarious exaggerations for emphasis.

- A former writer at big name NY newspaper, ex-hippie, and crab fisherman who had quite the life of drugs, women, and was part of it. Body might be shot, but a mind sharper than people who are 30 now without hyperbole. Knows where, when, and who of the cool spots of then and now.

- You'd swear he was dangerous or black Santa Claus. Nope, sweetest and coolest guy in the world. Picking cotton, keeping out of trouble during times that were turbulent, elevator repair, and teaching.
You display the logos of the World Health Organization [0], Attention Deficit Disorder Association, WebMD, US Centers for Disease Control and Prevention [1], and the American Psychological Association on your site.

What is your site’s relationship to these organizations and do you have permission from them to use their logos to promote your site?

[0] “WHO logo cannot be used without written authorization from WHO”, https://www.who.int/about/policies/publishing/copyright

[1] “The CDC and/or ATSDR logo and other related CDC, ATSDR or Department of Health and Human Services (HHS) logos and marks are U.S. government property and may not be used without express written permission from CDC, ATSDR and/or HHS.” https://www.cdc.gov/other/agencymaterials.html
They did, but those companies who don't do it today are doomed to fail because the other companies that do will sell more, including both products and users' data.
If that didn't happen, and the ISPs started profiting off non-net-neutral tactics, it could have been permanently fucked.

Once someone depends on a legal source of income, if that source of income gets banned in the future, they generally get to keep that source of income "grandfathered in" if they take the issue to court.
The Battle of Beersheba ties two worlds together: on the one hand both sides were using aerial reconnaissance (akin to this 2024 thread), on the other the australian 12th channeled their inner Alexander and galloped through a gap directly to their victory condition (akin to Gaugamela 331 BC).
As a nice crossover, the Economist predicted the number of blades to go to infinity in this beautiful graph: https://www.economist.com/science-and-technology/2006/03/16/....
> How do you know he has any investment?

You telling me he doesn’t have a bank account, cash pile under his mattress, or piggy bank (if a child)?
> One of the most welcome changes is the addition of a teal paint finish, which Toyota calls Ocean Gem.

Great takeaway. How ever did we manage without teal colored Toyota Camry's I will never know.
> Only one signer is in the top 200 contributors to Nixpkgs. That number is still the same even if you count signers in the top 500, too.

An 18000 commit user just left NixOS FYI

https://discourse.nixos.org/t/major-nixpkgs-contributor-leav...
> Once someone depends on a legal source of income, if that source of income gets banned in the future, they generally get to keep that source of income “grandfathered” forever if they take the issue to court.

That’s… not true.

Otherwise, all the people depending on selling drugs that were later banned would have been grandfathered in when the drugs were prohibited.

Even when there is a regulatory taking (that is, government regulations eliminate the value of existing property in a way that is considered a taking under the 5th amendment), the remedy is compensation for the lost value of the property, not a lifetime exemption from the regulation.
Is there something similar for flask apps that anyone knows of?
You’re making up a worst case scenario.

> Following your logic perhaps we just need robots with guns.

That doesn’t follow at all.
right now we have US ( and dollar ) hegemony. What if we will end up in multilateral world. What would be the new currency if no one will win current wars?
This can come across as Whataboutism.

Whataboutism - 'The technique or practice of responding to an accusation or difficult question by making a counter-accusation or raising a different issue.'
> Generally it’s immutability slowing down the maths not the calculations

>> A brief history of recent optimizations

>> Erlang/OTP 22 introduced a new SSA-based intermediate representation in the compiler.
Software engineering is a field full of neurodiverse people. Trying to police each other's language around mental health in a field where, at least historically, the majority of practitioners are going through some sort of mental health struggle, is borderline rude IMHO.
This reminds me of the Kubernetes API.
Link is wrong, should be: https://old.reddit.com/r/RealTesla/comments/1cd4baj/andrew_b...
Oh this is about the impact on the company. For some reason I clicked on this thinking it would be about the impact on the people layed off and was looking for another story where The Onion writes itself.
Also many HN commenters don’t get the distinction between open source and open weights… not very surprising that ars technica also doesn’t
That's not true. Read the rule. If it starts outside of the EU, then it's only applicable if the carrier is an EU carrier:

https://www.eccnet.eu/consumer-rights/what-are-my-consumer-r...
This is a fascinating project, thank you for sharing! I agree with the previous comment that providing more context for new visitors about what to expect would be beneficial. I also share the same concerns about data retention, as it's crucial for user privacy.

Additionally, I noticed that you've used Vapi.ai and elevenlabs.io, both of which seem like powerful tools. I'm curious, how did you decide on using these two? Did they meet all your needs, or did you encounter any challenges during their use?

Lastly, I think the idea of a mock interview is excellent, as it can help applicants better prepare for YC interviews. I look forward to seeing further developments on this project!
No, those are Backups stored in iCloud / Google Drive. Google / Apple have access to those, not Meta.
Because the law says that you have to pursue the claim with the flight operator.
The gallows are an untapped market for advertising and popcorn sales.