skysight-inc/HackerNews huggingface dataset:
I also write TypeScript, daily for the past 5 years. I wasn't talking about boilerplate, the C# analyzers like ReSharper can determine which variables are you probably going to use, what methods are you going to call, and what parameters will you give them. I'd love to have them in TS.
Yes you can! At least with russian roulette!
Where is technical innovation actually happening?
The Gödel number a proposition in Russell's Principia

Mathematica does not correctly represent the proposition

because it leaves out the order of the proposition.
Right; each book is a subdeck of my main one with a new card limit of 1/day and a lengthened repetition schedule.

Because paragraphs are so variable, my Project Gutenberg import script makes 25-line cards with a 5-line overlap between adjacent cards (for context). It also blanks out a random word on the 15th line as a cloze deletion test, to ensure I have some understanding of what’s going on.
> Companies should be liable for their mistakes, especially when it's negligence

There's a vast sea between mistakes and negligence. Exactly 0% of the people posting on this site have written 100% bug free code that's been pushed to prod/released to customers.
Linux users are also super happy they're not left out of using Electron apps. If Discord were to write a native app, they might only include Windows and macOS support—or even omit Mac support altogether.
Previous: https://news.ycombinator.com/item?id=25135410

Not a great headline or interpretation of the program - it's not automatic.
The numerous microphones/speakers and spatial awareness features could be used for some localized active noise cancellation. At the very least you could set it to increase the volume of white noise/ambient sounds playing when ambient volume increases.

This would be useful for anyone who uses it to block out traffic/street noise at night.
Amazon had their own shipping network and subsidized it as a loss leader. Not exactly a relevant comparison.
That was much later and too late for flash.

https://appleinsider.com/articles/10/08/05/ftc_believed_to_b...
You'd have to change the system clock of your legal system.
You're right, but are there any peer reviewed papers that back up your argument?

> The paper you've linked mentions four cases.

Those are confirmed cases. That doesn't mean there's only 4 total.
Absolutely. As an embedded engineer, 90% of ARM boards (including and especially the popular Raspberry Pi) are complete dogshit. Barely (or not) functional, absurd design decisions, etc.

A hilarious example - to deal with the poor reliability of the RPi, you might think to use its watchdog timer to reset the device if it locks up. But guess what? The WDT in the crappy Broadcom chip on the RPi doesn't work! It's supposed to be there, and it's exposed to the kernel, but it doesn't actually do anything.
Successful examples tend to be revenue models where what you pay for is support.

While that does technically generate revenue (and potentially lots of it) it is not generally applicable to many open source projects particularly those not large enough or foundational enough to even raise the interest of paid corporate support. At the moment that would leave donations as the rev stream and I guess that might work for some.

The other model that can work is one where you offer a basic open source product but then charge for a closed source "professional version". I guess, I wonder if that type of thing is is really open source in the end.
There was a A Whitney Young video a while back about that. He was going on about "what good are dead Iraqis to me?" basically. And he had a point.

Instead of killing people, and destroying their civilization's infrastructure, we could have instead spent that on R&D for our own energy independence. More of that money would have stayed in the country, enriching us all and boosting our own economy rather than producing goods used for destruction.

Even not doing R&D, but just putting that money into basic infrastructure in the USA, like roads and bridges, would promote local economic growth.
Ugh ridiculous naming then
How many Falcon 9s did SpaceX blow up before they got a successful launch? Are you willing to have that many meltdowns in order to get your "highly modular, efficient, miniature 'assemble-yourself' nuclear power plants"? Even if you are, how are you going to convince people that it's worth it? What are you going to say when the press tars your project with the headline, "A Fukushima In Your Backyard?"
As much as I also love to hate reddit, whenever I want to read genuine opinions on a subject I go to whatever is the subreddit that discusses it.
No, it doesn't. While the discussion of the definition of religion would result in its own holy war, suffice to say that defining religion based of the involvement of the supernatural is cyclical logic used to discredit any opposing religion. "Pagans believe in the supernatural, the sun isn't a mythical being! Only belief in my God is grounded in reality" is not functionally different from "Theists believe in the supernatural, there is no mythical God! Only my belief in the lack of anything beyond my current understanding is grounded in reality."
I have a first release Oculus Rift and ended up not really using if after the first few weeks because it mostly just felt like a cool tech demo and not really ready for regular use.

A friend recently brought over his Valve Index and using it felt like it was actually approaching something I could see using more than to just show off a fun gadget (as you put it). Really the big thing is the screens finally felt good enough that I was able to occasionally forget what I was looking at was because I had two monitors strapped to my face.

That said, I think I'm probably going to wait one more generation before I spend the money on a new headset. Hopefully the improvements in gen3 will comparable to those between gen1 and gen2.
Microsoft Teams takes on Zoom with free all-day video calling on the web
>USB boot is a game changer. A junk drawer 8GB USB stick works just fine

As an aside, why isn't there a market for a say 10gig usb medium that isn't flakey AF like microsd etc that die if you squint at it a little too hard

USB enclosure and an actually SSD seems like the cheapest option. There has got to be a middle ground here...
You still need base load, ie. an option that can displace natgas in the way that natgas displaced coal.

There's a reason why even though solar is now cheaper than coal it didn't displace it like natgas has.
Ah, I remember the Hawking thing now. Thank you.

Feynman was also frequently snarky about philosophy. But he is not of our times.
I don't know about the first quote, but the second quote is not saying that the study of philosophy is useless.
Just that it's useless for science.
I wouldn’t say just web developer, but average programmer unfamiliar with Qt’s stack.
I trust airlines with my life without even thinking about it. Sometimes we even make fun of people who are afraid of flying.

Incentives make a big difference here. Ignoring everything else, airlines don't want to lose their hundred million dollar machine in an accident. And the person most directly responsible for the safety of the flight -- the pilot -- is sitting right there in the machine with the rest of us. It's a good arrangement with a long track record.

I could imagine corporate-run nuclear plants that have the same incentives as airlines. I could also imagine bad ones, run by Homer Simpson. It probably makes more sense to judge case by case.
Yeah people suck at critical reasoning.
I'd suggest learning Java first. As far as Android Studio, see here: https://developer.android.com/training/basics/firstapp
> Correct... I'm a Pascal programmer.

Real men don't use pascal ;)

Have you ever closed a file?
How is this in any way technical? Looks completely political/social to me. I would think there are other more appropriate platforms for this kind of posting.
If you are a company dependent on a startup you can often get the source code in escrow if the startup would to fold or be acquired. I have had this work out multiple times in the past.
You're essentially using a sorites paradox/Ship of Theseus argument to attack the idea that a piece of electronics can ever, even in principle, be said to be 'permanently broken'.

In common usage, we consider 'permanently broken' to be meaningful, we draw the line somewhere reasonable, and don't worry too much about giving a legalistic precise definition. I think my earlier examples stand up ok here. The phone is bricked, and the laptop is not. There may be edge cases where it might not be clear whether we can say whether a device is 'bricked' or not. That's not a problem. There might be an edge case in furniture where it's not clear if it's a chair or a table, but the categories of chair and table are still worth keeping.

...anyway it looks like a promising ARM-based computer ;-P
Super appreciate that sentiment. That's what I'm going for - 1) build something valuable, default to freemium 2) pave a clear path to free for those in need 3) have faith in voluntary reciprocation of value
> That's the easy thing with ZFS, just add the disks as new VDEVs.

Careful though, depending on how you're setting up the VDEVs this could introduce fragility to the pool. For example, if you have a raidz2 partition and then add a single disk vdev, that single disk going down would make the entire pool unavailable.
This is just untrue. Most French Canadian don't have anything against the English and most certainly did not use a video game to express their "anger" of events that happened more than 300 years ago.

9th century England had very little in common with the British empire of the 18th century that crushed the French in America. If you want to argue that they have biases against the English because they are "French" Canadian, then I think you need to avoid making claims on the Internet on topics of which you know nothing.
The Loser's Game (1975) [pdf]
Default settings matter, when you start out it's hard to know what's better - new cards first, or review cards first. I wish I spent some time on configuring that when I first started with Anki.
That's not really what went wrong with Symbolics. What really went wrong is mentioned in the article, though. "Expert systems" were not really very useful.

Another reason that Lisp machines were in high demand (despite a general lack of results) is due to a "natural trajectory" phenomenon. AI, and especially expert systems, were seen as the future of computing. This is due to hype generated by Feigenbaum, a Stanford University professor. Tom Knight claims that Artificial Intelligence was oversold primarily because Feigenbaum fueled outrageous hype that computers would be able, for example, to replace medical doctors within 10 years. Additional hype was generated by the Japanese government sponsoring of the "Fifth Generation" project. This project, essentially a massive effort by the Japanese to develop machines that think, sparked a nationalistic chord in America. SDI funding in some ways was a means to hedge the possible ramifications of the "superior" AI technology of Japan.

I went through Stanford CS when Feigenbaum was hyping away. For the hype, read his book, "The Fifth Generation". Much of the Stanford CS department was convinced that expert systems would change the world, despite having almost nothing actually working. It was pathetic. Especially the aftermath, the "AI Winter", when I once saw Feigenbaum wandering around the building amidst empty cubicles, looking lost.

Symbolics had some big technical problems. The biggest was that they didn't use a microprocessor. They had a CPU built up from smaller components. So their cost was inherently higher, their hardware was less reliable, and they didn't benefit from progress in microprocessors. Once people got LISP compilers running on Motorola 68000 UNIX workstations, LISP machines were not really needed. Franz LISP on a Sun was comparable to using a Symbolics (we had both where I worked), and the refrigerator-sized Symbolics wasn't worth the trouble. Symbolics was also noted for having a poor maintenance organization. They had to send someone out to fix your refrigerator-sized machine; you couldn't just swap boards as on workstations.

Eventually Symbolics shrank their hardware down to reasonable size, but by then, nobody cared.
If you read the link, he's clearly attacking the study of philosophy as a whole.
SourceHut proves this wrong. Every single line of code we've written is open source, since day one. There are no periodic
code dumps, no prototyping in private, no open core with paid extensions. We accept patches from the public. Our company is 100% bona-fide open source.

We've been profitable for 2 years, and our profit margin continues to grow. We published our Q3 financial report last week:

https://sourcehut.org/blog/2020-11-11-sourcehut-q3-2020-fina...

This doesn't include our part-time consulting arm, which is also 100% open source and generates similar revenue.

It's still early, and we're still small. We did not take on any outside investments, either. But the model works. You CAN make money in open source.
D'oh, I meant "trying out NewPipe".
Check out this thread:

https://news.ycombinator.com/item?id=18228740
My understanding is Amazon roughly passes through their costs on FBA. Regardless, I pointed at the cost that anyone who ships reasonable volume and does similar sorting to China Post can access.
Not sure if the game has an "anti-christian" tone, but I think in a secular society that should not be a problem, even if true.
This was certainly true in 1990 when it was published.
This is how I feel too. I have a science degree and firmly understand the logic of vaccines and I and my family are all vaccinated. However, I do NOT get flu shots, and I usually fare better yearly than those who do. Why? Because I keep my immune system functioning as optimally as possible, vegan diet, exercise, healthy living. People these days are so pro-vaxx that they think they can live completely unhealthy lifestyles, and eat whatever crappy food and processed meat are available, and then the magical biopharmaceutical alchemists will release yearly drugs to defend against the viral outbreaks. Doing so you give them power, and those people are the same people who developed napalm, agent orange, mustard gas, and every other predatory chemical that exists. So yes the black magic pharam folks can produce good miracles to save you, but they also could be the ones actually DEVELOPING bio warfare agents like the covid-19 virus, and then it's a vicious circle. All they need is for otherwise smart people to give up questioning the chemical components of the vaccines themselves, and they can develop wearables and social barriers that allow totalitarian rule. It's not binary, you can question the vaccine at any level, that's what science is about, it's not about anti-anit-vaxxing propaganda and insane dependency on predatory institutions that pretend to care about your well being.
Depends on what you consider a business model.

How big? How many people get paid? What growth curve? What emphasis on revenue maximization?

Given my answers to those questions, ardour.org is doing extremely nicely as an open source business.

Based on someone else's answers, it might be viewed as a near failure.
No you can’t if you want stereo sound: https://www.google.com/amp/s/9to5mac.com/2020/07/22/mac-soun...
And who pays when the flaws are in open source software?
> Personally, I enjoy not having to write functions like doStuff(true, true, true, false)

Yeah that's not beautiful, but most of my code is rather

doStuff(foo, bar, baz)

where foo, bar and baz are descriptive variable names.
I agree that it's hard to understand with literals, but in the rare cases you need such flags you can either have a config struct or use the builder pattern.
Also, nowadays you can set up vscode to use the rust-analyzer LSP plugin, which shows you the types as well as the parameter names. But of course that doesn't work on Github and similar places.

IDK in general, the people who want named arguments outnumber the people who don't want them, at least in threads about the question, which obviously preselects the people who want them. Maybe eventually Rust will get them, no idea. But IMO that code shows how named arguments can make code more noisy than before.

> I don't know how rust handles this but in swift, each POD struct has an implicit member wise constructor visible from the file it's defined. This is for encapsulation purposes, as its signature of course changes if you add fields to the struct.

In Rust, POD structs can be constructed iff all their members are visible through the publicity system to the code that tries to construct them. If it's in a different crate, it's also important whether there is a #[non_exhaustive] attribute on the struct declaration or not.
OK cool, will give it a shot, thanks for the recommendation!

I tested every application I could find a couple of years ago. Lots of pretty prototyping apps, but generally the end code is somehow garbled or proprietary.
Philosophy is obviously not useless for science, but continental philosophy is useless.

The main problem with philosophy of science nowadays is that not enough scientists act as philosophers.
RISC OS for RPi can do this. Not sure if RPi400 is supported just yet.
Yes, they're marketed as "industrial grade MicroSD cards" and are available via electronics component distributors like Digi-Key.

e.g.
https://www.digikey.com/en/products/detail/swissbit/SFSD032G...
It's not proof to you, but Pfizer is shipping the vaccine in boxes that monitor temperature and location and transmit it to them so they can watch it. I trust that they wouldn't allow risky doses to be used. The risk to them of something bad happening and the public losing trust in the vaccine is too great.
I think the more serious attempt at VR from that period was Sega's R360 - https://en.wikipedia.org/wiki/R360

I think VR could spark a comeback for arcades with really expensive immersion equipment and infrastructure. Maybe they will be more like The Void.
NuScale power just got approval a month or two ago, and is working on their small (50MW reactors)
You're moving the goalposts there.
I've found that the effective altruist community (and other "neo-rationalist"-adjacent communities) can be very arrogant about ethical philosophy.

Namely, they don't critically engage with alternatives to their ethical theory.
Governments do penalize non-IT security events-- first thing that comes to mind are laws that impose penalties for improper storage of a firearm. It probably depends on jurisdiction but in my Google search, "proper storage" can require the firearm to be placed in a locked container or have a tamper resistant mechanical lock.
I did use proportional fonts with REBOL, Ruby, CoffeeScript and JavaScript. Tried it with tab-indented Clojure code too.

However, 1-2 space indented code becomes just too ambiguous when rendered with proportional fonts, because the spaces are way too thin.
I wish editors would render em or en-sized spaces instead, at least for the line-leading spaces.
That way we would get the same indentation as intended with monospaced fonts, but still save horizontal space, while maintaining readability...
"Analysis points to ways engineering strategies could be reimagined to minimize delays and other unanticipated expenses."

Ah, okay, reimagined. Phew.
The difference is that it is not yet fully understood how humans work.

If you patch a machine and leave it alone, it will stay like that.

Humans age, already have or will get other kinds of diseases, have wildly varied genes, etc..

Drugs could have side effects not manifesting immediately, v2 of the same drug might have less of those side effects.
Screwed by Mercado Libre (Nasdaq MELI)
I am a seller and a buyer in Mercado Libre, I also own stock. I am one of the few vendors who still has some units. I also sell on Amazon and on shipJoy.mx, recently I had to cancel about 10 playstation orders due to poor customer service on Mercados Libre part and several issues. I contacted their CEO on Argentina (gasperin) and CEO in Mexico. None of them responded. After I canceled the orders, I recived a notice that my account was suspended, my money is frozen and they still expect me to send the orders. I have several payments charged on my credit card. They provide very poor service and was told that all is handled supposedly by Machine Leearning. A rather poor development if you ask me. I plan on going very public with the store, as I have all information and conversation from them.

Hay anyone had similar experience with them? I would never have that problem in Amazon I know. They are a pretty big company from Argentina, even listed on Nasdat, I tried to contact them but no luck. Does anyone from Hacker News have a contact that I could actually speak to from MELI, all is handled by nonsense actions on their website that they lead to no customer service agent whatsoever.

Let me know
The reason is more about capex, the financial necessity of aging out existing plants and the time it takes to shift from one dominant source of power generation to another.

It wouldn't have been possible to shift to nuclear power overnight either.

Since natgas is 100% dispatchable and is 35% of power generation in the US it's not like nuclear's 20% is really contributing that much stability to the grid right now and natgas can be gradually dialed down as solar/wind/variability tech is dialed up.
Google Chrome users still vulnerable to multiple zero-day attacks
>"I might even go so far as to say that this face mask is more guaranteed to protect me against COVID than when I take a COVID vaccine, because it may be 70%. And if I don't get an immune response, the vaccine is not going to protect me,"

This is from September before the results of the vaccines were known. The two vaccines we have data on have a ~95% protection rate from getting symptomatic COVID. Additionally, of that 5% of vaccinated folks who did get symptomatic COVID, there cases appear to be much less severe than the control group.
There are reliable choices like boards using SoMs (from NXP or NVIDIA), or even the Raspberry Pi Compute Module.

For example the Honeycomb LX2K at https://www.solid-run.com/nxp-lx2160a-family/honeycomb-works... or the NVIDIA Jetsons at https://developer.nvidia.com/embedded-computing.

Those options have the advantage of using SoMs so that you can customise the boards for a higher-volume run too.

The regular RPi on that point isn't exactly ideal, but depending on the use might be quite _okay_.
This is also true of aircraft carriers. The head of Newport News Shipbuilding and Drydock once told Congress that if they'd order two at once, instead of one at a time, he'd throw in a third carrier for free.
Maybe. But I wonder if btrfs has been tainted as 'too unreliable' at this point, whether true or not.
Most ISPs gave/give your account a small subdirectory to host it's own website like http://sites.isp.com/~username

These sites used to be scattered all over the web. No need to use other servers. wix, et al came much, much later and was never as free (as in beer and libre).

Those ISPs used to give step by step guides on how to get FP to upload your site.

The magic came when you changed ISPs and you had a different url to upload to... Suddenly your site was in two places (because ISPs then rarely removed old sites)
The part where you said “Time to void your warranty” was one of the best one-liners I’ve seen in a while. It definitely marks the point in a project where you tell yourself that you’re either committing to finishing this project or committing to wasting a lot of money.