skysight-inc/HackerNews huggingface dataset:
The government isn’t distributing my data to everyone else (so far). For profit companies have a pretty massive list of breaches so far.
USDC just holds 90% in government treasuries custodied by blackrock & 10% in cash in a "too big to fail" US bank that's systemically important.

Your local bank has a 0% reserve requirement[1]. Ofc it'll most likely get bailed out by the FDIC (by taxpayers) in case of emergency but US regulated stablecoins are in no way more risky than US banks

1: https://www.federalreserve.gov/monetarypolicy/reservereq.htm....
Irrelevant, because even if there was, you would use the normal GIL python for it.
> want is a dependently typed assembly language

Doesn't make any sense. The "type constraints" on assembly operands (registers and numbers) is the ISA and thus those constraints are combinatorial not logical
Ordinary CPython code releases GIL during blocking I/O. You can do http requests + thread pool in Python.
I basically do this, too. One big text file. My twist that makes it work for me is a slightly modified text editor that I only use to edit this file.

That way I’ve got a dedicated dock icon and context just for writing notes, but no other overhead. It’s important to me that it not feel like a product, and search works effortlessly (although subject to typo misses).

My only tweak on the text editor is a shortcut to insert a timestamp and a chunk of new lines, which I do periodically so I can separate moments in time and see what I was working on when, how I fixed something, etc.

I used obsidian for a while, but for my purposes it felt like work to organize and get “right”. I ended up writing a script to join all the files into one.
k310 is both the Koechel number of a great Mozart piano sonata, but the office number I had at Itek Optical Systems in Lexington, MA, now something else.

When I was crazy interested in ham radio as a kid, I didn't have enough money to buy or build any gear. I'd buy schematics and build stuff in my mind, which may account for some quirks, but they're almost entirely good quirks, which is why I am posting to help others, with problems way bigger than my own. Thanks for asking!
running this thing from Lancaster PA...

Rock Lititz isn't some tiny garage shop...
I really can't express how different performing visuals at concerts vs a church is.

It's like someone asking "How do I get my river guide company off the ground?" and you reply "Well you could give tours of old folk's homes instead."

They're not even in the same category.
Where i live in an apartment complex the ground floor retail outlets struggle. They'd make awesome podiatry, physio, optical, aged care, you name it. With increasing trend to care in the home, and with apartment living common for the elderly, these kinds of service tenancy seem like a no brainer: your clientele is all around you.
Thank you! I have a section for contribution, I want to add more examples on how one can contribute using the tool, they don’t need to do much. They can have an idea or suggestion and the tool can do the work for them.
I want more people to contribute to make it better user experience and solved problem.
> They didn't coin the term paramorphism. Lambert Marteens did in 1992

I literally linked that paper.

> It's very straightforward to derive programs by proving other properties of these recursive combinators.

Cool they don't do that. There's a word for being obliquely related: allusion.

It's amazing how much benefit of the doubt CS people get. In math you either prove a theorem/lemma by writing it out in full or you... have nothing. In CS people tell nice stories, draw cool diagrams, write down random formulae and everyone is just hmm yes brilliant.
A year or two ago I was writing a plug-in for yt-dlp for a new site and I don’t really know python that well so I popped into a python irc support room and was getting some help when the user asked what I was ultimately trying to do. When I mentioned yt-dlp the user said he could not help me any longer since he was employed by Google and continuing to help me was in violation of his employment agreement. He even linked some document from corp.google.com(or something along those lines). I was pretty surprised and even a little annoyed because after saying all that he framed me/yt-dlp as being piracy…
Oh noes, not the /checks notes/ ... 'strongly worded Letters'
> Yes, but the absence of the GIL would make race conditions more likely to happen.

Does it though? I'm not saying it doesn't, I'm quite curious. Switching between threads with the GIL is already fairly unpredictable from the perspective of pure-Python code. Does it get significantly more troublesome without the GIL?

> Yes. They could run it in multiple threads with the GIL today, but as above, race conditions might not show up as often, so it might not be realized that the code is broken. But also, with the GIL there is the common perception that Python doesn't do multithreading well anyway, so it's less likely to be used for that. With the GIL removed, I suspect many people will want to use multithreading a lot more in Python to parallelize code, without fully realizing the implications.

Fair
"legally required by the government" to keep securely. If you can't keep to the rules don't play the game. I'm sure any other telecom would be glad to get the market share.
and the winner:
Do the work up front to make your history atomic
I know where you're coming from, 100%. But I want to share something that's stayed with me to this day.

When I was in graduate school for architecture fifteen years ago I saw a lecture by an architect I already respected greatly named Niall McLaughlin. He taught at the school (still does I think) so on four consecutive Wednesdays he gave these astounding two hour lectures. And he would take questions after until every question was answered. These events sometimes lasted 3 - 4 hours. The themes were "Architecture and ..." The two I remember without going back into my notes were "Architecture and Tools" and "Architecture and Memory."

This whole shaggy dog story is because "Architecture and Memory" started at the philosophical level but by the end tied in to his own work on memory care facilities. He's a famous architect. Has since won the Sterling Prize, the biggest prize awarded by RIBA. A. Big. Deal. And I don't even know if he publishes his memory care facilities.

But he got into that market - he shared with us - because he had a close family member who needed that care. Flash forward ten years and I'm spending time in a memory care facility with a very close family member. Thinking back to his experience, knowing how it felt. Realizing his personal empathy drove him to pursue a whole area of practice that most would never consider. I doubt he lost money doing these facilities but I can assure you he wasn't doing it for the high profit margins.

I'm absolutely not knocking your statement. The exact opposite sentiment is coming through I hope. If it's an area you're interested in exploring how to delve into and develop ideas within - find a reason to care. What I mean is - if you're interested in developing solutions in the area find a way to identify a real world problem worth solving in it. Volunteer a little at a nursing home or community center with senior programs, meet people facing the issues that come with aging.

Not to say you'd be doing it to be opportunist, but if you're looking for a "product market fit," start by observing the real and present every day challenges of the market. Use it to build the product story. I don't want to sound ghoulish in my biz-speak, but it's real - I think we all have personal experiences where knowing someone going through something gave us a reason to care about that issue in a broader sense.

Good luck - it's an area that is flush with problems worth solving, and I think could be rewarding to explore.
> That's an enormous amount of data. How do you not notice a huge, network-hogging data flow?

No it isn't. Not even close to some of the larger data sets that Snowflake most likely manages.

We're talking about the public cloud. You don't "hog" AWS's network with a one-time download in numbers like what we're seeing from the article.

Let's be generous and estimate that there are 1k records for each customer. That's almost certainly an overestimation for the time period that TFA specified, but for the sake of argument let's run with it. There are about 100M customers. So that's only 100B records. Assuming each record is on the order of 1kB in size, again likely a huge overestimation, then that would be just 100TB. AWS would charge $7k to egress 100TB, which would be a rounding error in AT&T's cloud spend.

The real amount is most likely less than half of that, if not a quarter.
> It can be impossible to get PTO until you build up hours again. You have to either quit, negotiate LWOP (often seen as a performance adverse metric on your record), or work.

I’m not sure if this is your actual experience, or if you’re just reading the docs, but…

Most supervisors totally understand the limited leave for folks in their first two years, and they will frequently grant advance leave (basically leave that gets repaid when earned) for folks who are performing at an acceptable level.

It’s not a shit show unless someone wants to take a lot of leave before earning it.

Weddings, concerts, even helping family for health stuff… all that’s usually covered under advanced leave when necessary.

I would say that the leave situation as a fed is much easier than in an “unlimited leave” situation.

The real shitty part, imho, is “time and attendance”. Kicking out early for your kids ball game, for example, will cost leave. As a business owner, I like that I can just stop working and do whatever.
https://archive.is/GnzTQ
I agree.

Shareholders can vote and decide the direction of a company. They should also be held liable for any problems the company causes.

If the company is fined it should come out of company and then shareholder pockets. I might even add courts should be able to award damages by directly fining share holders.

If a company does something severely illegal then very large shareholders should risk jail time.

It’s your company after all as a shareholder. You own it.

It’s no different if your dog bites someone or child breaks the law. You have to pay the fines.
Wuppertal Schwebebahn
Hm, I'm disappointed that this was flagged. This is my third article that's been flagged here recently, after my FAA article a few months ago (https://news.ycombinator.com/item?id=39184451) and my deep dive into the backstory of a fight several months before that (https://news.ycombinator.com/item?id=37390961).

My older articles didn't get flagged and were often quite successful on HN:

https://news.ycombinator.com/from?site=tracingwoodgrains.med...
https://news.ycombinator.com/item?id=32898573

I don't submit my own articles here but always appreciate when they reach the HN audience. I admit I find the system here quite opaque and have a hard time understanding what gets flagged and why. Is it because my articles often explore controversies and might get undue attention over some of the more technical content here? Is there some way I could reach out to someone for more info on why my articles keep getting flagged?
I did not, and even then, none of my call logs or texts via signal would have been included, regardless of carrier.
Every home I've done for a wealthy person, regardless of age, had bidets. But they're also rich enough to hire people to take care of them as they age.

Coming from a working class background, the perception of "European-ness" is the exact - and possibly only - reason your average American old dude wouldn't use one.
You're correct that they aren't defining the concept of paramorphisms in that section -- but that's because paramorphisms have been present in the literature for a long time:

> for a detailed review of paramorphisms from a formal perspective, see [Meertens 1992]

To your original point, the title of this paper is only using terms ("paramorphisms", "recursive", and "program synthesis") that are decidedly not novel.

For the benefit of other readers:

As to why "paramorphisms" are singled out as a concept worthy of having their own name, I recommend the 1991 paper "Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire" by Meijer, Fokkinga, and Paterson, which is much more readable than the referenced Meertens paper.

We all know what an "infinite loop" is; a natural question is whether there are any looping constructs that cannot get caught in an infinite loop. The "for-each" loop has become popular in imperative languages; the reason it works is because it does a kind of structural iteration over finite data which fits a regular pattern.

A "catamorphism" precisely captures this notion of structural iteration (really, structural recursion), for a vast family of data types (the "inductively defined" ones). But for any algorithm where you'd use an unbounded loop (or unbounded recursion), it's not always easy (or possible!) to implement that algorithm using catamorphic recursion instead -- and they're not always the most performant, either (e.g. you can't short-circuit the recursion).

So we've gone from something that is too powerful/expressive (unbounded recursion/iteration) to something that is not powerful/expressive enough (catamorphic recursion/iteration), with the dividing line of "allows infinite loops" somewhere in the middle. The study of general recursion schemes, which includes paramorphisms, is essentially the study of alternatives to unbounded recursion/iteration that are better than catamorphisms on one or more desiderata.
> I don't care if the government can get access to my WhatsApp messages when some of the most irresponsible companies, collect and use everything to their advantage.

This is all voluntary. You give those companies your data. You don't have to. I use grapheneos and do not use any of those socials, for example.
Never seen a bidet in Europe. What country do you have in mind?
Keycloak has Kerberos+LDAP Federation build in. I wrote a blog post on how to self-host keycloak [1]. If you don't do theming, it is quite quick to setup. Just updated the blog post for version 25.0.1.

[1]: https://du.nkel.dev/blog/2024-02-10_keycloak-docker-compose-...
Unironically yes. I'm in a bunch of different group chats with little overlap in signal. There was a huge push amongst my friend group to get people on it back in like 2015. I have some family not on it but we just talk in person.

Not everyone switched, but a surprising amount did, and only more have switched over time.
If it's trained on data generated by humans, then all bets are off.

Neither "alignment" fine-tuning nor output filters are likely to be 100% effective, and a single failure can be disastrous.
FreeIPA (the upstream project for Red Hats IDM) could fit your needs

https://www.freeipa.org/page/Windows_authentication_against_...
Many staff in different roles, 3+ shifts a day, 365 days a year is a lot of labour costs. Replacing even a fraction of labour is likely $100K a year of potential investment. More so in expensive labour countries.
I live in Houston now, but I grew up in Sunset Park.

This made me miss NYC. I rode and took the subway EVERYWHERE. Even to Staten Island! There is just so much life there. Living there is an experience I wouldn't trade for anything, even though I hated it for a long time!

That said, Piermont is super nice. I rode up there every weekend for years.
> I literally linked that paper.

You did; I overlooked that. I don't know why you're implying the authors invented the term and made up the combinator just now, then.

> Cool they don't do that.

Their program is basically doing an automated version of what Graham Hutton did in that paper, except they rewrite functions using para instead of fold.

Edit:

> It's amazing how much benefit of the doubt CS people get. In math you either prove a theorem/lemma by writing it out in full or you... have nothing. In CS people tell nice stories, draw cool diagrams, write down random formulae and everyone is just hmm yes brilliant.

You seem to have a chip on your shoulder. I don't know why you're telling me this.
The Famous Computer Cafe (1983–1986)
How we live is so different from how we ought to live ...
- Machiavelli
I don't believe it will change the illicit importation and sale of alcohol by diplomats. There is a lot of money from that. There isn't a compound in the kingdom that doesn't have at least one contact from whom you can buy Smirnoff Triple Distilled and Johnny Walker Black Label.

And besides those, even if you can't find a contact like that, you can always buy big jugs of homemade wine (technically, fermented grape juice) or Sid. Sidikki is an extremely strong distilled spirit that smells and tastes awful, but definitely gets you drunk enough to not care anymore. When buying it, they put some raw on a surface and burn it so you can see pure blue flame (that is to say, only ethanol and no methanol), before they dilute it with water to approximately 50% alcohol. All compounds have bars that make and distribute them by the glass or in bulk. They also re-ferment dealcoholized beer to make it alcoholic again, but that's just vile.

They won't be even putting a dent in the trade. They will probably make some money from it, though.

Source: I used to do consulting gigs in Riyadh.
Millions of tiny generators roar to life
iOS has a built-in app called “magnifier” which might be more handy than a lens!
Retirement homes are basically in the business of funneling the life savings of elderly residents into their own coffers.

For a fully mobile senior requiring no additional care, you're looking at a minimum of USD $3500/month at an assisted living facility. Add in any nursing needs, and that number will quickly go north of $5k/month. Once you start heading towards your late 80s, that number again quickly doubles.

Note that this does not include medical care, diapers, clothing, a phone, etc.

And this is the bottom of the market. A higher-end home will run double if not more.

In Japan, there are homes for every income tier, from "nothing more than a government pension" on up. Sure, the lower-end homes aren't great, but they beat homelessness by a wide margin. And these are private businesses, not government-run facilities.
Not all my friends switched, I had one good friend who decided not to because she already had a bunch of apps and didn't just want to talk to me on yet another app.

It's much easier when it's a group. I got some of my family to get on it too and they pretty much exclusively use it to talk to me.

In the mid 2010s it wasn't that hard of a call because the various Google apps kept getting deprecated (we were all in hangouts before), iPhone users wanted something rcs like and they couldn't for android users with mms, in general the app scene was taking off with Snapchat wechat etc. so people were easier to convince to dl it.

My pitch was 'you know how randomly Facebook or YouTube will serve you some adds about something you were talking about about, even though you didn't search with them? You're much less likely to have that happen with signal'

Then if they pressed I'd share a link from the net neutrality fight days about DNS hijacking etc and having them remember when all their failed urls would go to an ISP run search domain

I definitely used some FUD but it worked.

Actually I think some of the FUD was 'what if the carrier gets hacked?'.... Which, I mean for all carriers and all systems is just a matter of time. As t-> inf the probability of a breach converges to 1.

Also if any of your friends do drugs, of any sort, that was a great motivator for them to switch lol. Weed has only been legal for recreational since 2013 in any state.

Oh, and pretty much every techie friend I had went 'yo that's awesome' and changed over, even if they don't have a tech job.

Finally, back in the day/for many years, signal could default to normal MMS messaging, so the pitch was 'if they don't have signal, you can just text like normal'
> present in the literature for a long time:

You're the second person to link the exact same paper I did in my first response.

> To your original point, the title of this paper is only using terms ("paramorphisms", "recursive", and "program synthesis") that are decidedly not novel.

They italicize paramorphism in the abstract. We all very well know that italics means novel usage. So again: let's drop the charade that everything is above board here.
I feel like I have a meaningful job now. I'm certainly not making a large impact on the world, but I'd like to think there's a small number of people out there who would appreciate my work if they knew what I do.

I've also worked bullshit jobs where I seriously felt that standing by a roadside with a sign that says "new car wash" would have been a more valuable use of my time. It is emotionally draining, at least for me.

Having been in both situations, trying to find meaning outside of work didn't cut it for me. For many people, our jobs are a large part of our lives and our identity, so when our jobs lack meaning, it's simply too great a void to fill outside of work.

Of course, I can't speak for everyone. People are diverse, and I'm sure there are lots of people who couldn't care less if they work a bullshit job, so long as they get paid every couple weeks. But there are also lots of people who want to take pride in their work. Heck, if you're commenting here on hackernews, good chance you fall under the latter group.
Nothing has been stopping you before. Lots of people make their own hooch.
Discussion (550 points, 4 days ago, 237 comments) https://news.ycombinator.com/item?id=40907155
Most solvent waste from US academic labs ends up in the air
What constituted tech literacy 20 years ago won't get you very far today.
I'm in my 40's and I see it - people my own age who ... like, they have used computers for 30 years. We were the original online generation, etc etc etc. But the number of things with family, friends, and coworkers - again my same age - which seem absolutely ridiculously simple for the terminal tech-tinkerer like myself but which trip them up is just shocking.

Tech literacy is a moving target.
I've been wanting to build a stack like this. Mind sharing a few details about how you set it up?
Steam250 [0] lists top games on Steam, and you can filter by tag and period. Additionally, it features a "hidden gems" section, with highly-rated but unpopular titles.

[0] https://steam250.com/
> There are an endless amount of interesting and/or useful things to learn in this industry; spending time relearning how to do a mundane task in an app I've been using for a decade is a waste.

It's not just "in this industry," the problem is a societal one. It just goes to show you how unwise some people are. They like to "learn new things," so proceed to relearn the same thing over and over. They got brainwashed by the "new is better" meme.
It's not just about "raw-flop performance" though; it affects even basic things like creating data-loaders that run in the background while your main thread is doing some hard ML crunching.

Every DL library comes with its own C++ backend that does this for now, but it's annoyingly inflexible. And dealing with GIL is a nightmare if you're dealing with mixed Python code.
> Notepad++ This guy thinks his text editor is a political statement rather than just a damn text editor,

Well, there's always emacs and vim.... oh, wait....
Sure, but “incentivise a business to do something, and they’re more likely to do it” is still true.
Introduction to Calvin and Hobbes: Sunday Pages 1985-1995 (2001)
There are still awesome blogs by real people out there. Here is one way to discover them, one post at a time: https://indieblog.page
So I think the argument that is advanced for tax authority allowing such a restriction were the tax on the still and not on the output seemed a bit hard to parse, but the commerce clause not being applicable because there's no overall expansive restriction on the booze market intended by Congress seemed fair.