skysight-inc/HackerNews huggingface dataset:
I don't have much issue with Gisin's solution, the idea that the reals are random is one solution to the problem of how to deal with them that I like (since, my meta-issue is whether reality is computable, I say it isnt, and randomness is not computable).

There's a problem for people who think reality can be modelled by computable functions of finite inputs: this makes classical physics non-deterministic, because chaos requires infinite precision for determinism.

So either you go for "reality is deterministic and continuous, and not computable" or "reality is non-deterministic, and discrete, and not computable"

either option in this fork includes properties that offend the minds of the people who want everything to be discrete.

I lean towards a preference for determinism & continuity (via, in QM, superdeterminism) since that's trivial to justify on our best physics
> The point of static typing is to allow an compiler to compile your code for performance reasons and nothing else.

The relevant term is Type Checker. Static Type Checker: Something that checks types statically (i.e. by inspecting the source code without running it). Doesn't necessarily say anything about compilation, execution strategy, or indeed if the user program will ever be run at all.
Haha, we've heard many a story like this one over the months!

An advisor suggested we offer a sort of "pricing heuristics" deliverable to sales as part of our product (e.g. "if a customer needs feature foo, add $bar to the price"), and your story makes me think he's onto something.
I don't think that this is relevant, when discussing the cognitive dissonance between car and plane accidents, on the population scale.
I don't have a problem against this if certain checks are in place, and I think it should be expanded.

Society shouldn't pay twice for a crime against their citizens. Criminals should be punished, but society should profit from them while imprisoned, not pay even more to have them do time in prison.

The only reasons I see for a prisoner not to work full time while incarcerated, are:

- They have some illness or impairment.

- They want to study (and get good grades) while in prison to change their criminal lives.
If it's in R&D, medium intelligence people simply can't contribute even if they try really hard.
The current advice from GNU is that Guile is the one true language for the project[0]. There are terms of languages that are currently part of GNU[1] but none that seem to meet the description of algebraic and blessed.

[0] https://www.gnu.org/prep/standards/html_node/Source-Language...
[1] https://www.gnu.org/manual/blurbs.html
Would you consider providing an RSS feed for the list of published articles? Thank you.
I spent a lot of time unsuccessfully bending Common Lisp into something I could love.

It's still one of my favorite problem solving languages, but far from trivial to fix from the inside.

Tried writing my own readers that compile to Common Lisp.

Then I ended up on a side track to write my own interpreters; mostly Forths at first, then gradually more Lisp-like and practical creations.

My latest attempt may be found here:

https://github.com/codr7/jalang
Not to mention building software that decides who gets health care, insurance or mortgage and discriminates based on bugs and faulty premises. And we're not even at Tesla killing people with software bugs.
Interesting, I ended in the same position but just from observing myself.
Black and/or poor criminals. The key word here is "criminals".
Run time, runtime and run-time are all commonly used for the thing you want to call run time. None are incorrect.

https://www.collinsdictionary.com/dictionary/english/runtime
I'm from Europe, have never heard of In-N-Out before, don't know how they work, nor the quality they provide...
So Microsoft was bad, then it was sort of good, and now it is bad again.
Cut is based on revenue, not profits. So it's still at most 26%.
Oh I may have missed that part. So the WACZ (indexes?) can contains offsets into the WARC file itself to each individual page?
>In that sense, yes you can look at it on a phone, since you can look at it in any text editor. And that is not some pedantic useless statement but an explicit design goal.

But it is, I can't look at html layouts in plain text, let alone (minified) JS, those pieces are only useful when they create the actual human-readable page

> The entire format is designed to be readable and decipherable even if it's 200 years in the future and you have no idea what the file is and are starting from scratch looking at it.

Well, if the first 15 years is any indication, there might not be anyone caring enough in 200 years
Are there any reasons why Kiwix doesn't use WARC/WACZ directly?
Can video games teach us anything about economics and investing?
> This is a paper thin excuse to deprive prisoners of their civil rights.

If only... they don't even need an excuse, the 13th amendment has a literal exception for "punishment for crime" :)
Was #1 really worth mentioning...?
Not to be negative but I decided to google it up about 10% into the video and landed https://en.wikipedia.org/wiki/Biological_functions_of_nitric... immediately. It's supported by https://pubmed.ncbi.nlm.nih.gov/22549282, https://www.ncbi.nlm.nih.gov/pmc/articles/PMC2839282, https://pubmed.ncbi.nlm.nih.gov/7585111 etc. definitely not just this guy's publications.
Hell, I have no problem with Capitalism if certain checks are in place, but we all know how perverse incentives have a way of occluding those checks over time.
I think it depends a lot on also, what you use your email server for. I never had a problem, but it's for my personal mail only. Very low traffic.

Meanwhile, if you use it for marketing or something, I think more things can go wrong.
One of my favourite courses in grad school was approximation algorithms and it involved reductions to LP. Lots of fun, can recommend.
WAYF could also be "where are your from". At least in Denmark (https://www.wayf.dk/).
How Will the Golden Age of "Making It Worse" End?
Before looking for a book like this, have you considered if you really need one? There are tons of configuratros for PCs these days (example, which I am using: https://pcpartpicker.com). I built 2x PCs already with it. Saves lots of time and you don't need to know everything to use it.
I'm taking the no-paid-subscribers road
This is going to get confused with the new JS Temporal proposal: https://tc39.es/proposal-temporal/docs/
Hence my second paragraph.

The first is saying that no matter what your rules are, the internet may at any time show you a clip from the highest rated category and should be treated as such.

The internet may also at any time show you outright banned content, but that's often treated as a separate battle no matter if that's Tiananmen Square (or "content promoting terrorism", although now I'm wondering if the Chinese Communist Party think the former is a subset of the latter?) or sexual acts you're not allowed to show in film (varies by jurisdiction).
Some of these suggestions seem like non-trivial management problems, though, I think?

Diesel fuel and generator maintenance: how do you hire for that? Does that position require experience? In what? Where do you post that job ad to get qualified candidates? If you hire wrong, it seems like the results could be worse than foisting the task on a doctor, no?

Revising formularies: how many doctors at a hospital have the right expertise for that? Who cares for their patients while the formulary work is happening? Can you hire someone temporary to come do it so it doesn’t disrupt operations, and how expensive is that person and how good is the result?

I’m a software person, not a doctor, but I _can_ see how these choices would be made if the alternative seemed riskier to someone inexperienced at hiring for hospitals.
Engines got a lot larger over time, more fuel efficient, more reliable, etc.

On a 737 those engines cannot be placed in an ideal position, because that would mean they'd clip into the ground.

The engines are being put above and I think in front of (might be wrong there) where they should be for maximal flight stability.

The original 737 was self-correcting - meaning that if for example the aircraft stalled, the resulting forces would cause the nose to dip down, pulling the plane out of the stall automatically.

The newer versions no longer have that inherent self-correcting ability - and instead use computer software to take over controls and pull the nose down, in case of a stall.

A new airplane design could be made to accommodate much larger, modern engines, while also having the stability and inherent self-correcting ability of the original 737.

But that would require changes to the overall shape and form of the plane - which will require complete recertification. By sticking to the old design, they avoid that.
Go to any fast food restaurant and watch them clean the grills, and imagine what that does to a person's gut.

I don't think anyone's arguing that vaping is better than not vaping in this thread, so your point is kind of falling on deaf ears. At some point you just have to accept that some people don't care about keeping their insides in good condition, or believe that the impact things have on their insides is not the same as they have on the environment, and let people do whatever they want with their own body.
The first consumer-oriented multi-agent collaboration network is now online
Real time multi-agent collaboration, creative thinking, simplified workflows, this is Opencord.AI, AI Agent-Generated Content for Social Media.
When management insists to continue using software that:

> the EMR [is] cancelling orders I placed on critically ill patients in the ICU more times than I can count

then I suppose the management is a problem?

Maybe more competent managers would have given the software a test run smaller scale first?

And had a plan for returning to paper and pencils again, if the new software didn't work?
An article so self-indulgent you find yourself longing for AI written ones.

>Grainge sports an impressive pair of aural appendages that move up and down the sides of his head when he’s talking.

I mean come on. 13 paragraphs of this before AI is even mentioned.

The part where UMG's CEO is complaining about how "legitimate artists" deserve more revenue from streams was interesting. He's not actually complaining about AI here but about amateur artists getting as much money from streams as "legitimate artists". "Legitimate" meaning fame and a direct tie to UMG, as if those are the measures of a musician's worth.
It's definitely not a myth, but a lot of earlier beers might not really be recognizable to many as beer today. I have not made ale, but I've been making kvass [1] for years - which may have been much closer to what was "beer" in the past. I find it extremely curious your ale goes bad so quickly, because kvass takes ~48 hours to produce and lasts for at least months, though it becomes more alcoholic and more flat over time, which gives a less pleasant flavor but simultaneously would also make it even more tolerant against bacteria and such.

But back to beer, by the late Midages it had already even started to become a significant international trade good in many places, which wouldn't really work if it was just spoiling. Similarly in the Age of Sail (and probably before) it was also a typical ration on board ships, which again doesn't really work without very substantial longevity.

[1] - https://en.wikipedia.org/wiki/Kvass
Asking for help is completely underrated in a professional context, I feel. Too many attach their self-esteem to never asking.
Also worth mentioning that Keto shows promise as a treatment migrants. Here's a good place to start: http://www.ketoformigraine.com/

(I'm not affiliated).
The thing is (despite popular misconception that prions are common and many proteins that can turn into prions), there is only a specific protein that can be a prion- the PrP protein.

https://en.wikipedia.org/wiki/Major_prion_protein

Demonstrating "some other other protein behaving like a prion" is close to nobel prize territory.
Keto has nothing to do with eating less, in fact you can eat all you want as long as is the appropriate foods.
> The mere suggestion that you can't possibly do something should fill you with burning determination

I have not once felt that. I guess people just approach challenges differently.
Plus the biggest two things: war in Europe and post-Covid fallout.
Ryzen 8000G review: An integrated GPU that can beat a graphics card, for a price
Summed the mentality that gives the US the worst crime and recidivism rates in the western world perfectly!
So true.

And then there are the too skinny to grab scroll thumbs, which are also invisible without gratuitous scrolling. And they disappear quite quickly.

Three alternate solutions:

1) Long hover (1/4 sec?) near window edge, to make edge grabbier. Long hover (1/4 sec?) near scrolling side for scroll bar to appear.

2) Pressing one of the modifier keys to make edges and scroll bars appear and be grabbable.

3) Toggle keyboard command, that makes edges slightly thicker and holds scroll thumbs visible, vs. hiding them.
Yep. This is explicitly what I listed as "as long as you don't (a), evaluating at runtime". This extremely specific and rare case is outside of the scope of "Generally, this works". It means that some, very few definitions still need to be in old style, but the majority of your code is fine.
Just 23¢ to $1.15 is the typical hourly pay [1], work is not always voluntary, and not up to the same employee protection/safety standards as true employment [2].

Labour (and profit) sourced from the incarcerated creates problematic incentives, so needs proper oversight and regulation.

[1]
https://www.bop.gov/inmates/custody_and_care/unicor_about.js...

[2]
https://www.aclu.org/sites/default/files/field_document/2022...
It is similar to the introduction of borderless buttons by iOS and Google. User interfaces have gotten so bad that they are hardly useable anymore.

One of my favorite mess ups is the latest redesign of Google Translate on android year ago (maybe iOS also, don't know). It is so much harder to use than the previous version. People were complaining in the reviews but nobody cares. A modern UI designer with an astronomical salary has done its job and you have to shut your mouth up and adapt... and their responses always like "we are constantly working to improve the experience"
Look for desperate, heavily funded lobbying efforts to create new expansions of copyright, or something like it.

LLM-based music generators do what musicians do - listen to a lot of stuff and then generate their own music. Most popular music isn't that original.
It's mostly about branding.
It's not 'a bit emotional', it's a tantrum with as much logic as saying why have a washer/dryer when you still have to hand wash some stuff.
Cowlings are now composite (ie plastic) instead of aluminum. They are limited to 5 minutes of use in dry air to prevent the cowling from melting, flying apart, or getting into the engine and causing it to fly apart.
Hybrid Forecasting of Geopolitical Events
"We found that skilled forecasters who had access to machine-generated forecasts out-performed those who only viewed historical data. We also demonstrated the inclusion of machine-generated forecasts in our aggregation algorithms improved performance, both in terms of accuracy and scalability."

Either way, things went sour with the forecasts of recent major geopolitical events. Nevertheless, it is interesting that the best performing models were good old ARIMA and a state-space model.
Because you just asked to put data there that would differ per process?
> Shubham Mittal, co-founder and chief technology officer of RedHunt Labs, alerted TechCrunch to the exposure and asked for help in disclosing to the car maker. The London-based cybersecurity company said it discovered a Mercedes employee’s authentication token in a public GitHub repository during a routine internet scan in January.

That's a strange way to disclose a security security issue.
Like other comments here I also went down the road of making an EHR system a number of times. It's not worth it. Competing with the hell scape that is Epic (not Epic Games, but another EMR software) is seemingly futile.
`cat foo/ba<tab>` doesn’t work anyway. Inability to complete paths ruins the slash.
Except the rate of innocent people in prison is incredibly high. So no, they are not all criminals, many of them are, in fact, just SLAVES.
> The biggest problem with this is how we would define "porn". Some states are currently redefining the existence of a transgender person in public as an inherently lewd act equivalent to indecent exposure.

This is the first I've heard about this. Link?
The fun video The Other Square Wave plays them with phases all out of whack and funny looking, and they sound just the same: https://youtu.be/Ffka-hPzug0
I've noticed you make this comment repeatedly when illumos is mentioned on HN. I think you're underestimating the irreducible complexity of the build process for what is essentially a whole UNIX operating system, save for a few external dependencies. It's not just a kernel, but an extensive set of user mode libraries and executables. The build is complex in part because it's a complex body of software.

I also think you're overestimating the extent to which make(1S) is the reason we're not more popular than Linux. There are any number of more relevant factors that make someone choose one operating system or another. Also, certainly for me personally my goal is not world domination, merely the sustainable maintenance of a body of software that helps me solve the problems that I work on, and which I enjoy using and developing as a result.

I agree we need (as do all projects!) new developers, both now, and over the long term. We work as we can to make improvements to the build process, and the documentation. We are a relatively niche project, but we do attract new developers from time to time, and we're making changes at least as rapidly as we ever have in the past. There are a number of actively maintained illumos distributions (OmniOS, SmartOS, Tribblix, OpenIndiana, and now Helios) and there are a variety of commercial interests that ship more proprietary appliances on top of an illumos base. For our part at Oxide we continue to encourage our staff to get involved with illumos development as it makes sense for them, and we try to offer resources and assistance to the broader community as well.

If you would like to contribute, we have a guide to getting started: https://illumos.org/docs/contributing/

Please, though, it's "illumos", not "IllumOS"!
There was never a need for new domain names. They look cool but didn't solve any problems except money for icann.

Most of the time you search for a page and then use the auto complete or bookmark.
If you own such a domain it's useless for mail .(blocked because of spam, e.g. xyz)
From valetudo.cloud: Conga is a brand that uses existing robot designs with a slightly customized cloud.They’re not a robot manufacturer.
Most if not all "problems" the Registry has are due to programmers like FwarkALark: Refusing to use anything other than scattered text files of varying formats and not cleaning up after themselves.

I love the Registry. It consolidates and centralizes almost everything there is to be configured in a single format, and it's even portable! Navigating it is no different than navigating a file system on a storage medium.

The Registry needs more use, not less.
You can also do this with the Stylebot extension - https://github.com/ankit/stylebot .. I was already doing this :) (just copy paste the CSS)
>The mere suggestion that you can't possibly do something should fill you with burning determination and it's a positive emotion to feel in that scenario but they seem to just roll over.

Literally everyone with a somewhat weak self-esteem will shy away. Those friends of yours should maybe start programming as a hobby, for a small, defined project that scratches one of their itches, and then go from there.

I am structured like that and that's how I got into a well-paying job in software development.
Overall, while we as developers often prefer to focus on complex software engineering challenges, it looks like here the core problem is the user experience of complex data entry/administrative applications.

Designing for so many different types of users, different (customizable) processes/operations, different organizations using the software, is equally difficult to any engineering problem.

Unfortunately, the area of user experience is still very much undervalued for enterprise software, especially by the financial buyers. And without buyers valuing these aspects, vendors will not focus on these aspects.
Not really, because although it is in the Object Manager namespace, it isn't composed of File objects, it is composed of Key objects. So the normal file APIs (e.g. NtOpenFile) don't work on it, instead you have to use NtOpenKey/etc

If it were actually a filesystem, it would be composed of File objects, so you could manipulate it using the exact same API calls you use to manipulate files – which would mean that tools/utilities/apps which know how to manipulate files would just magically work on registry keys too.
There are a lot of claims here, but not a lot of citations.
No direct experience here, but afaik the solution is strict hygienic standards, constant testing and isolation of positive cases.
I wonder if any private keys used for signing genuine MB parts have leaked as well. Auto makers seem obsessed with controlling the spare part market and leaking the keys used to authenticate spare parts would make it possible for other vendors to produce compatible parts in the future.
> Is it though? Does it matter one way or the other?

These are two very different questions. As for the former, I don't believe there is consensus at this point with good arguments for and against. As for the latter, if we can reliably prove that the reality is not analog but digital, it has consequences at various levels, and we might make better choices when using math to describe it/make approximations.
Some parts of layout are constraint solving, but not all, not by a long shot. And CSS is about a lot more than layout. And most of the rest of CSS is absolutely nothing to do with constraint solving. So even though you can do layout as an exercise in constraint solving, you couldn’t just replace CSS with a constraint solver. And even if you did switch to some foundation of constraint solving, you’d just be replacing one form of complexity with another—one that’s more complex in the base case, more flexible in certain unusual cases, and generally has worse performance traps. Houdini, as mentioned by another, is an interesting concept that could blend the two worlds profitably.

(By the way: your original comment implied nothing whatsoever to me about a change in foundation toward constraint solving. That does make it a more interesting proposition, but also fairly firmly unachievable for the web.)
Hell, if I was eating steaks every day my mood would improve too...
Boring Python: dependency management (2022)
TrustArc adds fake long delay when denying cookies on Starbucks website (2021)
I live in Norway and have never seen a .nu domain.
Indeed, especially when Googling "Mercedes report security issue" the page litterally populates the results with the address to email so it wasn't like it's hard to find.
I think if you have a business selling iptv gear then you could get nicked, but I doubt if individual streamers would (unless it was in a pub).