skysight-inc/HackerNews huggingface dataset:
As an American, we need to bolster our manufacturing in areas where IP to manufacturing output ratio is high. What I mean is, thrift manufacturing of useless gadgets we see on Amazon front page is trivial and does not add any value. Advancing semiconductor manufacturing for example is hard, and that's exactly why we need to do it.

China has prowess in centralization and consolidation of their sub-supply chain - but that can be done in Thailand (Casio started making their $10-20 watches in Thailand since 2016, for e.g.), Vietnam, Indonesia, India, etc. Making cellphone cases by the millions is not adding any intellectual value in the society. These problems have been solved.

I am old enough to remember "Made in USA" was a real marketing asset. We've lost our shine, just watch the Apollo 11 documentary (2019), it is an eye-opener. We need a new leader in this country that can inspire men and women to be passionate again, dissolve political differences and behold the American spirit. It is still there.
I used SoftICE to debug a multitasking IVR application I'd written in C/C++ with a stack-switching kernel on top of MS-DOS :) Great project, but it would crash once or twice a day on both the test machines we had. Couldn't figure out why. Went through the code with a fine-tooth comb, still at a total loss.

Enter Soft-ICE. Within a week I found that Soft ICE wouldn't interrupt in the hung state. That started making us suspicious that it might not be just our code.

What do you know -- both test machines (though otherwise completely different) had the same cheap $5 ripoff network card. These were causing the crashes.

Replaced those and the software worked perfectly -- ran 24/7 for 3 years without a hitch. The one time it did stop, was the NetWare stack crashing underneath.

So that's my SoftICE story :)
A History of the Wolf
70s shows? I had not heard of them. I did know that Dragon Ball is loosely based on it.
Fiction: Voice Net by Shinichi Hoshi

An eerie look into the future from before the age of computers. The number of things about our lives now he got essentially right in 1969 is frankly stunning. Twelve interwoven short stories explore various residents in the Honeydew Condomiminium: how a computer managed network of telephone based services has affected their daily lives in sometimes nefarious ways. The novella's availability is limited in English, but there's a link to the Kindle store from the late author's webpage[1].

Non-Fiction: The True Believer: Thoughts On The Nature Of Mass Movements by Eric Hoffer

I think this book remains the most useful and concise guide to understanding mass movements and fanaticism I've ever read. It pairs nicely with Saul Alinsky's Rules for Radicals. Hoffer's book is more expository and cautionary where Alinsky's book is more enthusiastic and encouraging, while both books have a healthy dose of cynicism about mass movements themselves.

-----

[1]: https://shinichihoshi.com/voice_net.html
This isn't very helpful info without knowing what the item is (I didn't see the article specify this). I mean, if I'm buying a cheap pair of underwear and I can return it within 30 days if it has any initial problems, then I'm 100% fine with no warranty. The chances of me using it are basically zero anyway.
I did this 3 years ago and it will improve almost every single aspect of your life. Confidence, focus, energy, and general daily attitude/mood. Few things to note. Technique is extremely important. Don't just lift heavy, get a trainer or join a group class and learn the correct technique first. Then lift heavy, easiest way to start is to do the Strong 5x5, get to know it well, then slowly experiments with other programs.
I came across one of burntsushi's interactions on reddit that's still on my mind. A poster made an unfounded comment, based on their feelings, that a competing tool was faster than ripgrep and when the author rightfully called them out on the improper metrics of said claim and even took the time to explain the unfortunate effects of such claims, they simply responded that they would now flat out drop ripgrep completely. I can only imagine how exasperating multiple interactions of that "drive-by low-effort nature" must make one feel. How does one even respond to comments like that!

If you are reading this burntsushi, I'm really thankful for ripgrep, a tool I use tons of times almost everyday, as a backend for fzf etc. Definitely a happy user!
Chinese Profiles

A collection of interviews with a hundred ordinary Chinese people in 1984
Ok, what about environmental considerations? This seems very inefficient.
Hurd is just a couple months away.
It's impressive how long they've been doing broadcasts like this. I have probably watched every one live, starting with the first (failed?) Falcon 1 ones that were shown.
No warranty, but you can probably use a pair of amazon basics underwear for a year and return it with free shipping for it being insert random reason from drop down menu.

Imagine if a car manufacturer offered unlimited halfway fraudulent returns, warranties would feel like a ripoff.
Actually techniques like the Ghost of Departed Proofs are precisely the reason I'm excited about dependent types (although with the caveat that you need some way of talking about erasure).

Contract systems in general have the problem that it is difficult to express higher-order properties about how functions should interact with each other or repeated invocations of themselves. For example, it's rather convoluted to express associativity with a contract system. Contract systems are very well-suited for imperative contexts (see e.g. Hoare Logic), where you have procedures rather than functions and you usually don't think about e.g. whether a procedure is associative or not. They work for functions, but are not as great a fit.

Dependent types allow for further expressivity, and, crucially, as long as you separate theorems from code (that is as long as you don't take Curry-Howard too seriously), there's no reason you're forced to prove a theorem with the type system if you find it too difficult.

Imagine:

concat : List a -> List a -> List a

concat = ...

concatSumsLength : (xs : List a) -> (ys : List a) -> size (concat xs ys) = size xs + size ys

concatSumsLength = proofByPropertyTest concatPropertyTest

concatPropertyTest = (1000 different lists concatenated together and then checking that their sizes add up)

There's no reason that concatSumsLength needs to be satisfied by a true implementation, unless you require that its value be usable at runtime. However, as Idris 2 shows, there's no need for that to be true (or even Coq with Prop vs Type). You can just annotate it as erased at runtime.

If you have a way of ensuring that certain values are never used at runtime, then there is no reason that your proof obligations must be met through satisfying the type checker.
The Eudaemonic Pie - first major attempt to beat Las Vegas (roulette) with concealed computers.

You Can’t Do Business With Hitler - contemporary analysis of the downfall of German economy before WWII.

Planiverse - think Flatland with a deeper plot and a computer interface.
Very easy. Create stunning two minute videos with the help of AI. All you need to do is input your script and then it shall create some stunning video footage using stock videos and photos. On top of that the voice-over is also pretty good. It is worth trying I liked it a lot.
Who says they need to defend themselves? If I come across somebody making unreasonable demands I ignore them.
If you ask Austinites they’ll tell you about lots of folks moving in just for the city and figuring out the rest later.
Nvidia GeForce RTX 3080, RTX 3070 Leaked Specs: Up to 20GB GDDR6 RAM
An alternate history novel by Kim Stanley Robinson:

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

Wherin the plague eliminates almost everyone in medieval Europe, thereby eliminating 'colonisation'.

Painting development of the world from there, up until around now. Showing to me how arbitrary much of the world as we know it is.

Not necessarily better, just like: 'Same shit, but different.'

(Even a little educational for real world history and geographic knowledge, because i've read it with maps and wikipedia open, and learned more of all the '*stans' that way.)
You are welcome Sir!
Looking back, I've written some regrettable github issues with a lack of respect for the maintainers.

What I've learnt is that if you want something done then ask politely, if you want something done now then try and do it yourself. That's the inherent beauty of open source.
I know just about everyone in my circle, in tech, filled the walls with smurf tube when finishing basements and any other wall they could get away with.
An oracle that doesn't always tell the truth? That seems like an odd thing for an algorithm to have to deal with.
I get what you're saying, but incompetent execution can ruin any approach.
China is closing gap with United States on research spending
I don't think they were referring to Proton the compatibility layer by Valve rather the Proton Native this post is about.
I think your math is wrong. 30 million a year means about 82,000 a day ("in the morning"). So that's about 2.7 hundredths of a percent. Another way to independently estimate, is that I've been driving for about 7,300 days and had an alternator failure twice that prevented my car from starting. That's...just about 2.7 hundredths of a percent as well. So I think that 0.1% is 3-4 times higher than normal.
"Twinkie, Deconstructed: My Journey to Discover How the Ingredients Found in Processed Foods Are Grown, Mined (Yes, Mined), and Manipulated into What America Eats." by Steve Ettlinger

The book is a look at the way ingredients to everyday products are created. It's both entertaining and eye-opening.
Even if they had a warranty they'd just send you a replacement item and throw your old one away. What's the difference besides the money for the new one is coming out of your pocket instead of theirs?
Why must there be? We are talking about small numbers of deaths and a large number of people who want (and/or currently own) rifles.

Sometimes you just need to be practical and look at the numbers. Just because you don't want a rifle doesn't mean a ban has zero cost or that the cost is somehow not a valid one. Many of our fellow citizens want the freedom to own rifles and you should have some respect for that.

The better case for gun control in every possible way is pistols. But nobody will ever budge on pistols if they sense that it's just a "first step" to confiscating rifles as well. The only way to get any kind of gun control is to earn trust by showing respect for ordinary citizens owning rifles, and from that point of respect you can make reasonable suggestions on pistols.
If you're running your guest using qemu, you can also attach the gdb to that VM. It's essentially the same idea.
Wish I could upvote this comment more.

As someone who kept throwing out MVPs every few weeks to painfully discouraging indifference, the term "experiment" finally started to make sense - each attempt kept missing a leap-of-faith assumption being tested, so each failure was discouraging instead of enlightening/iterative.

I think first time startup founders incorrectly assume building an MVP is like logically assembling a lego set (one best practice feature + research + user feedback guarantees people using your MVP more than once). When that logic fails, it's a heavy hit mentally.

For example, sure you know that people pay for babysitters - but can YOU get people to pay for babysitters? Pretty sure that breaks all viability if false no matter how fancy the product, so might be a good starting point designing the "minimal" part of your experiment. Educational literature might benefit from less semantics about definitions, and more teachings about what a good MVP attempt #1 looks like.
The board: "What about it?"
From the perspective of literature, there was a whole, great, long-standing blog devoted to this subject:

https://writersnoonereads.tumblr.com/

The best publishing house for this kind of work is Wakefield Press:

https://www.wakefieldpress.com/

Personal recommendations:

“The Tanners” by Robert Walser or “The Book of Monelle” by Marcel Schwob
I actually think the assertion that the color of your text fields is going to be the determining factor for potential users is not a sturdy one. A lot of the time, what users are looking for is the thing that solves their problem and it doesn’t really matter how it looks as long as it’s usable / understandable.

Also, while this design approach is probably more aesthetically pleasing to people like us, it might not be for someone like my grandpa who may get confused.
This is something people always repeat, but it's nonsense. Facebook (and similar companies) is a middleman between users and advertisers. Neither party is uniquely a "customer" versus the other, and advertisers have basically the same problem of being a very small part of the business and therefore unimportant and without leverage.
Depending on what you want from this, you can maybe use dynamic-wind. But yeah.
Sue them? Surely that's out of the question...you agreed to binding arbitration, right?
> As far as I'm concerned I wish this had started 40 years ago rather than a bit less than 20

Absolutely agree.

I bought an 8-pack of used Heinlein paperbacks the other day that I hadn't read since I was a wee lad, which included 'The Rolling Stones' -- a slim volume about a family that live in comfort on the moon, but who get the itch and buy a used spaceship and head off for more exciting parts of the Solar System.

In a paragraph or two it explained gravity well maneuvers and other Kepler-ish things better than current YouTube subject matter experts. It also described, in a sentence or two, that the starships had 3-way voting computer systems, where 3 computers get the same sensor inputs and 2 of them can overrule the 3rd in the case one differs.

To the author, these were basic things that would clearly exist, because of physics.

Sure, it missed some marks -- underestimated the computer, for one; its heroes were still manually 'astrogating' and doing a lot of difficult math to plot their courses, when now we know they could have just played Kerbal Space program ;) -- though I thoroughly enjoyed seeing a reference to them handing their flight plans to a 'programmer' who filed them into a big computer system. Of course, it was imagining a world where we would found a moon base in the 1980's.

But I appreciated the solidity of its underlying premise: that a robust human presence in space was inevitable, because the difficulties that space flight presents, especially once you climb out of Earth's gravity well, are just not that far out of reach.

That spirit was alive and well when that book was published ...

... in June of 1952.

It turns out that, given human nature, we needed a lot of advances in computing to overcome difficulties, some engineering but others that no one could have foreseen -- like the fact that radioactive rockets and the additional power they could bring to the table were effectively off-limits on earth for human and political reasons, or that geopolitical and business reasons would concentrate space investment in areas that could be considered inefficient if conquering Earth's gravity well is your aim.

But they weren't off by that much.

The physics that stared them in the face continue to stare us in the face, and declare: this is doable, folks.

There's no reason humans can't live and work in space on a large scale. We need some vehicles built, but some of them are getting built right now ...
I talked to a friend and he said the UPS store now throws all the individual returns from multiple customers into a single box and ships that back. So there's that.
On the contrary, according to relatively recent Pew numbers from 2018 [1], around ~38% of American's identify as independents, with ~%31 democrat and ~%26 republican. To be fair many of them lean towards one party or another (your last point acknowledged), but independents are much more important in politics than they are usually given credit for.

[1] https://www.pewresearch.org/fact-tank/2019/05/15/facts-about...
Haha do you think Amazon makes their decisions based on the environment? Of course they don’t.
When I first learned about content addressing a couple years ago, it sounded like the holy grail. I'm less certain now. It seems much better from the machine perspective, but I'm not sure it matches closely enough the way humans interact with data. We are spatial and temporal creatures. There's something unsettling about my video file being chopped up into a million chunks and stored who-knows-where. Compared to the path/URL approach where I have a single large file. I know where it lives and how big it is. Moving/copying/deleting/updating/etc are all intuitive and map to analogs in the physical world. Content addressing (and object storage system I might add) isn't as easy to reason about.

Don't get me wrong. Content addressing is very cool, and may revolutionize everything. It's very elegant. I'm just a bit skeptical.
The growth of the public domain is a method to promote the useful arts. Particularly in the realm of patents. The eventual guarantee that patented inventions become public knowledge means that more innovation is prevented from remaining in the realm of trade secrets forever.
Basically, I think you can divide search between commercial interest search and not commercial interest searches. I can find deep discussions of algorithms curated quite nicely. But information curtains, say, that will be as bad as the OP says.
It is ahead of its time and we are getting closer, one example, please check out UE4 Blueprint visualizing animation states at https://docs.unrealengine.com/en-US/Engine/Animation/StateMa...
The doc “Human Resources” is a good look into this as well.
This is exactly how i do it as well.
San Francisco’s Dangerous New DA, Chesa Bousin
How I hacked a top startup (as a software engineer)
Michael Moore films and edits his documentaries in a similar fashion.
California’s AB5 Leaves Women Business Owners Reeling
Ask HN: What books are respected in your field, that aren't written for laymen?
The most valuable books I saw in this thread were books that were obviously academic works, that I never heard of: https://news.ycombinator.com/item?id=22092108

Conversely there are a lot of books that count as popular science but don't actually carry a lot of clout in the field. I won't name names.

What are books that are well-respected in your discipline that aren't necessarily written for a lay audience?

I'll start. For those interested in good service UX, "Experience Design" by Newberry and Farnham is the best 'from first principles' experience you can get. Reading it is hard and psychedelic because of how terse yet packed with meaning each sentence is:
https://www.amazon.com/Experience-Design-Framework-Integrating-Brand/dp/1118609638/

It was used as a textbook during my UX training.
You know, when a few million people "fall through the cracks" due to some governmental screw-up, people get really bent out of shape.
So Harel did form a company - iLogix (https://en.wikipedia.org/wiki/I-Logix), which developed "no code" visual tools using statecharts, mainly for embedded systems.

Also, in early 2000, there was a movement for "executable UML", (https://en.wikipedia.org/wiki/Executable_UML).
Which was based on state charts, and tried to be the first version of what is today known as "no code".

However, then agile came alone, and we went back to "code is the design", so those methods did not find commercial success.
> would you be comfortable referring to any christian X as “anti-gay X”

Of course not! There are many Christian groups that treat women and gays with equality.

The Christian groups that treat gays as lesser people are absolutely anti-gay, though. They may not be hate grouped but they are absolutely anti-gay.
Just like the author of actix-web decides to exit from his popular Rust open source project recently(https://github.com/actix/actix-web). As a maintainer of large open source project is not a fun task. whatever mental or physical, it's really a hard job.

Respent for every maintainer and contributor, it's not easy. You can read some issues in the repository, the authors of some issues are just complaining or criticizing the idea or bug, it's unfair and rude. in the end, hurt maintainer's passions. Every developer should know it and respect it like the README or guideline before posting issues or comments.

It's a fantastic post about the analysis of OSS maintainer, Respect for Mr. Gallant.
What about asking for a chargeback if you paid via credit card?

I won a chargeback when Uber [Jump] bikes charged me $50 for riding 0.0 miles while the bike was locked.

My guess was that their LTE provider was switching between towers right near the top of Capitol Hill [Seattle] and another tower that was not line of sight. So it just ran out the clock until it hit some kind of fail safe at 3hrs or whatever and stopped. Of course there was zero notification that I was still being charged. Hopefully this is now fixed.
As someone with a footprint in open source, I agree that giving labor for free sets an expectation.

That said, I never had the request to rewrite in a different programming language, yet. Downstream library users as well as package maintainers seem delighted with Python.

I think GitHub sponsors and patreon-like systems can be the way forward. If open source users said "hey, I'll give (10/20/50/whatevers affordable to me now) bucks a month toward open source projects" and then proportion them across projects they choose, that can go forward to things.

But open source is much bigger than projects themselves. One example would be package maintainers on Debian, Ubuntu, Fedora, Arch, BSD port systems, and so on. They put enough time into it they should be compensated.

I think with these new platforms like GH Sponsors, we're on a trajectory toward fixing this.

> I got a drive-by comment effectively telling me to use a “working” license instead, along with some (what felt like) condescending lecture on how licensing works.

I hope my many drive-by github issues on licenses over the years weren't taken as condescending. I want to avoid the headache in the future of a migration, an example of what it can entail: https://github.com/twbs/bootstrap/issues/2054

That's a lot of work.

Worse is the matter of ambiguity with certain licenses. Having something clear and simple that'll work across jurisdictions is a winner.

Wishful thinking or intent doesn't matter when the door is left open for a legal adversary different interpretation of the facts, then having to pay expenses to defend it. That's drama in and of itself, but could also really hurt a business, esp. in early phases.
Worth looking at Grant's graphics library made for and used in his videos: https://github.com/3b1b/manim/
You don’t really need to store a full text crawl if you’re going to be penalizing or blacklisting all of the ad-filled SEO junk sites. If your algorithm scores the site below a certain threshold then flag it as junk and store only a hash of the page.

Another potentially useful approach is to construct a graph database of all these sites, with links as edges. If one page gets flagged as junk then you can lower the scores of all other pages within its clique [1]. This could potentially cause a cascade of junk-flagging, cleaning large swathes of these undesirable sites from the index.

[1] https://en.wikipedia.org/wiki/Clique_(graph_theory)
I thought that we could see some reference to it after the first episode of this year season of the Expanse, but then no.
Amazon support specifically recommended this approach to me when I was outside the return window.
It reflects badly on HN that the #1 response to an intellectual question views the world through an obsolete lens of nationalism.
Pay the maintainer!!! We need Software Institutes fund by the United Nations for maintaining open software
Michael Bloomberg: Straight Talk from a “C” Student Turned Billionaire