skysight-inc/HackerNews huggingface dataset:
Correct! The huge value add of TC is that it is also intensional, which SKI or LC are not. This is a property one is not commonly confronted with (which is a shame), but means that all the things you say (and more) can be defined right in TC. The crucial thing to see is that, while I can surely write a (say) program analysis for C in C, the analysis will have to work on a quoted version of programs! For instance a string, or AST. In TC, thanks to being intensional, you can do this directly. Concretely, say you had a function "add", in one line you can call "add 123 234", in the next line you can all "type_check add yadayada" to check its type. Or to serialize it. Or to compile it into x86.

To be very clear, there are other calculi and even programming languages that are intensional, TC is not first. But it is the most compact formulation, having just one combinator. And IMO the most practical, as I try to prove with the various demos on the website. E.g. I'd recommend looking at https://treecalcul.us/live/?example=demo-fusion which demos stream fusion. All demos are 100% self contained, in line 1 nothing but "t" is defined, and in less than 200 lines we have both a working program optimization and a little demo of it!
>> Why should you want some MBA's life to be easy?

> I want good creators compensated for good stories.

I asked that rhetorically, and then immediately answered it.

> I want good creators compensated for good stories.

So do I. And yet they refuse to take my money.

> $1 for an article would be way overkill for 99.999% of the population.

Maybe. Maybe not. Yes, subjectively it'll feel that way to most people. But there are many out there who have a subscription for $5 a month where they consume none of the content.

But I just pulled the price $1 out of my ass. $0.20, then? The Economist seems to cost $79 per year. If you charge $0.20 per article that's order of one article per day. And most people would not even be interested in one of their articles per week.

Then tomorrow they can spend $0.20 at FT for another article, and so on. And at the end of the year, $79 has been sent to actual journalism, and the customer has received value.

Now this potential customer just consumes nothing. Or worse: Twitter.

> Stupidity is freedom as well.

Differential pricing too. It annoys me that I'm not charged $1 per Economist article, since I am willing to pay.
The UN is not a moral authority and utterances endorsed by it have no more moral weight than any other political organisation.
The cost is here due to AML regulation. If government wants to outsource its duties (crime intercepting) to banks, then perhaps it should be government to pay for it (in the similar manner it pays telecoms for wiretapping).
The PEP part of the Rogan interview was when I understood Andreessen was most likely bullshitting.
Funny how this is not clearly stated, most likely because of who Andreessen is.
AI predicts that most of the world will see temperatures rise to 3°C
But how you type?
> Without advertising, it would be really difficult to run a business.

It's difficult to run a business without advertising in a world full of advertising. If others can get to your customers before they find you then yes that's a problem. But all you get from paying to advertise is to get back to where you would have been without ads (assuming your competitors spend a similar amount).
> What about dynamic websites?

An exact example of the kind of thing I'd like to get rid of.

The UK PC vendor Elonex had the first ever webmail system I saw, called HTMail. It was impressive but it was a private in-house tool to give remote workers email access without needing their own machine with an email client. Wrong sales model.

It the was followed by the indie HoTMaiL, based on NetBSD servers I think, which had the right model: a free public standalone service, paid for with ads. Of course MS bought it and ruined it.

Webmail doesn't need Javascript and worked with pre-JS browsers and servers.

> For example, a platform-independent chat app.

Good. Let's eliminate them, too. They are bloated slow things that allow companies to hijack their own commercial clients' data.

Stick to standard protocols, extend them if necessary -- XMPP 2, Matrix, whatever -- and document and publish the protocols. Make it possible for 3rd party client apps to connect. Pidgin was great and it takes about 1% of the RAM of a bare handful of these crappy Electron efforts like Slack.

What you are citing as reasons to keep it are the reasons I want to see it dead.
this article misses a crucial conceptual point of using a higher-level build tool / meta-build tool with this line

cd build && make

by not using instead

cmake --build build/

and then use all the other options available to the cmake --build command. Think of CMake as your multi-platform build tool, not just a "makefile generator".
Bit-permuting 16 u32s at once with AVX-512
It's not about the money. It's about the hassle of having stuff that represents a usefulness and longevity downgrade over what it replaced.
I decided build a mobile app to search catalog using an image using React Native
As part of my journey learning react native, I was thinking about building something cool that is related to the thing I enjoy talking about which is Shopify.

So, I decided to add a feature to the Shop app that will allow users to search the Shopify store's product catalog using an image instead of keywords.

The workflow:
A user scrolling through Instagram and the found a product that they like
Take a screenshot of it
Open the mobile app, and click on the camera icon.
Select the image and let the magic happen
Get a list back of similar-looking products across different Shopify stores (in our case, it’ll be one Shopify Store)

Architectural Overview

The solution leverages a robust technology stack:

React Native for cross-platform mobile development
Google Cloud Vision API for image classification
Algolia Search for efficient product indexing and retrieval
Remix.js for backend API handling
Shopify Storefront API for product data management

Link to full blog post: https://iliashaddad.com/blog/how-i-built-a-product-visual-search-using-react-native-google-cloud-vision-api-algolia-and-remixjs/

Github Repo: https://github.com/IliasHad/visual-product-search-app
The one-man skunkworks project that became Windows 3.0
Quantum Computing and Chemistry
It makes me want to commit a murder just reading this.
You'd be surprised how many such jobs are there. Mostly not listed though. If my experience is any guide, one generally starts as a temp / consultant and you slowly expand the role from there. There's generally a point some years later where you're almost "too big to fail". Too many small odd jobs that are needed maybe once a year, but when they happen, they are pretty important.
Try this: https://ish.app/
Udm?
Now I wonder, how do you fly to Romania while infected with MRSA? Med evac only, or can you board a commercial flight?
boost.multiindex is close to what you want. You define your table schema (as a struct definition) then ask for indices (of various kinds) on specific subsets of your schema. IIRC It doesn't support anything other than row major layout, but an extension to it is not too far fetched.

I dream of a language with first class support for relational tables as the primary data structure.
> Literally every single one of us is guilty, then

Yes, all of "us" doing it industrial scale and getting paid for it are guilty. Not me, but maybe you.
How David Weise got Windows 3 working in protected mode
i'm curious about the metrics you use for this comparison? such a different world with a lot of history that happened between now and then.

it's not exactly comparing apples to apples. working class americans have access to material goods but they don't have generational wealth like the aristocrats did. they don't have political power. they have to work everyday. they don't benefit from the class privilege. pretty significant list of all the differences.
People whose business is effectively a grift should not be offered banking services, both as a moral issue and as a good business decision.

Right-wingers are far more likely to be grifters.

So right-wingers are more likely to be debanked but correlation is not...yadda yadda.

The tech industry was a lot cooler back when it was mostly graybeard hippies and not a bunch of incel adjacent techbros who never grew out of their Ayn Rand idolization phase.
Honest question, do you think there is a point where someone has earned death? For example, was the mission to kill Bin Laden wrong? Was the mission to kill the Iranian General in Iraq wrong? Is it wrong to kill someone via the death penalty for the rape and murder of a child? Many people fundamentally believe those things are good examples of killing other humans. And realistically, those people are responsible for less harm and suffering , not to mention deaths, that CEOs of healthcare providers being investigated by the DoJ.

It’s not that there. Is a lack of sympathy, it’s overwhelmed by the feeling of justice. And not the injustice you think occurred.
Indie startup (or just simply call it "selling app online") is not bad if your "capital is lower than $1M" AND "desirable MRR at $10k". You can beat $1M capital, 10% return .. by making $10k MRR SaaS instead.
> melting pot

Did you mean tipping point?
Many doctors I know don't have their own clinic (it's too expensive) and still contend with terrible management decisions, and have no work/life balance.

On top of this, school is long and expensive.

Getting a good dev job is better in comparison.
How would she not survive on YouTube? Would they block her posts if she didn't use a misleading title and thumbnail (shout-out to dearrow for those who despise this practice)?
What makes you think that people supporting the exit of evil CEOs also support evil CEOs selling people's data?
So they released it in Afghanistan but not in Sweden? Is this an EU ban?
Any Turing-complete language should be able to express programs that do this.
Yes, that part of Twitter, tpot.

"many of those who participate were formerly part of the Rationalist and Effective Altruism movements. [...] What makes TPOT a "post-rational" community is an interest in topics that are not traditionally rationalist, such as spirituality, occultism and conspiracy theories."

https://knowyourmeme.com/memes/subcultures/tpot-postrat
No, I would expect exactly what we have because both debt and capital accumulation are positive feedback loops.
What I find interesting about studies like this (refining predictions) is that under the surface of science, they provide a subtle hint that we are in control because we 'understand the problem'. But we already understood the problem quite well. We are polluting like crazy. We already know what we have to do but we are restricted to impotent actions that are within the bounds of modern technological and capitalistic society. Science is practically useless here to ameliorate effects. We have a phenomenon where technology continually promises solutions and science reassures us that we understand what we need to do.

In reality it's a fool's game. We are on the wrong path and any actions within global society will be ineffectual to change our path.
Super cool, thanks for the pointer! I'll note, though, that one of the main value adds of (this) TC is that it is also intensional.

See website for some elaboration and examples, I'd particularly recommend looking at https://treecalcul.us/live/?example=demo-fusion which demos a little stream fusion optimizer, entirely from scratch, including small test.
Something odd about this story is looking at Alexander's Github activity history. He started being active on Github in March 2021 - around the start of this project - & since then has been extremely consistently very active right up to September 2024, when his activity dropped off severely, a month or two before he made this license change.
In developing countries like India - a surprisingly high number of students do not have access to a computer. I have a lot of friends who had to learn enough on phone to bootstrap into buying their first laptop.

One of my best friend - in his village in the hills they did not have electricity but the government had sent a PC. No one was allowed to go close to it but that was the very thing that inspired him to learn computers. Today he's one of the sharpest linux/infosec folks in my small circle.
My suspicion is that people simply overestimate their ability to asses risk, thus are tolerant of increased risk in their own home as they’re responsible for it, while other people are responsible for risk in the public realm.
The basic account thing ?

Does that apply to US citizens (legally residing in the EU) that routinely get denied bank accounts because the bank don’t want to deal with the IRS ?

May be he probably could bank with LaPoste.

Beyond that, I wonder if you really believe that the EU has no Anti-Money Laudering / Counter Finance Terrorism laws.
It’s the same logic as: when I married, the time to cook each meal doubled. Ugh, no - many things scale vastly sublinearly with the number of kids one has.
Do look into jsdoc typing and "//@ts-check".

I do agree with you on the compilation, and this is the reason I'm still writing the occasional .js or .mjs file. However, the js I write starts with enabling ts-check and has all of its type information encoded as comment. This way, I'm getting the benefits of typescript while writing the code without needing the whole compilation step.
Did you move to other alimentary disciplines too? Just curious
Same. Pretty much upvoted because I didn't understand but wanted to, and thought other people might be able to provide more insight.
Yes, as I said the mostly likely outcome is guilty but it wouldn’t shock me if, say, he wasn’t convicted on every charge. Juries introduce a human element and the response to this murder illustrates how many people really hate insurance companies. Something over 10% of Americans say they know someone who died due to denied care, which is a big enough number that I wouldn’t rule anything out.
The next big environmental problem could come from space Review
I think that's unfair on "the left". I consider myself leftwing, but the ghouls who are revelling in this man's murder do not represent me, and I do not recognise anything particularly leftwing about their politics. Like you, they're calling for better privatised healthcare rather than socialized healthcare.
The gas tank doesn't have its own ignition source and oxygen built right into the fuel storage area like a battery does. Leaking gas doesn't all but guarantee a fire the way leaking electrons do.

Don't you remember the fire triangle from grade school?
About ten years ago I gave up sugary sodas "for my health" at the behest of my doctor. Almost immediately, I gained a pretty significant amount of weight, rather than losing any. The opposite of what I was told would happen.

I am near certain that the rest of my diet didn't shift in any significant fashion, certainly not enough to replace the caloric intake of 2 to 3 sodas per day and the soda itself was largely replaced with black coffee.

Anyway I don't know what to take from this. I have not gone back to drinking soda, and I never really lost that weight. I suspect that our diets might be more complex than we realize though. I am not a doctor, your mileage may vary.
So, are you saying that it might be possible that there are antigalaxies somewhere out there beyond the visible horizon in spacetime ? I mean, of course “possible” like flying elephants possible, but maybe theoretically predictable?

Like maybe the matter went this way, and the antimatter went that way in spacetime? Or maybe all the antimatter went before the Big Bang and the matter went after?

I mean that’s wild but it would fix the symmetry problem!
The excerpts from the review posted here were _not_ from the section that was quoting the reddit post
>media really over-estimated this persons competence

It is a bit of psychological blindness where we convince ourselves that random murders aren't as easy as they really are. The truth is that almost anyone -- including people with lots of security theater -- can be nullified by random people. This is quadruply true in the era of drones.
> Having every single of currently ad supported businesses cease to exist would not be a real problem.

Uhh, what about news organizations? That would be a problem.
That pretty much depend on country. Here in Europe, it is common to pay online by bank transfers, not by payment cards.
someone once said something to me that stuck: computers are stupid. they do exactly and only what you tell them
https://en.wikipedia.org/wiki/Fixed-point_combinator#Y_combi...
This is vaporware/false advertising.

We don't have tech to correctly "detect ai" in 2024, which is why education has broken down over the last few years with serial cheating in every institution.

Every company so far that claimed to detect AI generated slug has failed.
I have no idea what farming and plotting are. But if they wanted to prohibit everything related to cryptocurrencies, they would not say ‘applications for mining cryptocurrencies’ but rather more definitive language such as ‘applications for operating cryptocurrencies’
That was my first thought as well, but the paper says that after excluding all people with a previous condition, that association remains unchanged. There might be something else, like particular diets, at play.
> ArchLinux satisfies that requirement pretty well but my main issue with it is pacman. If you don't religiously run upgrades every hour on the thing it will just break because for some reason key management is not figured out yet there. The installation is also quite big usually due to packages not being split.

This is a weird take. I run pacman -Suy every month or so unless I need to update something specific and never had any problems. Sometimes I did have to run `pacman -Su archlinux-keyring` first to get new keys and everything just worked. So I don't know what the author means by "key management is not figured out yet"
I tried your example in DrRacket and it does not nest :(

I think it's possible, but I'm not sure. The reader in #2dcond is already isolating the cell, for example in this monstousity:

#lang 2d racket
(require 2d/cond)

(define (same? a b)
#2dcond
╔═════════════╦═══════════════════════╦═════════════╗
║ ║ (pair? a) ║ (number? a) ║
╠═════════════╬═══════════════════════╬═════════════╣
║ (pair? b) ║ " .║ 333 ║
║ ║. " ║ ║
╠═════════════╬═══════════════════════╬═════════════╣
║ (number? b) ║ 444 ║ (= a b) ║
╚═════════════╩═══════════════════════╩═════════════╝)

(same? '(1) '(2)) ;==> " . \n . "
(same? 5 '(2)) ;==> 333

There is a string that start in the fist line of the central cell and ends in the second line of that cell. The string does not include the 333 that is "between" the two double quotes, but it includes some fake spaces (?!). You can even replace the 333 with "333" and each string only get characters inside their own cell (and fake spaces).

About the default value, I prefer the empty cell for clarity. The default is to raise an error. In some expressions in Racket the dafault is (void) and in other to raise an error. Both camps have strong opinions. I think the comunity is moving slowly to error, but old stuff have to keep the old behavior for backward compatibility.
As a swede myself I agree somewhat but also I don't think what you're saying is the case anymore, even if it used to be.

Today I think swedes in general consume a lot more sugar and much more in a super processed way that we used to. The culture of only eating candy on saturdays is probably alive and kicking among many children but I think isn't that strong anymore with grown ups. A lot of swedes, including myself, struggle with overweight and I think it is mostly how the food culture has changed to go from european to american inspired.

It's basically impossible to find a restaurant close to a highway that doesn't serve ultra processed food that is cooked in some other kitchen far away or simply fast food where it used to be common place to have basically home cooked meals everywhere you went. Now it's mostly low quality crap food just like the USA.

Also the pasteries to the fikas have changed to be more processed. Everything is made with vegetable oil instead of butter etc. Even things that are supposed to be healthy like yoghurt and similar things are filled up with thickener additives or unnecessary added sugars.

Unfortunately Sweden goes along to be more and more americanized (especially food-wise) and I think it sucks. I wish Sweden would be more like the rest of europe and keep it's food culture.

TL;DR: It used to be like the OP said, but it isn't anymore. It is hard to eat healthy because manufacturer keep pushing so much crap in their products and the availability of crappy food items is just insane.
Ask HN: Microsoft 365 Outage
Getting browser login outages on office site on two different unrelated domains.Any one else? Can still log into the domain specific SharePoint URL which provides a menu to other apps. Mobile and desktop apps are working.
B is / will be huge; the largest amount of "mindless" content is consumed on phones, with half attention, often with other distractions going on and in between doing other stuff, and can be watched on older / lower fidelity devices, slower internet connections, etc. AI content needs high resolution / big screens and focused attention to "discover".

The truth is... most people will simply not care. Raised eyebrow, hm, cute, next. Critical watching is reserved for critics like the crowd on HN and the like, but they represent only a small percentage of the target audience and revenue stream.
I was an engineering manager, but I am now more of a co-manager, because I suck at managing difficult engineers. Our business is small and we asked our product manager to help manage engineers too. She is not technical, but is great at managing people.

I now write software, assign tasks, hire and sometimes fire people too. But I don't do the hard stuff of managing people, doing their reviews, encouraging and coaching them and giving them a shoulder to cry on. I know my limits.

I love this arrangement. Sharing a role works well if you can find someone who is good at what you suck at.
Eh, a 5lb extinguisher in good hands has enough punch to extinguish a flaming stock tank of diesel twice so it should put out a car that isn't totally engulfed.

Source: Got to watch a demonstration put on by the local firefighter training center.

Source 2: Anecdotal experience buying burnt out vehicles at auction, the state trucks with extinguishers are typically only a little burnt.
It's hunting wild game at an industrial, global, scale, for billions of people among hundreds of countries and expecting things will magically work themselves out indefinitely, with strong emphasis on "magically work". This is certainly a dumb idea.

Some like to imagine this is defensible. We've all learned the futility of disputing with people's imaginations.

I'd rather things weren't this way as well. Seafood is delicious
Oh, OK! I think it would be interesting to know to which universal combinator (or lambda expression) is the 't' related to.
Never mind that.

TIL the best podcast app on Android also has an online podcast directory!