skysight-inc/HackerNews huggingface dataset:
It's not really anymore than tables and chairs not being part of fundamental physics means they're additional postulates to physics. Because table and chairs emerge from the underlying physics. Same thing with measurement, observers and probability in MWI. Or to put it another way, the baggage of classical physics being quantized misleads us into thinking measurement and probability need to be fundamental postulates.
Usually (in USA) all customers are presented an acknowledgement/waiver at the door that spells out all the risks involved in the activity. Typically, to be permitted into the activity area you have to sign this document stating that you acknowledge the risks, and knowingly waive (discard) your right to sue the operator if you hurt yourself.

These are mostly foolproof in transferring liability to the customer but they're sometimes phrased to imply you can't sue the operator if anything at all bad happens, which is usually not true - it's usually not possible to waive gross negligence. The particulars of what can and can't be waived vary state by state, in the USA.

And yes, they usually carry insurance against such things, which is typically priced according to the strength of the waiver and lack of negligence on-site.

Injuries at such waiver-gated locations are usually not business-ending or Top Golf never would have taken off the way it did... but at Top Golf scale you can be sure they have retained really good lawyers.

Here's an example of such a document:

https://static1.squarespace.com/static/5a50f094268b96e867707...
Looping constructs - How it is done.
Functional - What is done.

The latter is declarative and more expressive and when you compose these pieces, you express your code at a higher level of abstraction as a whole. Maintainability, fewer scope for bugs etc.
How does it score on the LLM leaderboards[1]?

They seem like the best way to evaluate models for general purpose use right now.

[1]: https://chat.lmsys.org/?arena
Systems that have clear inputs and outputs. Parsers, compilers, stuff like that. SAT Solvers. Anything you could unit test without mock objects.

Mixed initiative systems (say UI code where you call into the framework and the framework calls into you) can go either way. Sometimes you can formulate the part of your code in a pure functional way which tames the chaos, if you can’t or that formulation is unnatural the chaos tames you.

System w/ immutable data structures lose a factor of two or so in performance in some cases. FORTRAN programmers won’t accept them, distributed “big data” systems will spend a lot of time marshaling and unmarshaling data and won’t accept any slowdown in their parsing code. The same could be true for something like that SAT solver.
> I wonder why LLMs like GPT-4, Bard and Claude are so geo restricted at first?

Managing scale while maximizing profit potential? Also, US/UK probably lets them put their strongest linguistic foot forward initially, and there may be additional training done before rolling out to regions with other dominant languages.

> I understand some places have regulatory challenges

That’s probably not the main issue.
Given I work for https://shadow.cat/ and we do primarily perl/CPAN contracting, consultancy and commercial support (and don't run RHEL ourselves) I remember this one because I had to help multiple customers and probably by the end three digits' worth of companies via community support to work around the debacle.

I suspect more man-hours were lost to the (now reversed for quite a while thanks to the Fedora team) decision to have their 'perl' package only be half a perl install (and to mass report the resulting problems that decision created to cpan authors without ever sending a single patch) but the original subject was things they botched by accident rather than things they broke deliberately.

Though the uninformed arrogance behind the poor decisions and dismissive attitude to the resulting problems, even when they were impacting RHEL support customers, was very similar in both cases.

Had they responded to realising they'd completely broken a bunch of paying customers' primary revenue generating applications by actually trying to do something about it I would have been happy to file the original mistake under "shit happens." As it is, I don't think 'pretty good track record' applies, I'm afraid.
I still see dot matrix printers around, usually in auto workshops where they’re printing through multi-ply copy paper and covered with decades of grease.
This is obviously untrue and can be seen by almost any app that asks for notification access.
I am everything but a phone OS developer, but why is every android update breaking everything and why are android phones are so hard to update for the manufacturer? On windows and linux I can probably still run 98% of the proprietary drivers after OS and kernel updates.
This is not a properly sourced claim at all.

You have a source from where you heard about it, but if you open up the link the person simply states this as fact. They do not back up their claim with any facts or sources, they simply say it.

The onus is not on me to provide counter evidence for an unsubstantiated claim. The onus is on the person making the claim to provide evidence backing it up.
I can see why I never got very far with functional programming, it's much too clever for me. I don't see how this example has any sort of limit test in it at all much less stops at or rather defines an extent of 5,000. oh well imperative peasant life can be a drudge but it gets my corn sown one kernal at a time.
AI recognition is local. You can totally disable external access and it will run fine (obviously assuming your photo storage is local).

Their recognition model is loose. It works and it works well enough for what this is to be useful but it's just a quick classifier. It will absolutely have misses.

You can optionally aadd in a coral dev board to save yourself some cpu load but I've never found it necessary.
Anybody got a model card?
Just a reminder that LLaMA is not open—in order to use it legally you have to agree to Meta's terms, which currently means research use only. The versions circulating on torrents are essential pirated, and while I don't have an ethical problem with that at all you can't use it safely in a business.

The open replacements for LLaMA have yet to reach 30B, let alone 65B.
Excited for this, but I think with all this conversation about the role an AI assistant should play in work and development, this line feels incomplete to me:

> Think of Claude as a friendly, enthusiastic colleague or personal assistant who can be instructed in natural language to help you with many tasks.

It omits that the colleague may have outdated knowledge or not understand whatever problem you give it. The colleague's "enthusiasm" should be tempered with oversight so that the outputs they produce are not directly used without scrutiny. It seems that most people using these tools increasingly understand this, but to leave it off the website seems ... sloppy at this point.

Edit: upon logging in, I'm greeted by a warning "It may occasionally generate incorrect or misleading information, or produce offensive or biased content."
Just read all the source code
As long as smartphone device drivers are proprietary there will be an upper limit of how much a phone can be updated. Not to mention that Android and iOS get more computationally intensive each version way quicker than Desktop OSs do. Windows 10 from 2012 and Windows 10 today basically run the same.

Sure, if most drivers were open source like on desktop linux we could tweak them to work with newer and newer Android versions, but what happens when AOSP gets a computationally expensive update (i.e. embedded ML voice recognition or realistic TTS)? then you would have to create custom versions of AOSP that only have the stuff a particular phone model can handle and this would create and unbareable ecosystem of poorly maintained distributions
Indeed. Not even gratis, certainly not libre, unless you consider your personal information to be worthless (and “big adtech” has shown this not to be true).
1. Immutability: Functions are expressions that return a singular value without mutating state. Most loops are not expressions and have some mutation happening.

2. Composition: If the loops don't mutate there are functional alternatives (map, reduce/fold, filter, etc) which are composable.

3. Abstraction: Loops are traversal instruments. Sophisticated functional languages / environments have some mechanism for generalizing traversal of any data structure into a higher order function or some form of reusable generalization.

That said, I use a lot of loops in library code for performance and expose functional interfaces for consumers.
Wow, the top comment is neither relevant to the post, nor friendly or interesting. Activism, even with false premises. Many of us tried, and those with a little sense left know that running your local LLM on a non-GPU is not really useful.

Besides, what does your post add to the discussion, and why is it the top posting?

Create your local LLM, use it, tell other people about how you did it exactly, and be happy. But why the heck do you need to fight a company in that space?

Wehre have the times gone when someone motivated to do something nice just went ahead and did it, instead of running in circles and telling everyone else what they should NOT do.
Very nice google photos clone!
They kept the Americans out with homegrown competitors which are openly government-affiliated spyware, and even so it was routine for technically savvy people to use American social media through VPN until they cracked down. I’m not sure this points towards a workable strategy that’s compatible with the EU’s goals and principles.
Not all FP programmers hate them, I use them in a pinch.

It's about what conveys the intent most clearly.

What do you prefer?

```
let sum = 0;
for (let elem of array) {
sum += elem.value
}
return sum
```

Or

```
Math.sum(...array.map(elem => elem.value))
```

What about

```
let parent = document.createElement("div")
for (let user of users) {
let userElem = renderUser(user)
parent.appendChild(userElem)
}
return parent
```

vs

```
let parent = document.createElement("div")
parent.appendChild(...users.map(renderUser))
```
vs
```
<div>
{users.map(user => <User {user} />)}
</div>
```
> We'll keep the science a secret and try to pressure the government into making it illegal for you to compete with us.

This is essentially the Capitalist Credo, expressed in practical vs theoretical terms.
I love this comment because I like to use functional programming at times and I mostly ride a cargo bike. You came right after me with this one.

Nothing beats fitting a week of groceries on your bike, though.
Well, there two distinct questions: what should be treated as public good and what is a public good. In my view "what is public good" is defined by the very act of public funding and availability. What should be public good is entirely different, moral/political discussion.
> Yeah, I'm not trying to argue that what's being proposed is bad, just trying to clarify what he said.

Ah, fair enough then; it seemed to me like you were saying it was excessive and bad.
Why would they want to eat a piece of their iPad market
You people = people who hold the same opinion as GP

It's not that difficult
Problems are generally easier to deal with if you can turn them into smaller problems.

The usual way to turn them into smaller problems is induction and the easiest way to turn inductive reasoning into code is to write recursive code
ScyllaDB is Moving to a New Replication Algorithm: Tablets
Moving from Vnode-based replication to tablets to dynamically distribute data across the cluster
It's not so much that systemd is designed to lure in casual users, it's that it (like other software on the list) reflects an attitude that separates "developers" who decide how a system should work, from "users" who have to take what's given to them. This stands in opposition to the traditional unixy world order, where the two groups are one and the same "hackers".
They are the same content, but they’re not the same product at all.

You could say that all TikTok does is repackage content for wider distribution across the app in a more aggressive way than social apps had before.
I think that the differences between your experiences at government vs private might be correlated with the size of the organisation. I've worked at very large publicly traded companies that operate kinda like government institutions: too big to fail, tons of bureaucracy, endless meetings, silos / walls / not-my-job.
> Unfortunately, Claude.ai is only available in the US and UK. We're working hard to expand to other regions soon.
Has anyone tried the Nix package?
By emulating Windows, while failing to attract anyone targeting POSIX platforms to port their games into GNU/Linux, not even Android.
An interesting thing about Oracle Linux...

$ ssh me@myol7.myplace.com cat /etc/oracle-release /etc/redhat-release
Oracle Linux Server release 7.9
Red Hat Enterprise Linux Server release 7.9 (Maipo)

$ ssh me@myol8.myplace.com cat /etc/oracle-release /etc/redhat-release
Oracle Linux Server release 8.8
Red Hat Enterprise Linux release 8.8 (Ootpa)

$ ssh me@myol9.myplace.com cat /etc/oracle-release /etc/redhat-release
Oracle Linux Server release 9.2
Red Hat Enterprise Linux release 9.2 (Plow)

I guess Oracle doesn't remove all the branding. I don't remember how CentOS handled this.
Do a docker install and disable outbound internet access on it.
I don't think anyone has claimed that model weights are a production of AI and are not copyrightable for that reason. It's that the model weights are not the product of human effort. They're the result of an automatic process.

Like... if I set up a Galton Board [1] and allowed the balls to fall into the bins, even though I set up the board and collected the balls, I wouldn't be able to copyright the sequence of the number of balls in bins 1 through 13.

https://en.wikipedia.org/wiki/Galton_board
Setting aside the implications of the move Red Hat made for a moment, can we all just appreciate what a perfect storm of terrible messaging they've settled into with this one? From what it sounds like, the announcement surprised a lot internal associates not working on RHEL that are now falling into this trap that Red Hat created.
It's on YouTube. Not sure if it's genuine, but that's the one I'm talking about.

Although I'm not sure I agree with you. Other human beings on planet earth are capable of remixing an album.
It doesn't. And to make the matters worse, most of the "Atmos remakes" I listened to are utter trash and disrespect to the original sound designer/team. Some mixes bring out subtle details I haven't heard before, but in most cases even those sound like they're literally due to higher volume/different position.
One thing that can be done for all these services is to allow any private company to offer the customer facing front end (payment, bundling, support etc) which plug into a common wholesale backend.
Being an Insomniac
Been saying that for a while. "A PM is a glorified secretary"
1. You're building a product that touches multiple deep domains and the business has modelled a very aggressive headcount growth

That feels like premature optimization; split when you need to and not before

2. You've outsourced a large portion of your development to a number of agencies

Then your developer count is likely not in the 10s (you need to could the agency developers), plus if you've already outsourced your development in that manner, it suggests you already chose a micro-services architecture and tendered accordingly, this feels like a post hoc justification.

3. You have a team of individuals who know nothing but microservices

If a team can build a set of microservices, they can build a monolith, the skill sets are not that different, a microservice is after all just a really small monolith.

4. Your chief compliance officer is intimately familiar with the data protection benefits that microservices bring and is leaning heavily into it in their regulatory submissions as a way to compensate for some other gap in the business

That's an interesting one, you're trading technical complexity for compliance, and it may well be a use case, there is not enough data to comment here. But there are many ways to be compliant with <insert framework here>, micro-services might be one, but is it the optimal solution for all involved, well that depends...

5. You're building anything to do with image processing at scale

This doesn't require micro-services, it probably requires horizontal scalability, if its offline processing you might want a batch process you can turn on and off as required, but that doesn't have to mean microservices, at this point it becomes a semantic argument of what constitutes a microservice, but I would argue the idea of batch processes predates the idea of microservices. Also just because you might need to use microservices in a small part of your application stack, the rest of the solution can still be a monolith: a hybrid architecture if you will.

6. You are a subsidiary owned by a parent company with tons of experience and tooling for microservices

Again, if you have tons of experience with microservices that can be easily translated to monoliths, just build a microservice but bigger

7. One of your VCs has offered up a dev team they own to speedboat your MVP, who specialize in microservices

It its 10 devs or less, does it matter, build a monolith and optimize when it makes sense to do so

8. You've received a buyout offer by a party interested in specific IP within your product, with the condition that the IP is isolated from other parts of the system

Unless that is your goal from day 0, I'm not sure how you could anticipate this, again this feels like a post hoc justification. If, in the unlikely event that that situation occurs, that might be a good time to consider splitting out that functionality.
Notation: Cloud-native infrastructure and application logic in TypeScript
Paul, are you actually for real right now? Did you really just say "We deleted all your data, and its your fault. We did whisper into the wind three times, you should have heard it. No, there is no chance of recovery"?

You might have literally deleted people's whole businesses, companies, who employ real people, who have families, now need to figure out how to continue. Not least of which, your own. If the company survives until Christmas I will be shocked; no one can trust your company ever again - your core business is storing other people's data, and you deleted it, for many, completely without warning.

I guess people still use Mongo even after finding it doesn't achieve any property of the CAP theorem, maybe some people will keep using a database provider with a track record of intentionally deleting their paying customers' data.

There just aren't enough adjectives for astonishment to adequately describe this situation.

I hope you offer Jay Clifford some support, he's clearly been put in the awful situation of having to explain the decisions of others and deliver the awful news. If I were him, I would be in need of serious mental health support, this is an absolutely awful thing to have responsibility for without any ability to rectify.
Which doesn't cost me a dime. Anybody with half a brain knows that TANSTAAFL, you have to pay somehow, but this way doesn't reduce the magic number in my bank.

My information belongs to ME and I should be able to give it in exchange for anything I want. That is my right that was taken away by the EU and now I have it back.
Yes, I understand the idea of such clauses. My specific argument was that for academia it's very easy for them to retaliate in ways that are very non-obvious as being retaliations, especially to outside observers:

> > They can let you pursue ideas that they know are not novel (and the papers will be rejected). Or suggest you try something they know won't pan out.
I am seeing more spam notifications since the rate limit, plus, the spam notifications are 75% of my notifications because all the humans quit.
It seems as if there are many possible things they could omit, given that this is a blog post of finite word count.
Except, shipping by boat has been more cost effective since the beginning of history. The furthest you can get from the ocean in Japan is like a full days walk.
Genuine question: what do you consider "trusted" code/apps? What difference is there between compiling from source and using the prebuilt official Docker image?
Because it mostly works with proprietary drivers without any religious issues.
US Scientist at Heart of Lab Leak Conspiracies Is Still Trying to Save the World
How does Heads and Pureboot solve the Root of Trust issue outlined in the blog post?
+1.

Can the laser shoot across either diagonal?

Pawns only move to adjacent squares, like in chess?

If the laser can move horizontally and vertically, then why not just say it can move like a rook in chess, the way two other pieces are described?
Congested transmission lines cause renewable power to go to waste in Texas
Oklo (YC S14), an Advanced Fission Company, to Go Public via Merger with AltC
Printers are extremely complex from a mechanical point of view, which means that a quality one would cost many hundreds of dollars, even thousands.

Yet people do not want to spend $1000 on a printer, so compromises need to be made.

Expensive printers, like those found in printer shops, work just fine day after day and are cheap to operate. But they can cost $10k.
It's kind of silly IMHO. Recursion has plenty of "state", it's added on the stack before each function call. So under the hood it's all stateful. But instead of e.g. a nice simple counter variable, you've got an ever growing pile of stack frames - with hopefully some compiler shenanigans to eliminate them and convert it to a counter internally.
I disagree with the contention that docker makes installs more simple. I would argue that it only makes installs more simple if you are already setup with Docker, and only when things go 100% correctly.

When I see a software application that recommends Docker for deployment, I always assume that I'm going to need to do extra work to make it behave correctly. Whether that is figuring out how to make it auto-start, or how to forward network ports, or how to share a data partition with the host OS.

Non-docker installs are simpler. At least, for my skill set.
Did SUSE ever publicly address the claims of antisemitism within the company?
TIL that was an option! I'm gonna try this out and I'll update the post later today. Thank you!
Privatization can, and has, worked well in several monopoly utilities, where the privatization is structured appropriately. Forced percentages to be set out for infrastructure improvements, profits capped by regulation, debt cannot be piled on willy nilly but has to be approved by a regulatory body, and finally common access allowing for competition.

Even then it can be a challenge to structure this correctly, but if a government and populace are willing to tolerate an iterative approach an optimal solution can be reached. I'm not entirely convinced it's better than the public alternative, especially since most of the public failures were prior to the internet and the increasing popularity of freedom of information acts, which have allowed the public to gain knowledge and influence the operations of public agencies in a way they, for better or worse, couldn't before. But at the very least such a solution could come functionally close enough to operating optimally.

But none of this is true in the way the UK privatized its water networks. The water privatization is an embarrassment of how to do privatization as wrong as possible. Alternatively, considering a primary goal of the Thatcher govt was to transfer public wealth to private purses, one could argue this privatization was done as efficiently to achieve that goal as possible.
“Vampire facials” promoted by celebs are linked to new HIV cases