skysight-inc/HackerNews huggingface dataset:
I encourage everyone to read this paper. It's well written and easy to follow along. To the uninitiated, SR is the problem of finding a mathematical (symbolic) expression that most accurately describes a dataset of input-output examples (regression). The most naive implementation of SR is basically a breath first search starting from the simplest program tree: x -> sin(x) -> cos(x) ... sin(cos(tan(x))) until timeout. However, we can prune out equivalent expressions and, in general, the problem is embarrassingly parallel which alludes to some hope that we can solve this pretty fast (check out PySR[1] for a modern implementation). I find SR fascinating because it can be used for model distillation: learn a DNN approximation and "distill" it to a symbolic program.

Note that the paper talks about the decision version of the SR problem. ie: can we discover the global optimum expression. I think this proof is important for the SR community but not particularly surprising (to me). However, I'm excited by the potential future work for this paper! A couple of discussion points:

* First, SR is technically a bottom up program synthesis problem where the DSL (math) has an equivalence operator. Can we use this proof to impose stronger guarantees on the "hyperparameters" for bottom up synthesis. Conversely, does the theoretical foundation of the inductive synthesis literature [2] help us define tighter bounds?

(EDIT: I was thinking a bit more about this and [2] is a bad reference for this... Jha et al give proofs for synthesis w/ CEGIS where the synthesizer queries a SMT solver for counterexamples until there are none... kinda like a GAN. Apologies.)

* Second, while SR itself is NP hard, can we say anything about the approximate algorithms (eg: distilling a deep neural network to find a solution[3])? Specifically, what proof tell us about the PAC learnability of SR?

Anyhow, pretty cool seeing such work get more attention!

[1] https://github.com/MilesCranmer/PySR

[2] https://susmitjha.github.io/papers/togis17.pdf

[3] https://astroautomata.com/paper/symbolic-neural-nets/
The only way it will change is if more housing is built. A lot more housing. Demand is higher now than it has ever been before, and supply is not keeping up.

Some of this is simply caused by supply not keeping up for decades, but on top of that we have a lot of people who moved out of the cities/back in with their parents during the pandemic who now want somewhere to live.

Home prices are actually lower now than they were earlier in the year, but rent has inflated by quite a bit. That proves that the demand-side is causing the increases. If housing was simply an asset bubble, we would see purchase prices skyrocketing too. Increases in rent are outpacing increases in home values because of a lack of supply is causing potential tenants to compete with each other.

So, how would home values drop significantly? New supply takes years to build, so that won't do it anytime soon. High mortgage rates have only resulted in small decreases in prices. It's also becoming more expensive to build with new environmental requirements like solar panels on all new housing in California, for example.

The only way I can see significant price drops happening in the short term is something similar to what happened in 2008: a wave of foreclosures forcing sellers to sell low, at the same time as mass unemployment and massive stock market dips destroy the purchasing power of buyers. That would certainly lower prices, but the damage would certainly not be limited to the housing market.
I guess you could go one level back and not make changes if there's going to be a CLA for them.
Which two languages?
I vividly remember when they took away the cereal at work. Working long hours, at times 3 weeks on, one day off - I couldn't understand how a cost/benefit analysis could arrive at that decision. The cereal may have returned later but I can't seem to remember one way or the other...
The Russians are not morons, but, they are not just missing the parts, they are behind on cutting edge issues. Not all, but many. Yes, the are 1st-class in that some of their gear is leading, but not that much of it. Iran, even more so. There is a ton of know-how they do not have in addition to the missing parts/industrial base/budget etc.
To spread awareness of the original meaning:

(From Wikipedia)
To "beg the question" (also called petitio principii) is to attempt to support a claim with a premise that itself restates or presupposes the claim.[6] It is an attempt to prove a proposition while simultaneously taking the proposition for granted.

When the fallacy involves only a single variable, it is sometimes called a hysteron proteron[7][8][9] (Greek for "later earlier"), a rhetorical device, as in the statement:

"Opium induces sleep because it has a soporific quality."[10]
We don't have this in the app, but the booklet that is featured on the website has some short case studies for each template.
> As of 2020, 56% of Washington residents used electricity for heating, and 37% of residents used natural gas or bottled, tank, or LP gas.

the majority of Washington residents using electric heating is a far cry from "resistive heating which almost nobody in my corner of washington is using."
JSON marshalling is a big one
You don't owe $10 in tax, you owe 10% in tax. 10% could be anything and doesn't fix a value for the dollar. The system you're describing is a dollar quota, not a tax, and I don't think that system has ever existed in a western democracy.

Seriously, just try to calculate the idealized value of $1 based on a single tax, perhaps a tax you pay. There's no way to come up with anything. The theory being advanced here does not stand up to even the simplest attempt to apply it!

(There might have been a cruel feudal lord that demanded one gold coin per annum on threat of imprisonment, but I haven't heard of him if there was.)
What was wrong with his written English, that you consider it not fluent?
Conservancy v Vizio (in the USA) argues that the GPL is also a contract and that they are entitled to GPL compliance as a third-party beneficiary of the GPL contract:

https://sfconservancy.org/copyleft-compliance/vizio.html
I find that ad funny.

> Don't believe everything about Bavaria. Just believe the facts.

Maybe it's because of the article I just read, but I'm reading that like "Don't believe everything you've heard about how Germany is a terrible place to do business."

Presumably if New York or San Francisco had ads encouraging people to start companies there, they would want people to believe everything they've heard.
I thought the same, and I agree that treaties wont keep nations from using orbit and space based weapons, but I also think that this nuke idea is too simple to be the truth.

Perhaps something more complex is in play.
On the aesthetic appeal of grain in photographs, it's worth noting that even before digital, photographers were particularly interested in the look of the grain. This is most clearly highlighted by the fact that even when film manufacturers produced higher quality film with less visible grain, the older film emulsions were still available as some people preferred that look.

For example, Kodak make 'traditional' and 'T-grain' versions of their B&W film (I believe the 'T-grain' style has the grains stacked vertically rather than horizontally, allowing for more light sensitivity but smaller visible grain). So, if you want ISO 400 B&W film, Kodak will sell you TriX for traditional grain, and Tmax for modern 'T-grain'.

The article discusses grain visibility in shadows vs mid tone and highlignts, and suggests that grain is visible across the entire image. This isn't true. The process of exposing film converts silver halide to silver granules where the light has been captured, so in shadows, the grain is purely silver halide which is removed by the fix step when developing the film, leaving only the film base. So, unexposed film (shadows) have no grain, highlights have all the grain. This is the opposite of digital, where if anything, noise is most visible in the shadows, whilst on film, shadows are pure black with no noise (from grain).

Another thing, different printing processes cause the grain to be more or less visible. Traditional enlargers use collimated light which produces very sharp images, but accentuates dust and film grain. This fell out of favour to be replaced with diffuse light, which drops the sharpness a little, but is much more forgiving.
It's a misspelling of 0K, or 'zero Kelvin', meaning that there's no energy left to argue, so just 0K, whatever, let's go with what you're saying,
Right, reading the title, I was assuming the material or machine itself trained nodes based on the stresses or shears it felt itself, but it being computer controlled doesn't really seem to mean it is a "mechanical neural network" in the sense that it "learns." I mean, you could say (from my field) a deformable mirror is a "mechanical neural network" that existed decades before NN became a hot topic.
Ask HN: What is the best site to ask this question?
I was referring to this part:

> the source code of Visual Studio is available

You're talking about Visual Studio Code, but you're calling it "Visual Studio" when you say it.
Thing I missed. No memory manager. allocate() but never free().

This makes the stats a little bit darker.

You can't use it for anything other than this compiler. And adding a memory manager would possibly have added 3x more code and complexity than what's here.
I think almost everything Wim has promoted from the hard science side is accurate. There are just some elements of it that I know are mostly mental for me, but it is tightly coupled with all the the physiological in ways I haven’t bothered to articulate much :)
Defense contractors continue to devote huge resources to experimenting with and understanding all forms of radar technology. You just don't read about it on HN.
Just do it.

I'll bet you probably have tons of energy, but also more responsibilities and even in your youth you were not that dedicated - you just had moments of intense interest and did stuff for fun without too much diligence and no other worries.

Maybe carve out some 'me time' for whatever.

And a bit of cardio really, really helps.
Binance Plans Push for Global Digital-Asset Standards
Yeah sure, if it's just renaming of the functions and variables in the code base that's harmless I guess.

But why would you do that if it's indeed from certain person (provided by that it's not stolen credit)? Are we going to getting rid all of the human names from the heaven's objects? We are still naming those things with ppl's names afaik
Michelangelo: Uber's Machine Learning Platform – Uber Blog
Rust is a language that will reward you for embracing it and going deeper as well, which is great.
SoftBank Sinks 12% After Loss and No New Buyback Program
Let's work out a couple examples to clarify it.

If a berry is worth $1, then a 10% sales tax on 10 berries is $1, which is 1 berry.

If a berry is worth $10, then a 10% sales tax on 10 berries is $10, which is 1 berry.

So what we see here is that the government is taxing 10% berry value at all the different values of a dollar.
>"For sake of lucidity, I want to say that this doesn't necessarily make DeFi integral to these hacks, but it does make the process of liquidating from these hacks easier."

Yes sorry I didn't articulate that very well in my post. This is what in fact I was asking - why it was significant in the "process of liquidating from these hacks."

Could you explain what you mean by "they don't "give up the ownerships of their crypto"? This sounds like an important point but I'm unsure what you mean. Do they anonymize the transaction or something else?
Unless they have billions and tons of staff, they can't provide much money or attention to each project.
The references above are all that I have prepared for today, apologies.
Well, could you, or were they just reserved? That's still not clear to me. I guess I'll find out, next time I need to bust some ghosts.
How automatic are updates? Will it warn me when I am out of date and can update itself (e.g. clicking a button, not going back to the home page and needing to DL and install each version)?
The author has become a German citizen. Does that make him more German than Scottish or British or whatever he used to be or still is?

The problem is that legal proceedings are done in a natural language. You try to do something exact with tool that is fuzzy by nature. So specialists basically create their own language in order to get precise. Can an average Scotsman or American incorporate a company in their own country and fully understand all legal implications?

That said Germany has literally centuries of traditions that some other countries don't have. For me as a German living abroad it's been a surprise what things can go unregulated, meaning that big corporations, lawyers or officials just (mis)use the gaps for their own benefit.
(Which does not imply that German desire to regulate things well have prevented greedy criminals to commit crimes like VW and Wirecard undetected for years.)
Thanks for letting me know. We'll look into the issue. Cheers,
Of course it isn't true. SaaS is used by people who don't want to build a product.
I thought I didn't have time or energy for years. As it turned out I just didn't have a project I cared about enough!
> Those aren't just "vows", its a legal contract

In the US a marriage is not a contract. We are not Ferengi. A marriage is a license from the state.

Oh, and we not only had to professionally translate those vows in written form, we also had to have a verbal translator on-hand in case, you know, I didn't understand the vows I had already translated and was signing in English. Also, it didn't matter if I spoke Italian or not.

Italian bureaucracy is famously sclerotic. This isn't even a point of debate. It is among the very worst in the world.

> Because as I already said, marriage is a civil and legal act. It is not carried by the central nor state (as in us) government but the city one

Yes. It is a classic source of corruption and incompetence. Similarly, lots of other national-level things insanely have to get the sign-off by tiny local governments in Italy, such as Permesso di Soggiorno (Italian Green Cards -- that one was fun), passports, etc. My young sons, who both are entitled to Italian passports, had the processing of their passports delayed for the better part of a year (baffling the Italian Embassy) because a tiny local city council in Italy couldn't understand their names and so stuck the passport applications in a drawer and forgot about them. Note that we had submitted those applications in Washington, DC. We had to have a local relative go to the city hall and knock some heads. For national passports!

I'm baffled how you can possibly think this is normal and that I am "entitled". Italian bureaucracy and ducking responsibility is despised by both Italians in Italy and people abroad. The bureaucrats themselves apologize for it vigorously. There are entire movies made about it.
The problem with electric cars is that they're still cars. Cars are inherently way less efficient than trains, or even buses. In practice, trains take less than 1/7th the power that cars do to transport passengers - and that's before we get into the land-subsidies (parking, giant roads) that cars need in order to be financially competitive.

But even when cars are necessary, they tend to be massively overengineered - does every car need to be 1) a five-seater, 2) 500KM range (300mile range), and 3) capable of driving at 110KM/hr (70miles/hr)?

Every one of those requirements basically doubles the cost and halves the efficiency.

>First came the long tail pipe argument, I think even the most ardent of naysayers have realised that that one is bullshit.

I wish. Obviously it is bullshit, but it's a goddamn zombie argument that just won't die.
The book Advanced Programming in the Unix Environment also covers something similar iirc.
the Irish Potato Famine happened 40 years before the time the article describes, so that doesn't really explain the population movement in the UK and Ireland in 1888.
It's really not muddier with this use of the phrase; some people make a show about being bothered by it so they can demonstrate that they knew the original meaning.

Based on the context, you know exactly which meaning of the phrase is intended here, and it's disengenuous to pretend otherwise. The differences in context between the two meanings make this a non-problem.
Genetic Football
Can also be done with an used B&N Nook. After rooting it, you can use the Android OS underneath to install a weather app.
This is how a lot of short selling works - they find fraud, mismanagement, etc and position themselves to profit from revealing it. That's why this journalist talked to one.
You've shown that money can exist in an economy without taxes. But the OP said that taxes value money. Without taxes, fiat money is just a worthless piece of paper. The milk IOU in your example is more valuable. It's the need to pay taxes that forces people to trade their useful milk IOU's for the otherwise worthless fiat currency. And that trade sets the price.
Also try Logseq, which is kind of a free roam. It’s fairly fast to load once it’s built its index of your notes and once opened and loaded it’s basically instant.
The article addresses the differences you point out.
Survivorship bias is a hell of a drug. And people really look up to the survivors. Thing is most people can’t tell you they will be wealthy before they are :)
I think that in the song lyrics case the police could have easily justified having an officer (or a mental health professional) pop by to ask some questions and make sure the guy wasn't a threat. That entire issue could have been resolved with a simple conversation.

In Waylon's case I can't imagine how the joke (which was: “SHARE SHARE SHARE ! ! ! ! JUST IN: RAPIDES PARISH SHERIFFS OFFICE HAVE ISSUED THE ORDER, IF DEPUTIES COME INTO CONTACT WITH ‘THE INFECTED’ SHOOT ON SIGHT….Lord have mercy on us all. #Covid9teen #weneedyoubradpitt”) could have even justified police knocking on his door at all.
Mitsubishi is an interesting company.

Cars, industrial size generators, erasers and now I see pitch black pencil.

Their Boxy eraser is amazing. Hard to get nowadays though.

Anyone know of a better one?
I might have issues later. For now, in Next Generation Shell peg/leg parser is doing fine (with limited scripting around to avoid repetition).

https://piumarta.com/software/peg/

https://github.com/ngs-lang/ngs/blob/bdfb2fd70162cd7183ac8d4...
I have a linux PC that acts as a NAS/media player attached to the TV in the living room.

I wrote a java-based "shortcut" program that runs on both the NAS and my Windows desktop PC.

This is so when I'm ssh'd to the NAS, I can just run a command to open any folder on the NAS in my Windows PC, and vice versa.

Basically both ends open a network socket listening for commands to execute on either side.

I can also enqueue music stored on the NAS in Foobar2k on my Windows PC, or play videos in VLC.

So in the ssh window to the NAS, I just type, "locate -i *michael*jackson* | onlymusic | sc enqueue", and that will enqueue all Michael Jackson music on the server in Foobar2k on my Windows desktop. On the windows end, if there is more than one file then it creates a temporary m3u (or was it m3u8?) playlist and enqueues that, instead of sending a thousand separate enqueue requests.

"onlymusic" is a simple tool I made to filter to only files ending in flac, mp3, wav, etc. I have "onlyvideos" as well.

It's the exact same program running at both ends, but it detects which PC it's running on by what OS is there, because it has to convert the paths to the files between both PCs.

I also set up right-click shortcuts that go the other way - they will open a new tmux window in the ssh session on the NAS in a particular folder.

It's probably all horribly insecure and took me much longer to create than the time actually saved by using it...

But it serves my purposes, and I learnt a lot by setting it up.
That's quite limiting though. The OP could very well expand functionality to hook up calendars, email notifications, etc. This is just a dumb display.
I really don't like this trend of blaming voters for political parties running non-charismatic candidates who don't have a coherent pitch for why people should vote for them.
Great question! 1888 was way after the famines, so the food supply was relatively steady and there was no outright death and hunger in the UK and Ireland's countryside. So, why?

The only thing I can think of is that with this steady food supply and improvements in agriculture, the population of England, for example, almost doubled in the second half of the 19th century. So even if the city dwellers (whether born poor in the city or transplanted from Ireland) wanted to go back and get a safer (but not necessarily easier) job at a farm, their services may have simply not been required there, since all cultivated land was already taken care of by the existing workforce (again, improvements in agriculture and rural population growth, too). So even if they went on this "job hunting" trip into the countryside, which itself was pretty monumental since they probably had to beg to survive along the way (they didn't have Linkedin or what have you back then to look for jobs), it probably would have resulted in nothing, so they had to settle for a low-qualified city job.
The point I was attempting to make is that the usage is incorrect and misleading in this context. The way the title is worded is indeed the past tense usage.
That's not really accurate. Militaries continue to heavily use active radar despite the risks of detection. Passive radar has some potential use cases, but in many situations there won't be enough ambient RF energy to do target tracking precise enough to employ weapons. This particular applies at sea and in rural areas.

Modern low-probability of intercept radar obviates a lot of those concerns. Technology has advanced way beyond transmitting a steady sine wave on a constant frequency that is easy to detect and track.

Keeping passive radar technology secret from potential adversaries is certainly worth doing. Just don't make the mistake of thinking it's some magical technology. In the real world it has only very limited value.
> driving up his money-highscore as if it's a game

There are ways to game the system … well, one can see how there’s a forgone conclusion to that line of thinking.
Ask HN: How to recover a pro photographer’s hacked Meta accounts
A friend who has been on Facebook and Instagram for very many years had both accounts hacked and can’t recover them. He’s given up. How is it possible we can’t fix this issue in 2022?

This is a pro photographer who adds value to the platforms he participates in. Daily contributions, of high quality, no political or other hysteria, exactly the participant Meta should work hard to keep, ruined because the systems we build failed him.

His story here:
https://www.gerryleroux.com/blog/new-beginning

He’s basically bailing on Meta and now moving to other avenues. I can’t imagine how annoyed he must be after 13 years of building a network. Surely this is fixable? What can we do for cases like this?
I grew up Austin, off the top of my head I remember (512) 485-5555 for Time Warner Cable and (512) 459-2222 for Gatti’s Pizza. I have no use for remembering these phone numbers anymore but I’ll probably never forget them.
Yeah I spent much of my childhood around there it's a different kind of social system but I have not a single worry for them. I think they're more normal and happy than urban types who are a bit untethered, depressed, overly busy, unfulfilled a bit directionless. They have big families and know a lot of people for a long time. Regular people have funerals where 300 people come to the wake. My grandfather had to have three days of open casket there were so many people. He was a man of few words, he just owned a store and so got to know a ton of people.