skysight-inc/HackerNews huggingface dataset:
> Category Theory is easy because it starts from nothing, literally.

It has virtually no prerequisites, at least in classical mathematics. But I wouldn’t call it ‘easy’ (indeed, many proficient in elementary calculus and so on find it very hard). If you study category theory with no knowledge of any of the concepts it’s designed to abstract it’s not going to make any sense and the whole exercise is pointless. You may be able to follow it and complete exercises, but you won’t actually grok it.
It's a hunch, but I feel like open source has more churn and chaos & is multi-party. And that mileau resembles nature, with change evolution & dynamics.

Corporations are almost always bound into deep deep path dependence. There's ongoing feature development upon their existing monolithic applications. New ideas are typically driven by the org & product owners, down to the workers. Rarely can engineers build the mandate to do big things, imo.

Closed source's closeness is a horrible disadvantage. Being situated not alone & by yourself but part of a broader environment, new ideas & injections can happen, works to reduce the risk of cruft maladaption & organizational mismanagement & malpractice. Participating in a boarder world & ecosystem engenders a dynamism, resists being beset by technical & organizational stasism.
Wow, $300/year is wild. In this influencer age, negative attention is the cash grab.

<researching how to setup TLD, maybe set it up as a DAO>
It goes wrong a bit before that when it says:

"Compare the first digit after the decimal point of both numbers.

- For 9.11, the first digit after the decimal point is 1.

- For 9.9, the first digit after the decimal point is also 1."
I remember something about it, but, at the time I thought that very few people would install such software in Linux (and, indeed, very few companies do).

The blast radius was minimal, probably smaller than a bad Nvidia driver.
I'd say a welcome change, if done properly. I also noticed they're enforcing business registration and account verification requirements, and shutting down accounts that don't do it.
Reading this thread it's impressive how little people know about competitive gaming while simultaneously knowing how to fix the cheating issues.
Wait wait wait… the json output is incorrect, full stop. It claims the first decimal digit of 9.9 is ‘0’. Mathstral might be great; it might be terrible; either way this particular test should be done first at 0 temp and then like 50 or 100 times at 0.7 temp, but in any event the writer owes it to themselves (and us) to notice that the claimed ‘good’ output is totally incorrect.
Can we please get more information about the spying features? Some screenshots would be great! Thanks!
> What would it take for the US to lift sanctions

Florida to stop being a swing state? We are almost there..
Close, but instead of an email, it’s probably a conversation during a game of golf at an exclusive private club.
> What's stopping them from doing it without filling it into a digital system? Why is it impossible to make a paper record and fill it into the computer system later?

It’s not filling in new data that’s the problem - every person involved in treatment needs to be able to access the patient’s medical records to check for contraindications. Allergies and drug interactions are a quick way to kill someone when injecting drugs directly into their veins even if they’re already in a hospital.

At a major hospital there’s too many patients coming through and the data changes too frequently to keep paper backups.
Insurers have not left the florida market. The number of uninsured homes is estimated to be like 10-20%, probably what you'd expect given a certain percentage of holdout low income homeowning areas from before florida saw so much inflow in certain real estate markets. The national rate is a little under 10% for reference. Sometimes when headlines and assumptions seem absurd, like no insurance in florida, its worth looking into it a little bit.
> The case in point is that most LLMs, including GPT-4o, cannot tell whether 9.11 or 9.8 is bigger!

Wrong. GPT-4o gives me the correct answer to this question, 9.8.
Totally agree, and if you think like that, then a SQL injection is just an undocumented public entry-point ¯\_(ツ)_/¯
The African Tour de France cyclist racking up historic wins
Boeing enters the chat
I definetly appreciated what you’re trying to say, for my own part, the only political content I really find engaging is either historical or that says something unique in the regard that you mention, but it often feels like little more than a hobby, and at the end of the day I feel like the only meaningful political action I take is voting my color down one side of the ballot.

I have considered a split ticket lately though, federal in one side and local on the other, or more diverse, but it’s not really getting to do what you describe, it’s just the only independent option you can take that may have an impact
> no written sources, less archaeological research/evidence etc.

Makes sense. So how do you know?
They are using eBPF right now. That suggests that they, like everyone else, see benefits in using a platform feature when it exists.
Getting Olympians' equipment to the Paris Games is a complicated challenge
How do you write a driver in Python?
If we're supposed to go sentinel free does that mean no more numerical types? If we can explicitly define what null means in either code or documentation, we can do the same thing to sentinel values.

None of the things proposed in this thought experiment are fresh ideas to an old problem.
> And unless they are sending workers to reboot customers’ machines, they are not really helping as much as they imply.

That's the (further) thing that makes this sleazy beyond any measure: Not only the whole "feel sorry for us too!" thing, but how they are bending these statements to imply they have some part - any part - in any reparations. As mentioned upthread, the burden is being borne by others. Not them.-
From Hugo to Kirby
It wasn't easy to program though. It wasn't good for hobby programmers.
First of all, native-land.ca lets you see whose land you are on, as well as view tribal websites, when available (it includes groups that have vanished, eg the Hopewells). The one thing I should note about it is that in places like Oklahoma, where land was often promised, it offers no easy way of distinguishing between tribes who historically inhabited the land and those who were promised land there.

I'd also recommend Lies My Teacher Told Me by James W. Loewen. It's a great book on how textbooks distort history and also busts a ton of myths. Also An Indigenous People's History of the United States by Roxanne Dunbar-Ortiz.

If your local library doesn't have them/you want to buy them, here are some buying options:

Better World Books (donates books too!):
https://www.betterworldbooks.com/product/detail/an-indigenou...
https://www.betterworldbooks.com/product/detail/lies-my-teac...

Bookshop.org (independent bookstores)
https://bookshop.org/p/books/an-indigenous-peoples-history-o...
https://bookshop.org/p/books/lies-my-teacher-told-me-everyth...

Direct from publishers:
https://www.beacon.org/An-Indigenous-Peoples-History-of-the-...
https://thenewpress.com/books/lies-my-teacher-told-me
As long as they’re doing it to business people and marketing employees I’m fine with it. Most of them absolutely deserve some of their own medicine.
Indeed. Debian is the BSD of the Linux world, CentOS/RHEL being the Solaris.

As usual, this was a self-inflicted pain by companies wishing to check yet another box to externalise liability.
Perceiving oneself as a major character in one's life story predicts well-being
This is good. Usually I end up finding one I think Google made for Chromebooks. Or even worse, restoring to the man page.
Proative marketing culture > proactive testing culture
It was in Kazakhstan. Fined <$1M (or <$10/tonne).
The mechanism in a steam-driven sawmill that holds the log in place and is adjusted when the angle or thickness of the cut needs to be changed.

https://english.stackexchange.com/questions/542122/origin-of...
They autoconvert latex to html. Typst can't currently produce html output.
Alternative question: is being human enough for reliable reasoning?

Probably not, but in some, or most, cases may be. You can see it in schools on math exams. Not all pupil can do it, some lack the knowledge, but most simply cannot put things together. "WHY" is another big question.
DIY Wind Tunnel Build and Experiments [video]
isn't vac kernel level?
For the cost I'm curious what's the breakdown in terms of specific gpt4 model and context length?

What was the verification process like?

Also any thoughts on transpilers? There's Brython for javascript, and some others like py2many, mypyc. And the approach in oil shell: written in python, translated to C++ with custom tools
If some third party software you chose to install on your system added a kernel module and started causing kernel panics, would you blame the kernel maintainers?

I'm sure if MS decides to remove the ability for third parties to write code that runs in kernel mode in the name of security/reliability/whatever, this site would immediately turn on a dime and say that Microsoft is evil for removing user control over their machines.
Imagine, to use the articles example, an anesthesiologist making you sign a ToS that says they're not responsible if they fuck up. It would not be enforceable. Licenses and terms aren't blanket protections.

At some point, some rep came and sold software to customers engaged in business that their license stated their software was not fit for.
Crowdstrike suppressed the media noticing

You think they sent checks to the NY Times, WaPo, and major networks or something? Media doesn't care if some servers crash unless it is noticeable in the world at large (like the airline groundings).
not just about cost! improved performance/latency can make workloads that previously required a local SSD/NVME to be actually able run to run on distributed storage or an object store.

it can not be understated how slow Ceph/Minio/etc can be compared to local NVME. there is plenty of room for improvement.
Unable to sleep or eat: WazirX's Nischal after hackers steal ₹1,965 crore
WazirX Co-founder Nischal Shetty said he has been "unable to sleep or eat" since hackers stole assets worth ₹1,965 crore from the crypto exchange platform. "But that does not matter... We're tirelessly working on next steps," Shetty wrote on X. The platform is analysing data to understand the extent of damage and working on law enforcement and regulatory procedures, he added.
“It’s a nice IT infrastructure you have at XCorp. Would be a shame if something happened to it”…

Or

“You really don’t want to be the last one in the finger pointing chain. Come on, sign here and you can point to us. Our lawyers will deal with the mess”.
The conclusion mentions that.
If I were Xi Jinping, I’d step in quite heavily at this point. A few billions in investment would do wonders there. I’m sure a hypersonic nuke base could also be negotiated in return.
Show HN: I built a virtual bookshelf app with AI book recommendations
demo:
https://x.com/shreyaw_/status/1814554646028952008
How do you detect if your ChromeOS gets breached? Linux apps runs in sandboxes so even user level HIDs won't function.
On the other hand I think tabs actually do strive to be an actual replica of a song. That's why there are so many versions of the same tab that broadly sound the same, from people trying to get as close as they can by ear to the recording.
> after a decade I still can't do what I can do on a closed source thing that came free with my computer

I don't know the specifics, but there's a good chance that your issue is ultimately because Nvidia wants to keep stuff closed, and Linux is not their main market - at least for actual graphics, I guess these days it's a big market for GPU computing. So it's the interface between closed and open source that's giving you grief.
Is anyone here using Crowdstrike, what does it do? I see it referred to as an 'anti-virus'? I have it installed on my work laptops and I see it as a keylogger and activity monitor. "I got nothing to hide", but still bothers me when some corporate super users spy on me.
Maybe for specific textbooks, but if you just want e.g. introductory calculus with solutions those books are all over eBay.

Or use Wolfram.
Put not your trust in Windows – or CrowdStrike
> Nobody is sending missiles to Cuba anymore.

Or are they?

https://www.cnn.com/2024/06/12/americas/russian-navy-cuba-in...
Unless we push for better transportation infrastructure today it won't be there thirty years from now. Nobody is suggesting to put a bus lane in a boring cul-de-sac, either.

For several decades, North American suburbanites have been living comfortably in their quiet bubble of car-dependent neighborhoods, completely disregarding the noise, danger and other externalities that their traffic imposes onto the people who choose sustainable transportation options in more densely-populated urban areas. It's time that we design our urban neighborhoods around the daily needs of the people actually living there rather than the speed and convenience of visitors.
I've absolutely been involved (conducting, coordinating, and receiving) some high value pen tests over the years.

One problem is there is no hard definition of what is considered a "pen test".
I've seen very highly reputable vendors claim essentially out of the box nessus scans as pen tests, automated burpsuite scans as pen tests.

In my own personal definition of a pen test: security practitioners may use those tools amongst others, but they generally leverage them as recon and then try to uncover pathways in from those vulns, in addition to abusing application logic and misconfiguration.

Second problem: paid pen tests have limited scope and time constraints. If the application surface is sufficiently large, that engagement may simply not be big enough to conduct a thorough test.
Contrast this with Bug Bounty hunters (and attackers): they have unbounded time and resources. They can literally keep testing until they find something.. and best part, there are so many of them!

So these public bug disclosures are hard to compare to a private/paid for test.
You could argue, the app owners didn't pay enough for a comprehensive test.. but the downside is: just because you paid more, doesn't mean the pen tester did a better job :(
While they are high noise, I tend to think bug bounty programs are the best fit for the problem space. You end up with much deeper coverage, and a very positive ROI (even factoring in your engineers to triage the bounty reports).
I think the issue was testing. Many organizations don't do enough, or the bare minimum, which is already insufficient as it's in some controlled lab that does not mimic the real world.
I remember when I was a small child being introduced to BASIC for the first time on what I think was an IBM 286 machine.

At the time, I had no concept of things like "functions" or "subroutines" and was writing a BASIC program where I needed to re-use the same dozen lines of code to transform a value.

I attempted to "kludge" together a block of code that you would GOTO, but I couldn't figure out how to automatically return to the next label of code, e.g.:

CLS
10 X = 32
20 RETNUMBER = 40
30 GOTO MYFUNCTION
40 REM CONTINUE HERE
<snip>
70 ARG = 64
80 RETNUMBER = 100
90 GOTO MYFUNCTION
100 REM CONTINUE HERE
<snip>

MYFUNCTION:
REM DO STUFF WITH ARG
GOTO RETNUMBER

Of course, I hit an immediate syntax error - not being allowed to pass a variable to the GOTO keyword.

As I recall I ended up implementing a bunch of IF-ELSEIF statements like this:

IF RETNUMBER = 40 THEN GOTO 40
ELSEIF RETNUMBER = 100 THEN GOTO 100

The sheer explorative value of a quick interpretive language like BASIC cannot be understated.
3Com, where I was, got suckered by Microsoft into "collaborating" on Lan Manager and NetBIOS. That was called internally "Viet BIOS."

This led directly to the engineers' slogan:

"Strategic" means "you don't make any money"
What do you think preceded the imperium americana? You'd have to go back thousands of years to find an example of a world not dominated by empires.
We'll never know unless it would be ejected by a volcano a few millenia from now.
It highlights the risk of a fragile infrastructure.
Last time I gave blood, about 6 weeks later I received a letter in the mail saying I had Hepatitis B.

As a poor, semi-homeless late teenager that scared the shit out of me. I called and called trying to get answers as to how that could have happened, but they couldn't tell me.

A month later, I received a follow up letter saying that I had been accidentally misclassified along with hundreds of other people and that I didn't have Hepatitis B.

However, I have been banned from donating blood until I pay for a test to prove that I don't have hepatitis B.
Politics. Florida used to be swing state in Presidential Elections. The Cuban community in Florida loses their shit if President talks about lifting the sanctions and will vote other way. If all Cubans had settled in California or Wyoming, we likely would have lifted sanctions a long time ago since they wouldn't have as much political power. It's why we lifted sanctions on Vietnam so long ago. Vietnamese who fled mostly immigrated to California and can't impact California voting Democrat.
This seems interesting, what is a common use case(s) of running a JS engine locally (and presumably standalone)?
...and a10/F5 aFleX/iRules[0][1], and the scripting in Tealeaf[2][3], ...

[0] https://www.a10networks.com/blog/aflex-tutorial/

[1] https://community.f5.com/kb/technicalarticles/irules-concept...

[2] https://www.acoustic.com/tealeaf

[3] https://help.goacoustic.com/hc/en-us/articles/360043785173-E...
Police Departments Hustling for Recruits
Maybe the equations are there because they are important and instructive?
https://www.wsj.com/us-news/come-make-100-000-the-billboard-...
A huge bummer about Guile (and that is frankly shocking for a language designed to be embeddable) is that it relies on a bunch of global state, which means that you can't embed multiple interpreters a single process. This totally kills it as a embedded scripting language for many applications, and it's also just bad practice in general. Even Python, far less easily embeddable, supports multiple interpreters, though before Python 3.13 (I think) they all shared the GIL.

Aside from this issue, the Guile API is pretty good, but the best one by far is Lua's C API, which is just a thing of beauty. I'm curious to try it with Tcl.
It's so slow and noisy I would prefer to keep the cigarettes butts rather than have this close by ...
1.Estonia started more or less from scratch after 1990. Building a new system based on modern standards is easier than reforming one that is working under full load.

2. Estonia is much smaller than Germany, and afaik much more centralised.

Estonia did a lot of things right, but countries like Britain, France and Germany can learn little from Estonia. The results just do not translate.

3. The German system as it is, is designed to make it slow to change. Even if hard right AFD would get the majority of votes in the next election, during one legislative term they could not change the system a lot. To do this, even the absurd long Merkle reign was not long enough.

3. might sound like a disadvantage, and it certainly is for the Germans, BUT if Germany would follow the likes of Hungary, Poland and Turkey, that would destabilise the whole continent.

There is a joke, that claim that the German anthem actually is:“ Stability, stability über alles“
Mangroves are generally salt-tolerating and perfectly adapted to growing in brackish water.
Article writer is probably also an LLM.
Oh wow, this is #5 for all time already, beating out Steve Jobs.
But there are great books in this area?

https://www.statlearning.com

https://www.stat.cmu.edu/~cshalizi/ADAfaEPoV/

There are other fine ones, but these are very good.
For men, the current research is that giving blood helps decrease risk of heart attack and is one of the only ways to clear PFAs out of our bodies.
Cuba would be quite a desirable place to live if it wasn't a socialist authoritarian state
IIRC, the deep/shallow thing is anout how much functionality there is, and he used wide/narrow for the size of the API?

So that the goal is to have deep, narrow modules: modules that have a lot of functionality hidden behibd a small API.
This means that Mercury might be a carbon planet or quasi carbon planet: https://en.wikipedia.org/wiki/Carbon_planet

If that's the case, somebody ought to update the wikipedia page.

What might come as a surprise to the average engagement ring shopper is that diamond is a wildly abundant material in the universe. On that scale it's nothing special -- possibly it's just slightly less ubiquitous than silica sand. It's the heavy metals, like gold and even tungsten, that are rare and weird.
LoudSmoke?
Most people don't know how to tell what's going wrong with a windows computer

A windows computer that relies on cloud services, as an increasing and often nonsensical subset of the functionality on one does, can often only be fixed by Microsoft directly

Microsoft intervenes directly and spends billions of dollars annually on anticompetitive tactics to ensure that other options are not considered by businesses

And with this monopoly, it has shielded itself from having to compete on even crucial dimensions like reliability, maintainability, or security
All infrastructure is fragile and always will be.

Bridges collapse; police go corrupt; electricity has outages; gasoline suffers price shocks; governments have a 100% failure rate; an 1870s-style solar flare would send us back to medieval times.

All we can do is:

A. Diversify, under the belief nothing is infallible; and even perfect engineering can experience catastrophic failure

B. Enjoy what we have today, knowing it is a gift, not a right

Also, while we blame CrowdStrike, let’s not forget that SSH was within weeks of being backdoored on a global scale. The power that would have unleashed (and proxy power, I.e. breaking into CloudStrike and then Windows by extension) very well could have ended the internet.
> I would expect most good LLMs to be able to implement statistical functions from scratch in languages like Go.

Implementing statistical functions from scratch can be rather dangerous – can you trust the implementation is correct? You can have an implementation which works well for a few obvious tests, but then performs poorly for edge cases (e.g. due to excessive accumulation of rounding error). Whereas, good chance the existing R implementation of whatever has been reviewed by expert statisticians.

LLMs can be great for saving time/energy when you have the domain expertise to validate their answers. But if you don't...
Things haven't changed in IT so much. I am not in ICT management anymore, but I write software for the modern enterprise systems and networks - I'm reasonably up to date.

Ad medicine - hence my question, I'd really like to know what's the blocker. So far it seems the blocker is bad IT management, regulation and liability, not impossibility to perform the treatment.
As someone from Austin (now live elsewhere) this remark is really interesting to me. Have there been companies that have moved from the valley to Austin and seen significantly worse outcomes and the move can be pointed to as a reason? I can imagine why it would be so, but if you have examples that would be even better!
I swear I read "toothbrush". Took me 4 or 5 passes to realize it's "toilet".

Joking, maybe they did use the sponge alternatively as a bottom brush and tooth brush. Not in this order, probably :)
It doesn't work properly on Intel or AMD either. It just sucks worse on NVidia.