skysight-inc/HackerNews huggingface dataset:
There is one very practical use of the lambda calculus (and related calculi), which is to check whether your language implements the logic of functions correctly. For example, does your language support a polymorphic identity function, and if so, what happens when you apply a polymorphic identity function to a polymorphic identity function? What _should_ happen is easy to check in the lambda calculus, but it’s easy to not think this all the way through in an interpreter or compiler implementation. Rewriting is a pretty slow evaluation procedure, so we often using a machine’s native call stack instead, but doing so can get us in trouble.

Functions in plenty of languages do not work as the lambda calculus suggests they should, and those languages are mostly fine, but when user code gets dicey, they can operate in surprising and counterintuitive ways. What I like about the lambda calculus is that it captures, in an unbelievably small package, many of the things that we intuitively want a language to do.
One critical point the article doesn't clarify:

Is the reduction in price entirely due to discounts, or is it also counting student loans that have to be paid back?

Because it keeps using the term "financial aid" throughout, but financial aid includes both grants/scholarships and loans.

And if the amount you have to pay immediately is going down but the part you have to pay after graduation is going up by the same amount, that's not necessarily good news.

It's bizarre that the article doesn't address this distinction at all. I want to believe the total price (including loans that need to be paid back) is going down -- but with student debt ever-increasing, I'm suspicious.
Controls only allow that which is indistinguishable from bullshit or an act of God, so any available medium would be layered cakes of insight.

The main idea is that you are the technology, sitting quietly in a room … indefinitely is your objective. Thoughts are your enemy, crush them as Sidhartha would. When you can master and explore your own brain (which is a wonder land) you will be ready to distinguish your own thoughts from inception and in which region of your own mind (“the direction“) it came.

Such fine sense and awareness is the beginning, and you don’t much stand a chance without someone uplifting you further. A Power harness only takes 18 months to learn, and that may only be a cargo cult antic. That’s why those who ascend go mad. Their teachers are false and never learn that struggling through delusion itself is the path of Power.

Power comes from the struggle, not the lofty ideas or personal ambition.
Where do you draw the line for protection of innovative ideas?
Bad regex strikes again

If paper.contains('diverse|diversity|…'); then; DEI_papers += paper; end
AI is inevitable. Whether we will live "in a prison" is not.
Ah, the nostalgia. Dreamweaver was pivotal for me in my early teens to be able to copy other sites code to see how things were built out and learn HTML + CSS.

If I remember correctly, it was really the only way to go to make image maps when those were a thing.
I bought an used phone and an used tablet supported by LineageOS.
I installed e/OS (derived from LineageOS) on the phone and LineageOS on the tablet.
The hardware is like new and with "debloated" software it works very well.
Wow, this is terrific. I love it. Lots of art online is curated with "traditional" art. This takes cultural movements and finds art associated with those moments. So fascinating!
> Newell and Harrington had long enjoyed playing games. Now, it seemed, there were huge piles of money to be earned from making them.

The gaming market today is completely different, very competetive, very saturated, ranging from huge stakes at the top end, to an enormous number of indie studios and individuals toward the other end that are trying to make ends meet.

Yet, I've been seriously thinking for a while to start-up a game studio. The hope being that it would be one of these crazy ideas that everybody recommends against ("it can't be done") until you actually do it and prove them wrong.

Ideally, I would like to start the studio as a loose group of like-minded people that have time for developing a game solely a hobby, and if that pans out, transition it into a business. Not AAA, of course, but with the definite goal of making the best game that such a setup could realisitically produce.

The thing is, with today's tech, you can get started with very little capital if you begin doing this as a hobby.
I have some regrets about my choice of undergrad school, but it isn't because I went someplace cheap. I could have gone to one of the multiple state schools that would have given me half off just for being born somewhere.

Instead, I went to a school that was in my home town. I learned things when I went to college, but that school was objectively the wrong choice. Not only did it cost double what the state school would have cost[0], I missed out on the reason young people ought to go to college in the first place: a once in a lifetime chance to spend 4 years hanging out and making friends with high achieving people who would go on to shape the face of the world.

Granted, one of my college friends ended up as a senior researcher studying cancer, and another went on to work for Mozilla, but I'm pretty sure in my class of ~300, there weren't too many CTOs, VPEs, star researchers, etc. Simply going to a bigger school would have been a better choice; going to a school that was both bigger and better than my undergrad institution would have been the best choice.

I guess that's what you get when society expects a 17-year-old to make what may be the single most impactful life choice they'll ever have. ¯\\\_(ツ)_/¯

That said, going to a small liberal arts college had its advantages. I learned a lot. Some of that stuff I learned, I've even gotten to use once or twice. But, looking back, if I could send my past self a message back in time, I'd tell me to go somewhere else. I may not have been much better off financially if I had met someone in college at 20 who talked me into partnering up on some insane business venture or something, but that experience would have been priceless.

--

[0]: This was even after I got a scholarship that reduced my estimated family contribution to 2/3 of what the sticker price was, on top of being able to stay at home and save money that way.
I've been flagging all posts I see related to politics. I understand politics and popular tech are now intertwined, but I still find it annoying to see it on a forum dedicated to hackers, startups, hobbyists, and makers.
Folks with trouble hitting the little links and arrows on mobile: reverse-pinch to zoom works great on HN. Make the arrows huge on the screen and it’s easy to hit the one you want.
Money is not the same as status, and opens different job opportunities like key government officials . I would be more interested in a survey that includes whether the participant was satisfied with their career trajectory
Sure! Here is a use case that I have now encountered multiple times. We want to do data ingestion of some kind, but one of the steps involves human intervention (editing, confirmation, annotation, etc.). For these human intervention steps, we have wanted to build a custom web UI very quickly and only for internal use. So we have turned to a low-code tool. However, we then have to do custom integration between the low-code tool and the workflow automation system. We have ultimately never actually used a workflow automation system because we end up just handling the "workflow" from the low code web UI through a DB.

But what I really want is a workflow tool that integrates with low-code in the following way: as records come in, they are stored somewhere. There is an interface where a user can "claim" a record and then do their work on it. The workflow tool handles concurrency so that a record can only be claimed by one user at a time. The user either finishes processing the record and it moves on in the workflow, they discard their work and it returns to the original state so that it can be claimed again in the future, or they save their work so that they can come back and finish processing it later. There would need to be some kind of time out mechanism or a way to return a record to the original state.

The actual processing of the record happens using a custom interface that is built with low-code. So for text annotation, they land on a custom text-annotation interface when they claim a record.

Does that make sense?
Show HN: I build a tool to generate a diagram from Typescript files
Hi all,

A few months ago I was working on a TypeScript codebase at my job. It wasn’t overly complex, but it contained enough types that jumping back and forth between files was not sufficient to grasp the overall structure. I like typing things, but there comes a point of diminishing returns. This project was well past that point. I spent some time looking for tools that could turn the code into a UML diagram to help me understand it easier. Unfortunately, everything I found was either too clunky or lacked some features I needed—such as the ability to filter types by folder or by kind (e.g., interface, class, enum).

So, I built my own tool: ts2uml. It’s a VS Code extension (and also a website) that generates UML diagrams directly from a TypeScript folder.

As of now, the tool can automatically generate the diagram and its layout. You can filter by folder, file, model, or type. I also added a few features so you can save the diagram as a PNG or JSON (the JSON can also be imported later). Additionally, there’s a share functionality that provides a link which, when opened online, displays the diagram you shared.

My idea was to start working on some automation (perhaps generating Markdown files from the graph JSON) to automate part of the documentation process. This is particularly important since I work with small teams and keeping the documentation aligned with the code is always a struggle.

But maybe my idea is wrong—that’s why I’m coming to you:
Could something like ts2uml help you?
What features would you like it to have?
Do you think the next step should be documentation automation, or should I focus on adding more diagram features?

I’m eager to hear what you think.

Joan

PD: This is my first submission to HN :).
Yes, most of mine are accidental as I very rarely flag anything deliberately. ~10/year looks like.
I opened that page expecting maybe one or two accidental flags, since I thought myself to be quiet careful when looking at hn on mobile. Instead, it's more like 70% for me. I'll now try to make it a habit to check this page quite often, but this is just fighting the symptoms. I believe a confirmation popup or something similar would help a lot more.
I think the "backwards in time" aspect can most easily be understood as a consequence of (A -> B) being the same as (~B -> ~A). That is, if you know how to go from A to B, then instead of requesting B it's enough to request A. Though this can be applied more generally to a "logic of resources" which then also requires multiple varieties of the "struct" and "enum" construct, depending on whether the "producer" or "requester" side is making a choice.
I'm not defending or critiquing IQ tests. I am saying that defining individual or quirky talents as "intelligence" is not useful. By saying, "You're not as politically intelligent as Bill Clinton because he can remember the name of someone he met in a crowd three decades ago", all you're saying is, "You're not Bill Clinton".

Intelligence is a standard which is usually defined by your ability to make predictions about systems in various domains.

Now if you said, "You're not as politically intelligent as Bill Clinton because he was able to understand that by positioning himself these ways on these issues, he'd win over a lot of voters without appearing self-contradictory or disingenuous," that's a much more defensible example of intelligence in a non-traditional sense.
I just flag everything that has LLM/AI in the title. Technology is just too "magical" and reporting about it repetitive, to be interesting to read about anymore, or to learn something from that would be useful to me. Also, why should I not suppress something that's trying to eventually replace my job? :)

Then everything from big news websites or local american news websites. I don't care about the US anymore, nor what journalists there think about the world.

And then anything that comes from any of the big companies. Google, Amazon, Facebook/Meta, Apple, etc. They don't need any more attention that they already get and I don't use any of their services anyway, to care about their announcements.

This works well for streamlining the process, since there can be a lot of LLM stuff at any given day:

// ==UserScript==
// @name Flaghider
// @namespace Violentmonkey Scripts
// @match https://news.ycombinator.com/*
// @grant none
// @version 1.0
// @author -
// @description 7/13/2024, 9:03:34 PM
// ==/UserScript==

let lastEl;
document.addEventListener('mousemove', ev => {
let el = ev.target.closest('.athing');
if (lastEl) lastEl.style.backgroundColor = '';
lastEl = el;
if (lastEl) lastEl.style.backgroundColor = '#fcc';
});

function wait(ms) {
return new Promise(res => setTimeout(res, ms));
}

window.addEventListener('keydown', async ev => {
if (ev.key == 'b' && lastEl) {
let el = lastEl.nextElementSibling;
let hide = Array.from(el.querySelectorAll('a')).find(e => e.textContent == 'hide');
let flag = Array.from(el.querySelectorAll('a')).find(e => e.textContent == 'flag');

localStorage.setItem('scroll', document.body.scrollTop);

hide.click();
await wait(300);
location.href = flag.href;
}
});

document.body.scrollTop = localStorage.getItem('scroll');
I'm working on Nick Land's core thesis that capitalism and AI are fundamentally identical. [0]

Land's provocations and politics often serve as an excuse to avoid confronting his ideas on the convergence of markets and minds - especially for those low on decoupling. My bold claim: without engaging with Land, it's nearly impossible to grasp the current moment or anticipate what's coming next (e.g., the autonomization of capital).

[0] https://retrochronic.com/
Elons own description of his business is that they’re only just profitable some quarters.

Let alone that we’re talking about comparing an advertiser based social network to a government institution.
You're mixing concepts. In the EU you'll generally pay VAT on all imports, but there are still often de minimis rules for import tariffs. This is not unlike the US - I have to always pay sales tax on imports regardless of value (unless it's being resold or incorporated into a product and I have an appropriate resale certificate, because sales tax is generally only required on final sale in the US), but import tariffs have a de minimus threshold.

I'm not saying the primary objective of a de minimus policy is to help small businesses, but in practice it can make a huge difference to correct for economies of scale to promote competition. I can't afford a team of lawyers and lobbyists to creatively classify my products to avoid tariffs like the big companies do; regulatory burden disproportionately hurts smaller players, so it's typically considered good policy to promote competition to phase in regulations based on size/volume/revenue etc.
Plants Are "Leaking" – and It Could Make Global Warming Even Worse
This is what I've noticed in the real world working. I haven't seen much enthusiasm for it. I actuslly introduced it for a new experimental project and got a bunch of push back on it.
I guess "Make America Great" may spawn a big Cloud Industry in Europe. If I was in Europe, I would never use any US Tech products.

Maybe Linux will end up making big inroads in Europe, replacing Windows and MicroSoft Office and Office 365 along with Google Docs.
The indie market is a bloody red sea right now. But as long as you don't care about money or can expense your hardware and internet costs, I think it's good enough.
“And the US manufacturers in the space that WERE still selling products despite the international competition will just increase their prices now that competition is more expensive.”

And an industrial entrepreneur, such as yourself, might start a new business, making these products at a cheaper price in the US due to the new inefficiencies of simply raising prices by existing manufacturers. It takes time for these things to move through the system.
It is another Better Battery Bulletin
Running Games Inside your Tab Bar
Me, on seeing the post: "I'm learning go. Oh my god am I making a mistake? Oh no. Oh no. Oh no."
I think it’s common for people to refer to “cash flow” (without referring to OCF or FCF or whatever specifically ) when they mean EBITDA, but I’m happy to be wrong about that. I’m not a financial analyst. But as you acknowledge, EBITDA is an indicator of cash flow. Is there a difference between the two measures that you think is relevant to X? X is increasing how much money they’re making right?
Flagging is supposed to be for rule breaking, not to be used as some sort of mega-downvote for things you really don't like. If you don't want to read an article, why not just use the "hide" feature or move along to the next row?
> I will choose which charities and how much to donate to on my terms, thank you very much.

Indeed. The observation is that generally for most corporations the charities are "nobody" and the amounts are "$0". If you, an individual, behave this way then you're a bad person. The argument is merely that the corporate "people" are also being bad people.

> In your idealistic world a corporate would give $1m to each of them I guess?

Why make this ridiculous strawman? If we said "some reasonable amount, distributed among their dependencies" why is that unreasonable? Do we have to draw out the whole picture before these people even attempt to consider what a reasonable contribution could be?

> The fact is the corporate lawyers know you've released your software on open terms.

Yes, and corporate parasites will therefore extract the maximum value while providing the minimum in return. History repeats itself.

> Buying licenses is a "simple" standardised procurement exercise in most corporates.

If you think about this for a few seconds you will realise it is not a good excuse. If ping/openssl/whatever had a "recommended contribution" listed on their "corporate licensing" page, then there is no administrative burden required whatsoever. You just pay whatever they ask, same as a license. You think the price is too high? Make up one.

So why is there a high administrative burden? Simply, because corporates themselves place a high value on "paying the bare legal minimum". In other words, they over-value the virtue of being cheap and unsociable. If your reaction to this is "that's just how business is", then good for you: according to your understanding, business is antisocial, and should be discouraged.
I had the same reaction. I would look more favorably on a company that doesn't use Docker or Kubernetes. These tools, by default make things complicated and slower, so there needs to be a positive benefit for their use case that balances this.

It makes me wonder whether OP's desired for testing and CI is for a specific reason, (e.g. targeted test on certain algorithms, CI/CD to replace manual QC steps etc), or if it's for less-practical reasons.
It really depends on the culture - it's pretty frequent, for example, that coworkers prefer the option that keeps their workload small and predictable even when that option is bad for the health of the business.
Lokimedes, we have complete
confidence in you.
I don't think you get it at all. You're talking about throwing a biggest camping tent in history, but you're not staying longer than a month on Moon or Mars that way. I'm talking industrialized space settlement with own shipbuilding capacity.

To live on the Moon or beyond, you need a proper ship, and steel shipping containers with bathroom tiles, aren't. Those are at best boats to carry people to the ship, at worst cargo sacks. Not the ship. The ship has to be "radiotight", so to speak, and for that, they have to be built in low- or microgravity.

And that raises the question of politics: the world is not only ready to handle megaton sized ships on orbit responsibly, but moving away from such maturity fast.
Article: https://www.tomshardware.com/video-games/pc-gaming/pong-can-...
Show HN: I built a Typeform alternative for $15 (no subscription)
Hey HN,

I got tired of overpriced form builders. $600/year for a simple form? Ridiculous.

So I built MangoForm – a dead-simple, no-BS form builder. $15. Lifetime access.

No subscriptions
No feature bloat
Just a clean, fast, and easy-to-use form builder
Why? Because not every tool needs a damn monthly fee.

Would love your feedback, let me know what you think!

Check it out here: https://mangoform.app
Almost 26,000 words.
Intrinsics have the huge advantage of enabling wrapper functions, which remove the ugly names and allow you to write user code only once, such that it is even portable (or at least multiplatform-dependent).

Good point about asan and other instrumentation :) hm, I'd think that is very important for codecs in particular?
Maybe I'm too small in terms of traffic but I've never found Nginx/Caddy to be the bottleneck in scaling, so I have to rely on these benchmarks.

In my personal opinion, even if there is runtime overhead with Caddy it's worth it. Hardware is cheap relative to what my time is worth to me.
the big list was cool, I saw something about "discipline" while scrolling it but then couldn't search for the page with that keyword. not a big deal, downloading the json sorted that out but thought I'd mention it. really cool page!
Who 'pockets' the profits is not relevant. Fact is corporations exist to generate profit, and they will do anything to protect those profits - including using any loophole, accounting process, business model, or pricing strategy to protect said profits.

A simple/common form of this subversion is giving the c-suite ungodly salaries such that there are no profits, on the books at least, to be taxed. In that case, and basically all others, the customer is paying the corporate tax because the corporation has shifted all burdens (including tax) away from the protected profit.
Seems like the economics works better than 99% of our society does. The point of the economy is not to produce jobs, it's to circulate goods and services. Open source does this more efficiently in the long term. The American (or globalized) economy is mostly inefficient and irrational outside the perspective of shareholders and investors. Unfortunately, those same people will make us commit mass suicide before allowing the basis of resource management to change.
> “since it’s overwhelmingly liberals in it”

Source?
https://www.nextbigfuture.com/2025/02/x-in-2024-doubled-high...
Mistitled, I suggest. It only describes a poor work culture and the author is NOT navigating it and wants to bail. I came here to find tips on how to stay in a poor culture and avoid the worst pitfalls.
Ultima VII: Revisited
I hope dang and the HN software have tools for detecting this kind of abuse of flagging. I don't care for the constant stream of LLM articles either, but they aren't breaking any site rules. Just move along and read the next article.
Atomic Traffic Control
Every government and big company spies on you. If you don't host your own hardware, you should expect that. If you do host your own hardware, you're still vulnerable to things like Mossad spyware. None of this is new, and Europe is as guilty if not more guilty than anyone at this state of affairs.
There indeed have been bugs caused by amd64 assembly code assuming unix calling convention being used for Windows builds and causing data corruption. You have to be careful.
Vanilla, CNCF. K3S is tempting.