skysight-inc/HackerNews huggingface dataset:
Very interesting work. It's worth noting that "synthetic" mathematics, in a way, is essentially the math that's easiest to encode and reason about in a proof assistant. So there's a lot of consilience between this and any project aiming at "well-motivated" formal proofs. Understanding what makes proofs "well-motivated" in a subfield of mathematics really does seem to require building its rules of reasoning "synthetically", as if from scratch.
Whichever nation you live in likely has similar crap.

In China for example there's no property taxes and you can't send your kids to public schools unless you own property.
The Snowman is a tradition here in Finland as well but it airs in the midday just before the announcement of Christmas Peace[1] (which is aired live every year from Turku and watching that as well is a tradition for some).

Quite many Finnish (metal) bands have been covering Snowman song as well but they don't sound as good as the original, though. One example is the cover by Nightwish [2].

[1] https://en.wikipedia.org/wiki/Christmas_Peace

[2] https://www.youtube.com/watch?v=2Nr-kdo6Lx0
> Elixir/Phoenix Community is small and non toxic on forums

Golang taught me to appreciate this when choosing a language. The tone of the community made me look elsewhere.

The Elixir community is indeed very friendly and helpful!
I really wish intelli-j provides a first-class editor. I could never get VSCode + ElixirLS to work smoothly. It's just broken. I have switched to NeoVim + plugins. It feels better mostly because of Vim's eco-system. But I am missing a lot of productivity due to lack of a good IDE.
Yep, they believe in this horseshit a and then are shocked and appalled when women (and other men) want nothing to do with them.

Basically selecting themselves out of the gene pool by being fucking idiots.
We've lived communally for a long time and across many different cultures and ethnicities. You just have to look at the past to know how that would look.

Any barrier you might see right now is the consequence of the cultural switch to individualism, and that again is a direct consequence of the transition to market based economies.
Corrado Segre
I am in Europe and publish my books with Lulu Press. Works smoothly and royalties are fair. Not affiliated, just a happy customer.

Some of my books are also available as ebooks, but I specifically avoid Amazon, because I dislike their DRM and their "cheap book" policy. $10 for a textbook? Come on.
I'll contribute another anecdotal data point; I've never known anyone even to consider that point of view. It's more that Donald Duck comic books just didn't catch on here the way they did in other countries. But people do recognize Huey, Dewey, and Louie.
Ah capital gains exemptions. I knew I was forgetting something!
Ah great! So to summarize:

- we destroy a linear value either by destructuring it ourselves, or by calling a cleanup function that transitively destructures it

- we can make a type opaque to importers of our module, which precludes direct destructuring by the user

- the compiler forces the user to eventually destroy the linear value

- therefore the user must call our cleanup function

And it's our responsibility to ensure the function implements the correct cleanup logic.
This is the strongest argument against CA HSR.

The people who actually have success building and operating HSR have quit the project.
I Implemented Induced Set Attention Block
None of these things stop anyone (including men) from dying alone.

Stigmatization itself is the root of the problem here: lonely people, and particular men, do not want to admit that they are lonely.
One suspects that Musk has misunderstood what the phrase ‘like crazy’ means.
Is 4% an average rate of return for landlords? 4% of what: the capital you used to buy the house?

So if I buy a house for $100,000, I get $4000 in rent per year? Or I get $4000 in my pocket after I use the rent money to pay the mortgage and property tax?
I don't understand what the fuss is all about. Neoliberalism baby, the market will solve it.
You know what would help encourage that? Widespread affordable home ownership and debt relief. Yet that is a problem from west to east.
My prediction for the web is that this will be the year of HTMX.

My prediction for the war is that Russia will have full mobilisation.

2023 will not be the year for disclosure.

2023 will not be the year for the adoption of an international language.
That is what I do ...I stop reading at 37% of the comments :-)
Pretty interesting argument that without some way to punish landhoarding, the relaxing of zoning laws isn't enough to make housing affordable. Also, a land value tax seems like a great way to directly counter NIMBY accusations that upzoning is just a way for landlords to profit more.
Since I have taken Econ 101 and taught it, it’s worth pointing out that literally no one thinks this is how housing markets work.

You can draw a set of supply and demand curves which keep prices the same under a supply increase, but not bc “large corporate interests keep prices pinned.” More important is that that special case is not relevant to housing markets.

There is also relevant empirical work on this issue. Increase supply and prices will fall. I’d bet you a billion dollars on that outcome.
If you think people don't care if you live or die, try missing a few car payments -- Woody Allen.
> I welcome these mega landlords with open arms

Because corporations with the cashflow of nation-states have routinely given better customer service in your experience?

Or does it sound simpler having only 3 choices to rent from in your city instead of 30? Because it does sound like a hell of a time-saver making it onto 30% of your city's "Do not rent to" list when you can do it by taking a single company to small-claims court over an issue they don't want to fix, when you have tenent protections laws on your side forcing them to.

They can "greatly improve the experience" when everything goes smoothly, but it's difficult to argue with a tag-team comprised of a computer database, and a different customer service agent for every call you make.
1) I want to be organized, I have learned this hard way many times but still fail to be organized.
2) Think big not small. For example solving any problem where I should think how does my solution impact overall system
3) learn about my strengths and weaknesses. I know I am not gifted coder but I should be using my strengths to overcome this weakness
4) write daily journal. This is to see if I can stick to an habit or routine for long time
5) record lot more podcast episodes
This routine only works with ASCII, yea?
It's hard to tell whether a crypto advocate believes what they're saying.

Obviously, crypto is pretty much wall-to-wall criminality, but sometimes someone looking to ride the coattails of that might actually be sincere in speaking of it like it's a legitimate institution, because they want it to be.

IMHO, HN should stop humoring it, and consider outright banning advocating a criminal enterprise.
They are not. It is 17:25 in Warsaw now, 16:25 in Dublin.
I used to boot tails for this very purpose (and to access Tor on top without anything else giving away my privacy)
The ransomware group BianLian seems to be making the most of the festive season by listing victim after victim on its leak site. On December 29, it posted Indian engineering services and consultancy Mitcon.
I’m pretty sure there is one reliable way to predict one’s death, and I figure that’s the insinuation here. You’d need to be sure that someone would come looking for you before the power runs out otherwise it just a delay. My plan is to take increasingly death defying risks until my number comes up, that or paddle out into the ocean with a boat full of home made explosives.
I'm a relatively inexperienced developer compared to a lot of people on HN, so I suppose take my perspective with a grain of salt. For context, I started with JS, spent some time with C because I wanted the history/perspective (didn't have a practical need for it, though), then got into bash for purely practical reasons. I also have a bit of experience with C#, primarily with Unity, and C++, because ultimately I'm looking to build audio plugins and applications, but at this point I've done little more than take a tour of those two languages. A year ago I began writing Python because I inherited a lot of code from a former coworker. At this point I'd consider it my main language.

I've heard people echo the "Python is the second-best language for anything" sentiment a lot. A bit broad and a touch pithy, but over all I'm inclined to agree. It's a language clearly (and explicitly, as said by Guido) designed to be readable, and I think that more than anything else is why I have a case of the warm fuzzies for it. Compare even a small thing, like f strings in Python vs string interpolation in JS -- f strings are simply less noisy and therefore easier to read. Decorators, when used well, make it a fantastic language with which to write libraries that a user can grok quickly. Etc.

If I could design my perfect language, it would be Python, just with clear variable declarations via a keyword such as `var`, optional true static typing and consts, and better tooling -- though, I have to say, after diving in and really learning the ins and outs of venv, poetry, all that stuff, the "Python's tooling is a disaster" meme is IMO a touch overblown; I felt that way as well at one point and in hindsight it was due to me feeling overwhelmed, as opposed to any objective evaluation of the tooling; that said, there is definitely room for improvement.

I myself am incredibly interested in properly learning C++, Rust, Go, and improving my JS skills, but overall it never quite feels like the juice is worth the squeeze, because Python really does just feel like "the second best language for anything." And since my interests are pretty wide -- everything from web dev to scripting to desktop apps to audio (well, Python is perhaps the worst language there), most of the time it just seems more practical to figure out a way to do the thing I want to do in Python, especially because there's usually a library for it already. That said, I'm a solo developer at a non-tech-related-industry job, so I'm not rubbing up against many of the same frictions I see discussed so often here on HN.

As I said, though, I'm still pretty green and am aware that I know just enough to be dangerous, so I'm very open to hear why anyone disagrees with this viewpoint.
The moat isn't the hardware; the moat is the user experience and relationship.

If you want to set up your own ebook store it's actually fairly straightforward, at least technically. You just need a normal e-commerce website that sells access to PDF or EPUB files.

The problem is that most people who buy ebooks do not want their collection split across multiple platforms. This is because each platform has their own DRM and app you have to read books in. If you get a new phone and need to redownload your collection, would you rather open up 200 websites to download each author's EPUBs or one app that keeps track of everything you bought?

Yes, I know you can work around this with cloud storage. But that's extra steps; and extra steps add friction and keep people from buying.

Furthermore, this all assumes you're willing to sell your book DRM-free. If you want DRM, or your publisher demands DRM, then you need to ship a mobile app instead of a website with downloads. And that poses a new problem: Apple and Google are not going to distribute your app unless you pay them the same royalties that you'd pay as an indie author on Apple Books or Google Play Books[0]. That's their moat. So if you're trying to create an indie publishing platform, you have to either charge two royalties and screw your authors, or make users jump through hoops to buy books on a website so it appears in an app.

DRM is in fact so much of a trap for authors and publishers that some platforms just outright refuse to distribute DRM-free books; Audible is the worst offender in this regard. Locked-down platforms also trap authors; in fact, the justification that Apple uses[1] for locking down the iPhone is that users can't pirate apps if they aren't savvy enough to get developer creds. Oh, and your special locked reader app is never going to work on Kindle e-readers, because they don't support apps period.

[0] I have no clue if Google even has a bookstore, I'm just assuming this is what it would be called.

[1] To developers, not to the general public, of course
Oh I definitely do not trust technology enough for that. Blue screen of death comes to mind. :)

Sometimes I wonder if the whole generation that experienced how bad Windows could be has a healthy dose of skepticism for technology. Younger people that have had phones that are much more reliable (and locked down) seem to be the ones I can imagine sleeping in a Tesla with the FSD on.
https://www.validbot.com

A website I made to test other websites for valid configurations. Sort of like chrome lighthouse on steroids with the ability to automatically monitor and alert if some configuration changes.
Or a volunteer. The issue with communities based on a religion is that they often tend to be exclusionary towards those who might live in the same area but not share the same beliefs. There are better ways and those don't require religion.
> The area I need to work on the most is phone use before bed.

For me, I started falling asleep quickly once I chose a home for my phone (downstairs on my kitchen counter). I also discovered I started getting out of bed more quickly too!

> I sometimes wish I could ditch my phone entirely. However, it’s important for me to have communication paths to message friends, so I need my phone for iMessage.

You might not be able to ditch your phone entirely, but you can get closer!

You can get a cellular Apple Watch and leave your phone at home. It sucks to use iMessage on it, but that's kind of the point. It can connect to AirPods for Siri and phonecalls and directions, and that tends to be enough.

---

[1] https://taylor.town/phone-home

[2] https://taylor.town/extinguish-all-notifications

[3] https://taylor.town/leave-your-phone-at-home
except at the bar I'm only pretending to hate the drunk with different opinions from me.
Have you ever tried to make a squirrel sandwich? They don't particularly like being grabbed off a tree and squeezed between bread. The mayo gets all over their fur and they often bite. Much safer to run them over first and pre spread them.
Or learn to ride motorcycles?
Oh, this will, I assume, inspire high production value multi-season docudramas that will make the WeWork one look like a student project.

Quite looking forward to them, to be honest.
> What we have is generally good enough

Well, that can be said about any programming language (assembler, C,...) but yet there is innovation in this area still. And that's good. But in the database space, there is little innovation. And no, I don't think what we have (SQL, GraphQL) is good enough.

> SQL is not a programming language

Yes and no. SQL is an API that allows changing the state. But (same as programming languages such as C) it has advantages and disadvantages.

> if you take the time to learn it

Again, that can be said about assembler as well :-) Or Excel. You can do a lot in Excel.

> SQL is as low level as you're going to get in regards to that.

Absolutely no: SQL is a high-level language. And I argue you don't need a declarative set-manipulation language at all, to store and retrieve data. Computers are not set-manipulation machines: they are instruction-based machines. And the popular programming languages reflect that: the most popular languages (Python, C, C++, Java, C#, Visual Basic, Javascript) are _all_ imperative languages, which is close to how computers operate. And that's relatively easy for people (developers) to understand. Functional languages are not that popular. So, SQL is an exception here.

> SQL has to be long and detailed

I argue the reason is that SQL is not a very good abstraction, if you need extremely large statements that are hard to understand and almost impossible to maintain. Same for Excel.

> I will concede that I've seen some monstrous SQL in the wild... mostly written by people who don't really know SQL

Yes. I argue that SQL _favors_ (or at least allows for) writing complicated, messy code that lacks encapsulation. In a larger company, you will have some percentage of people that are not all that great, and you don't want to pick a language that will easily result in a complete mess. Languages such as Java favor modular, well encapsulated code: it is hard to make a complete mess in Java.

> Permissions can be tweaked

Permissions are not an encapsulation mechanism, in the way "private" fields in Java / C++ are protecting other programs for accessing internal.

>> SQL statements often don't use indexes
> This is a trivial problem

Well, for the experts, yes. But not for the novice programmer. And you will have some percentage of novice programmers. In a larger shop, you typically (still) need a "database administrator" or a group of (experienced) people that ensure indexes are made correctly.

> various libraries do have their own optimizations

Libraries typically don't have optimizers. Compilers have, yes, but those are not picking indexes or such that can result in one million times slower or faster runtime. The compilers typically can speed up things by a factor of 10, at most (constant factor). Query optimizers are very different. (Again, I wrote 3 relational databases, and 4 query optimizers.)
I believe the film "The Candiate" (Robert Redford) is set in CA. You could remake that film today and mo one would know it was remake.
I have some empty apartments in Kharkiv, Ukraine if you want to get in one. I'll let you stay for free until you get a few months revenue-positive. There's lots of opportunity due to the ongoing conflict. All sorts of moneyed interests are entering the region.
> Blech! Having to explicitly borrow temporary values is super gross.

I don’t think you ever have to write code like this. Implement your math traits in terms for both value and reference types like the standard library does.

Go down to Trait Implementations for scalar types, for instance i32 [1]

impl Add<&i32> for &i32

impl Add<&i32> for i32

impl Add<i32> for &i32

impl Add<i32> for i32

Once you do that your ergonomics should be exactly the same as with built in scalar types.

[1] https://doc.rust-lang.org/std/primitive.i32.html
The Russians can't negotiate with the Ukrainians, so their only alternative is total domination by violence. I think the west miscalculated how much the Russians had modernized and their war production capacity. The fight is much more difficult than they expected.

The average Ukrainian is probably at the point where they feel Russian domination would be better than more years of war given the extreme measures men are taking to make it out of the country and avoid the draft. The average Ukrainian can't say anything about it though because the SBU will kill them.
You are comparing two completely different compilers; I wouldn't worry all that much about the difference between rust and C++. If you do want to compare them directly, why not use LLVM for C++ as well? That will highlight any language-specific differences.
Elaborate please. What made the book stand out to you?
There’s actually a community of elevator enthusiasts - here’s another wiki with some more stuff if you’re curious: https://elevation.fandom.com/wiki/Elevator_Wiki

You can get more stuff on YouTube as well if you search about elevators.
That's even worse for the environment.
I think this might actually be good. Always wondered what happened to her guests. Did she do them in her self? Did they trip on the lion while drunk? So many unanswered questions!
Why do your anonymous functions have to live far from where they're used? What's the non-aesthetic difference between this:

def func(g_func, a, b):
g_func(a, b)

def scope():
c = "c"
def anon(a, b):
print(a, b, c)
print(id(anon))
return func(anon, "a", "b")

and this:

def func(g_func, a, b):
g_func(a, b)

def scope():
# NOTE: The `|a, b|: (...)` syntax is made up
c = "c"
return func(
|a, b|: (
print(a, b, c)
),
"a", "b"
)

?

Note that the `anon` function in `scope` is only compiled once. You can verify this by copying the first version to a file named `temp.py` and then running `python -m dis temp.py`. You can also run `scope()` twice in a row and see that the same object ID is printed both times.

That said, for purely aesthetic reasons, I would like it if Python had some kind of syntax like version 2, but that's tricky with significant whitespace, and I've never found the lack of such syntax to be particularly limiting in Python.
The problem in US infrastructure is that money is spent for its show value as opposed to effectiveness.

If we were spending money effectively, it would be many years before any rail infrastructure funds would go to any network outside the NorthEast corridor. Almost every project there will provide tons more value than anything in the rest of the US.

And once the corridor is fully operational in an effective manner (there is no reason, for example, that flights between Boston and NYC, and DC and NYC, should even exist…Amtrak should be able to wipe them out by running 15 minute trains and eliminating some of the unnecessary slowness you’ve described), it can provide a working model to the rest of the nation, which is the point at which we can start spending rail infrastructure funds elsewhere.
Yes, that's correct

>we destroy a linear value either by destructuring it ourselves, or by calling a cleanup function that transitively destructures it

I think I'll borrow this for the tutorial because it's very succinctly put.
Right, but thankfully most people aren't interested in raw land area and more interested in livable space. If you bulldozed a few dozen houses and built an apartment building on top, you still increased the amount of people that could be housed there.
Inappropriate place for a "shameless plug". Try starting a new thread?
The ol’ Matt Yglesias midwit pundit.
Can someone ELI5 please what that first link is talking about?
That... that is why you fail.
Off topic: audit tool for OpenSSH config files.

Posted here because SSH algorithms are a moving target.

https://github.com/jtesta/ssh-audit/tree/e50ac5c84d46e902e02...
The strength of the religious congregations is that they have a built-in forcing function that drives a regular attendance and brings families and individuals together. You must go to avoid hell, drives more attendance than going to avoid possible, future loneliness.

I am an ardent atheist, but this aspect of religion makes me wish I too was delusional.
Killed by SSL?
Descriptive Geometry
Yeah this is the landbanking problem. The solution is something like a land value tax which penalizes this kind of speculation and development-throttling. In fact there was a great article about that I just posted: https://progressandpoverty.substack.com/p/land-and-the-liber...
A very simple way to improve work life balance
I didn't say that it doesn't work. It has been a major part of the anti-abortion and pro-gun movements as well and it has been very effective there.

However your quality of life in society is much more important than any single issue. Knowingly voting for a candidate who is not competent just because you agree with them on a single issue will not solve any of the larger issues in society.
It's pretty good advice on a micro-level, though. When you see a situation brewing where one side is going to get screwed and another side is going to get-off handsomely, take the winning side of the trade if it's at all open to you. Do this enough times and you end up one of those rich capitalists, because each trade that ends up in your favor opens up more opportunities for future trades.