skysight-inc/HackerNews huggingface dataset:
Formalising natural language is tricky, but I believe "every PL that leads to more correct programs is typed" is either equivalent or stronger than "if you want a PL that leads to more correct programs it should be typed." It could be stronger if the latter phrasing takes measure into account (so a bit of fuzzy logic), meaning the possibility that other approaches also lead to more correct programs but not as well. Still, I contend that my formalisation is correct enough to demonstrate the logical error that even if types imply correctness (not substantiated by evidence), it does not follow that correctness implies types (even less supported by evidence).
The price of steak will go up until demand equals supply.

(And there will be plenty of incentives to come up with cheaper steaks or steak alternatives.)
What I took form your reply is that you don't understand the difference between how the US and EU differ economically, culturally and politically and what impact that has on the EU vs US tech sectors, nor are you willing to listen to arguments, yet you insist there's no difference between the US and the EU.

Therefore to end the argument here and save my sanity, I'll stop replying to you. Have a good day sir.
This is a WASM runtime/interpreter written in Go - not a Go compiler/runtime for WASM.
The same subsets are available in C++ as well, with stronger type checking and RAII for closing those handles.

Yeah, safety and IoT unfortunately aren't something that go together.

Using C++ doesn't require OOP all over the place, nor crazy template metaprogramming.

The same reason you give for using macros.
There's a YouTuber (Pirate King) who has a somewhat similar setup [1].

[1] https://youtu.be/jld6BSQfDnk
Yeah, tbh 'friends' are people for whom, when good stuff happens to them I feel happy about that.
Any comment on why?
> why shouldn’t content creators have a right to protect their content?

This is the wrong framing. The creators have a right to do with their creation as they please. What you want is for them to have control over everyone else's rights to do things with that information. Now you are talking about restricting other people and the question should be why the creators should be able to do that.

With physical property the this is a lot clearer - only one person can posess a physical item so in order for one person to be able to own something you need to restrict other people. With information this is not the case - you can effortlessly copy information without the original owner having any less of it. The idea why we have copyright is instead that we need to incentivize the creation of content by making it easier for creators to profit off it. Now this is already questionable to begin with (people have always felt the urge to create long before any copyright laws), even if you agree with the premise you still need to justify all copyright laws with how they help achieve that goal.

> Frankly, it seems to me like if a studio wants to show their movie for $1000 dollars, only available on their windows phone app, geogated to just south east Arkansas, they should have every right to do that.

Why? What does society gain from granting them that right that would possibly justify restricting everyone else's right to free speech in order to accomplish this?
I compared them to show they're not in the same ballpark. But whatever, you pick what you want to hear.
Yes opt out is completly
missing with electronic cars. I hope some day it will be mandatory. All those „features“ are useless to me and only freaking me out.
I'm not theorizing, I'm relaying experience from visiting relatives in San Francisco and NJ, and from staying with friends or for work in DC, Chicago, and Austin at various points. There is of course variety in all those places, but grocery shopping was always a lot less frequent and longer distance that what I was used to (with the exception of a friend who lived alone in DC about 10min walking from a Target).
This is true. I met a prince once, named Mikhail von und Zu Lichtenstein Oyarzún. Weird fucking guy, but that's how princes are, I didn't judge.

But then lo and behold he traveled to Spain, a country which recognizes nobility, and tried arrogancing his way into a party (like "what do you mean I'm not on the list!?"). The press asked who the fuck is he, asked his parents, his parents weren't his parents, his parents had no idea who the fuck he was. Said as much publicly. "I have no fucking idea who this asshole is" said his father.

And then he was on TV in 2017 or 2018 as the world-class bullshitter of all time, but with much contempt. He had hours of talk-shows just for him, his law school professor going in front of the camera saying what he did was illegal because he pretended to have authority. He was a scammer, in particular he posed as a human-rights lawyer targeting victims of torture to get their secrets and extort them. Tried to do it to me, but you can't con an honest John.

So what happened, going back to your point? He brainwashed himself, told himself he was a prince 10 million times. But lied to himself literally 10 million times.
Next Steps for Luna/UST Holders: A Detailed Analysis
US links Thanos and Jigsaw ransomware to 55-year-old doctor
I'm a big fan of Numba in Python, where you can add JIT compilation only to the methods you want.
I had to look up the violinist thing, I'll summarize: it's a thought experiment where you wake up and somebody has sewn your body up to a violinist who has a disease and who needs your blood in order to survive. Will you allow this trespass on your bodily autonomy to help the violinist live, or will you demand the doctors separate you, (most likely resulting in the death of the violinist)?

The argument seems to be made in defense of allowing abortion because, ostensibly, who wouldn't want to say "get this violinist off of me" in that situation, and of course if one were raped and found out pregnant wouldn't you definitely want to be able to get that violinist out of your uterus.

But, it's not the same thing at all, because if you were to separate yourself from the violinist, they would die from their disease / from not being given very extraordinary aid, but if you were to separate yourself from the fetus, it would die from not being given very ordinary means of sustenance.

... and then something about saying that tialaramex is a functionalist (? I can't say whether I agree here). I am also repulsed by any thought that some calculus would allow us to say that N kittens are "worth" M human babies (for whatever M,N).

> being pro-life to avoid 'murder' should push people to go full vegan

Murder is a particular word we only use when a person kills another person. We wouldn't use it for killing animals, ... or for an animal killing a hum-- wait, here:

|--------------------+--------+--------|
| perp | victim | result |
|--------------------+--------+--------|
| human | human | murder |
|--------------------+--------+--------|
| human | horse | kill |
| lion | human | kill |
| cat | bird | kill |
| dog | dog | kill |
| bacteria | ape | kill |
|--------------------+--------+--------|
| thinking rocks [0] | human | kill |
|--------------------+--------+--------|

[0] https://memory-alpha.fandom.com/wiki/Home_Soil_(episode)

Killing animals for food is perfectly fine, but killing them for sport is very much not.

> full vegan (or eating only insects and seafood)

Because they have lower consciousness or something?
6 months later you see the same piece of code and asks who was the dumb one who wrote it :P
> some non-zero number of people were discriminated against on the basis of their gender, by the government, in order to fill a mandatory quota.

Your assumption is that board seats are being allocated to their rightful owners today, and this law would be a corruption of that. That’s a pretty big assumption. What rooms are you in where the ten most qualified people are _ever_ all male? Even in tech that’s not that common.
Let's talk about the sad state of MacOS and Windows desktop diversity!
Bitcoin doesn't need banks, because it can be practically self-custodied, and therefore the economy runs mostly on full reserve. Fractional banking is still possible, but the risks are contained within private banks and their private IOUs.

You don't need more money, because Bitcoin is infinitely divisible. It just means that the value of Bitcoin increases, when demand grows or productivity increases.
Most Japanese kitchens have a combined microwave and oven; the oven is consequently small compared to one in the US but works well enough. Woks are used for Chinese cooking and so aren't standard in a Japanese kitchen.

The fridges are small by comparison but, especially in cities, most people shop several times a week and so space isn't a problem.
Honestly this is one of the handful of plugins I hate trying to live without.

Tag wrangler is the other.
Setting up the proximity unlock is a manual step and decision you make. You can just not do this and use the keycard + pin if you're wanting more security.
> Which historical communist country would you like to live in?

None of the historically available communist countries would be my choice of living. In the same way, I would not be eager to live in any of the historical early pure capitalist countries, unless I am sure I would belong to the top 1-5% percent.

Good capitalism implementation borrowed quite a bit from communism/socialism, to make those systems bearable for an average citizen.

Given that capitalism exists at least a hundred-year longer, I suppose there's still possibility for a nice implementation of communism to come. It took capitalism at least 150 years to get to the somewhat liveable level.

I'd still rather live in a Star Trek like communist utopia/dystopia than in an Elysium like capitalist utopia/dystopia.
Well not necessarily just 'pure'. You also want unsurprising. For example imagine a pure function that takes a string and returns a string. The returned string has every character lower cased. Okay name it to_lower and move it out.

But now imagine that it returns the complete text of Shakespeare if the input it 'bob' (why? customer requirement. their business literally falls apart if this doesn't happen). In this case you probably shouldn't pull it out into it's own thing because it's so specific (and weird) that you'll want it nearby it's use case (and not available for developers to accidentally use for the non Shakespeare uses).

* yeah this is convoluted. There are better ways to factor such a function. However the point is that something can be 'pure' but still not a good candidate to be pulled out of context.
I like the combination between dataclasses and structural pattern matching:

@dataclass
class Point:
x: int
y: int

def where_is(point):
match point:
case Point(x=0, y=0):
print("Origin")
case Point(x=0, y=y):
print(f"Y={y}")
case Point(x=x, y=0):
print(f"X={x}")
case Point():
print("Somewhere else")
case _:
print("Not a point")
> "Surprisingly, Bing had repeatedly informed his employer and supervisors about security gaps in the financial system, even sending emails to other administrators to raise his concerns.

> However, he was largely ignored, as the leaders of his department never approved the security project he proposed to run."

Seems an overkill way to get the concern addressed. I imagine backing up the records for one or all of the managers ignoring him and then deleting the live copy would have gotten the attention he wanted with less of the consequences.
Perhaps there wasn't a way to do that without logging into his own account.
Author here. Yes exactly! Intellectually that is 100% correct. In practice, as many others in the discussion have remarked, sustaining a meditation practice past the initial barriers is hard (as is learning programming, btw). Everyone brings their own baggage. Mine was that I thought I should be able to do it all on my own. :shrugs: Not surprisingly, I had the same experience with computer science before finding a teacher + community.

Thanks for your comment, not a fan of the snark but the content is great.
There is a definition of "unreadable" missing from the bullet point list at the top. This is code that is known to be correctly functioning, but the implementation of that functionality is objectively obscure (this is not equivilant to the second bullet point). In my experience you see it most in code that is old and has had many programmers work on it. For example, your reading a function trying to figure out how it could ever return a correct value - and yet good tests show it does every time. You realize 100 lines can be replaced by a hash lookup such-n-such, so you make the change expecting the tests to fail because you didn't understand something, but nope, you were right - simple lookup was all it needed. How does code like this come to be? It grows organically. The latest minor tweak is a tiny blip in the long twisted history of the functions existence.

This might seem like a minor addition to the list, but I think it's an important one. And it has a deeper philosophical implication: if you end up with a "Rube Goldberg machine" chunk of code it is not simply stylistic preference, even if the code functions correctly. In other words: you should not make the claim that just because it functions correctly that it is "correctly written". You certainly can make that claim (and I have seen many do, and I have done so myself).

There is code that is complex because it needs to be. There is code that is complex even though it doesn't need to be. If you don't actively prune the second type, it will grow all by itself and take over your garden.
> there are a number of "flagship" applications that are really pushing the boundary of what Julia can do, but at the same time also need a disproportionate amount of attention.

Disproportionate effort is an obvious sign that hacks to keep such flagships seaworthy are prioritized over a good language and a good library.

> Basically, Julia tries very hard to make composability work, even if the authors of the packages that you're composing don't know anything about each other.

Typically, programming languages and libraries don't need to "try very hard" because they are designed to be safe and correct, at the cost of curbing ambitious features.

> not all implicit assumptions are easily capturable in interfaces. Perhaps there needs to be more explicit documentation around what combinations of packages are "supported".

Supporting useful "combinations of packages" isn't a desirable approach to language and library evolution. Implicit assumptions must disappear, either by becoming explicit or by becoming unnecessary; both ways represent genuine progress, not fruitless firefighting.
Sounds like a mundane way of saying "let's create more templates so we can direct customer requests to callcenter agents who don't know anything about the enquiries they're dealing with (and probably even try to replace those humans with chat bots / online forms)". Perhaps being a bit cynical here, but I'm not really optimistic about the UX that's going to create for regular customers.
Hierarchical notetakers/outliners are becoming a new data structure for end users, specialized in knowledge management. A kind of generalized, expandable spreadsheet.

I expect these tools to include more and more tools for automation based on a reactive programming style (more suited to non-programmers), expanding its function as a warehouse of ideas into a more active role for user-created applications. The NOCODE camp is growing from its VB6-like visual-style roots into environments that look more like an IDE in the style of the browser's "Inspect" window.

The key development that I miss is that of reifying query results, allowing the user to use the data generated by a search as an object in itself. I even have a name for that reified object - a wit would be a collection of data compiled with a common criteria (representing a minimum unit of meaning, is a wordplay on bit being the minimum unit of knowledge), similar to a spreadsheet range. When tools like Obsidian or Logseq start allowing the user to use query results as first-class data, I predict that we will see a revolution in end-user process automation.
I can confirm that cats knows the time. My cats come everyday 3:30 pm sharp signaling that is food time. They are outdoor cats and often go wandering but by 3:30 they are back home.
Bing found two URLs... Both to this page. Google found one -- also here -- and two ads.

This:

generate fullerene "arc weld"

Worked a bit better in both. N.B: Quote marks only around the "arc weld" bit.
Volkswagen e-up!

No touch screen, only key ignition, no OTA. Spartan electric city car.
I'm kind of doing "one meal per day" right now, not because I'm fasting on purpose but just because I don't enjoy eating (or cooking) more than once in a day. I mean I like to cook but doing it for over an hour every day just becomes a chore.

I was under the impression that this was really unhealthy though. My BMI is 19 so I'm close to being underweight. Isn't this unhealthy? Do people fast and not lose weight?
Gallup asked crimeans were asked if they believed it was a sham and 90% said no.

85% agreed with the result.

Russia didnt run that poll. We did. No troops were standing behind the answerers. It agreed entirely with the result of the referendum.

If we hypothesize coercion or fraud in crimea the poll would have disagreed with the results. It didnt.

Coming up with ever thinner pretexts for rejecting the result of this referendum is simply a rejection of democracy - that thing we are supposed to be fighting for.
> In a secure Rust development, the code must not leak memory or resource in particular via Box::leak.

Uh, so is Box::leak forbidden in general? Because creating a &'static in some initialization code that lives for the rest of the program is a rather common use case… https://docs.rs/log/0.4.17/src/log/lib.rs.html#1408

Or is it only forbidden if it's actually a leak?
You don't find something like East Hastings in Toronto, but sheer numbers are comparable. Toronto just has a more even geographic distribution of people living rough. Toronto also pioneered mixed-income housing and recently tore down its 1960s-era "urban renewal" projects so it has a longer history of addressing homelessness, but it's still a major and mostly invisible problem (people living rough is generally not a homelessness problem but a mental health problem).

My spouse is a case worker in the housing department of an Ontario municipality so I get all kinds of inside information on the subject.
https://www.ncbi.nlm.nih.gov/pmc/articles/PMC2495396/

"A 27-year-old male patient fasted under supervision for 382 days and has subsequently maintained his normal weight."

By comparison 7 days is trivial. More to the point, a 7 day fast with medical supervision should be safe, if it is not, the supervisor will advise against it.
We need both. We need places where people can speak as themselves online and places people can speak and communicate anonymously. We need both because online is taking the place of face to face conversations more and more than it ever has. There needs to be a way to know that the equivalent of a random person you meet in the bar is actually a human.
By itself, "nix develop" is somewhat less nice than "nix-shell" was.. except, I kinda think the intended UX is to use direnv. direnv + nix devshells is super neat.

The DX of being able to just have the development dependencies of a project available (but without being stuck inside a container/VM) is neat.

Since the devshells are provided in nix flakes, they're also much easier to refer to compared to shell.nix files.

As a fish shell user, I also like that `nix shell` respects `$SHELL`. It's a nicer UX than "nix-shell -p <whatever> --command 'fish'".

The only thing I miss from nix-shell was the `#!nix-shell`, which would let nix-shell 'interpret' a file.. so you could describe what packages a script file needed to run in the script file itself.
I have some doubts that any significant amount of cryptomining is actually done in Siberia. Part of that would include a few questions of the definition of “Siberia”, a deep examination (i. e. a suggestion to google) people’s ideas of the weather condition at that hypothetical place, and maybe a comparison of efficiency of heating a typical rural Russian home with coal vs. burning coal to generate electricity to run GPUs, after transmission over sowjet-era grids.

Considering how cryptocurrencies seem to attract the get-rich-quick crowd, it’s impressive to see the levels of motivated reasoning they are capable of, since neither motivation nor reasoning alone seem to be among their usual strengths.
This type of argument needs to die. He has never done anything "to make a quick buck" so the use of "another" here implies facts that are utterly false. Musk has no history of "pumping and dumping" what so ever.
> It seems that globally, the success in these countries is bought from weakening the currencies in poorer countries.

Perhaps, but the period since 1914 saw the rise of many peripherical countries, notably China, who also have a tight control over their monetary policy, and use it all the time for their economic plans. For your counterfactual to make sense, you would have to present an example of a country that developed using the gold standard.

> But then again, are the central banks even following practices based on economics, or did they become politicized and corrupted, because of their central position in the economy? We see blatant monetary corruption happening in autocracies, but is it happening in western economies too, but it's just less obvious?

There is corruption and inefficiency at every level, but I fail to see how that would change by going back to the gold standard or cryptocurrencies for that matter.

I am familiar with the Austrian line of argument, and I'm sure in your years of study you have come across many criticisms of it, so I won't bother, but let's just say I don't think this perspective has brought us tangible benefits at all. Meanwhile, the imperfect system we have has shown itself to be at least robust to major hiccups recently.
Is code reading a use case for GPT-2 text summarization? The examples I see are text to text or code to code. I am wondering what code to text could be like.
> Musk has a history of making public, bad-faith declarations to pump assets he later sells at profit.

No he does not. He has no history of that what so ever.
Microsoft CEO Satya Nadella tells employees that pay increases are on the way
Almost as if they were criticising the current economic framework, its ideology and consequences, it really makes you think doesn't it...
Plain-text files are actually not widely used outside of software engineering and when they are, they are used like binary and only edited with graphical editors.
And most non-tech people don't see the benefit if it is there - in software development versioning was born from pain: big source trees are unmanageable withoud SCM. For typical office documents you miss some benefits but can live without.

One interesting anecdote / micro case-study:
In my family we have a vacation home that we rent out. My mom (>70 years old, completely non-technical) manages the renting and updates an online calender where guests can see which dates are available at what price.
I developed a very simple custom text format and a static site generator an my mom changes the data using the web-ui of my gitlab instance. I had to teach her but now she is very happy with it and much faster than with the previous solutions. And git helps greatly because mistakes do happen and its very easy to revert and see when they happened etc..
Quite the contrary, such lists are a dime a dozen. Search the web for the phone number—not for a list—and you should get several hits from different websites.