skysight-inc/HackerNews huggingface dataset:
> Sounds like Meson isn't a very good match for your use case.

That's exactly what I've been saying.

> As a result, you really dislike Meson, going so far as to call it "unfit for human consumption".

Meson got so many things right, but this one point makes it unusable for many projects, and prevents it from being industry standard.

Let me say it again, a programming language for writing large scale programs (11,000 lines is a large scale program) without functions/subroutines is unfit for human consumption.

It is made worse by giving a blatantly wrong rationale for not having user-defined function.

The only reason I even bothered spending so much time in responding is the hope that they will reverse this idiotic position.
I don’t think there is an easy way to DeDRM the latest kindle format used by the Mac/pc and iOS reader, and there is no easy way to download all kindle books in your account for “transfer to device via usb” for e-ink devices all at once. I’m trying to archive my 4k or so kindle books (already did a similar number of audible using openaudible) because I don’t trust Amazon to preserve access to them indefinitely.
You could also make designs, like a xmas tree, on a card by punching out a bunch of holes.

Found an example https://twitter.com/kenshirriff/status/1209886220970426369
Could i know some reasons for you to dislike Python ?
> There will be a full-blown nuclear exchange between the US and Russia, wiping out most countries in the northern hemisphere in the process, reducing human population to 1/10th of the current level within a year, leaving only parts of South America intact

I just wanted to give a nod to all the other countries in the southern hemisphere, since some also have a likelihood to miss out on a nuclear Armageddon: Australia, lower Africa, Madagascar, New Zealand, potentially some of the South East Asian nations, and a whole bunch of island nations, Antarctica.
> "For some reason, people who would never read an article in the Wall Street Journal about Procter and Gamble acquiring a new shampoo company will devour content about Microsoft acquiring a tech startup they’ve never heard of."

Good point, I'll grand you that, but I'm on the other side. I don't want to hear less about Microsoft acquiring tech startups, I want to hear more about Procter and Gamble acquiring shampoo companies.

My guess is that journalists that write such articles exist, but possibly they publish in specialist journals / magazines...?
write more, read good writing. emulate good writing. read books on writing? Stephen King's "on writing" is recommended all the time
All the armchair education experts in this thread who say it’s not the distraction, it’s the poor teaching, (1) have never set foot in a k12 classroom as an adult; (2) completely forget their own experience as k12 students. You can have the most engaging lessons and any small distraction will kill the momentum.
Reminds me of that infinite pain I felt in my soul when I resigned to the idea that Blindsight by Peter Watts could be a fantastic Scifi book, but its writing is so obtuse and impenetrable I am permanently locked out of its story.

Anyone care to recommend a dark scifi book about utterly alien lifeforms or worlds, that are more accessible to someone with average IQ?

https://youtu.be/DnF7LMkGxhY
The point of the XKCD is not that the method is "secure" in an absolute sense.

It is that it is a method for which the large group of people who would choose "Password0!" as their password [1] can use to create a password they can potentially remember, but such that the chosen password is "relatively" more secure than the basic alternative they would have otherwise chosen.

[1] I.e. the far too common method of "pick a word, make one or two letters capitol, append a numeral, append a !".
Things are now interesting with Mastodon! I joined 2 1/2 years ago but until a month or two ago, not terribly interesting. I only follow 181 people there (and just have 299 followers, a tiny number) but for me there is now a critical mass of people and interesting content.

I have not given up on Twitter. I decided to pay for it and I am curious how a mostly paid for social media platform might evolve. People like Lex Fridman and Joe Rogan seem enthusiastic still about Twitter, but it is after all a large platform for them. Joe Rogan is interesting in part because of how much he advocates for other people, an example been his saying very complimentary things recently about Krystal and Saagar’s independent news channel (well, they are awesome).
No, the narrative is anywhere from "we're defending Russia proper from invasion" to "we're going after every Ukrainian and their children" between different (and sometimes the same) TV hosts and public figures.
Looks like this was before Musk's time and it was an API vulnerability that let the data get scraped:
https://restoreprivacy.com/massive-new-twitter-leak-allegedl...
Building good onboarding is not easy and it's quite tedious work. It's also extremely important work that is frequently ignored because of how tedious and thankless it is. Why is it important? Onboarding is the single place in a product that every user is guaranteed to experience at least once. Small changes to onboarding can have effects on user retention like the proverbial butterfly flapping its wings and causing a hurricane.

I'm not surprised an app with no profit motive behind it doesn't focus on this kind of work. It's very hard to motivate yourself to do it if it's not your job.
Yes, which is why I'm so skeptical of that claim. "I've put the password in because otherwise it would've taken 6 hours" makes no sense at all - even putting aside my napkin calculation; if it would've taken an afternoon of crunching, why wouldn't you just have done that?
For point #2, it's not exactly established, but we can probably be accurate to say the early church chose this day to convert followers of pagan traditions regarding the Winter Solstice. Whether it's Yule, Saturnalia, Natatlis Invicti, etc. It's easier to say one god is born around the same time as another and you can push towards Christianity's ideas of a Son/Father/Spirit deity.

For point #3, heck, most Western Christians for the most part unknowingly incorporate a hell of a lot of Yule traditions. Christmas Trees, wreaths, the Yule log, Mistletoe.. you get the idea.
If GPT-3 was sentient, writing code which runs outside it's isolated system would be exactly the way how it would try to escape.
Good point but still interesting considering Oracle's reputation. One could argue that even those still at Oracle would say "we don't like it but we didn't find something else... we're used to it".
Isn’t it a bit silly to predict something none of us will be around for to appreciate you being right?
Can you expand on why you think that?

(Btw, I agree with you but want to check my priors)
While the topic of teaching has come up, are there schools that do project-based learning in high school-ish settings? Like teaching kids geometry through wood shop class?

Seems like a fun thing to teach, at least for a few years, teaching kids skills via projects.
Better have a gasoline generator with you.
... actually that might be a "feature" for them, they do have duplicate password report, I had assumed that's just based off decrypted ones on client side but they might be just using ECB for that
Consider the trace of a naive recursive Fibonacci function: fib(5), fib(4), fib(3), fib(2), fib(1), fib(0), fib(1), fib(2), fib(1), fib(0), ....

A memoized solution would merely eliminate the duplicates, but a DP solution should instead have this trace: fib(0), fib(1), fib(2), fib(3), fib(4), fib(5). With the DP solution we know a priori which terms will be needed, so we visit them in an order so that every term needed any step is already computed.
Maybe you should try Julia? That might still be too much like Python.
https://julialang.org/
That's right, but seeing how laptops seem to do the bare-minimum, I would be really surprised to learn than a random model, which doesn't advertise it, actually supports it.
Example; British activists imported all the BLM stuff, including "Defund the Police". Unfortunately, police in Britain are already quite underfunded and don't have a lot of the negative aspects of American police.
Check both of these links, I added the configurations to my laptop with BTRFS + NVME SSD + encryption and it's snappy.
https://wiki.archlinux.org/title/Dm-crypt/Specialties#Discar...
https://wiki.archlinux.org/title/Dm-crypt/Specialties#Disabl...
Worked with some guys like this, probably doing it intentionally. One guy liked single-letter vars & derivatives thereof. For example all the following might appear in the same 100 lines of code: a, aa, a_, aa_, aa__, A, AA, A_, AA_.

Often these were crazy code forking paths like:

* a is a 1 liner which calls a_ or aa depending on a conditional.

* a_ then returns something or calls a__ depending on a conditional.

* aa calls aa_ or aa__ depending..

* A, AA, A_ and AA__ might be some global states or boolean flags or cmdline args or env vars read in which effect all the above..

Another favorite was to use the same noun in different cases for different types of things. For example:

* servers - a function you call which returns a list of servers

* servers_ - a subfunction called by servers

* SERVERS - a boolean global variable switch to enable functionality

* Servers - a variable containing the list of servers used by all of the above

I once asked him to explain the differences and there was no consistency. Sometimes all-caps was the function, sometimes all-caps was the boolean, sometimes lowercase, whatever.

The best was clearly someone forced him to put in comments under duress.

However he ONLY commented the obvious stuff, like-

getCmdline # gets the cmdline
Absolutely to a fault, although it has helped humanity a lot. Sun's best work is all open-source, and the proprietary work isn't very compelling in comparison.
It is an awkward platform to be honest. And can you trust the instance you are using??? The instance operator can see everything because there's no encryption.
> 6, the USA suffers a right wing terrorist attack against a gay pride event in June with 30+ deaths

I like how you specify the month and the number of deaths to make it a bit more of a challenge.
I built a variation on the same idea. http://github.com/graiz/cbot

pip install cbot-command
Well as of late even big providers are not sending verification codes. My main has a number attached to it (for api reasons), but the other day I needed to log in on my freshly reinstalled laptop and choose phone as my 2FA device was in another room as I was being lazy, and I never got the code even though I must have validated it in the past.

It was around the time that Elon tweeted out something about telcos sending out spam sms in twitters name.
Since it was backups that got leaked, does it affect ex-users?
> the only visible result would be that more content will be produced by the same number of people

That’s not what they predicted; the “we just get more content! People won’t lose their jobs…” argument aside, the market that is willing to spend money on content seems reasonably likely to drop off.

People will continue to want content, yes.

People will continue to buy content, yes.

…however, it seems difficult to believe that as companies that can produce the content significantly cheaper and at higher volumes emerge, traditional providers of eg. stock photography, will manage to convince people to keep paying the same amount for it.

I personally predict a wave of race to the bottom startups that cheaply generate content, driving the costs to consumers down. Yay.

However, companies will accordingly reduce their spend, and move off of traditional providers onto the “super cheap” new comers, resulting in an overall collapse in the total spend on content, even as companies get more for the money they do spend.

There’s plenty of precedent for this.

If the marginal cost of producing X drop to virtually zero, people don’t just consume more of it (well, maybe a bit more), they mostly just spend less money and buy the cheapest product.
anybody remember Summly[0] from a decade ago?

> Yahoo has announced that it will be acquiring Summly, a startup that aims at summarizing web content into a digestible format more fit for mobile devices.
In a nutshell, what Summly does is let you pick your news sources from a set of pre-packaged categories or your favorite website. From there the app will show you the latest stories summarized in up to 400 characters and presented in a cleanly designed interface.

I don't think this did any damage to the news publishing industry. Article summaries have existed forever: most of the free blogosphere does anything besides add their 2 cents to stories broken by the larger news outlets.

[0]https://www.techspot.com/news/52054-yahoo-acquires-news-summ...
Also, a draft of book itself was used for the 2022 summer school:

https://github.com/martinescardo/HoTTEST-Summer-School/tree/...
https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest_su...

I didn't really have time for the school, but I'm working through the book to learn MLTT. (Although I took a break to work through PLFA and do advent of code.)
It is however interesting that the subthread has been folded. It normally only happens to comments after they have been flagged or downvoted enough but here it looks like dang forced it upon himself (I guess because he misread your comment).
Lucky for Pfizer that COVID scale diseases are common, eh?
People also have already cracked their Android client so you can straight up get EPUBs.

But it's not publically available since BW is very quick about patching their app once the crack is well known.
I guess that part when Gaddafi promised to massacre the revolting cities street by street got many frowning.
I'm glad you have good people in your life, but that isn't true for everyone.

My life would improve immensely if I didn't ever visit my family. I see them once a year and it is once a year to much. I love them, but ideally it would be from very far away for the rest of our lives.

The ones closest to you can hurt you the most.
Thank you.

I never had a Twitter account and so never migrated from Twitter to Mastodon, and hadn't checked it out otherwise either.

But this comment is the first thing I've heard that makes me think I might love it. I loved the message subs on bbs networks.

The fact that an ordinary user/commenter conveyed that useful essential impression that all those journalists never did in the years since it's been newsworthy, would seem to fit right in with the article's point.

This article itself also finally presented some useful "what is the point? why might I want this?" points too about no algorithm manipulation.

Mostly all I've seen are vague stuff that it's not Twitter and that it's federated kind of like email. But that really doesn't say anything useful. If it's like email, we already have email. How is email an alternative to Twitter and Facebook? They really have failed to write effectively about it.
Golden Cove’s Lopsided Vector Register File
I've used a Yubikey with LastPass for several years
The Spies Who Loved Twitter
I think it should allow you to change the schedule on which it increases the rounds, not set the actual number. It should tell you how many rounds it currently is at and how it will increase but the setting most people will want is High Security, Very High Security, Ludicrous Security.
That looks like a lot of work. I just backup the password list separately from time to time
It's just a prediction on the very negative end of the spectrum. It's done in military gaming all the time ("what's the worst that could happen?") but typically nobody treats it too seriously exactly for the reason you mentioned.
My opinion is that UBI would actually free people up to do the low-paying mundane job that they can't afford to do today. It would provide the option of a normal work life that allows one to feel like they were productive, even if it is mundane work, and provide the human interaction by means of socializing at work.

If I don't have to work, I will probably enjoy my work more.
Or they use a professional that routinely outperforms their specific benchmark.
Or enter a valid tar command on first try.
> If a competitor ever did arise, patenting the borrow checker mechanism would be all it would take to completely crush them.

Apache 2 includes a patent grant? So I think most of this comment is clearly erroneous.
Unclear what you intended to express via “following” — are you saying building community of followers is a route to finding a startup community open anonymous users? If not, what did you mean?
Android 12L Feature Drop
Moreover it’s a site of images. It’s not meant to be accessible to anyone who can’t browse images.
I think this breaks down because one assumes there’s some financial element (like other cryptocurrency projects) but that’s not really the case with mastodon.
Why You Should Care About CHERI [pdf]
Honestly it sounds like they are sick in their soul rather than coming from a place of logic or insight.
> I've known people who get this instant passion for an area they know nothing about, if it brushes up against an area they do know something about

See also every HN thread about nutrition, sleep, health, exercise.
Did it last year. I was divorced and had no reason to go anywhere during the holidays. It was my first time ever staying in the Bay Area during Christmas.

This year - I don’t have a job because I quit and went traveling and moved to Manhattan. Guess my time spending home at work in the Bay Area wasn’t great. Only thing I’m doing today is going to the gym and taking a yoga class and doing legs if I can get some time at the squat rack. Surprisingly busy yesterday (like busier than I’ve seen it almost any other time!) - we’ll see if busy today too.
Yeah, if you want to do this as cheaply as possible, you certainly don’t want to use AWS. In particular using s3 seems difficult to justify.

That said I assume the author is not trying for cheapest-possible.
As someone who spent a big chunk of time in 2021-2022 trying to get rid of boardgames I don't want anymore, there's a lot working against reselling used games.

It's a market where outside of the top ~100 games, a specific product can be hard to find for an individual even when shipping works out. This is also why math trades are popular - but 2020-2022 made popular venues for those more difficult too, and the breadth of games means that while any given math trade is going to contain some hard-to-find games, it's probably not going to contain your hard-to-find one.

It's also a market for lemons. Lots of resellers don't even know if they're missing a critical piece, which printing/edition they have, if expansions are included, if it was a counterfeit to begin with, etc. Buyers have little way to distinguish people who know what they're selling from those who don't without lots of time investment. This also discourages market-makers from helping solve the logistical problems.
to be fair they are by far biggest, and for all we know other might had incidents that they just covered up
I think SV will continue to pay top prices for world class talent to relocate there and work in office. Think AI PhDs, chip designers, systems programmers, graphics experts, and the like. But the days of 100k interns and 300k SWE 4's are over, and that portion of the workforce will devolve to the national average.
One thing I found impressive about this thread was that dang had a knee jerk reaction that the criticism was about religion and when it was pointed out that it wasn’t, he apologized.
Pittsburgh, but don’t tell anybody
Seems very useful. Even as a very long-time user of the CLI, there are times I'll need to google how to do something, either because I forgot how, or I simply never knew. But honestly, Google has really never sucked more. I suspect GPT-3 and Codex are actually better at giving actually relevant and useful answers now, even if they're confidently wrong sometimes.

I think you'd still want to be knowledgeable to use a tool like this, so you can know when you're about to hose your system :) But I think it's more useful than some folks are letting on.
This is optimistic from OP's point of view.
Pre-Trump, Gohmert had perhaps the least intellectual prowess of any member of Congress. This may explain a lot about his behavior.
The Russian people could impede or stop this if they were to seriously protest and rise up. Might even save face for the coming years. Save that, they all look complicit. Guilty.
Constructive logic is logic without the Law of Excluded Middle. It is the part of mathematics that is actually relevant to computing.

HoTT serves as a good foundation for constructive logic; perhaps better than any other. Set theory (like ZFC) makes doing constructive logic very awkward, as the very idea of an infinite set (which can be union'd and intersected with any other infinite set) is unnatural in such a logic (but can be made to work if you accept some pain). Martin-Lof Type Theory isn't "good enough", because it handles equality quite poorly, which is fundamental to logic. For instance, how would you state the Axiom Of Unique Choice in Martin-Lof Type Theory?

The idea behind HoTT (over Martin-Lof TT) is that path-connectedness in a topological space is somehow more fundamental than equality. Equality is recovered when that space becomes discrete. Everything that's possible in set theoretic foundations is possible in HoTT, because a set is just a discrete topological space. Equivalence relations are constructed by simply building bridges between points, and then contracting connected components down to points.

The idea behind Martin-Lof TT is that there is a rough duality between how you prove things and how you program things. Propositions correspond to types in MLTT, and proofs correspond to programs. In MLTT, this is taken to be an isomorphism between proofs->programs and propositions->types. In HoTT, this is usually not taken to be an isomorphism, as propositions are instead understood as only some of the types (the subsingletons).

In MLTT, the whole point of constructive logic becomes clear. The proposition "There are infinitely many prime numbers" is a type (like in some programming languages) whose elements are programs which take integers as input and produce larger primes as output. If you look at the standard proof of "There are infinitely many prime numbers", you'll see that it determines an algorithm. This is not the best example, as the resulting algorithm is rather naive, but there are plenty of better examples.

> It is sometimes quite useful in practice to recognize that two isomorphic objects are not literally the same. So I am skeptical of any approach that wants to blur those distinctions.

It's called inverting a surjective function. You can do that in HoTT, or any foundation. In fact, this remark shows you're dangerously over-opinionated.

> Also, more to the point: ZFC does everything we need a foundation to do extremely well, except serve as a basis for practical formalization of proofs.

What does ZFC really do? The axioms are pretty obtuse, abstract, divorced from mathematical practice (who the hell needs to know that an integer is an infinite set), infinitary and non-constructive and hostile to computers.
Point·E: A System for Generating 3D Point Clouds from Complex Prompts (2022)
Congress and its foibles are organizational behavior writ large and expensive.

We've reverted to a quasi-aristocracy and there is scant will to leverage tech in order to realize the ideals of the Constitution.
I think this is to be expected. If you have a lock anywhere, the risk is, that the lock will become the bottleneck at some point when scaling to more and more concurrently running processes wanting to acquire the lock.
A place where you can’t even park your car outdoors unattended is not a place you want to live in in the first place.