skysight-inc/HackerNews huggingface dataset:
I was never able to move from PHP to something else. I tried nodejs for a few months but it always seemed much more complicated. Especially the dependency and build system.

With PHP to move my code to a production system I just need to run `git pull` and the new codebase is instantly live. No builds, no server updates.

The Markup system of PHP is also very very handy. No more messing with handlebars or external libraries.

Realistically you can start a small site with PHP and HTMX and no external PHP package dependencies in an evening.
> and that can't really be done without completely destroying internet anonymity.

doesn't have to in the general case

maybe just have it at the OS level, have parents set up the phone, prompt on setup whether it's intended for use by a minor or not, use that flag to enable/disable access to social media

that's not really the same as banning social media for all minors and imo makes too much sense, more likely that congress will push something that fucks over anonymity more
that would take UI dark patterns to a new level
PHP is a great language to learn OOP, classes, interfaces, abstract classes, traits, managing dependencies and unit tests. I'm not using it anymore but I learned basically everything with it a decade ago. Thanks PHP!
> if you don't like these products and feel they are negative, then don't use them

It's really not that simple. The products have become so widespread and influential that they change the very culture of our society for the worse. It doesn't matter whether you abstain from using Instagram or not, some of your friends will still be more or less subtly influenced by its existence in your social interactions.

There's a nice quote from Marshall McLuhan's Understanding Media, which IMO hasn't aged at all in 60 years: "Our conventional response to all media, namely that it is how they are used that counts, is the numb stance of the technological idiot. For the 'content' of a medium is like the juicy piece of meat carried by the burglar to distract the watchdog of the mind... The effects of technology do not occur at the level of opinions or concepts, but alter sense ratios or patterns of perception steadily and without any resistance."
> You might think how do you define that, but the companies have already made a whole science out of it so it's not that abstract anymore

Hardly. Addictiveness does not exist in binary. There are many people who obsessively check their email or refresh news websites. There is no doubt that social media companies choose the algorithms that maximize engagement and so most probably they also maximize addiction, but _any_ algorithm will cause addiction to some extent. What's the limit? How do we even measure this?

Something that is maybe a little more interesting is banning the practice of recommending "negative content" because it produces more engagement than "positive content". How this is defined is also somewhat squishy, but we can at least try to define it -- content that is likely to provoke negative emotions, like anger, fear, aggression, etc.

I think there's a much clearer through-line to argue that recommending negative content on social media produces a substantial negative externality, and that moves this into the category of things like environmental regulations.
And maybe that lesson is hiding in ellipsis or maybe it's not. Who knows...
It is both qualitative and quantitative change... From limited time to unlimited time with limited place to unlimited place... From couple of hours with other tasks, to ever present thing you turn in slightest moment of boredom...
> First, if the skeptics were right and the null hypothesis were true (i.e., social media does not cause harm to teen mental health), then the published studies would just reflect random noise2 and Type I errors (believing something that is false). In that case, we’d see experimental studies producing a wide range of findings, including many that showed benefits to mental health from using social media

No? What's the connection? No harm doesn't mean health benefits, just... no harm
You are not given a choice to opt out. You are included in an ever-increasing dragnet of surveillance. The incentives are set up for it.

You either play the sisyphean game of personally blocking a billion dollar company from including you. Or you reach for the long arm of the law.

We all know FAANG gave us no choice but to use government ruling.
Nvidia Blackwell Perf TCO Analysis – B100 vs. B200 vs. GB200NVL72
A string diagram represents a computation using a monoid (associative binary operator with a common left/right unit element). You can interpret the computation as a dataflow through the inputs and outputs of the operators. By further characterizing members of the set, you can add constraints on the types (parts) of the data flow along edges.

So they are just a monoid algebra, dressed up with category theory mumbo-jumbo: monoidal category.

The origins go back to Einstein Summation Convention for writing products in vector/matrix/tensor math. Albert got fed-up with writing all the correct free-bound indexes and ranges on fancy sigma summations, so he invented the lazy summation convention.

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

To make a dot product of two vectors they must have the same dimension. To multiply two matrices, the i-dimension (no. columns) of the first argument must equal the j-dimension (no. rows) of the second, and these will be consumed, then the result will retain the other two dimensions.

Not only are matrix multiplications non-commutative, but the output dimensions will be different depending on the order. For example, A32 x B23 = C22, but B23 x A32 = D33, note how the outer dims must be equal and are consumed, and the result has the inner dimensions.

Penrose was a specialist in GR, so he knew the summation convention in his bones. He was also a very visual mathematician, who had appreciated Feynman's diagrams as a planar graph representation of terms from a mathematical series expansion of the particle interaction. Penrose developed a diagram notation for tensor operations:

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

All this algebra can be categorified, expressed in the language of CT. The various behaviors of commutativity of the product give rise to a spectrum of categories (symmetric, braided, etc.), and these can be represented as properties of the diagrams. For example, braiding means the order is important, and the crossing of two edges in the planar graph has an algebraic meaning.

The best layman's introduction to how this ties together various parts of math, quantum physics and even computer science is: Baez, Stay "Physics, Topology, Logic and Computation: A Rosetta Stone" (2009)

https://math.ucr.edu/home/baez/rosetta.pdf

The theory and practice of applying string diagrams to quantum mechanics has been taken forward by Bob Coecke. Here are a couple papers that go through QM math, categories and string diagrams:

Categories for the Practising Physicist https://arxiv.org/abs/0905.3010

Categorical Quantum Mechanics I: Causal Quantum Processes https://arxiv.org/abs/1510.05468

(Section 3: String Diagrams)

His beautiful magnum opus is the book Picturing Quantum Processes (with Aleks Kissenger):

https://assets.cambridge.org/97811071/04228/frontmatter/9781...

http://cs.ru.nl/A.Kissinger/slides/esslli-lec5.pdf
Selling me on Tree Style Tabs -- and thereby an analysis of the downsides I see to the specific browser/extension configuration I need to have to get such a feature in practice today -- seems very unrelated to why anyone uses or wants tab groups ;P. I have access to tab groups and am not using them, because I don't understand the workflow for them, and all the demos feel contrived: users for whom supposedly a mere five or six tabs are so many they need to be organized into groups.

(FWIW, it is certainly highly related to why all of these users aren't satisfied by using an existing extension that implements tab groups: most of the reasons people describe also apply to why I am happier figuring out how to live without an extension for this. I personally believe it would behoove Firefox to lean heavily into being the one truly hackable customizable browser--steering towards things Chrome would balk at--but they have been running in the other direction now for many years and I am sad.)

As I said: I would definitely support any of these browsers implementing native "tree style tabs", but I don't (at least, yet) understand the workflow people are using for "tab groups" a la Chrome (the feature in question on this post that people want Firefox to integrate). I do want to understand, though! I legitimately am curious how people are concretely using tab groups, as the feature doesn't make sense to me currently but apparently a lot of people want it...
Smaller batteries have less ways to go wrong.
It is webkit based.
Can you share example of github actions?
When i use docker/setup-buildx-action and local runner i can't make it use the cache.
I think it's the "docker-container" runner's fault
No, NEET stands for "Not Employed, Educating, or Training" and Hikikomori translates literally to "Pulling Back In". Both phenomena result in the individual abdicating his productivity in deference to pursuits such as resolving crises and introspection.

Tang Ping on the other hand is a phenomenon where the individual only produces as much as his environment demands of him. If he contracted with his employer to work 9 to 5, he will work 9 to 5 and not a second more. If his work description is producing Powerpoint slides, he will produce Powerpoint slides and only Powerpoint slides. If he is remote work, he will quit rather than come into the office. He will then use the freed up time and energy on other pursuits he deems worthy.
My email is 6xv6vx@proton.me
Serious inquiries only.
Thanks in advance!
Godspeed!
Might be a dumb question but does this mean this model has 176B params?
I was there yesterday, which is what led me to stumbling on the submitted link. The people in TNMOC are astonishing - their knowledge, experience, and passion was one of the best museum experiences I’ve ever had.
That is my biggest gripe with Mongo. As much as SQL requires a totally different way of thinking, as a query language ts simply unmatched for its expressive power, except by maybe Datalog.

Mongo just doesn't feel like that. Every example I have seen is simply "KV lookup". No discussion of things like range based queries, or how data relates to each other. Yes of course these things are possible, but it requires writing a imperative query. Seems like it encourages people to be lazy and duplicate data everywhere, which results in a poor data model.
He wrote a book?
Unless you've ever been a QM (Quality Manager), and a damn good one to boot, you wouldn't understand. We're a bit like Internal Affairs. We know where all the skeletons are. We take notes. To a point, as long as there is hope something'll actually get remedied, it doesn't have to go much further than that.

Prove mens rea though, and we tend to be that perfect combination of places, names, who was involved, what they said, and where to find the evidence, because we were the ones who put it there. Just in case.

A QA/QM with a conscience, notes, and evidence is an exec's absolute worst nightmare from the legal liability perspective. Criminal charges that pierce the corporate veil need names. If you were going to merc someone, they'd be the ones to merc.
Having one strong national law would be ideal for everyone involved. Much like gdpr.
I’ve been using the Claude 3 API since the models were announced. I believe it’s generally available (though capacity constrained & rate limited at present).
> > What is the explicit difference between 1 person and 10 persons when it comes to their rights?

> None.

> > Explicit, I want to know what rights we lose as soon as "I" transforms into "we".

> In this case a company isn't "we". It is usually the owner.

Awesome, I'm glad that rights do not change between 1 to 1 billion, let's not assert that these rights disappear in conditions that make no difference in quality.
Mini Landing Pages: Convert your ad clicks into leads
Hello,
I always struggled with building landing pages that actually convert to leads.
Often you need multiple pages for multiple campaigns.
So I started building mini landing pages that cut through the "bullsh*t" and I am pleased by the results.
They are optimized for mobile.
If anybody wants a mini landing page lets talk. Will currently build you one for free till I publish v1.0 of the business.

Please submit your request for a free mini landing page here:
https://forms.gle/nCPc18eUittxodxo8
> There's no right to privacy in the 4th Amendment.

The Constitution is not an enumeration of rights that the people have. It even says so itself, in the ninth amendment. So there doesn't need to be text which says you have a right to privacy: you have that right even without it being listed.
Or you can connect directly without an intermediary, reducing the risk of communication fails from the extra link in the chain
I'm in the same boat! PHP is so insanely functional. There are a lot of powerful frameworks but I personally like to keep my projects very simple with minimal dependencies and nothing comes close in terms of how fast I can go from idea → prototype → production. PHP + SQLite is a beast.
If the same code runs different paths in the the different boxes, it's still 100% a monolith.
8x7 had 46B or so.
And that's why people look down on it - it's the same as how movie reviewers don't like regular movies, or book reviewers only like complex barely-readable books.

The simple stuff is just too boring once you are an expert in the subject.
Maddy and Mox are written in Goo, but Stalwart in Rust. So perhaps the first two, but unlikely the last.
So trading one puppet master for the other, it seems. Not much "Open" about that.
This spring’s music festivals with some phantom Will Call sales can clean this money into unquestioned revenue on the books

A few thousand last minute tables “sold” at Coachella side parties will do the same

LA / Socal has so many things and a big enough spread out enough economy to wash any amount

Can use a design studio “by appointment only” with some phantom customers and phantom projects the studio is paid for

I could keep going.

who put my email in my bio, that’s weird
> Will we be watching AI generated movies and listening to AI generated music that is altering our politics?

I suspect we increasingly will (and in some cases already are). As you say, anyone using social media will find bots shilling ideology of one kind or another and usually with ads on top of the astroturfing. It's only going to harder to sell who is a person or an AI pretending.

Anywhere you see an advertisement is an opportunity to manipulate you. Compared to most people I see very few ads myself, but I sure can't escape all of them. Limiting our exposure to ads is the best defense we have against them, but increasingly they part of the content we want. Ads are being inserted into more and more places in our lives. AI will be too.
Cigarettes aren't speech. I don't understand why anyone would argue otherwise.
Hot Module Replacement and Live Reload in Node-based web dev servers bring some of that magic feeling back, although you will quickly need to learn about module resolution and other intricacies.
low-skill sounds much more negative than "not complicated enough to constantly fail" :P After so many sightings of bespoke build tooling I kinda miss this part the most.
> it is safe to build wealth in the US

It's safe to build OBSCENE wealth in the states.

It's safe to build wealth in PRC, plenty of 10-100 millionaires.

It's also safe to build OBSCENE wealth in PRC, but it comes with more political caveats. Like not trying circumvent regulators by launching irresponsible fintech.

Which system is better depends on how much you value checking billionaires.
One of the requirements could be maintainability, and the fact that is launched and operational and serving clients globally tells you nothing about that.

You're basically arguing there is no such thing as tech debt, if a software works, then there can be nothing wrong with it. I would think this is obviously false.
Note that not only does it have such mitigations, but seL4 has state-of-the-art[0] timing side channel prevention.

0. https://trustworthy.systems/projects/timeprotection/
I don't remember almost ever using the top left "system" menu after Windows 3.x. Windows 9x (and NT starting from 4.0) had dedicated buttons for maximizing, minimizing and closing windows with a single click. Moving and resizing could be done by grabbing the title bar or corners, as they can today.

I don't remember exactly how the resizing and moving as found in the menu worked. Maybe they allowed for resizing/moving without aiming at the relatively small corners or the title screen. But for that I much prefer the traditional Unix style of alt + click/drag anywhere on a window moving the window. Alt + right mouse button similarly resizes it.

That is a feature I have missed on Windows.

I do seem to remember sometimes using a series a key presses to minimize the window through the system menu without using the mouse. But that was also due to not having an actual keyboard shortcut for doing that.
This the much discussed “third place” that has all but disappeared in much of western life. See _Bowling Alone_ for a very early (pre social media) analysis of this idea.

A third place could be a coffee shop, a bar, a church, a softball league, a book store, or even just a nice park. By and large people don’t go to these places nearly as much anymore, except to consume and leave. And if they do go there they are on their phones until they finish their transaction and leave.
Apple won't allow AI-powered extensions. They currently don't even allow blacklist-powered extensions like UBlock.
And that's the "privacy" focussed company, shoving ads down your throat.

The competitor is Google.

And 90% of users spend 90% of their time in walled gardens like Instagram or TikTok anyway. They see built-in ads.

Do I need to say more?
Large Company Used Its Employees And Assets To Ship A New Feature, indeed.
30 years ago, you didn't live vicariously through the published perception of the world you friends held 24/7. Social interactions stopped when you put down the phone or went home for the day. If your friends went on a trip, while you couldn't, you'd only hear about their stories when they got back.

30 years ago, unrestrained access was still constrained to a desktop computer hooked to dial-up. Your access was constrained to a physical location.

Today, the big issue is the lure of having 24/7 mobile access to the Internet. At any moment, you can amend your own crafted online digital identity, meshing it with your real life, as you publish your location via Snapchat, Instagram or WhatsApp with your friends. Meanwhile, you can't but be confronted with notifications telling you where your friends are and what they are up to with who ("X has posted a photo, Y is currently at Z").

On a surface level, that lure has created a host of totally new social conventions and etiquette over the past 18 years, basically since the release of the iPhone. Social conventions to which one has to conform unless you don't want to lose out on social connections.

For instance, seeing whether a recipient of a PM has "read" a message and then "leaving you on read". Having that rather unrealistic expectation that one ought to respond instantly once a message has been read. At worst, friendships are put on tenterhooks as one ties value to the time between that "read" notice, and the moment a response follows.

In reality, the world 30 years ago wasn't more beautiful and people weren't more kind then they are today. In fact, if you weren't asked by your friends to hang out, or were left out when they went to a party and had all these in-group stories to tell, you felt socially isolated either way. That's not really new.

What's new is that this new lure of 24/7 connectivity creates a potential to be confronted with those feelings pretty much every waking hour. It must be anxiety inducing to scroll through your feed, not knowing if your friends did or didn't hang out last night without asking you.

To my mind, the answer isn't outright banning social media, or mobile devices. The answer is to keep having that difficult discussion about the value of the affordances - or lack thereof - the offer to foster healthy human relationships. It's about finding better ways to teach and empower young people on how to approach these tools, built by commercial enterprises, in healthy ways. And it's about being willing to properly publicly invest in aspects ranging from education to mental health support to enforcement and so on.
Two adults agreeing to engage in sexual activity in front of a camera, because their only other option is forced military service.
How does the directory management ui work with an external directory, say LDAP?

I've been looking at both Stalwart and Kanidm, I suspect they would be a good pairing.

https://kanidm.com/
I reckon I could implement 90% of the end-user functional features of Twitter in a weekend. The remaining 10% of the features would take at least another year, and the non-functionals (performance, reliability, observability, scalability, etc) would take me a lifetime. But that second sentence turns Twitter from a useful little tool into a valuable product.
He sure did. It's a mixture of stories (some of which are on his blog, some not) and fairly detailed example programs highlighting various parts of Windows.
Thanks. I never know the correct terms of revenue vs. profit :)
Please do consider reading the report I linked. It really does go into considerable detail on the evidence-based rationale for its recommendations.

You may find insightful this quote from the report:

"Although some think the clinical approach should be based on a social justice model, the NHS works in an evidence-based way."

"Whilst navigating a way through the surrounding
‘culture war’, the Review has been acutely and
increasingly aware of the need for evidence to support its thinking and ultimately the final recommendations made in this report."
Ultima IV: Quest of the Avatar – Pre-Game Questions Guide (2000)
Personally I was pissed by another popup I do not want. To each his own.
LOL ...

I cant believe I listened to all of that.

Based on the output they need to train the model again, and remove all the mannheim steamroller.
The physical page is 65, the labelled page is 57.

That is of course, a joke, but Category Theory does feel like that sometimes. There does not appear to be any grounding, it's all circular. Anything can be lifted-up, or projected forgetfully down, to almost anything else. A Category has sets of nodes and edges, to describe the category of ... SET. Category diagrams are directed graphs, and there is a category of GRAPH, which can be labelled to make a diagram, which can be used to analyze ... categories.

There is always sand under your feet and concrete in the sky.
small browsers == wrapped chromium/webkit whitelabels. what a win.
brave is cool though
I always thought that the Windows XP color theme was vastly over hated. I thought it looked nice, but even if one didn't enjoy it, I cannot understand why people acted like it killed their dog.
The US sent pallets of cash to Iraq and that disappeared so a mere 30 Million won't be very hard.
What access to tools or avenues for speech should fall under the first amendment then?
It's only easy to start up to hello world kind of projects.

To build anything useful you quickly discover that it's hard to build from source (both the lang and extensions), some parts unmaintained for years. There are many counterintuitive idiosyncrasies you must deal with to be productive. The ecosystem suffers from the overuse of indirection and reflection. Php only looks easy, but the rabbits hole goes deeper than most other langs.
That's great and all, but lead is nasty stuff. I really hope it's use will diminish. Lead handling is always fraught with risks at every turn.