skysight-inc/HackerNews huggingface dataset:
> the Metaculus community does it again and again.

Do they? I can't see where on that site there is something like "history of predictions" or "track record".

Edit: here.

https://www.metaculus.com/questions/track-record/

But now I can't tell if it's good or bad.
Hedgewars uses fixed point due to inconsistencies in floating point implementations breaking deterministic lockstep. 0AD and Spring: RTS has similar issues although I think both use streflop now.
Talking form a perspective of someone who worked at Google and one other similar company that shell remain nameless... as well as simply looking at places like Github where people tend to post projects they are working on: I don't know of any Github project that would be even in the size range to cause any discomfort for a laptop user.

Even when it comes to the larger projects: I have multiple checkouts of GCC and Linux kernel on my laptop, and when I run du their existence doesn't even register in the first dozen results... Of course, proprietary projects tend to be on a bigger side due to putting a lot of not-strictly code-related stuff in a repository, but still... it would have to be billions LoC big to be prohibitively big for a typical laptop.
A counterpoint is that if the government was doing this instead, it meant government buying stocks collectively with the money taken from people as payroll taxes, then distribute the proceeds. But it will mean government owning means of production, and on enormous scale - almost a textbook definition of communism. It was both politically impassable, and also will inevitably end up in a massive disaster if actually tried, will make entire economy into a charade of manipulation. People will start companies with a specific goal of getting "on the list" of those government will buy, instead of a goal of making money, as a result giving birth to monsters. Huge fortunes will be made by tricksters teaching people how to build these companies for them to appear more plausible, and these tricksters will be same people who will make the decisions, through the revolving door system. It will be hard to do any macroeconomic regulation because say, increasing interest rates will mean the government directly loses money because stocks fall. Every conservative politician will love to see the huge mess a decision like this would produce, will be the best proof of Republican "government is bad" philosophy.

For someone born in the Soviet Union, this idea sticks so bad there's not a slightest inclination to try it out.

Other approach is "the government should directly own the productive assets it creates itself, not buys on the market", but that will create an even bigger conflict of interest (government will have to make sure those pesky private businesses don't compete with it), it will be truly a resurrection of the Soviet Union, and a wall will soon be needed to keep people in, rather than to keep them out. Been there, done that. No need to repeat the same to arrive to the same result again.
Of course, LLMs would be more useful to many more people if they could be used without skill, and were as "useful" as a human mentor.

That's true, and they lack that capability. Many people seem to react as though this means they're missing all value, however. I find them incredibly useful; it just isn't possible to get much value out without investing effort myself.
Yes. And I've never once run into issues with redundancy of information being a problem. It's the clever things people do to hide information or to be concise that reliably get them confused.

> The closer you can get to the whole UI being a single sentence and two buttons the better.

Sure, but this is kind of my point—clever UX tricks to communicate things without words don't work for them. A toast is valuable for the tech-illiterate precisely because it uses English text to communicate its point, and having it exist in the same spot for every action makes it easier for them to pick up.

It's not the be-all end-all of UX design for the elderly, but it's a heck of a lot better than the alternatives proposed in TFA.
As I see from the public stats, it's about the rate people get for a car loan in US. And a car could easily be above $70K. From personal experience, when I had no credit history (i.e., the similar situation) I was charged twice of that rate. So it doesn't seem to be a lot.
Not my experience at all. Just one example: try talking to physicians about false discovery rates; even those who do not profit from state-of-the art screening methods. Incorporating Bayesian methods is even a struggle for statisticians. It is a stuggle for me.

John Ioannidis has much to say on this topic:

https://en.wikipedia.org/wiki/John_Ioannidis
Operation Black Buck [1] used inertial navigation.

[1] https://en.wikipedia.org/wiki/Operation_Black_Buck
The interactivity element is particularly exciting. I can see a lot of potential applications with not just shopping but edutainment. Appreciate it being written in Typescript as well!
Or that people who don't know many scenarios of the past cannot draw upon similarities or see the connection without experience and thus conclude their situation is unique.
That's a decent list of some of the problems with them. Toasts are my second most hated UI element. The ribbon is my most hated.
Have you?

Things disappearing with insufficient explicit feedback for what actually happened to the things is one of the most common issues I've encountered with older computer users. I think it's the most common issue. Toasts add persistency and visibility for users who barely or don't understand the UIs they're interacting with, which makes it easier to understand what happened.

If Outlook gave feedback to every user action in a toast, then provided a universal history of every toast, you would probably resolve a significant amount of issues caused by user actions leading to unintended changes (and being unable to recognize that the action lead to a particular change, or even how the current state differs from the previous one).
The metaphor, I think, is that your code is a mathematical function, and, to be even more specific and "toy example" about it, let's say it's a polynomial. If the old code was

x^2 + x z + y x + y z

then you notice that you can express the same polynomial as:

(x + y)*(x + z)

It's still the same polynomial, but you "separated concerns", turning it into a product of two simpler factors.

Similar ideas apply to sets of tuples. Perhaps you were given

{(1, 1), (1, 4), (2, 1), (2, 4), (3, 1), (3, 4)}

and you notice that this can be expressed more simply as the Cartesian product:

{1, 2, 3} x {1, 4}

Again, a literal factoring. You can imagine how variations of this idea would apply to database tables and data structures.

That's where I think the word "refactor" comes from.
Tangential: is there an IDE out there that supports different color schemes for each window it has open? does Pragtical? I didn't see it in the docs

I used to like having different projects open in different windows and easily differentiate between them with their color schemes. Kinda like setting a terminal to open with a random color profile

It seems like vscode and sublime want to change the scheme across all the windows.
Blazer is my favourite BI tool by a country mile. It does all I want with no fuss, is a breeze to set up and it's so much faster and more efficient than any of the other BI tools I've tried.
The UK has no national ID - it is still a disaster waiting to happen, but it is worth noting that most of the worst effects are still under consultation by the regulator and not being enforced. It is still possible it fails under judicial review at some point (given how atrociously drafted it is).
Napkin, a note-taking product that uses AI to visualize text content
What politics don't fit in such a story, besides the ones the developers are afraid of telling? Wukong is based on Journey to the West, a story which itself is rife with political allegory. If the developers want to faithfully adapt that story to a new medium, they have to either adapt the original message or update it with a new one. Otherwise you might not even bother basing it on a story at all and just name the main character Donkey Kong.

Being political doesn't mean ranting about Disney movies or trying to endorse political candidates. In Soulslike tradition, it means telling a story about classical conflict defined by postmodern fantasy. Dark Souls was about manipulation and illusion, set against the backdrop of a struggling (fictional) kingdom that grooms the player into supporting a horrible ritual. Sekiro tells a story about monks and clergymen giving up their ritual purity (kegare) to attempt a selfish religious transcendence. Bloodborne is about... well, feminist propaganda, and men ignoring it in order to unravel a science that makes them less human. Elden Ring is entirely propped-up by political intrigue, if you get to the end of the game you genuinely will not understand what has happened unless you understand the diagetic politics of the game's story. These are Wukong's contemporaries, whether the developers like it or not.

So... with that being said, I don't look at Wukong and think "Wow, these developers sure feel confident about the message they're trying to tell". It feels like another example in the far-too-long list of mediocre games released by a state-sponsored Chinese studio too afraid to excel. I don't want to play video games that compromise their storytelling because they're afraid of how the player might react. It's a disrespectful waste of my time.
'Inside Out' and Its Sequel Changed Therapy
Fair enough, but when they are not communicating the same thing, there are no grounds for objecting to them on the basis of redundancy.

The problem with notification only of failure is that one is left uncertain about success, though I would agree that striking a balance between distraction and uncertainty is difficult.
And we don't constantly have to label mundane things as legendary
We had an informal college group “music appreciation” that would meet every Wednesday to listen to 2 full albums—-each related to the other in some manner. The only rule was “no talking while the music played.” It lasted four years and I miss it!
Cool stuff but i've never seen much come out of these kinds of things. Crowd sourced surface pressure application will bring in so many observations the forecasts will be improved 30%. Fuck no.

So you really think you can launch a giant network of balloons and have that data integrated into the NOAA/NCEP model suite? Even if you get over the red tape it will take 10 years + to integrate this shit into the data assimilation program. You claim that you can input your balloon data into magical AI and it produces better forecasts than what the GFS? What is the standard of measurement I dont actually believe you at all
How people are using AI
In the US, you have different tax status if you're married. There used to be a marriage "penalty" for dual income households because of progressive buckets (the combined income would push you into higher marginal rates). i.e. it would actually make sense to not officially get married for tax purposes. Trump mostly eliminated that, and now everything but the top marginal rate (above ~600k) has doubled thresholds when married.

However merely using progressive rates isn't enough; people see it as a penalty for getting married, not having a dual income. You'd want something like a credit for stay-at-home childcare to directly incentivize it. Right now, we actually subsidize working parents through childcare tax credits/deductions. We could at least make this more neutral by eliminating childcare incentives and increasing the child tax credit.
> We aim to make Meilisearch updates seamless. Our vision includes avoiding dumps for non-major updates and reserving them only for significant version changes.
We will implement a system to version internal databases and structures. With this, Meilisearch can read and convert older database versions to the latest format on the fly. This transition will make the whole engine resource-based, and @dureuill is driving this initiative.

Seamless upgrades has been my dream for Meili for a while, I'm still hoping I can smuggle it with the indexing refactor itself :-)
Auto Straighten is now 5x more precise
Last time I looked at it you're only sending a hash prefix of the website address. You get back a list of sites matching that hash prefix. Works basically the same as the "Have I been pwned" API.
Likewise, an automatic transmission is a hydraulic computer.
Personal Identity
> How am I supposed to be responsible for what people who connect to my wireless do on the Internet?

In the US at least, you're not. Some even run open wifi on purpose for plausible deniability: https://www.schneier.com/blog/archives/2008/01/my_open_wirel...

I think the theory is that if you can't prove it was actually you who downloaded something (they never can), then the fact that you have an open wifi makes it reasonable to conclude that it could have been anyone, and the case gets thrown out.
> Serious question: what king did Google kill? They really didn't take down a big player in an existing industry, they started by being very good at search and displaced other search companies at a time when internet search wasn't a big business.

The answer is easy - Microsoft. They didn't directly take on MS's business, but in the general understanding of what was the big tech company, the one that gobbled up the best engineers, the one that startups were afraid would decide to compete with them - that was Microsoft in the late 1980s and 1990s, and it started shifting to Google.

And even though they didn't directly compete with them on being everyone's OS, they indirectly competed with them by turning the browser itself into, effectively, the OS everyone uses. They killed IE with Chrome, they made which OS you use far less relevant, they took over Mobile OS (shared with Apple, of course), and they are now competing on Cloud.

There is no question that what Google was from 2005ish to 2020ish, Microsoft was before that. You can even read pg articles about this exact thing.
This is what I'd like to get to - I think I would be bored stiff being fully retired, but I don't want to need to work 8 hours a day, 5 days a week. A day or two would be ideal. There are numerous permutations of "FIRE" but I think this is called "Barista Fire"
Thanks for this, Phil! Blog posts like this one that break down complex topics into digestible pieces are a big help for the space and are some of my favorites.

Antithesis employee here. Happy to jump in and answer any burning questions people might have about Deterministic Simulation Testing (DST).
It's not ironic; it just demonstrates that design is hard to get right.
I think a MacBook Pro M3 Max should cost $2.35 after tax and it should let me install as much RAM as I want. If not, I should be justified to steal it.
OpenLiberty: A GTA 3 reimplementation on the Godot Engine
That history extends back the other direction too with mechanical tide prediction machines, or even early marine chronometers for navigation - the OGps if you will.
As always when there is a clickbaity title that you think cannot be true it just lacks any nuance. Toasts are for displaying updates on things that happen OFF SCREEN, eg when doing something that takes a while and navigating to another screen. In addition toasts require a home for context to work propperly. This can either be a stack of toasts for very simple applications or a notification sidebar that can be accessed from a bell icon or similar. Toasts need to be shown close to this entry point to their home, not on an opposite position of the screen. The 2 most common mistakes are: a) show toasts for things that happen on screen instead of showing feedback in the actual action UI (its fine to keep them in addition for consistnecy) b) not have a home where a user can see what happened combined with autohiding toasts after a few seconds. (i cannot count how often i saw some dangerous looking error toast but could not read it in time, leaving me with a bad feeling especially for important things like admin UIs)
A buddy of mine and I are working on a weekend project together. We recently realized that we don't need all that much precision, just a little, and switching from doubles or floats to 16-bit fixed point in our main data structure actually makes it small enough to fit an instance in a typical cache line (< 64 bytes).

Completely unnecessary for our target platform but deeply satisfying.
What? No, you don't need a console. One switch can play a 4 player or 8 player game just fine. How it's been for decades.
No, they don't need to be adjusted. The linked website has already adjusted for CPI. There's even an option to turn on/off adjusting, and it's on by default. I didn't cite because this is using the same data / website as the original claim.
> Without access to a companies books, you don’t know how they fund things

I’m highly certain about that. Regardless also I don’t think most companies work like that. More or less all revenue at least from the in specific divisions like Windows or Azure is going to the same pot.

> Nobody has enough facts outside the companies

Well.. same argument applies to > 90% of all stuff people say on online forums like HN and makes most online discussions entirely meaningless.

Regardless we can still reason about a lot of things with a fairly high degree of confidence without complete certainty.

> we say that they could make it all free and still afford it, it would still affect priorities of what gets developed.

Yet it’s the direction MS has been taking over the last 10-15+ years. They have invested massive amounts of money into products which are either effectively free for most users or don’t really generate enough direct revenue to fund them like GitHub.
Given all the limitations this API has, including "Emails can be scheduled up to 72 hours in advance.", the use-cases they mention like scheduling an email for an event or a weekly digest, will still require using a Job Queue in your application (like Oban for Elixir), mostly negating the managed-service aspect here.

Another issue is, when using a job queue, you may check at the time of sending the email whether you still want to send it. With queuing it, you'll have to periodically check for all scheduled emails whether you want to cancel any.
Saudi wealth fund brings era of easy money to an end
Aha fully-sighted and I've never noticed this... 15 years of mac use.
Project was founded specifically to counter the modern trend of using web stack for editors
Many 'rules' including this one can be broken if you know the tradeoffs and can make the case-by-case choices correctly. But that was a poor example for motivating a behaviour.
Yes but mailik only sends mails to your addresses not clients. However we will think how to filter spam ofc
Ah, thank you. The Plug-in version is one of the main selling points of VCV Pro though, no? I have VCV as a VST plug-in, plus the ability to use any VST plug-in inside VCV which were for me the main reasons to purchase it (apart from wanting to support the project and buy commercial modules).
the peacock vscode extension can help you with this: https://marketplace.visualstudio.com/items?itemName=johnpapa...
Shame that the extension doesn't seem to be compatible with Firefox on Android, since Reddit's mobile site is borderline unusable for displaying images, doubly so if you want to zoom/scroll them.
I assume this is just a bunch of markdown files you want to convert to RSS? I'm struggling to think of why you would want an RSS feed for a bunch of markdown files that were not part of a blog already? Svekyll (my svelte derivative of Jekyll) generates RSS as well. It isn't that simple, there are lots of validations that can break readers; this has taken quite a few bug fixes to get right:

https://extrastatic.dev/svekyll/svekyll-cli/-/merge_requests...

FWIW: I wrote a post using Svekyll about AI embeddings which has a view source button at the bottom. If you click that, you can download a full svekyll blog and add the RSS code to the _config.yml and then just "npm i && npm run build" to see it generate the RSS for that complex post. Then, look at it in your feed reader to see how it escapes the HTML, code blocks, images, etc.

https://webiphany.com/2024-04-29-distance-sean-shawn
Don’t forget the source code of Coq itself. What you have written here is not a formal proof, it’s a series of instructions to Coq requesting it to generate the proof for you. To know that you’ve proved it you need to inspect the output, otherwise you’re trusting the source code of Coq itself.
Author here.

I think you misundertood how this feature works.

If you have a `go.mod` that sets a `go` directive with a version bigger than the version your Go toolchain is currently running, it will download the binary automatically and pass the commands to the new binary. However this doesn't replace your `go` binary in say, PATH, the new toolchain will be downloaded at `GOPATH`, the same as it does with your modules. This is why there is nothing to backup here, nothing is deleted.

Also, keep in mind that if Go is downloading a new toolchain, it means your project will not work with the current toolchain: because if you set `go 1.23` in your `go.mod`, and your current `go` is version 1.22, it would fail regardless until you either fix your `go.mod` or upgrade your `go` toolchain. What Go is doing here is the later, automatically for you.
…how? Conway is a megadonor. He has parted ways with these crypto super PACs.
Yes I was speaking to the historically overblown concern of fuel and oxidizer tank corrosion, which yes, does not even apply to minuteman or solid fuels.

Should have prefaced that response with a big IFF/WHEN old liquid rockets.
There's a great movie called Under the Skin about this very topic. Featuring Scarlett Johansson no less.

https://en.m.wikipedia.org/wiki/Under_the_Skin_(2013_film)

When I saw it I also thought of the Australian beetles that hump beer bottles until they die, because the size, color, and texture of the beer bottle resemble a particularly sexy female beetle and they just can't help themselves.
You're being needlessly reductionist. I never made such claims.

You're also being rude by branding people you don't know as white conservatives and insulting them just because they have a different points of view.

IMHO this is what's wrong with the world. You see an enemy in everyone with a different opinions but you're always the ritcheous one. Pretty sure I saw this before. Antifa does the same. Just because you call yourself anti fascist doesn't make you so.
StopTheMadness didn’t fit my needs iirc. I have heard “Redirect Web for Safari” is a decent alternative solution though, have yet to try it
I'm not attached to the word "template", I just wanted to clarify that they're not Java-style generics with type erasure. If you'd like me to use "monomorphizing generics" instead I'm game :)

Even procedural macros are annoying, though. You need to make a separate crate for them. You still need to write fully-qualified everything, even standard functions, for hygiene reasons. Proc macros that actually do, erm, macro operations and produce a lot of code cause Rust's language server to grind to a halt in my experience. You're effectively writing another language that happens to share a lexer with Rust (what's the problem with that? Well, if I'd known that I'd need another language to solve my problem I might not have chosen Rust...).
My preferred solution to this is to enforce common carrier constraints against any business that has access to your personal data -- from communication to purchases to telco messages to tracking your geolocation.

Alternately, we could demand that the government get a warrant before acquiring any/all personal info from any source, and prosecute any authority who violates this.

Of course enforcing either option would require a Supreme Court that gives a damn about the principles enshrined in the Constitution, and we learned from Snowden this is absolutely not the case.