skysight-inc/HackerNews huggingface dataset:
> First, I've never heard of program synthesis, and it seems like an interesting topic. Could you point me to some resources so I can learn more about it?

Look up the work of Cordell Green. He invented the idea and built a company around it.

https://www.kestrel.edu/people/green/
Hey I thought I didn't want kids when I was young. Something about genes and hormones, I don't know. But I've got three grown boys now. It was a blast.

It sure helped to move back to the midwest, where everything was easier. Didn't like raising the first two in San Jose. Moved when they were 3 and 5, best decision ever.
I agree with the Author. SQL is not a great query language. Almost every decently sized app I have written I have needed some sort of a query compiler so I don’t have to deal with nuances.

Also agree that GraphQL is a pretty fantastic language for working with graphs. And that relational databases are essentially graphs. Hasura is neat.
Speedrunners are anticipating the events though, and perform a remembered sequence of inputs in response to an earlier stimulus. Nobody can react to a random event within 1/60th of a second (17 milliseconds) - average human reaction time is 200-300ms. But I guess you would still visually notice a visual artifact of enemies flickering in and out of existence at 20-30ms.
A future centred on electric cars looks too much like the past
Still, I'd rather query JSON in postgres than do joins in mongo.
Yes, a lot of people actually do for sure.

I would say especially if you also define your data models in SQL, and let the SQL database be the primary source of truth for what the data model is.
Can't agree with you enough here. It's something I've learned as an adult when it comes to alcohol - better to have that one good beer or wine, enjoy the taste and the feel of it, than to drink more of mediocre stuff.
> On paper, a more expressive language that spits out SQL queries sounds great, but I've never seen a single one not become a pain in the ass to use.

That's precisely because of some the flaws of SQL outlined in the article.

Generating SQL is complex. Generating portable SQL is impossible.

Take a look at the queries sent by something like Power BI to MS SQL Server when running in direct-query mode. It's just obscene how complex the queries can get!

I've tried to write some SQL generators before, of various types. I always got bogged down in the ludicrous complexity.

The author of the article makes so many good points that it's easy to gloss over entire categories of mistakes in the SQL spec. For example, he briefly mentions that getting a column schema back in query is weird and non-standard. The real problem here is that SQL is not homoiconic: tables, columns, and their types could have been represented as tables, including when defining them. E.g.: instead of "CREATE TABLE" the syntax should have been more like "INSERT INTO sys.tables ... ". (Similarly for columns, constraints, foreign keys, etc...)

Instead, we have a language designed for data that until recently had implementation-defined read-only system views for the schema data! Writing into that data uses an entirely different set of key words and syntax, which is "not really SQL" in the sense that it isn't relational and cannot use tables as input unless coded in an external language like Java, or built up using string manipulation an called via some sort of non-standard "exec string". Of course, then you have to worry about things like not having a built-in standard escape/unescape function! (QUOTENAME is the MS SQL version of this, surely non-standard).
There's a big difference between "you should take a course in English, it's really useful" and "we will punish you for speaking your own language" (as happened numerous times and is what the comment you replied to is talking about).
> who don't bat an eye on the perspective of having a home server, sucking up electricity 24/7.

Maybe they need it? A router isn't a home server. But even if, why do you keep your power efficient router running 24/7? You could turn it off when you're not home to save even more energy.

> a full-fledged PC (probably consuming like x100 the power

Maybe do some research before claims like these. He states this pc idles at 48W. Please show me a router capable of handling 25gbit/s that consumes 0,5W at idle.

> how would you build a "something" that monitors the network for packets sent to powered-off machines, then somehow caches the request, powers the destination machine On, and finally lets the request continue to its target?

That's what "wake on LAN" is for.
Have you measured how much electricity a computer doing routing consumes? I bet it's a lot less than you think.

Also measure how much a good, high-bandwidth router uses. I bet that is a lot more than you think.

the "why do this" question for me comes about entirely because of the continual manual intervention that is needed for solutions like this. just not worth it, to me.
That’s an old trick: https://www.youtube.com/watch?v=eLHBGigq4zk
It’s not new for writers to be inspired by real-life events or for stories to have broader messages or purposes. Calling this contemporary seems naive, as a part of this thing lately where people act as if for thousands of years we never criticized each other or did anything political until now.

But what do you think is the ideological narrative Cat Person aims to fit?
> I dont contribute to open source these days cause of the amount of drama.

I've seen the drama (from a distance) in some large FOSS projects, but there is a sea of small one-person or small group projects which are usually a pleasure to contribute to - they usually entail nice simple, small scale, person-to-person interactions, not massive discussions and red taping - it's fun :)
When I clicked through to the provider it looked like the only difference between 1/10/25G was the setup cost. But I might have mis-read.
Google Scrubs Mike Cernovich Report on SPLC Link to Mass Shooter from Search
This is interesting, I did not know this syntax.

Alternatively there are still the NATURAL JOIN and USING syntaxes that have been standard like forever.
There was also a video in 2013 or so where he gets quite nasty burns when the jet engine he's working on without safety gear goes fireball.
He definitely did a few things in this most recent video that made me cringe, like using an angle grinder to make a notch in a steel pipe that he's holding up with his other hand. Some pipe clamps would've been advisable there vs holding by hand the object you're cutting into. Felt like something you'd see on /r/OSHA.

The tunnel generally feels safe, but I can't say the same for the methods employed in digging it.
Let's go on strike Let's stop reviewing for venues that sell research
What’s the deal with how we review papers for confs/journals for free and then they go sell and restrict access to them? How about we only review for venues that freely distribute papers and stop for those that restrict them?

We have the power to put an end to closed access research. By only reviewing for venues that freely distribute papers, we will ensure they have the best publications and become the premier venues. It will then become in everyone’s best interest to publish in venues with freely accessible papers.

This attitude has transformed machine learning publishing after the editors of “Machine Learning Journal” (MLJ) quit to create JMLR. Without the ability to referee papers with good reviewers, a journal cannot function or will be forced to select from lower quality reviewers which is a negative feedback loop. In many fields (and growing in machine learning again) it appears that those in power of the venues which are thought of as “required for academic career advancement” do not share the ideal that all researchers should be able to access research whenever they want even if they are poor.

Let's go on strike! Manifesto: https://josephpcohen.com/w/statement-on-reviewing/
is this the icecream you speak of? https://github.com/icecc/icecream I've never heard of it so I was intrigued.
Maybe they have money and they find that spending money on homelabbing is worth the effort. And really it isn't THAT expensive either. I for one don't bat an eye on my USD200 yearly homelab electricity cost.

Of course if one wishes to perfectly optimize everything then having a homelab might well wasteful.
> Bonus fits into the category of "supplemental wages" which Google suggests has a special 22% tax rate. However that rate also apparently applies to RSUs most of the time.

This 22% tax rate is the default rate applied by your RSU brokerage which often leaves you owing taxes to the IRS. IRS treats RSU at vesting as regular income. For the tax purposes it is same as if you received their equivalent in cash and then used it to purchase the same number company shares [0].

[0] https://www.cordantwealth.com/rsus-tax-saving-and-hedging/
Extreme temperatures kill 5M people/yr with heat-related deaths rising
The use of English has nothing to do with its supposedly inherent qualities. That's the sort of intellectual masturbation your get from Brits once in a while, and it's nauseating. It's got everything to do with the complete dominance of the US of war, money and culture after WW2.
J. Robert Oppenheimer Personnel Hearings Transcripts
If it's an engineering blog, the vistors might not even have JS enabled.
The temperature of an alcoholic frying batter (boiling away in the fryer) should be lower than a non-alcoholic batter, but with beer it's probably not going to make a meaningful difference. Batters made with hard liquor cook faster because they dry out faster though.

The difference with your beer/NA beer might be due to sugar contents.
I learnt about gamma the other day from this article. Don't have to read it, just scroll down until you see the colour gradients, and maybe the swiggly lines over colours.

https://blog.johnnovak.net/2016/09/21/what-every-coder-shoul...

Nice work on the css tool Retroid
It just doesn’t sit well with me that they’re charging for things like G1GC which are free in HotSpot.
For even more reference going under is pretty popular in UK

https://www.theguardian.com/artanddesign/2012/nov/09/billion...

https://www.theguardian.com/money/2018/may/07/pool-basement-...
Thats a good question, i think i paid once with my amazon visa. But I'm not sure, it was a card though :)

Nonetheless, you pay through the app.. Sooo why would you need the card?
If anyone is interested in building 10Gb router on a budget you can buy Mellanox OCP NIC with an adapter from OCP to PCIe for around 5~30 USD ( depend on your location )[0]. I recently build one 10G router with 4x10Gb, 2x1Gb ports for around 200 USD using second hand PC.

[0] https://www.youtube.com/watch?v=hkf3PkuKdOA
The real difference is in latency: I tend to use the same operator on the fixed and mobile line, with Wireguard.
SSH, SMB and Matrix respond almost as if you were in LAN.

If I add the cost for bandwidth and storage of a data center, then the economic choice is obvious.
Let's just say that if the ground decides to give the puny adhoc steel structure is not going to pose much opposition.

Forgetting for a moment how thin everything is, the arch only works if it is supported on the sides. It isn't, there is a bunch of space on both sides for the arch to get flat and give completely.

But the structure may prevent full collapse. Also it is going to be relatively unlikely anybody gets hurt. It isn't like he is going to be sitting there 24/7.
> I back up my Google Drive periodically. 500GB takes a while to transfer.

Do you download the whole thing each time, vs just changed files?

Either way, (scheduled!) periodic backups sounds like a thing that could happen over trough (well, while you're sleeping), in which case a 200Mbps connection would be more than adequate for your use case (~5.6 hours for 500GB).

The numbers obviously scale linearly with the size of your download (a common anecdote I hear re: people filling up TBs of hard drives is via lots of RAW photos), so in that scenario, you'd need to transfer 30-40TB overnight (8 hours) in order to saturate a 10G uplink; you'd likely saturate hard drive write speeds first, not to mention you'd need multiple HDDs/SSDs connected to even store that much data in the first place.
I actually finally asked a driver. They give a multiplier bonus for the number of rides you do in an day.
MATRIX?
I develop on FF, and I have to set an IP address exclusion rule in GA so that my local development testing doesn't inflate GA numbers.

Google is a Mozilla donor and I don't think they'd like it if the browser blocked one of their major services. Ublock Origin will block GA and GTM (Google Tag Manager) however.
How can I run this on Wine? I'm getting this error

$ wine Pix2Pix.exe
Application could not be started, or no application associated with the specified file.
ShellExecuteEx failed: Bad EXE format for Z:\Pix2Pix.exe.
$ file Pix2Pix.exe
Pix2Pix.exe: PE32+ executable (GUI) x86-64, for MS Windows
I don’t disagree. However, the principal objection to racism is not discrimination, but rather that on the basis of immutable characteristics. No one chooses their biological skin colour. So we reject discrimination on that basis.

Age gaps are not an immutable characteristic. Nor are they culturally common in the USA. So they are fair game for discrimination just like any other exercise of free association.
Yeah, I have an overpowered router PC (mostly in the capabilites sense --its a low power passively-coolable Xeon), but it also acts as a flash NAS, and hosts a few other containerized services that I prefer are always-on, it's a wireguard endpoint, etc. I've got a separate sometimes-on box for other VMs and containers. That one hosts a windows VM with a VFIO-attached GPU which my living room tv plugs into. Altogether it's lots of computing power for home use but draws relatively little at the wall. I'm pretty happy where I landed in terms of overall utility versus TCO, using this sort of consolidated-hardware approach.
I should clarify this syntax is only an idea, it's not implemented yet in any vendor nor part of the SQL standard, yet.

I think it would be a nice feature to add to the SQL standard.
The Franks were French, after the 7th c. or so. By the time of Fredegarius, their Germanic origins were all but forgotten. For nearly the entirety of the Middle Ages, « Frank » meant a Catholic of Gaul who's cultural language is Latin or a Catholic, depending on the context.
This was fascinating to watch and felt like watching a video recording of a dream. Seeing the world through approximations instead of details.
I work from home and regularly need to download large files from work servers. Several months ago I noticed that my internal network was 100Mb/s, which was dreadful. Downloads of 500MiB files would take tens of minutes, because Tomcat would drop connections on such a slow download. And even without dropped connections it generally took a long time to download anything, and Zoom call quality was regularly degraded (I sometimes heard my colleagues as androids and vice versa). I fixed the issue and now I get the full 700M/s that my ISP offers (and 1G/s internally over a Netgear switch for NFS transfers). I could get a 1G/s, but it would cost me more and 700M/s is fine for the most time. But sometimes to get a shorter feedback loop on what I'm doing I could imagine getting a 5G/s. I think it would be optimal. But 10G is clearly overkill.
Integrated Haskell Platform: v0.12.0 has been released
I believe they meant the next day/several hours later.

If you don't feel any adverse effects later, you're probably drinking responsibly (never more than 2, always with food), or are still on the younger side.

Age is a huge factor in how we process booze. As you get older, your liver gets worse at handling the byproducts of alcohol, specifically acetaldehyde. It's the poison that leads to longer, worse hangovers. I didn't get hangovers until my early 30s, and they've gotten considerably worse over time, while simultaneously being _much_ easier to achieve. If I drink at all on an empty stomach, even just a single beer, I really feel it now in my early 40s. Maybe not later as a hangover, but rapid onset sluggishness. The effects on sleep are no joke, and as you get older sleep is harder to come by for a number of reasons, which we've learned is incredibly problematic.

You get to a point where you have rules: always eating something first (which could affect other health goals like calorie counting), drinking water between drinks/every other (which leads to feeling gross and bloated, possible hyponatremia if you're not careful), and taking supplements like NAC before bed/every 2-3 drinks. It becomes clear at some point that not drinking is the only real solution.
> As for CloudFlare, all the requests will go through CloudFlare's server for caching, so some request won't reach your server.

Only for static files, they don't cache HTML and dynamic contents. So you can still make sense of unique visitors to your site.
Is there a reason you’d rather do this than live in a fully furnished rental?
Init7,OP’s isp is a non profit
> Detailed information about users who allow the site to execute JS, that is.

I think you are massively overestimating the number of people outside the HN crowd that have NoScript or an equivalent turned on.
“Negative interest rates can be enforced”. No thank you. I’ll stick to something that doesn’t melt in my pocket thank you.
OnePlus Nord 2 specification and launching date
QC doesn't have /votekick though
What more updates do you want? AFAIK the last development was that WD offered some sort of trade-in program or data recovery service to the affected users.
Aluminum cans have a polymer liner.
Crowds defy Bangladesh Covid lockdown to see tiny cow
> See mannykannot's reply.

Their answer clearly, explicitly, assumes a C-style `union`. Despite the essay literally using a proper sum type as example.

> The argument for union types seems to get weak when one asks: how do we index their components?

With the system creating partial indices under the cover? I fail to see what's complicated about it.

> SQL need not be "one language to rule them all".

SQL has "won" the relational battle and is literally the only way to query relational databases. Any time SQL is unable to do the job and you have to move that job to application code, you're making the schema less reliable and less of a source of truth, because parts of the schema's information have to be embedded in each application instead.

That doesn't seem desirable to me, unless you assert SQL should just be a trivial data storage and retrieval interface, which it has not been… possibly ever, but at the very least since the introduction of window functions.
For another saga (or perhaps fable is a better term) see the reindeer on Saint Matthew Island:

https://www.geo.arizona.edu/Antevs/nats104/00lect21reindeer....
If my genetics aren’t as good as another athlete. I’m at a disadvantage. Why is this considered not just acceptable but even good? The genetically gifted person didn’t do anything to receive praise society gives out for said genetics.
Show HN: Markdown docs automation (like README.md) from external or remote files
"Application offloading" was one of the terms I tried when searching for it, and got this as a result - not the same thing, but similar: https://www.academia.edu/10225597/Putting_it_on_the_NIC_A_ca...
> Many home labs also don't use the newest hardware but old server hardware (add 10 - 40 watt idle).

Yes, but switching to newer, more efficient hardware is not free, so you need to factor this in when considering a switch. Also, in case you don't only care about your wallet but also environmental impact it's getting even more complicated, since manufacturing your new shiny toy definitely is polluting the environment somewhere in Asia, gets shipped via ship burning horribly dirty fuel in international waters etc.

If you don't have any use for the old hardware, chances are it will end up burning on some open field somewhere in Africa after local recyclers already extracted the good stuff...
The steel is only temporary. Of course one could argue any temporary structure should be up to scratch, but anyway it's not the final solution. He's building a tunnel within the steel structure and then filling the void with concrete.
I can't watch the video, it hurts to watch something so unstable. It would be cool if it was less psychedelic.
Yes, I understand that point, but it's not really what I was getting at. My point is that most software, even or especially open source, isn't even "small impact" (in a positive sense). It's just toys, learning experiments, or used for active harm, etc. Almost no software written today contributes to any "betterment of the species," no matter how small.

If software engineers want to contribute in that way, they should support the research efforts of individuals in the areas I mentioned. Those projects are meaningful and impactful. But they're a tiny fraction of software developed.

It's simply an incredibly ignorant conceit to fancy oneself as providing even small impact simply because one writes some software.
In the original Bunker video He briefly mentions inspections and permits.
That reminds me of this story https://www.nytimes.com/2019/06/17/us/daniel-beckwitt-bethes...
Being non-expert it's hard to judge the safety of the tunnel, but still it doesn't sound to me like a good idea.
Sensation, emotion, and reason all exist inside consciousness. The article points out that some animals seem to have great depth of emotion and sensation, whereas human consciousness often is more focused upon reason. Anyone who has lost time while driving a car while thinking about something else has experienced what the author is describing. We don’t always live in the moment — sometimes we live “in our head”.

Meditation is one way that we train our consciousness to focus less on reason and more on sensation and emotion, in order to exert more control over both.

So I’d agree with the author if he reframed the question as I have.

But how do we know that animals, or even other humans, are conscious? The answer is in the definition: that sensation, emotion, and reason are all aspects of conscious experience. These aspects can be considered metadata that is only available to conscious beings. This metadata is most uniquely useful in social scenarios, as it is a shared dataset that enables highly coordinated and flexible social behaviors.

The author mentions one of these behaviors: play. Non-conscious entities will have a harder time distinguishing between play-fighting and real fighting, and engage in play-fighting less often (if at all).
Since the inception of discount codes I've yet to see a retailer succeed with the strategy over the long term. Maybe it does increase conversion at the point of sale, since there is always an element of 'cart abondonment', but would a critical mass of those customers have come back to buy a few days later regardless - I supsect so?

What does happen though is that your customers come to expect a code all the time and if there isn't one they'll wait until there is or go to your competitor who does have one. It's a race to the bottom you don't really want to win.

Here in the UK, a few famous retailers have recently gone bust or are well on their way to doing so. They all blame Covid, of course, but they were all dying a slow death anyhow and, yes, every one of them were discount code enthusiasts.
Why do cauliflowers look so odd? Cracking the maths behind their ‘fractal’ shape
There are other companies that keep track of that (experian, trans union, quick books, etc) that get this from everything from your employer's bookkeeping software to your credit applications. And they sell your data. So if they know where you live and an app knows where you live ...