skysight-inc/HackerNews huggingface dataset:
Books are slow and often teeming with filler content. Audiobooks are even slower than books and practically painfully so. When I had to paint walls for few hours I initially listened to audiobook but it was tortuous. My own thoughts are more interesting and less of a slog than a book read at that pace. Audiobook feels like my brain is shoved into a tarpit and held there foricbly.

It's really no wonder that your brain rejects all that when it tasted variety of information delivered at much higher speeds.

I don't think I wouldn't be able to focus on textbook for mathematical analysis that's so dense that reading two pages takes an hour ... but books filled with so so many words that were just excercise in language use for the author and carry barely any information? Mostly, no thank you. It's not a problem of focus. It's a problem of rising standards on what feels interesting.

Even the author of this essey admits he had no trouble reading a book when he finally found one that was actually interesting for him (because he felt it was about him and his self-percieved plight).
> 1e9 is an unfathomably large delta

It is also nonsense.

But even using the figure from a sibling reply, 1e5: so what? There is no need to put solar panels on every square km of farmland, or even on the 1/10th of it needed to fix the same calories; nor any value in trying or discussing trying.

If civilization does not collapse immediately, or even somewhat later, we will have centuries to build out solar. Future panels will last longer than today's, and be more efficient, and cheaper and lighter. Production, transport, and deployment will be increasingly automated. Today's production rate is not any kind of limit, and panels built today will not anyway evaporate next year. Build-out is cumulative.

Meanwhile, the nutritionally most valuable crops will not be displaced. Only cereal grains fed to animals are legitimate targets.

Furthermore, as I noted originally, panels placed in crop land will not displace crops, but coexist with them.
It’s especially ironic given that Reddit owed much of its early popularity to the Digg exodus after a similarly myopic redesign. Nothing changes.
I've been on Reddit since 2008 myself and was an avid user of forums etc for years before that.

When I started on Reddit there was already an element of things having changed, a move away from niche technology discussion towards lowest common denominator stuff and discussion by meme.

In general this was fine as you could just move to smaller subreddits, and the bigger pages had fun cultures that permeated the others and gave it all a sense of unity and shared interest even when you were in your bubble.

The difficult change I've seen in the past few years is the rising number of hate and harassment subs, and Reddit tolerating them. If you scroll through the top of /r/BanFemaleHateSubs or /r/AgainstDegenerateSubs you'll see how bad things have become and how unsafe the general environment is.

It's not that discussion has become worse in an Eternal September way, it's that discussion has become openly threatening, with innocent women having their pictures and social media links shared for strangers to discuss rape and murder fantasy, and this gets 10s of 1000s of subscribers and Reddit routinely ignores reports about it.
Dependent types are types that depend on values, possibly runtime values. In C# types can only depend on other types when using generics: List<T> depends on T.
In C++ there is std::array<T, n> (array with length encoded in type), where n must be known in compile time.

With full dependent types one can write generic types like std::array and use them with runtime parameters.
In dependently-typed languages there are two main types: Sigma (dependent pair) and Pi (dependent function).
Example of Sigma type in pseudo C#:

(uint n, Array<int, n> a); // array of any size

Pi:

Array<T, (n + 1)> push(Type T, uint n, Array<T, n> a, T x) { ... }
Array<int, 3> x = push(int, 2, [1, 2], 3); // [1, 2, 3]

Generic function f<T> is similar to a dependently typed one with `Type T` argument (requires first class types and many DT-langs have them). Values, on which types may depend, shouldn't be mutable, while C# function arguments are mutable.

A bit larger example:

void Console.WriteLine(string format, params object[] args);

Using dependent types you can transform `format` into a heterogeneous array type containing only arguments specified in the format string.

WriteLine("{%int} {%bool}", ?); // ?'s type is an array with an int value and a boolean value.

A heterogeneous map may be implemented as a map T with keys mapped to types and another map where keys are mapped to the values of a corresponding type in T. Probably this is not a good representation, but it is a valid one.
From Prometheus to Arcadia
According to the video's pinned comment thread, that lock was sent to LockPickingLayer a few months ago, who never responded. I suppose, from my cousin comment, that it's with the other locks LPL can't pick yet.
I've not delved into Rust much, but strings in any language are "hard", because underlying the representation is an array/list/heap/vector/whatever, which means thread safety/garbage collection/cache coherency issues, etc.

Just that some languages make it "easy" until the footgun, whereas it seems like Rust presents the problems right at the start?
What exactly is the use case of such an application firewall?

I mean I get what it is supposed to do, but if I already have a means of blocking certain spam/telemetry URLs that I don't want (via etc/hosts, or PiHole), is there any real benefit of using an application firewall on top?

As others have said, micro-managing all these connections is not really feasible in most cases. And if I have a domain I don't trust, I can just globally block that.

What are some real-world use-case scenarios of a domain that I want to block for one application, but not generally for all applications? It sounds cool in theory to be able to fine-tune all that on an application basis, but is this actually useful/sensible in practice?
The Looker (love-letter to / parody of The Witness)
Thanks! We're working on both -- faster computation at lower cost than what's possible on x86 or GPUs.

If you're interested in access to our beta projects, send us an email at beta@integrated-reasoning.com and we'll set you up :)
Yes, being permabanned on some Internet discussion forum is the single defining characteristic of a human being! Off to the Gulag with him and shame him whenever he speaks up! /s
Actually if I recall correctly, even though official api doesn’t show Karma value of comment, the children comment IDs (kids is the field name) of each comment are actually sorted by karma (or whatever method HN uses to sort on server side)
You can do this in any language that has operator overloading, right?

C# or C++ for example.

Or in fact, you can just define an interface with Get/Set methods. Any language with interfaces supports that and you can swap them out as you please.

Doesn't seem like the language is really the restricting factor for implementing this if you really wanted it.
> Based on the amount and the ferocity of the comments, it is natural to conclude that Julia as a whole must produce incorrect results and therefore cannot be a productive environment. However, the scope of the blog post and the discussions are narrow. In general, I still recommend Julia because it is fundamentally productive and, with care, correct.

If TFA really means "Most of the time if statements take the correct branch, and it's unusual for them to take the incorrect branch, and you should use tests to detect whether the if statements in your program are working" then I would appreciate it if TFA would come out and say that. I am sort of used to programming in environments in which if statements work 100% of the time.
Clever idea honestly. At one point you might even wonder why having roads at all, as everything could be potentially done underground. Then all highways etc could be transformed to bicycle lanes, or even just given back to nature. What an amazing transformation would that be.
Some of the central beaches are sometimes crowded, but many beaches are just empty. Went for a swim today and water was fresh (16 degrees) but refreshing !

Where are you based ?
UK law says that he’s liable for that?

Now he did put a disclaimer on one of his videos. But in many other videos he’s been talking about this kind of mission as if it might be something that the viewer might wanna do herself. “If you’re planning a straight-line mission…” Stuff like that. So he might not have been encouraging it, but he has been talking as if his videos might inspire the viewer to do them themselves.
Double or triple atmospheric pressure would have lowered evaporation to such an extent that it would have had many other geological and botanical effects that are not seen.

Rather surprisingly, I just found that different oxygen fractions do cause different atmospheric pressures, by altering the density of air, but it's a 15% to 25% difference, not 200%. Maybe it's possible to use this to resolve tensions in estimates of how much oxygen there was. See https://www.science.org/doi/10.1126/science.1260670
I disagree with this assessment. I'd love Linux, or any other free OS to eat the world; I think that standards, protocols, operating systems, and other utility-like components should be 100% open, free and unencumbered.

Also, Linux is pretty much a panacea. We have it demonstrated currently. It works perfectly well in server, desktop, laptop and mobile environments. It continues to prove itself as a viable alternative to whatever else these platforms run.

The crux of people's Linux issues is not a technical one. Linux, as a platform, doesn't have the clout the alternatives do have. This means that the tinkering that comes with integrating systems falls on the Linux people, and the end users. Neither of them have the information, which often doesn't leave the manufacturer, and the adequate time and know-how to keep up - so the systems end up working less reliably. Which, of course, works out well in favor of the companies that offer end-to-end integrated systems - Apple, Google, Microsoft.
No language is good compared to those that will come after we are all of us dead. But C++ is the best we have. If any other language were to catch up and pass it, we would have another choice. But C++ is not sitting still.
There’s a few tours of the deep level facilities on YouTube now - fascinating from a Cold War civil defence perspective (things you thought you’d never see, even second hand):

https://www.youtube.com/watch?v=PZDs9pgO8VQ
I’d say you’ve certainly succeeded in your goal to be an inspiration. Nothing makes me want to build something awesome more than watching your videos!
Concepts: https://concepts.app/en/
Not targeted at the OP, but I’ve noticed that (despite being one of the best paid group) tech folk can have _incredibly_ tight purse strings, probably stemming from the “I can make it myself” mentality.

See for example the outrage when LastPass announced they’d start charging a few dollars a month.
How will 'exerting more pressure' help? We may already be past the point where there is a good solution but the best approach so far would be de-escalation, negotiation and cooperation in an attempt to avoid all this.

Every attempt to exert pressure has put the west in a less favourable position. More pressure has built an energy crisis in Europe; rivals in Asia awash with cheap gas and contributed to a global food shortage. This was a series of own-goals.

The US should have taken a few deep breaths over the last few years and dialled back the anti-Russia sentiment rather than burning relations with Russia in an attempt to inconvenience Trump. Unless the plan is to trigger World War III the West's strategies can only be said to be failing. This could have been a 2nd Iraq invasion instead of becoming the mega-crisis that is unfolding.
That is not going to cut it

Because people just get used to this being boilerplate and anyway services such as Plaid “override” that, so why wouldn’t “the bank’s own employees” do it?

No, we need exactly what I said above
[0] is already fixed on master but can't be backported to LTS due to the fix introducing other problems specific to LTS. [2] is closed. [3] should be fixed, but doesn't seem trivial to do. [4] is a regular ol' bug (again, not a language but a library bug). Same goes for [5].

From the linked stuff, only [0] is a true correctness problem of the language and not a bug in a library.

> Some commenters seem exhausted by what they perceive as a continual stream of lies about these topics, which has left them less inclined to post about them.

How is differentiating bugs in the language (parser, compiler, type system, ...) from bugs in libraries implemented in the language "lying about these topics"? It's not like julia is claiming to prevent logic bugs, or am I missing something.
If you use iPhone, then use Apollo. If you use Android, then Sync. The official apps have always been dire.
BMI is a poor tool, especially shit to anyone who builds muscle. Bad tool, the metric measurement is only valid to the 'middle sized sedentary lifestylers'
I have to agree here - there is total disconnect from context in these discussions.

I am writing business line applications - I don't have much need for "generic" functions like outlined in the article. My framework/language provides for example generic .Sum() I could use if I implement specific interface.

But usually I have to make specific sum and put it in database or in the interface.

Like I need to sum age or sum prices or sum amount of items in inventory - and I have to show these in the interface. I think it is quite BS to say there can be "generic" data structure and "generic" functions in context of business line application.

Other stuff I was doing was warehouse automation system and if I had X,Y,Z coordinates I had these in generic data structure named Coordinates - but any function that was going to do anything with coordinates had to be implemented in the context of machine. For example lift should never operate on X cooridinate I could calculate distances - but then there was never use case to calculate distance between machines because these had static access points and one would calculate distances to these access points only.
If that were such a great and practical ressource, they'd be overflowing with cattle or sheep herds like in New Zealand. But it's not. Also the density of grazing isn't that great.
There are still pockets of sanity here and there, if you know where to look, but otherwise it has become a huge propaganda machine. /r/worldnews is now basically a continuation of whatever Washington DC holds as true when it comes to US foreign policy, the same goes for /politics (when it comes to US domestic politics) and most of the subs related to the current war in Ukraine.
That’s the wrong question to ask. The right question is, for every creepy person caught by that, how many are there who are smart enough to make a new account?

The premise of creating via raw moderator power, a safe space for teenagers on an anonymous internet forum that encourages throwaway accounts is ridiculous.
What is the failure model when the power goes? Do you fail safe (unlocked) or fail secure (locked)?
Irrigation lets you grow corn or other crops just about anywhere.

No, it does not.

In this context, 'grow' means 'in a usable fashion'.

Rocky, hilly soil isn't tillable, is impossible to harvest en mass, and results in poor outcomes. It's almost like you've never farmed, and are making statements based upon theory, instead of real world usage cases.

Whatever agenda you have, please stop trying to claim that all soil is good for corn.

Even beyond that, there are places corn cannot grow. Period. Ever. For example, in many parts of Canada, the season is too short for corn to mature!

Hay and other such things grow there, and such land is good for cattle too.
(In case anyone else sees this and thinks this is useful without clicking the link, it isn't: this is one of those stupid "I generated every possible X and so obviously copyright has failed" pranks.)
Do you have any specific examples of the 'light criticism' or joke (including where it was posted) that directly caused the site-wide ban?
Thank you for sharing, amazing read!
Because the right wing were organising insurrections?
At its core, yes, Yuri wanted to highlight the fact that the “power” of the language created more or less “a fractal” of type/function composition cases that made it very difficult to guarantee the correctness of a given call site. This is inherent in the language, but causes potential issues across the ecosystem and he felt that the community did not take it as seriously as he would have hoped. At least that is the takeaway I got from both talking to him and reading what he wrote.

To me, this is a long and complex discussion to be had by those that understand general programming language design and the case for Julia itself and frankly statements like “Some commenters seem exhausted by what they perceive as a continual stream of lies about these topics, which has left them less inclined to post about them.” are bloody cheap, unfalsifiable, and adds little to nothing to the discussion.
I believe the easiest way to think about it is to get away from your programming tools and to start modeling your problem domain as tables in excel.

Once you have a relational schema that the business can look at and understand, then you go implement it with whatever tools and techniques you see fit.

This is what “data-oriented” programming means to me. It’s not some elegant code abstraction. It’s mostly just a process involving people and business.

Even for non serious business, these techniques can wrangle complexity that would otherwise be insurmountable.

I still think the central piece of magic is embracing a relational model. This allows for things like circular dependencies to be modeled exactly as they are in reality.
Well if it can't run doom it might run Bad Apple
Yes, streetview does not convey the actual situation, in person it is steep (though I have seen steeper ones).

That underpass is just after a bridge (over the river) so they couldn't make it less steep by making the ramp longer, but the cyclists (those that know the area) can turn on the right right before the ramp and use the "normal" roads/streets, someone that isn't already familiar with it is taken by surprise.

This view from a bit further renders a little better the situation:

https://www.google.it/maps/@43.7752485,11.2348264,3a,75y,22....
You don't just get permabanned with extreme prejudice. The author is leaving out a huuuuge chunk of the story.
I completely reject he analogy between health inspections of a restaurant and blaming a country for a pandemic using a highly speculative theory. It feels so ridiculous I don't know where to start.
BMI does not taken torso length, or width, into account.

As I mentioned an unusually long torso, and you ran to a metric which ignores torso size, your statement, and follow up comments, makes no sense.
Not sure if they are incompetent as such, however GNOME is far from what I used to advocate for back in the 2000's, and thinking I even wrote an article advocating for Gtkmm back in the day.

It doesn't even support common X Windows stuff like shading windows without extensions, which obiously have to be written in JavaScript.

And the way the transition to Gtk4 has been managed isn't certainly the way to make the platform appealing to the developers used to the graphical tooling for Apple, Google and Microsoft platforms, or even KDE to stay on the Linux world.
Funny that you say that.

I found the comments on that hacker news thread predictably awful, like all even slightly political discussion on hnews.

People trying to one up each other with edgy comments on why the ruling is actually a good thing and how smart they are.

A display of privilege and of a real lack of empathy
"Yuri's criticism was not that Julia has correctness bugs as a language" would be an appropriate thing to say if none of the bugs in the post were "Wrong if-else control flow."

Edit: "certain libraries when composed with common operations had bugs" also does not seem like a completely on-the-level way to describe bugs in the stdlib that do not require any particular composition to encounter.
Only if the only thing you care about are CLI applications, same applies to Go.
Spin: Framework for building and running microservices with WebAssembly
There is "onderdoorgang", which shows similar images as in the OP: https://www.google.com/search?q=onderdoorgang

But I don't think I ever used this word... I'd say tunnel I guess.
R has multiple dispatch right with s4, I don't recall running into huge library compatibility issues with R? Is the only difference between R and Julia maturity where R has ironed out the sorts of bugs Yuri was running into?
There is an entire and big-ish sub (I forgot its name) which basically just bans anything that mentions the word "trans", doesn't matter if it's a positive mention or a negative one, just straight up ban.

It's not that they are pro or against the trans issue (they're an "edgy" sub, that I do remember), it's just that the mods don't want their sub getting nuked by the admins and, as such, staying as far as possible from that trans subject is the best course of action.
Seems to me that you are describing something that should be a relational database, and where object orientation doesn't seem to bring anything of value.
I still don't see how that's a good metric, in any way, for judging health care costs. "Disposable income" takes nothing else into account such as other costs or predatory behaviors in the healthcare system

Its literally just money after taxes, and most people are living paycheck to paycheck
I tried searching for "Hunter Biden" on Reddit after reading about him in the news before the election. Nothing returned. Not a single post about this person, like he didn't exist at all. After the election, results started to appear. I'm not even American, just someone who wanted to look at comments about the news. I don't think "both sides" is an accurate statement of what's happening.
> At its core, yes, Yuri wanted to highlight the fact that the “power” of the language created more or less “a fractal” of type/function composition cases that made it very difficult to guarantee the correctness of a given call site. This is inherent in the language, but causes potential issues across the ecosystem and he felt that the community did not take it as seriously as he would have hoped. At least that is the takeaway I got from both talking to him and reading what he wrote.

For things like "The majority of sampling methods are unsafe and incorrect in the presence of offset axes" I agree that this is just some unfortunate combination of library code and concerns that the library authors had not considered, but the numerous correctness issues in the language and stdlib seem like they would often make it hard to figure out what exactly the problem is.

> bloody cheap, unfalsifiable, and adds little to nothing to the discussion.

Sorry about that. I'm not sure how to highlight the recurring nature of these less-than-factual posts and their effect on some members of the community while respecting the wishes of those people.