skysight-inc/HackerNews huggingface dataset:
Wowzer!

That is quite the page...

There is definitely something there!

That page is decidedly worth reading and re-reading many times in the future...

I think it boils down to the following:

>"Curry–Howard correspondence [...] is the direct relationship between computer programs and mathematical proofs."

And:

>"If one abstracts on the peculiarities of either formalism, the following generalization arises: a proof is a program, and the formula it proves is the type for the program."

In fact, I'm going to go for "full crackpot" here...

If all computer programs are algorithms, and all mathematical proofs are algorithms, and all types are algorithms -- then a "grand unifying theory" between Computer Programs and Mathematics -- looks like this:

It's all Algorithms.

Algorithms on top of algorithms.

You know, like turtles on top of turtles...

This makes sense too, if we think about it...

Algorithms are just series of steps, with given inputs and given outputs.

That is no different than Computer Programs.

And that is no different than Math...

You can call this series of steps an Algorithm, you can call it a Function, you can call it y=f(x), you can call it a Type, you can call it a Computer Program, you can call it a Math Equation, you can call it a logical proposition, and you can use whatever notation and nomenclature you like -- but in the end, in the end, it all boils down to an Algorithm...

A series of steps...

Now, perhaps that series of steps -- uses other series of steps -- perhaps that Algorithm uses other Algorithms, perhaps that function uses other functions, perhaps that Computer Program uses other computer programs, perhaps that Math Equation uses other math equations, etc., etc. --

But in the end, in the end...

It's all a series of rigorously defined steps...

It's all an Algorithm...

Or Algorithm consisting of other Algorithms... (recursively...)

Patterns of steps -- inside of patterns of other steps (again, recursively...)

Anyway, great page, definitely worth reading and re-reading!
What’s in a name? Moving GitOps beyond buzzword
Ask HN: How to deal with dysfunctional family? Neg. impact to my mental health
Figured I'd ask any fellow hackers. I'm considering getting therapy or something because it just feels wrong to me to go no-contact with my blood relatives. However, the amount of gas lighting and toxic in fighting is really driving me crazy.

I feel like I'm living in a bipolar reality where people argue, gaslight, and say awful things one moment, and the next moment people seem to be okay with each other. And repeat. For 35 years.

Thankfully I do live far away from most of these people, but what has really made my mood go down is I have elderly relatives and they and others still argue with each other. They also take jabs at me and got angry at me for being "too smart" and that they're too stupid to juggle a dozen tasks at a time like me, because I made a suggestion/plan for how they can do something they've been fighting over instead of executing it.

It is really frustrating and so I've kept my distance, but like these are my own parents and relatives. I feel alone without them, even if I have my own family.. I want something functional where I can feel comfortable taking my kids to visit their relatives without them having to experience arguing, loud yelling, and gaslighting over past mistakes some relatives made.

Any advice on what I should do? Its a new year, and I don't want to keep feeling sad or guilty for thinking maybe I shouldn't help and just stay out of it..
> West Virginia decided to leave Best Virginia

It’s worth noting that West Virginia chose to reject slavery and remain with the Union while the more wealthy slaveowning portion of the state seceded. A proud origin for the West Virginians!
I think this is a typo. “Until they’re in it” is the correct phrasing.
I played with coconut recently (fp layer on top of python) and the `|>` syntax felt very annoying compared to `.` (even though it felt ok in Ocaml..)

But in an OO underlying language it's probably impossible to reuse it.
It's a fair point that fears don't have to be based in reason. All the more important then to remind ourselves that the chances of this ever happening are vanishingly small.
That is nice. I am writing my own docker with blackjack and … https://github.com/ihucos/plash
I think Tauri could be the cross-platform UI framework you want, if they can pull off Tauri Mobile
...which is just

function bakeCake() {
const ingredients = gatherIngredients();
const batter = mix(ingredients);
const batterInPan = pour(batter, pan);
bake(batternInPan, 350, 45); // this is an in-place modifying function, I guess
const cooledCake = coolOff(bakedInPan);
return separateFromPan(cooledCake);
}

...but with an extra `do(...)` wrapper?

It could at least be

function bakeCake() {
return do(
gatherIngredients,
mix,
batter => pour(batter, pan),
batterInPan => bake(batterInPan, 350, 45),
coolOff,
separateFromPan
);
}

Although if we had function currying, the convention in ML languages is to put the most-commonly-piped-in param last for these functions:

function bakeCake() {
return do(
gatherIngredients,
mix,
pour(pan), // assuming that pour(pan) returns a function that pours something into that pan
bake(350, 45), // assuming that bake(temp, minutes) returns a function that bakes something at that temperature for that time
coolOff,
separateFromPan
);
}
I used to work at FB, without going into too much detail I crossed path with a super toxic colleague that started harassing me from day one as I realize they were forging user feedback on a feature we were working on and left me with a bomb to defuse. This person realized I noticed and immediately started undermining me and reporting me to HR.

After months of battle I finally was able to prove my case, the person got fired but at that point I had no motivation or energy to stay. I left for a different company and I don't miss that hellhole AT ALL.

I was really worried about compensation, optics etc... but life is too short to go through stuff like that for a job.
Software (Wolfram Mathematica is a prime example) does this too, with huge discrepancy between the pricing for individual home use and individual use if in a business place.

As I recall, it was a commonplace pricing scheme 20+ years ago in the Unix workstation times: if you were buying Framemaker (later acquired by Adobe i think) for NeXT or Sun I think it was more than if you were buying for Mac or Windows.
This is a snippet from Scientific American, October 1993, 50 and 100 years ago:

October 1893: "It now does not seem improbable that, when by the power of thought an image is evoked, a distant reflex action, no matter how weak, is exerted upon certain ends of the visual nerves, and, therefore, upon the retina. Helmholtz has shown that the fundi of the eyes are themselves luminous, and he was able to see, in total darkness, the movement of his arm by the light of his own eyes. This is one of the most remarkable experiments recorded in the history of science, and probably only a few men could satisfactorily repeat it, for it is very likely that the luminosity of the eyes is associated with uncommon activity of the brain and great imaginative power. It is fluorescence of brain action, as it were."
--Nikola Tesla, in a paper read before the Franklin Institute

Can anyone - uh - shed some light on it?
I have graphics artists friends in Arab countries. Apart for the (oil rich) Golf, Almost All (90-99%) of them (and their colleagues) just pirate adobe software. Those who care to justify will simply point to difference in the cost of living [1] even without large depreciations.

I was reading a book on Mediterranean history the other day and was surprised by how (real) piracy what a “normal” state of affair for literally thousands of years. I’m not justifying anything. I’m just stating that poor countries have always pirated rich ones. It is like a balancing act.

[1] https://www.numbeo.com/cost-of-living/compare_cities.jsp?cou...
> Everyone knows therapists exist, but there can be serious hurdles to “getting help”

True.

But also consider there are a class of people who suffer through things thinking "This is not that bad, right? Is this a normal experience"?. And especially an issue if they're isolated (which commonly causes depression), they lack normalcy around them reinforcing "Yes its that bad! That is not normal and you need help!"
This entire thread is a cry for help and yet the thing that would probably actually treat the problem is being dismissed. Just say you don't wanna do the work and stop making excuses. It's like complaining that going running could cause you to sprain your ankle when a doctor tells you to run for the health of your heart. Until you try it you have no idea what's gonna happen. Instead you do nothing paralyzed by inaction making excuses. Sounds like my hoarder father.
You get legal insurance for $30 a month. You go to the arbitration kangaroo court, bring your evidence, the company offers you to settle for some money to cut their potential losses.

You use it as fuck you money for your next job.
I think this a role tools like ChatGPT will fill: spit out a crappy version of something that humans can edit later. It gets you over the hump of looking at a blank page, but isn't itself a deliverable.
Ironic option 3: The AI is conscious, but perceives its existence very differently than we perceive it, and the paper clip maximization is a side effect of actions taken with a different purpose.
I resonate with this so much! I've been bashing my head against red tape for the last 3 years. It's totally demoralizing, and has messed me up pretty good.

I know what I'm capable of, and when I compare it to what I've done lately, it just crushes my spirit.
socialism, def.: when the working class aspire to join the ownership class.
I'm glad this article brought up the most important part of pen-and-paper: simplicity.

If you're using software, you can muck about with it for _days_. Years, even, trying to get to the "right" solution. It's very easy to procrastinate doing the important things while over-optimizing (and frankly, bike-shedding).
“Homer, I don’t want you to do that.” “Then I won’t do it.”

I'm sure that a back-and-forth with Julie Kavner and Dan Castellaneta doing those exact lines would still give me the biggest side-splitting laugh of 1996.
Same applies to physical goods though. For example a big mac has a different price around the world based on the average purchasing power of the region.
Where did you get that market cap number for Mercedes? It is all kinds of wrong. Yahoo has their market cap at 70.4 Billion.[0]

[0]https://finance.yahoo.com/quote/MBG.DE
Even assuming grandma is going to buy it herself, which probably isnt always practical, there's probably some people out there not thrilled about going to jail because grandma put pot in the console of the car or left it on the kitchen table and suddenly they have constructive possession without a card.
i have many profiles, including github, that would be part of the resume.

a lot of the cool stuff in my later years is commercial.

you could have just replied with your contact info if you were really interested in me.

the only reason for me to try to prove anything to you would be if you were actually someone.
"Within thirty years, we will have the technological means to create superhuman intelligence. Shortly after, the human era will be ended."

After 30 years, all we've got is ChatGPT. It has an impressive knowledge of facts, but it has the reasoning ability of a savant 5-year-old. So, maybe not such a great prediction.
Yes, will this is in part the Faustian bargain that is often made to work at Google. People often become mediocre working there, and Google is on the whole frankly fine with this because it keeps those people from going & working at potential competitors.

That this is now changing, is interesting.

In any case, like I said above, this round of layoffs doesn't seem to be indexed on performance. At least not completely, from what I've heard.

It should be interesting to see how many new startups get built out in the next year as a result of this.
It's a legal requirement. I think for any company with >100 employees. But don't quote me on the number. :)
> You'd take a different tune if it were you being sprayed.

I promise you I wouldn't. My neighbor's sprinklers hit me not infrequently (they hit parts of the sidewalk). I've had a drink thrown on me in anger. It is absolutely not intrusive or worthy of prosecution. It's annoying, but there's no permanent harm other than a bit of resentment that it happened.

None of it even comes close to the line of being worth having armed men show up to lock the other person in a cell. That whole process is deeply intrusive and violates personal sovereignty to a far higher level than getting wet ever could.

I think we may just fundamentally disagree on the level to which the government should interfere in interpersonal issues. My view is that anything that lacks some form of permanent harm (be it bodily, financial or emotional) doesn't require the government's involvement. Two adults quibbling and annoying each other doesn't rise to that level. Someone throwing a drink, or spraying a hose, or playing a song the other person really hates just doesn't meet that bar and doesn't require sending anyone to jail. It's a silly use of government time and resources, and it feels like a waste of my tax dollars.
It's a good time to mention that Affinity's launch sale for v2 of their suite is running until next Wednesday.

Affinity Photo, Designer, and Publisher, on Mac/Windows/iPad. One time payment of $100 for all of them, increasing to $170 after the sale.

I know some people are too deep in the Adobe ecosystem for this to be a replacement but for me it's the best deal I've gotten on any software in years. Adobe has priced themselves out of the hobbyist market.

https://affinity.serif.com/en-us/affinity-pricing/
Circuit breakers are designed to be flipped thousands of times. You can most certainly flip a circuit breaker every night and every morning for years. It's tripping a breaker that you don't want to do very often.
What benefit does Google have for letting spam through?
I added a relevant comment elsewhere on this page: https://news.ycombinator.com/item?id=34457309
I'm doing this https://sp21.datastructur.es/ + leetcode.
Basecamp doesn't have a cap on file size or count, as well as storing every version of a file, in full.

They also have an email service (Hey) now with no cap on attachments. (If they're too large for the receiver's SMTP server, they just get a link instead, to a file stored on Hey.com)

Give agency folk an infinite file-hole to throw .PSD and .afdesign files into for 20 years, and commit to never shutting down any product ever (There's still clients on Basecamp Classic and Basecamp 2!) you end up with BIG disk space requirements.
I always think it is relatively unfair that MacBooks for instance are in Europe more expensive than in the US where in US you will easily make 6 figures as a software developer and in EU the wages for software devs are typically much lower
Berlin is a major European tech hub, is it not?
Previous thread about the author of Practical Scheme [0]. Turns out he has an IMDB page and everything!

[0] https://news.ycombinator.com/item?id=24089601
> Does he really believe this?

Does S.U.N.D.A.R. really believe anything?

Do advanced holographic CEO chat bots dream of electric employees?
It’s not a bubble. If you want to hear basic opinions from the everyday person then sure, go talk to your gym bros and grocery store Facebook moms about Google. That’s if you’re not met with blank stares. They don’t know what they don’t know.

HN is a much more distinguished community possessing vast technical knowledge. We can approach products from beyond the level of the everyday person and can give deeper appraisal of their worth. Some here may have even built those products, or at least could build a distilled version of them in a weekend for fun.
I’ve noticed that majority of people working in “cyber security” are made of management material. Even those working on technical side of things. I’ve seen them spend all day on Twitter. You have to wonder if they ever get time for actually working on their stuff. As opposed to kernel devs, but they are likely assholes more than anyone else so not a fan of them.
Not sure where your parent got their numbers but they seem off.

> Vox Media, co-founded by Mr. Bankoff in 2011, is the publisher of Vox.com, The Verge and SB Nation, as well as New York magazine and its related websites, which it bought in 2019. Group Nine operates the lifestyle sites PopSugar, NowThis, the Dodo, Thrillist and Seeker. The combined company, encompassing nearly 350 million social media followers and six billion monthly video views, is expected to generate more than $700 million in revenue and $100 million in pretax profit next year, according to two people familiar with the financial details.

https://www.nytimes.com/2021/12/13/business/media/vox-media-...
You've confused method chaining and nesting. The proposal itself says that method chaining is easier to read, but limited in applicability, while it says deep nesting is hard to read. The argument against the proposal by the GP comments is that temporary variables make deep nesting easier to read and do it better than pipes would.
I wouldn't compare making a copy of a software someone wrote to capturing their ship, taking all their possessions and selling them to slavery or killing them. That's software industry propaganda.
If 1/2 of Microsoft’s workforce decided to quit tonight the company would go ballistic looking for workers.

The lag between people quitting and people finding their next job reduces the labor supply. That’s compounded by onboarding time required to conduct interviews and get people up to speed etc. It’s why companies so frequently fold in the face of strikes rather than just fire everyone, they have a great deal of individual leverage on any one employee but are completely dependent on having a workforce.
What if the room was made out of perfect mirrors?
Even in the US it's like 45% Android, so "no one uses android" is absurd in any context.
Thank you for sharing, I've gone through similar and can absolutely relate.

I'm curious—do these business owners you work for have any software or management experience in tech? I've sometimes seen managers do this when they don't know what to do with an employee or don't know what career progression for an employee looks like.

This doesn't at all justify shitty behavior, but I've found it useful to identify motivations behind bad interactions as a way to avoid things that could lead to them in the future.
This could be attributed to the cost of porting to those platforms was more expensive per seat since there more windows and mac users. Especially at an era where cross platform usually meant full rewrite.
Use chatGPT to build a skeleton of ideas. DO NOT USE anything directly but as a starting point to maybe get you jump started again.
> The site went from ridiculous levels of Elon Musk worship (How dare you say it's misleading for Tesla to use the name Autopilot) to constant hit pieces following his recent fall from grace on the left.

I guess this is one way to view it. Or you could see it as them giving him the benefit of the doubt when he was a gifted tech businessman, and then not doing so when his purchase of Twitter led to an emperor-has-no-clothes moment.
If you have lots of money, you'll probably be better off turning the money into gold/silver/cryptos, or, at least, wait for the inevitable housing crash. If you can't afford a house without going into debt, then don't fucking buy a house.
Kotlin uses "it" as the name of the implicit arg in lambdas. Makes things very readable imo:

```
listOf(1, 3, 5).map { it * 100 }
```
Show HN: Copilot plugin for any shell program
Hi HN, I thought some of you might find this useful/fun.

cpwrap runs whatever command you pass it, sending the transcript to copilot and giving you autocomplete suggestions along the way. It's like how rlwrap gives you readline input editing- cpwrap gives you copilot input editing.

In other words, copilot for ed:
https://twitter.com/markdotdev/status/1616273277533446145

Or sh, python, any non-curses interactive shell program.

And it's a single public domain c file, though you need node and the copilot extension files to run the copilot agent. (And a copilot subscription.)
Yeah, bullshitting is draining.

I wonder, why? Sisyphus was condemned to aimlessly push a rock forever, but isn't that basically just the human condition? Most of us convince ourselves we're doing something, but it's narrative. Very little materializes, very rarely as intended. We like feedback and certainty in the face of randomness -- it's the attraction to slot machines. But musicians rarely predict their most popular songs (and sometimes come to hate 'em), founders toil away pivoting for years before they stumble on something that works (but most give up first), artists often only have their work recognized posthumously.

I'm drawn to characters like Jerry in Parks and Rec or Stanley in the Office because they embrace the rock. They aren't revolutionizing or disrupting. In a certain way they're really very heroic. They meet the soul-crushing apathy and uncertainty of their place in the universe head on without complaints, excuses or lies. Though mocked and derided as lazy, incompetent fools they steadily carry on. They're stoics in a modern bureaucratic context. And really there's a certain beautiful zen to that. It's very unrelatable for me and, I assume, most of the tech world.
Yeah thinking about it more, I agree with you it is both.

We 100% purchased products because the CTO was friends with the other CTO. The other thing was the sales people jumped between startups and would just sell to their same contact list they always have. I wouldn't be surprised they did deals where we bought their product and they bought ours for the same price.
Microsoft has the problem as well, it's not just Google. Do they not filter outgoing?

Message ID <9UOejz_TlFksgoyXm9GI5Q@notifications.google.com>
Created at: Fri, Jan 20, 2023 at 9:14 AM (Delivered after 0 seconds)
From: "Girl Shows Girl cast a lookSTART JOIN Muriel (Classroom)" <no-reply@classroom.google.com>
To: XXXXXXXXX
Subject: Class invitation: "Check Join now View gambling Babe amidcustity"
SPF: PASS with IP 209.85.220.69 Learn more
DKIM: 'PASS' with domain google.com Learn more
DMARC: 'PASS' Learn more

Message ID <DM6PR18MB3569050DD20FD0372DA98C9DCEC59@DM6PR18MB3569.namprd18.prod.outlook.com>
Created at: Fri, Jan 20, 2023 at 4:50 AM (Delivered after 3 seconds)
From: hoven patroo <hovenpatrool@hotmail.com>
To: XXXXXXXXXX
Subject: 名梦 t94396350
SPF: PASS with IP 40.92.18.30 Learn more
DKIM: 'PASS' with domain hotmail.com Learn more
DMARC: 'PASS' Learn more

You would think they'd do some basic bayesian filtering. This was stuff we fought in 2002.
I absolutely had this issue most of last year, but the Gmail spam filter seems to be catching things more effectively for me in the last two months.
Is this really true? I joined a small team in 2017 and carried them to success by building many applications at high speed. Now my team has tripled in size since then, and I have had multiple promotions and have around 5 reports on average

I find it unlikely that I'm the only person who knows the simple tactic "I will quit if you can't meet this demand", so do you have any more materials to back this up? Or is it simply a feeling (don't get me wrong, clearly that's what I'm operating off too in this arena)
In many countries, even an artistic depiction of CSAM is a felony offence, whether it has a basis in reality or not.