skysight-inc/HackerNews huggingface dataset:
iMessage is very much a US thing. Most of the Non US people or people with international connection exclusively use messaging App ( whatsapp, Telegram, Signal)
States have their own EPA that is at least as strict as federal guidelines at least. You might be screwed over in a red state however.
Depends on your worldview doesn’t it? For me, having a transaction system that isn’t controlled by either my own government or corporate America is useful. If it’s not useful to you then you don’t have to use it.
Reconsidering my thesis in light of ROK.. nominally Confucianist but not (currently) free-range. could be due to US influence? Also has a unusually marked (even for EastAsia) bully problem in schools..
> They italicize paramorphism in the abstract. We all very well know that italics means novel usage.

Or, they're writing for an audience that isn't necessarily familiar with paramorphisms and other morphisms, but still is familiar with functional programming.
I've thought about that. The AI should figure it out. But if I don't know what I should ask the AI it cannot much help me.

I wrote in some discussion about whether AI could replace us programmers? I think they cannot because:

AI has the answers. WE have the questions!
What is "the smart money"? Can you provide some examples?
Personal Access Token
> they're alluding to math[1] but they're not doing math.

So they're applying the math somebody else already put together? It isn't clear what your opinion is. Are you saying it's not valid if it's not math?

Let's judge the paper by what they say they did in the abstract.

> We show that synthesizing recursive functional programs using a class of primitive recursive combinators is both simpler and solves more benchmarks from the literature than previously proposed approaches.

It sounds like their proposed metrics are subjective ("simpler") or data-oriented ("solves more ... than previously").

> Our method synthesizes paramorphisms, a class of programs that includes the most common recursive programming patterns on algebraic data types.

They're applying a pre-existing concept ("paramorphisms") to a problem domain where (it is implied) it either has not been applied before, or with a new spin.

> The crux of our approach is to split the synthesis problem into two parts: a multi-hole template that fixes the recursive structure, and a search for non-recursive program fragments to fill the template holes.

They give a novel (,it is implied) structural model for solving their problem using their chosen concept as their key contribution to the study of this problem. It is indirectly suggested that factoring the recursive and non-recursive parts apart allows them to be handled more effectively individually.

---

Regarding your specific complaints: I do not see any immediate need for new math. Nor are they inventing new words, at least in the title or abstract. You may have legitimate concerns about general academic practice, but if you're going to levy those criticisms at this paper, you could do your arguments better justice than with a drive-by.
You trying to boost it to make your investment viable? It doesn't really exist for anything other than that like most crypto.
This is not a book about bleeding edge compiler techniques. It teaches the foundations that makes it easier to learn the more complex parts of writing a compiler.

Unless compiler design radically changes it will likely remain a relevant book for a very very long time. Especially since Java-adjacent languages are likely to remain in vogue and the odds of us losing C as a major language in the next few decades is basically zero.
Looks like you need libclang for the ffmpeg bindings.
Sometime I think they seem to be angling for a system where states would have to sue each other to force controls on various things. Like Colorado getting acid rain caused by practices in Utah? Colorado sues Utah to force restrictions. It seems stupid.
Nah, this is just Dokku 2 and I love Dokku. I think you’re mistaking a software component “service” and a business model “service”
This caught my eye and I started reading over it but my eyes glazed over after a couple of sections of setting up various docker containers in various zfs directory structures and editing toml configuration files and zzzz…

Here’s a hint: for 99.999% of potential users, including 99.9% of motivated, technically savvy users, if I need to know the directory structure of your software, then you already failed.

I appreciate that you went through all the pain and learning and effort to figure out how to set all this up AND went to the trouble to write down a how to guide.

I hope someone comes later and bundles it up into a script I can launch that will prompt me for the various config options and then set it all up for me.
Most work is meaningless, increasing clicks, increasing engagement, etc

Unless you are curing cancer, fighting companies doing bad things, etc many jobs are very far removed from any meaning. But does life have meaning, you need to answer that yourself first
How does this compare with Moonlight?
Massive overhead of multiprocessing? How have I not noticed this for tens of years?

I use coroutines and multiprocessing all the time, and saturate every core and all the IO, as needed. I use numpy, pandas, xarray, pytorch, etc.

How did this terrible GIL overhead completely went unnoticed?
Does a single production compiler use lex and yacc to generate any part of their system, beyond maybe a first pass to test out syntax before it gets rewritten into a hand written parser/lexer? I'm not going to say none exist since I don't know literally every production compiler ever written, but I have never heard of one that used them for the final code.
One day your ISP emails you that they increased your upload and download speeds. Sweet, right? Same here with Python.
No, the only propaganda is the billions of $ telling you “don’t worry about possible harm, regulations are bad, us VCs, Trillion $ corps, and wannabe billionaires have your best interest in mind.”

A16z and YC are vehemently against the CA and DC regulation right now.

Out of LeCun, Bengio, and Hinton, the one with $10m on the line says not to worry and the professor and resigned-Google-to-warn-you are saying hmm this is very serious…
It's kind of a default evil. Should I really need to spell that out too?
> You're the second person to link the exact same paper I did in my first response.

Yes; it sounds like you're suggesting they should be defining these concepts themselves instead of saying somebody else did them. But that would be academic dishonesty. So you must be alluding to something else.

> We all very well know that italics means novel usage.

You say that as though expecting everyone to agree. I do not. I personally use italics because several people I have spoken with, including my advisor, feel that boldface is shouty. Underline is rarely used for a similar reason. Italic font is the the only available form of typographic \emph{asis}; it is used (if sparingly) for key terms and ideas that the reader's attention should be drawn to, which include novel ideas, but can be much more than that.
If you look at the actual interview, the context is police search warrants for search data, and whether people are too blaze about making sensitive searches. From the context, it's pretty clear that the intended parsing of:

"If you have something that you don't want anyone to know, maybe you shouldn't be doing it in the first place."

Was:

"If you have something that you don't want anyone to know, maybe you shouldn't be doing it [searching for that something on Google] in the first place."

Not, as that EFF article interpreted it:

"If you have something that you don't want anyone to know, maybe you shouldn't be doing it [that something] in the first place."

It's a warning that you really should not be assuming confidentiality from law enforcement in your use of online services, not a patronizing "if you have nothing to hide, you have nothing to fear" moral judgement.

It bugs me a bit that EFF was more interested in intentionally misinterpreting the quote for cheap publicity than in curbing the use of search warrants for internet service provider data, which was still in its infancy.
The problem is these joint scientific efforts were and continue to be effective tools to diffuse more dangerous possibilities.

In case you have forgotten Russia is still the 2nd largest nuclear power and their arsenal is enough to eliminate pretty much all life on Earth.

The war in Ukraine is terrible but don't underestimate how much worse things could get. If things do get worse it's back channels like space collaboration/UN/other symbolic things that can keep people talking enough to not end up cleansing the Earth in nuclear fire. Just because those things are ineffective at stopping a proxy war doesn't mean they aren't worth doing.

For the same reason I also agree that China should be welcomed into the international space community. They are flying state of the art rockets and have their own modern space station... you couple that with the fact they too are an increasingly powerful military nation then more collaboration rather than less is the way to go.
Government has no right to track that either, they themselves launder trillions, start wars and massacre millions, even a drug lord is a petty criminal compared to them, and it's clear their tracking of any and all records of any type is more about control than safety, thus it should be disregarded as an argument and be done away with entirely.
> What does that make those people who stand against those who seek to spread information? No different than the book burners, in my eyes.

You're certainly entitled to your opinion, but it is factually incorrect to state that willful destruction is the same as hindering someone from making another copy of a work.
English is the current lingua franca, so to speak, of the computing world.

If it changes to another language, then I guess I'll have to learn how to use the new language professionally, much as an opera singer might have to learn how to sing in Italian/German/French/etc.

Though there are computer languages like APL or Scratch. Or Lisp/Scheme and Forth, which are only marginally English-like (though their libraries may depend on English literacy.)

AppleScript is an interesting language which had English, French and Japanese dialects.
Or it may be simply a meme name because of people bringing up the silly "count the Rs in strawberry" prompt.
Agreed. One of the main properties of a (good) build system, is very aggressive caching. This only works if your build steps are deterministic. From my experience (testing firmware for embedded devices), even if your firmware simulation is totally deterministic, there is plenty of non-determinism created by UB, memory corruption, crazy things interns do with test scripts... So we don't typically cache our test results.
Even if you’re curing cancer a lot of the actual work you do is pretty meaningless
https://loveocean.no/about-love
I can't seem to load the list :/

But, Hacker News is really good for finding interesting blogs too.
Tesla starts selling 30-50 miles of extra range if you have a recent Model Y RWD
Adiabatic Computing Startup
"Vaire Computing Ltd. (London), a computing architecture startup, has secured US$4 million in seed funding and said it plans to deliver a reversible computing chip within 12 months.

The company’s self-declared mission is to use reversible computing to create near zero-energy chips for generative AI and always-on edge devices."
> I use numpy, pandas, xarray, pytorch, etc.

That means your code is using python as glue and you do most of your work completely outside of cPython. That's why you don't see the impact - those libraries drop GIL when you use them, so there's much less overhead.
Show HN: I made a mobile app to help people find rooms and flatmates in HCOL
Hi!

I spent 3 years living in Brussels and Paris and oh lord was it overly complicated to find a flatshare.

As a student / young worker, I did not have the budget to afford a studio or a flat in those capitals (I mean who does?), so I could only rely on flatsharing or a dorm. The main and almost only source at the time was Facebook groups and it was so chaotic. 30% of the posts are straight up scams or people trying to sell you their dropshipping course (source: trust me). Sending 20 - 30 messages a day floods your Messenger inbox and the chances of getting a reply is extremely low. If the rooms is not already taken, scheduling visits is a nightmare. Lots of informations are lacking on the posts such as price, charges, number of roommates, location and so on. There has to be a better way.

My name is Djulian and with my partner, we spent the last few months building Coloco, a mobile app to help you find a roommate and / or a room.

Here is a few features for the MVP:
- Search cities / region with a search bar or use our interactive map;
- Advanced filters;
- Instant chat;
- Rich description of postings;
- And many more features coming!!

We finally released yesterday and we are so excited about it because we're hoping to finally fix this finding a room in a HCOL* city problem once and for all.

Let me know if you have any questions!

Take care,
Djulian.

PS: Here is a link you can use or your mobile phone to open the app on the store: https://link-to.app/coloco

*: High Cost of Living
I think Ruby does? IIRC its source code includes a 10,000+ line “parse.y” file which is converted to C code using Yacc.
I can't tell if this comment was AI-generated.
Since people are talking about other compiler resources, one I have enjoyed so far though I still need to finish it, Immo Landwerth writing a compiler in c# that generates IL and also debug symbols and the like. It is older (about 5 years, so Core but like 3ish timeframe I believe) so doesn't use current c# syntax but shouldn't matter much for most of what you'd be doing other than a lot of warnings about nullability on types.

https://www.youtube.com/playlist?list=PLRAdsfhKI4OWNOSfS7EUu...
Another new tech for speeding up matrix multiplications:

https://thequantuminsider.com/2024/03/19/lightsolver-laser-c...
Who needs democracy when you can buy power?

The US is in for a truly ugly century.
(2023) Little discussion at the time (but this isn't a current article in AI timescale) https://news.ycombinator.com/item?id=35508655
It's a real head-scratcher why Texas, with abundant oil, gas and wind energy resources, can't build and maintain a hardened and reliable grid to deliver that plentiful energy to themselves.
I can very much relate to your situation but unfortunately not sure what to do.

I’m doing some contract work on the side. Every day I’m like if this guy harasses me again I’m going to put my notice in go work for less money but unfortunately I’m not even sure what decision should I take since the job is high paying but on the hand the contract work is with the startup and pays less money compared to what I make

I wish economy was better so I could leave my toxic job.

Some managers are really pain in the ass
I have my journal available within my editor, so it's easily accessible. I find that once I've seen how useful past-notes have been its very apparent I need to update.

I keep a standard set of headers for each new entry:

* DD/MM/YYYY
** Admin
** Meetings
** Tickets/Stories/Work
** Problems

I copy/paste that header to the end of the file, and just fill out stuff as I go. I used to have my editor auto-open the diary on startup, but took that away in the end.
If you use ucx it does all that automatically without you choosing.
Tried that. The devs revolted and said the whole point of containers was to escape the tyranny of ops. Management sided with them, so it's the wild west there.
Right now you are right. This is about taking away that argument. There's no technical reason for this to stay true. Other than that the process of fixing this is a lot of work of course. But now that the work has started, it's probably going to progress pretty steadily.

It will be interesting to see how this goes over the next few years. My guess is that a lot of lessons were learned from the python 2 to 3 move. This plan seems pretty solid.

And of course there's a relatively easy fix for code that can't work without a GIL: just do what people are doing today and just don't fork any threads in python. It's kind of pointless in any case with the GIL in place so not a lot of code actually depends on threads in python.

Preventing the forking of threads in the presence of things still requiring the GIL sounds like a good plan. This is a bit of meta data that you could build into packages. This plan is actually proposing keeping track of what packages work without a GIL. So, that should keep people safe enough if dependency tools are updated to make use of this meta data and actively stop people from adding thread unsafe packages when threading is used.

So, I have good hopes that this is going to be a much smoother transition than python 2 to 3. The initial phase is probably going to flush out a lot of packages that need fixing. But once those fixes start coming in, it's probably going to be straightforward to move forward.
Check out Tcl/Tk. It is cross-platform, simple, stable, has a long history, and runs blazing fast.
I have been looking at this domain for a while now and thinking about how one might become a "Social Entrepreneur" in this domain. As an example, India has now included all senior citizens over 70 under its Universal Health Coverage umbrella (https://nha.gov.in/PM-JAY) and hence the need for these services/organizations have become more pressing. In developed countries with a large aging population the situation is even more dire.

The main issues i can think of are;

1) Regulations - Govt. mandated laws on access to health records, personal liability etc.

2) Insurance - Can these services be charged under govt./private insurance schemes/claims?

3) Personnel Training - All employees must be trained in aspects of Nursing and People management, there must be on-call Doctors etc.

4) Wellness Centers - Places where the elderly can be brought in for regular companionship and prophylactic exercises.

5) Transport - A fleet of vehicles to transport the elderly to and from their homes.

6) Supplies - Medicines and everything else as needed.

There are three main models that i can think of;

a) The "standard" elder care homes which take care of everything for a fee.

b) A live-in nurse/maid/caretaker employed through a agency (popular in developing countries) where the person lives with the family taking care of the elder. You pay a monthly fee to the agency and they pay the caretaker's salary after taking their cut.

c) A on-demand comprehensive health services company. This can be a non-profit/for-profit organization offering various services (medical/support/companionship etc.) to the elderly who live alone or have nobody to look after them. Services could be offered based on the needs and on a yearly/monthly contracts or as needed per call. Think of it as Uber/Wework for Healthcare. I think this is the need of the hour since there is a huge population above 50 worldwide living alone. Just helping them maintain their health will go a long way towards easing the pressure on the healthcare system leaving the hospitals free to serve those who need it most.

To drive the point home, watch this 3-part documentary series on "Living and Dying Alone in Singapore" to get an idea of what awaits many senior citizens - https://www.youtube.com/watch?v=d499mlwXWfk

The organization mentioned in the above documentary and from which we can learn is here - https://chenghongwelfare.org
Where do you draw the line? Does that mean you need a license to write Excel formulas?
Interesting, I'll have to look into this because I'd never heard that before and now I'm curious.

A language with as much going on as Ruby was not one I would have picked as a candidate for yacc
I'd go the Samba Domain Controller route, personally. Of any way to do it I think that would give you the smallest sysadmin "burden". You'll also get Group Policy functionality, which is useful for standardizing configurations across your Windows clients (if that's a thing you need).
6x6GB + 2x12gb
This video is full of BS that is in great detail debunked by David Miano (YouTube World of Antiquity) https://www.youtube.com/watch?v=on6W7p4xcdg
uhm, a hurricane hit.
Did X.500 ever get even close to fully implemented?
Thanks a lot for this, I’ll check it out
RoCE does not encapsulate infiniband
There is no free version if you use it for work.
Is AI the beginning of the democratization of creativity?
Bizarre coincidence. I just ran into lldap for the first time earlier today. I built it on Windows for fun. I'm new to Rust and it was surprisingly easy (and only needed very slight modification).

If I were going to support Windows clients on the hypothetical home network, however, I'd use Samba as a Domain Controller and use the LDAP server there. That gets you SSO to Windows clients too.
Hmmm might need to delve/dive into that split (considering guardian vs commercial in terms of trust vs productivity)

To be fair to Hofstede, maybe the problem could be fixed with some rudimentary PCA, but you might just get back the usual trust vs productivity scatterplot (like MBTI vs Big5 for "a society") that you found interesting..

japanese/swedish cultures are reportedly closest, might well be worth looking at M&A events in the 1980s. don't know whether karoshi is just symptomatic of a particular tricky retrovirus hidden in the cultural DNA. Similarly.. you might want to reconsider "confucianism=topdown" in light of the graph at 13m07s

https://youtu.be/zrFWHAyI2W0?t=13m7s

(Ok it might be that neoconfucianism in the PRC ( as well as current-day SRV CPV checkout 必诚's basic tactics vs gallic responses?[0]) might be just be XJP et al trying to retcon the Legalist narrative, see

[0]https://en.wikipedia.org/wiki/V%C3%B5_Nguy%C3%AAn_Gi%C3%A1p
https://www.clemson.edu/cah/academics/history-and-geography/...
(Note that giap was educated in French)

https://hutton.philosophy.utah.edu/HFZ.pdf

https://news.ycombinator.com/item?id=31577335

https://china.usc.edu/sites/default/files/forum/Legalism%252...
Wireless Amiga Tank Mouse
> “Why did so many CenterPoint power lines and poles snap so easily? Why wasn’t the grid built stronger, and why wasn’t vegetation cut away?”

Why not put power lines under ground, like other countries do? It's probably more expensive, but large scale repairs or rebuilds several times a year do not sound cheap either.
The law that would have prevented this breach would be to make it illegal for telcos to sell customer data. The reason AT&T was feeding ALL the data to Snowflake was to sell their customer's location and social graph to marketers. It is unconscionable to me that this in not currently the law.
You've got it all wrong. Entrepreneurs aren't short on ideas; they're short on ideas that will make them rich. Why/Who's paying for a robot to wipe grandpa's butt when "there's a huge volume of exploited laborers keeping the system afloat"?
huh?

Any python library that cares about performance is written in C/C++/Rust/Fortran and only provides a python interface.

ML will have 0 benefit from this.
I use different editors for different purposes, e.g., Obsidian for long form and planning, OneNote for meetings.

I wouldn't overthink it, though, and just use the simplest tools available. I use Sublime Text 3 with a few shortcuts to add the current timestamp, etc. and log everything in a long file. I was too ambitious in the past and wanted to learn how to use Emacs for everything, but it just held me back, and I ended up without any notes.

Also, my unfortunately named thread from 2022: https://news.ycombinator.com/item?id=33359329
Memory^3: Language Modeling with Explicit Memory
33% of all living americans? how can it be that much?
Thanks for the example and explanations Simon!
It gives you some amount of easy discoverability if you are just starting out.
wow, lotta discussion there. thanks.