skysight-inc/HackerNews huggingface dataset:
So alienating their last supporters and promoters will get them back in the mainstream? How will that work?

And Firefox has always had themes. Real themes. Colorways is just some coloring and it's not even staying around for these supposed mainstream users to enjoy
> the UI is not something you could recommend to a non-technical user..

+1

This is Zulip biggest downfall. I’ve participated over the past 2 years in chat.zulip.org activately advocating for better UI design, even multiple times mocking up what an improved UI would look like and there’s so much stubborness to change it frustrating.

I’ve come to the conclusion that nothing more than small tweaks will every change regarding the UI, which is unfortunate.
Vimeo also doesn't support commercial use and will slap you with a huge rate increase if your content does any real numbers.
> When I lived in the Java world, Docker solved a heap of problems because Java has so many external dependencies - you needed the JVM, all its libraries, and all sorts of configuration files for those libraries.

Lol, no you don't. You need a fat jar and you need to install the JVM on your servers (and, sure, maybe upgrade it once every three years). In the early days people actually used Java to do the same thing that docker does, by having an "application server" that you would deploy individual java apps into, before realising what a bad idea that was.

> So is Docker a solution to problems that are inevitable, or is it just a solution to problems caused by other solutions?

It's a solution to the problem that Python dependency management sucks. Unfortunately the last 6 or 7 iterations of "no, Python dependency management is good now, we've fixed it this time, honest" suggest that that's inevitable.
I tried reading it but could not understand the article (amazing, given its Quanta magazine).

But I’m fascinated by the Fibonacci series so was compelled to add some comment. Here’s a cool fact that I recently learned F_gcd(m,n) = gcd(F_m, F_n). You can use this fact to prove that every prime divides a Fibonacci number (https://math.stackexchange.com/questions/695979/does-every-p...)
Sorry but I don't plan to have kids by the age of 12.
Is there anything approximating a hard limit at the moment (AWS Aurora is at 128TB at the moment). Do you do anything with Citus or CockroachDB or normal partitioning behind the scenes?
Yemen and the treatment of Khashoggi and many others by the Saudi govt could eventually yield a case for helping their neighbors resist them. Yemen is pretty horrible. We are stuck with oil dependence for now.
Weird, my experience has been the opposite. Started using it in 2014, it was great for a few years and then started gradually going downhill in terms of performance, bugs, (desirable) feature additions, etc. I have constant problems with syncing and notification-clearing, and somehow Discord (?) got syntax highlighting for various programming languages in code blocks and Slack still doesn't have that
Helping a friend hand code a lexxer and parser for a simple markdown alternative.
> The remaining leg bone showed a clean, slanted cut that healed over

I'm very curious about what sort of tool they might have used for this. Perhaps they sawed through the bone with the serrated edge of a knapped stone blade?
I love articles like this - they're super interesting and I always learn something new.

Like, I didn't realize that there weren't honey bees in North America before they were introduced by Europeans (Note the article is a little off, it says about 10,000 BC: "There are no bees in the Americas, though, so their sweeteners are syrups from trees, agave nectar from cactus, or mashed fruits." There were plenty of bees in the Americas, just no honey bees. Other bee species produce honey, but just not in the excess amounts that allow domestication like honey bees do.)
Love this comment. And this resonates with me - I see the trajectory of my life as basically a series of completed software projects, which I enjoy building, although often also for financial gain. Much like how a professional artist will create a series of paintings throughout their life.
A few questions since this is a novel thing I haven't really heard of in the business world!

1) What tasks do the people you manage tend to do on their machines?

2) Why replace the laptops with iPads if you expected it to be disruptive for a month?
I didn't say it was worse. I said it was my favorite.
There are decent brands, but they aren't as well known. OnePlus (although they are currently forgetting what made them great), nothing (if you can actually purchase one), ASUS (they were doing some really neat stuff with the front camera).

If you seek out near-stock phones they really do exist.
Looks like a very competitive product, assuming pricing is reasonable.

It's interesting that they are rolling in the warranty cost with the monthly subscription. First time I've seen that.

It will be great for aircraft owners looking to have a full featured internet experience in flight.

Though the downside is that it will likely have priority when roaming into any cell, thus degrading service for ordinary ground based customers in busy areas.
So I have a question. FPGA development really interests me, but I really don’t know where to get started. I’ve done a bit of embedded systems work, mostly with WinCE 5 a decade or so back and some work on video slot machines, but nothing at this level. What would be a good place to start? Most of the things I have looked at seem to assume a slightly higher level of knowledge than I currently have.
NHFS – Nonhierarchical File System
It is strange it is banned, I have eaten it in the UK (when it was in EU), so I don’t know the ban is enforced much.
Fun use case:

My 12.9” eventually had like 30 min battery life and I refuse to spend so much on a legit battery replacement.

Instead I mounted it on the side of our refrigerator to be always plugged in.

Our kids use it with friends to look at family pictures, play multiplayer arcade games, stream music, etc.

It became kind of a mini home console for them (it is mounted lower for their height).

It might be a good model for internet browsing as well, and texting, since it forces open communication as they wean into entering the dangerous internet (for some, it can be as dangerous as learning to drive…)
Docker is an interesting thing. I really love what I'm able to do with it. But I despise when people make it a necessary component of the development environment.
At the end of the day we’re all just hitting rocks against something and trying to make it do something.

Sometimes hitting rocks or making things is considered a craft or a hobby, like a blacksmith swinging their hammer against the hot iron. Each impact forging the steel into your desired shape.

Hammers or rocks are just tools like any other craftsman or hobbyist uses in their work.

Pens and keyboards don’t make great hammers, but you don’t always have the best tools for the job. We all
know how it gets. When you get in a pinch and something is laying there that fits the puzzle. So if it looks like it will work you gotta pick it up and swing.

Pottery and poetry are hobbies, should world domination be any different?
Happy to provide my perspective. Of course I acknowledge that you are certainly right that some types of work can be fully remote or even benefit from it. After all, there's always been types of work with clear requirements that can be shopped out or contracted.

Anyone who claims that everything can be work from home or everything must be in office is missing the big picture.
Makes you wonder if Wikipedia could be set for an interactive animation overhaul.
I'm working on improving the https://UnifiedPush.org explainer with more fancy CSS animations this weekend. Also improving the ntfy integration in matrix-docker-ansible-deploy (an ansible playbook to easily host a Matrix server).
> Revision 2.0 Version 1.3 and Revision 3.1 Version 1.6

WTF?
It ran out the front of the hill, 10 yards from the house.

This is key. Your house is not "a mere 20 feet below the ground" as thread parent suggested, it's in the side of a hill. This works fine if done correctly, and lots of builders have the experience to do that. It would be difficult to find anyone experienced at the construction of living spaces below 20 feet of soil. Those who do so as amateurs, like that criminal Beckwitt, generally have poor results.
5MPH makes a dramatic difference in stopping distance so that alone is going to make a car noticeably safer.

However, safety isn’t the only thing people care about or it would be illegal to sell cars with the downright ludicrous top speeds currently available.
I looked a the page. I read through the statement. I looked for a link. I found only a superficial tiny one to his personal page that frankly looks amazingly bad in a good way. The first thought that went through my brain was "what are you trying to sell me?" I may have put an expletive or two in there. I have become jaded and cynical because there are so few genuine people who are building stuff for fun. Or so it seems. Perhaps the echo chamber is skewing my perception.

I love building stuff just for fun.

I built a stop watch desktop application the other week.

Because I could.

It doesn't do much, but it is my stop watch application that works precisely how I want my stop watch application to work. It starts, it stops, it counts laps, it has big buttons that work on a touch screen, it fills the entire screen when launched, it records daily logs in a JSON file and reloads the logs when the application starts up, it uses computer vision from the door camera to detect when I leave the house, alone, with the wife, with the dog, with the wife and the dog, it looks at my shoes, it figures out if I am "walking laps" based on whether I walked past the front door camera several times and a heuristic that figures out "that's about the right number of seconds of what a lap takes to do" and it counts those laps up automatically, it doesn't require a server, it isn't in the cloud, it doesn't collect analytics, and it doesn't need lots of permissions.

I built it "just for fun."

I am currently building a task list device & application. It's got buttons, and digital displays, and a retro-cool look.

And it is "just for fun."

When people ask me "why are you building this?" really they're saying "why are you showing me? why should I care? I don't like it. this doesn't seem like a productive pursuit."

To put this in the words of Dr Frankenfurter, "I didn't make him, for you."
How is it possible to delete a file once and for a with NHFS?

Seems like a bit of anti-pattern.
Procreate is great, but it really doesn't solve the same problems as Illustrator at all. Apples and oranges.
That answer is given unironically too often in my circle. "Changing the world" is a cliche among the VC crowd, "pussy and money" is a cliche in the business world.
I used to.

For about 6 months iMovie had this crazy bug on my iPad pro that made it extremely laggy.

The software side of iOS is definitely suffering lately, and somethings on the ipad have felt like a downgrade.
Symphony, for compliance reasons.
It would more be USB 4.1 not 5.0 as it's mostly the same as USB 4.0.

I think the reason why they went with 4 v2 is because they redefined some terminology. E.g. "USB 3.2 Gen2x2" / "USB SuperSpeed 20Gbps" is now "USB 20Gbps". But not sure.
Not sure what you mean by "deterministically", but most models are deterministic during inference: given the same input or prompt, they'll generate the same output.
> whatever the fuck I want to

I'm definitely using this response from now on when people ask me what I do. That's fucking gold
The new name is "usb 80gbps". That's better than usb5.
I really liked the native --watch function, for testing a quick script It's nice to not install something like nodemon for a quick demo in presentation, I hope arrives to the LTS version soon.
I always say I only found unconditional love once I became a parent. (From me toward my child)

As you say, the commitment is forever, whether we are present or not. For the movie Interstellar, one of the themes Nolan developed was that at some point we become our children’s memories. It probably happens around the 12 year old mark.

For all parents out there, be present, however you can.
I felt exactly the same way. Very, very hard until the kids are in school full time. But still hard until they are teenagers.

I'm finding the teenage years to be much more pleasant. Getting some payback for all the time invested. I know it's still a long way away for you.
I think it is unless that number reflects the costs without profit to have those satellites function. There is no reason the government should be helping Musk profit at this point. If they simply want to reimburse the costs minus profit then fine by me.
Looking forward to USB4.1-C 2.0 4x4 Revision 1.1
i wish iphone had such apps and such apps didn't require vpn etc.
White on white is what chrome uses so they think that's fashionable.

They don't understand people love Firefox because it's not Chrome. Not because it's not Chrome enough.
eBPF has landed in a lot of monitoring/observability use cases. Microsoft has worked on porting eBPF to Windows. I speculate this "undetectable" backdoor problem may be solved with that combination.
It will be useful until everyone is on 6 GHz…
Sure if you take one extremely high yield mine in canada and compare it to 10 year old PV that uses 20x as much resources.

Let's try a mine that is more like the majority of world uranium reserves

https://minedocs.com/20/Inkai_Operation_TR_12312016.pdf

Produces about 3600t/yr and can keep that up over 30 years (it will be devistated for much longer than this).

Covers an area of 500km^2

Natural Uranium is about 100GJ/m^2 after you discard 90% of it via enrichment.

We get 10m^2/W and this is increasing as high yield mines are consumed.

I've no idea how you get to 19m^2/MWh for PV solar. That's an energy density of 6W/m^2

If you're using mining you can't get there from 0.3m^2 for nuclear because it uses less than 3x the silver and less than double then copper per net energy compared to the generator and control rods. Unless you're somehow claiming sand mining consumes 2m^2 per kg?

If you take the difference between rooftop and utility, That's 16m^2 per MWh or a coverage density of 50% with a capacity factor around 7%
Please be specific about which of the comments were wrong. The covid shutdowns have clearly significantly impacted China's economy. There's no doubt. They failed to aggressively inoculate their country, which is under their control. Other countries had low covid deaths, China is not the only one. Poor choices, irrationally sticking with that policy is not a great sign.
finally, now I wish they stop shipping us bloats and unnecessary services.
Costs minus profit though. He should not be profiting off money he receives from the government. Otherwise the next "Hitler" could literally argue the government owes him or her money for helping with population control.
At least your kids won't be eaten by lions (probably).
I think there's a third reason, which is insecurity. "Why is it that you find coding so fun". "Why can you spend all your free time coding when I can't muster 20 minutes without getting bored". etc..

I have this sometimes. It feels like if only I loved to code all the time I'd be much better at my job and be more respected / better paid / higher titled etc..

Truth is it's ok to not love coding and not want to do it on the side. It's also ok to love to code and do it 24/7. We need to be empathetic with our own selves and our own passions/interests :)
Yep. Same.

But let's not complain any more. Apparently that is faux pas
Dupe: https://news.ycombinator.com/item?id=33255469
I feel like people have the good sense not to have loud conversations on flights. But if the option _is there_ and folks are expected to now join video calls from the sky, etiquette and sense might take a back seat.
Viasat Global Unlimited is $14,000/mo. I'm sure Starlink will be better in some way, but it's almost double...
I really hate those. Whatever they do with the juice to preserve it makes me physically sick.

I hope God doesn’t mind me using decaf coffee and a sugar packet instead.
Sorry, you're right. I feel bad.

You wouldn't be able to claim independent creation though by reproducing a work with Copilot.
Pretty sure they meant how much viasat charges.
> I don't have access to statistics to qualify whether or not this is the case and contribute to making it harder to evaluate by turning off telemetry and never using Google ads, so I can't exactly complain.

Yes you can complain. They should be well aware that their remaining userbase is very averse to telemetry.

If anything the companies going all-in on telemetry and A-B testing are making ever worse products. Like Microsoft with their Teams that gets slower and more confusing every month.

> And if this is a quicker way to grow adoption then it's a good thing in the long term.

What growth? I only see a decline. All they succeed at is alienating the users that were still using it. Not gaining new ones.
You end up building an ad-hoc, informally specified, slow implementation of half of a regular development environment "inside" your system. These "closed world" systems can do some amazing things, but it's very rarely enough to make up for not being able to work with standard tools from outside the ecosystem.
When I look at the ratio between engineers and product managers, it seems they are skeptical about the role.
I've been waiting to flex doing my Zoom calls from my G6
> It means that φ is true in every model of Γ.[0]

> (Definition 1.9.1)

That is not a definition of ⊨, that is a definition of logical implicature. Not the same thing.

The ⊨ symbol is defined in definition 1.7.4, and it is used in a different sense than we are using it here. The left-hand argument to the ⊨ operator in that book is a model (an "L-structure" using the book's terminology), not a theory. But Γ is a theory. So writing Γ ⊨ φ is fundamentally incompatible with the definition of ⊨ given in that book.

And our disagreement turns on this, at least in part, because one of the consequences of the incompleteness theorem is that there are models of PA (or RA or whatever your favorite axiomization of arithmetic happens to be) where G is true, and there are models where G is false.

> That is not true for first-order logic. In first order logic Γ ⊨ φ → Γ ⊢ φ is always true.

Only if you restrict what you mean by "first-order logic". Under some definition it is manifestly not true: any (first order) theory that includes arithmetic is incomplete.

> first-order logic is really the most commonly used type of logic and plenty sufficient for almost all of mathematics

Yes, and when you include arithmetic (or any of the other variants on that theme) it becomes incomplete.
The article is specifically about card-skimming of EBT cards ("food stamps"), which are effected by card skimming particularly because they basically never have "chips", and also because it's basically possible to get reimbursed for fraudulent charges.

So it's a specific story about EBT cards, which, by definition, are basically given to "those most in need", and how users of such are hit especially hard. It's not just about card-skimming in general, or about something "obvious on it's face".

But the headline could have mentioned EBT cards instead of "those most in need", and perhaps krebs used the "most in need" phrase to get attention, sure.
The DoD did not decide to “go public” on UAP. The guy running the UAP program for the pentagon went rogue after he was denied a meeting with Secretary Mattis to discuss the national security implications of UAP in our airspace.
Catholic commenter is probably alluding to transubstantiation, the metaphysical transformation of bread and wine into Christ's body and blood, and asking whether that's also an Anglican thing. That's my interpretation.
The comparison with a poet (or a musician) is most apt. It was made in 1975; since then, it has only become much more apt. Also, software engineering is the closest thing to magic which you can do unironically and non-delusionally.

As for being a hacker: blessed are those who have free time. (And mostly younger.)
This is much worse
Stored procedures are very poorly controlled in my experience, and tend to work on a YOLO deployment model, even at e.g. big financial institutions.
That was an interesting idea about TSMC's influence. But the fact that there should be two separate Chinas has only become more clear each year to me, with Taiwan's increasingly democratic and successful democracy (and China's every more authoritarian and dangerous behavior). I've thought that for 30 years should be the policy, and I'm just an average US person.
> The idea behind NHFS is to enhance usability of the file system for basic file management tasks by allowing the same document to be categorized multiple times, without using impractical band-aid solutions, such as symbolic links.

1. How are symbolic links impractical?

2. You can already do what the OP says above right now without any FUSE nonsense. It's called a hard link. Hard links have been around for ages. It's just that people don't like using them liberally like the OP describes.

This just feels like a bad idea to me. If I want to delete the file permanently, I can use the symbolic links to it to figure out where it "really" is and delete it there. Unless the OP thinks that deleting it one place should delete it everywhere, which behavior would be difficult to place permissions around, especially in a Unix context (but definitely in a Windows context, where permissions can be inherited from parent folders). With hard links, deleting all links are required.

I don't really see a use case for this. I just see it complicating file system management.
>California residency regulations treat W-2 work carried on in-state as California-source income. It doesn’t matter if the work is performed for a non-California business. So it’s fair to say that if the FTB audited a nonresident and found he was working remotely for an out-of-state enterprise while on vacation, the FTB would assess income taxes (though California doesn’t have a robust method for auditing this; it usually comes up, if at all, after a residency audit is already initiated for other reasons).

This is what worries me, say they start checking Air BnB contracts and start auditing vacationers.

https://www.palmspringstaxandtrustlawyers.com/working-vacati...

Thanks for the input.
My mom works in a middle school with a newly hired "severe behavior class" teacher who is woefully under-qualified. Because the new teacher is unable to adequately do her job, several administrators and other teachers routinely have to spend their extra time pitching in to take case-load from this teacher or chase kids around the school when she can't handle them. It's absolutely bonkers.

If anything, hiring inept people will make the qualified folks want to stick around less. This has the opportunity to be bad-upon-bad! Yay!
Perhaps they are directed at those who want low latency and higher bandwidth? Seems like a pretty obvious advantage to existing solutions.
Plus I'm not certain if the batteries you'd need to run it are small enough to count as carry-on. I wonder if they include some suction cups to keep the transciever flat against the window.
I mean, this guy uses every trick in the book to generate views, so I'm not surprised he's using this psychological device to drive views.

Card skimming devices affect the least secure cards; advocate for more secure cards (chipped cards).

Thieves aren't thinking, huh, there's some poor people, let's gittem! They're going for insecure cards.
Hi, USB committee member here. I hear your concern and I’m officially launching the USB4 v2.0 naming schema v0.5b task force to analyze the naming schema. Thank you for your concern.
Hold spacebar on android and drag lefg/right lets you cursor scroll really easily.