skysight-inc/HackerNews huggingface dataset:
I would argue that Android is safer, specifically from 0days.

Anyone with Android 6.0 or later (a 2015 OS) gets Chrome updates. Those updates are fast, automatic, and transparently happen in the background, with no user input or downtime (e.g. need to restart). They're also not arbitrarily delayed to fit into with some rigid OS update release schedule, like iOS or macOS.

That's especially important in this era where people are skeptical of updates, or just too busy, and keep delaying and skipping updates. Every time I use a family member's device, and check the version, I see they haven't updated in months. Many aren't even aware there are updates available.

I told the story before, but my grandma only has 4G, no Wi-Fi, and only has an iPhone, no laptop to download IPSWs from (and obviously average users can't do that); therefore she only gets iOS updates when I visit once or twice a year. Is Apple happy with that? Provocatively: is that the best they can do? Google proves it's not.

Sure, the Android OS update situation isn't great, but your biggest 0day exposures will be apps exposed to the internet (Chrome, chat apps) and those all get regular, transparent background updates with no user input; and Android users are much safer for it, than they'd be if Google imitated Apple's OS update strategy.

This is an Apple-wide problem, not just iOS. Anyone with OS X El Capitan 10.11 or later (again, a 2015 OS) is running the latest Google Chrome. Yet their Safari version is riddled with catastrophic 0day bugs (which can now be called 1,314-day bugs, since there have been 1,314 days since the last El Capitan security update).

Add to that the fact that Apple doesn't really support "n-2" OSes with security updates, as tech people say, since their unstated policy seems to be that only bugs which Apple thinks are "exploited in the wild" will be backported to any OS that isn't the very latest; most (not all) other known security patches are never backported.[0]

Apple's security stance is much worse than Microsoft's or Google's when comparing Apples to Apples.

[0]: https://www.intego.com/mac-security-blog/apples-poor-patchin...
I don't know what you're referring to, but if there are accounts breaking the HN guidelines the way you were doing, which we haven't banned yet, I'd like to know which ones they are.

Everyone thinks that we're secretly siding with their opponents when we do this kind of moderation (https://hn.algolia.com/?dateRange=all&page=0&prefix=true&sor...), but that feeling is not based in fact. It's just an inversion of your own sympathies. The other side thinks we're ruining the site by secretly siding with you.
>What happens to all of Anja's clients if the business exits?

>All biological goods stored with Anja will stay in our New Jersey lab regardless

>of what happens to Anja as a business. Client relationship management and

>connection will be securely transferred to a responsible, experienced party if

>necessary.

Another comment asked this and other questions but this one was not answered other than 'there is insurance'.

How does this work? Will customers lose their existing 20 years they paid for and have to pay the new party all over again? How is Anja incentivized to find a good party to transfer to at the time of business failure? How is the funds for the lab guaranteed after Anja goes out of business?

Cryonics organizations have solved this problem with a non-profit structure, but I'm really curious how it is handled in this for-profit case.
Microsoft's internal civil war over the presentation layer has been going on for what seems like a decade and pretty much has only managed to destroy Microsoft as purveyor of visualization rather than find a winner internally.
https://github.com/emacs-tw/awesome-emacs#starter-kit
Yes, but where would water come from? What you are describing is regular pumped-hydro storage. It uses two reservoirs with different elevations. It works well when there are two naturally occurring reservoirs with elevation differences. You are suggesting to create low-elevation reservoir artificially by digging a hole. It would be very expensive because hole would need to be either very deep or very large.
that looks pretty
Plex + Tidal = A Nice Match
I loved that game as well .. .such an interesting mix of FPS & RTS. Looks like a remastered version was released on Steam: https://store.steampowered.com/app/624970/Battlezone_Combat_...
I think it’s a symptom of a larger problem. Teachers can’t not pass students, and so people make it to (and through) college without knowing the material from the classes they passed.

The only thing special about math here is that this is especially transparent.
I'm on some slacks that are pretty good for specific topics (mostly tech, though). Am on some mailing lists that are okay (some tech, some plants).

My SO spends a lot of time on FB groups that are focused on her niche, so I'd look there.

If you want live discussion/to meet real people, I haven't found anything as effective as meetup.com.
In other news, scientific papers have failed to use 6% of the possible TLAs.
The sections on laziness and being carefree imply the opposite. There is more than one quote talking about joy rather than drudgery or pain.

“I was doing what I wanted to do, and there was absolutely no thought of a career. I was just having a marvelous time.” and “It might seem unfair, however, to reward a person for having so much pleasure, over the years, asking the maize to solve specific problems and then watching its response.” — Abigail Lipson on Barbara McClintock

“There are all kinds of interesting questions that come from a knowledge of science, which only adds to the excitement and mystery and awe of a flower” and “Study hard what interests you the most in the most undisciplined, irreverent and original manner possible” and “Now that I am burned out and I’ll never accomplish anything, I’ve got this nice position at the university teaching classes which I rather enjoy, and just like I read the Arabian Nights for pleasure, I’m going to play with physics, whenever I want to, without worrying about any importance whatsoever.” - Richard Feynman

“I am among those who think that science has great beauty. A scientist in his laboratory is not only a technician: he is also a child placed before natural phenomena which impress him like a fairy tale.” — Marie Curie

“The fifth virtue that a scientist must cultivate is an appreciation for beauty. There are practical reasons to do science, but in the moment, great research is done just to do something because it’s beautiful and exemplifies enjoying that beauty. This eye for beauty is not optional! It is, like all the scientific virtues, essential for doing any kind of original research. The scientist does not study nature because it is useful; he studies it because it pleases him, and it pleases him because it is beautiful. Were nature not beautiful, it would not be worth knowing, life would not be worth living.” — Henri Poincaré
After the letdowns that are Raised by Wolves and the Alien prequels; I’ll pass on a Ridley Scott series, til I hear otherwise.
Aren't you conflating black holes with singularities, here?

Questions about singularities, I would assume, are inherently non-scientific in the sense that it would be impossible to ever come up with testable predictions about their behaviour. However, black holes, as 'a region of spacetime where gravity is so strong that nothing — no particles or even electromagnetic radiation such as light — can escape from it' (definition ripped from Wikipedia), seem like a testable concept with some evidence for their existence.
Any of those friends within a few miles that want to make their 1-gig internet bill $0/month in exchange for a link/mount on (their existing?) TV tower?

Ubiquiti gear can get you an airfibre 1-gig+ link for $1k-$3k: https://store.ui.com/collections/operator-airfiber (+ tower costs of course)

Or less for the "consumer grade" stuff: https://store.ui.com/collections/operator-airmax-devices

From there, you can distribute your network. Backyard to backyard is easy. Across municipal rights-of-way is more complicated with physical cabling.
How would one go about generating such a thing from an existing object lacking schematics?

Edit: …in an automated fashion. For example, is there an app where I can put an object on a turn-table, point my phone at it, and give it a spin? (Clearly that would work only for certain shapes.)
I hear you. The problem is that every day there are many exceptional situations making many people's blood boil. If they're all going to post like that, the site will just be all blood-boiling.
> As mentioned in our “Take a look inside Steam Deck” video, you have every right to open up your Steam Deck and do what you want with it.

The fact that they wrote this into the readme, even though strictly speaking it's unrelated to the outside topology, makes me wanna work for valve.

They're seriously one of only a few tech companies I really admire, and that's despite the fact that I don't have much inclination towards gaming.
> the university presentation of it was done without any motivation. It took a useful and easy subject of math and made it hard.

Amen!

I like the way you have worded this. In particular for first-year math courses, they are super useful and should be seen as "basic science literacy" and much more people should have access to this knowledge (not just people who take 3-4 years of courses in a STEM major). I've been working on products to make this happen. Links in profile.

The "basic science literacy" I can see everyone benefitting from (in particular devs): (1) math modelling skills from high school math functions, (2) vectors because EVERYTHING, (3) PHYS101 (mechanics) for the predictions-using-models skills, (4) CALC for understanding concepts of rates of change and accumulations, (5) PROB because important building blocks for modelling data, and (6) STATS so you learn how to infer model parameters from data.

It's not a coincidence the above list of 6 are part of most UGRAD degrees (either in first or second year). These are the basic tools that everyone benefits form knowing. I am really enjoying the "unbundling" that is happening of the basic science literacy teaching and the credentialism.
I would interested if grant proposals which do _not_ get funded, show less of language homogenization than ones that do. Although, it still wouldn't tell you if the idea space is being constricted; that seems like a much more difficult thing to measure. It could just be the equivalent of everyone at court speaking the way the king does, because he's the king. Winning grants probably get read, and imitated, more than other grant proposals that don't get funded. Which might also happen with ideas, but I'm not convinced that is what is measured here.
Though special relativity was coming no matter what, I don't think we would have had general relativity without Einstein for at least another couple decades, likely longer. We would have had it without Hilbert. Hilbert got the key insights from Einstein, but he did a lot of the necessary work on the math, important work but work other mathematicians could have done. That's the difference.
The problem is that if you end up without experience or just have working at Starbucks through your degree:

1. You failed to get into a good university that viewed you as more than few paying cattle.

2. You failed to be worth anymore than a typical minimum wage worker in your part time work (lots of interesting research jobs and jobs through industry connections on campus for those who make a mark). You didn’t get any of those.

3. You failed to impress anyone in your time at university who might give you an internship. A prof. A visiting speaker. An alumnus with a company.

4. You failed repeatedly to get an internship (plenty of them pay, but are just harder to get than unpaid ones) when most of your cohort did.

5. After graduation, either nobody you met in school referred you or you failed those interviews.

In 4 years, nobody thought you were any good. That’s a pretty damning judgement.
For Australia's national fibre rollout, from about 8 years ago, back-of-the-envelope costs for running fibre were something like AUD 20 / metre to run aerial lines between existing poles, around AUD 100 / metre for new trenching, and perhaps AUD 30 / metre for installing fibre into existing underground duct with enough free capacity in an existing trench. That wont directly translate into costs in the US, I believe Australia's cost of labour is relatively high. I don't believe the costs would be dramatically different for installing different kinds of wired comms connections other than fibre, most of the cost would be labour & moving earth out of the way, etc. Some of those per-meter cost estimates may implicitly assume that you're constructing new fibre network at scale with a multi-billion dollar construction budget.

So $7100 might be plausible for the up-front cost of running new line 800m or so aerially along existing poles just to connect your house. Another potential issue could be if the telco is able to cheaply get access to reuse existing poles.

If the new line would pass a number of premises who could potentially also become new subscribers, then clearly the telco could amortise the construction cost across a number of new potential or actual subscribers rather than trying to lump you with the whole thing. But I don't have any tips about how to negotiate (unless you can convince a bunch of your neighbours to go in with you as potential new subscribers and collectively try to reach a bargain).
EdgeQL looks really nice. I do think this will be somewhat hard to sell because at small scales SQL and basic ORMs mostly work and have less lock-in. At large scales folks also want a lot more operational features like scaling out, control of the underlying schema for performance reasons, relaxing some constraints for horizontal sharding, and so on.

I think EdgeQL (and the data model) has potential for being a lot more than accessing the database. For example, you could have a distributed system use this data model across various typically replicated data stores - include all caches and "materialized views" of various kinds. Extend EdgeQL to define various caches and computed values from the core schema. Then you could use it to represent querying the same data but with different freshness. Now this becomes a compelling idea. Essentially it gives you a well defined way to declare and manage various computed values, laggy caches without having to manually implement all that coordination.
Right. Sometimes we are forced to go outside of our comfort zone. A software engineer might not care much about insurance actuary, bank money transfer, railroad signal rules, or econ supply/demand curves. But when the job calls for creating programs to do those areas, he better learns those fast, on the fly. That class taught an important reality of software development. You have to be willing to learn something you're not familiar to get the job done, and how well you understand the problem domain directly affects how well the program is developed.

So the class was not tailored for the econ major, but at the college level, students need to learn that no one is going to hand a solution on a silver platter for your problem.
> The problem is an ethical one

No, it's a reputational problem now. Musk and Tesla have pointlessly backed themselves into an anti-lidar corner. They're going to look foolish when they finally do add lidar to the cars.

Lidar costs are reducing and it is making its way into more production cars:

https://www.bloomberg.com/news/articles/2022-02-08/elon-musk...
I'm lamenting that the forum can't self-regulate without it. It's a necessary evil, the same way that some medicines are toxic but one takes them anyway because the illness is worse without them.

https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...
2020 nobel prize in physics related to black holes https://www.nobelprize.org/prizes/physics/2020/summary/
We do have a lot more Einstein level discoveries than most people may realize. If anything, we have so many discoveries that it's hard to single one out for special consideration. The big difference between now and then I'd argue is that progress is much more incremental today so that it never seems like you just wake up and there's one major breakthrough that comes out of nowhere. Instead we're constantly being exposed to small improvements that add up to significant advances over a 15-20 year period.
I totally acknowledge that. They're not designed to stop electronic stalking at all costs; I can't really find a way to do that without extremely authoritarian measures.

I don't even think you have to go to China. Any sufficiently motivated person can strap a GPS hat on a Raspberry Pi and make their own tracker, or do the same out of pedestrian electronic parts.

My goal is merely to try to drastically cut down on the more casual "I'd pay $20 to track my wife/SO/friend/whatever" style stalking that AirTags and the like enable, as well as giving victims an easier recourse in the event that a more knowledgeable or motivated adversary targets them. Tracking someone without their knowledge would give a restraining order, and tracking them after that would violate the restraining order which is a crime in all states afaik, and a felony in some of them. It won't outright stop people, but it at least gives victims some teeth to fight back with.
Very cool. I noticed you are writing your own client libraries? Curious if you've tried using the Phoenix client libraries? LiveViewJS uses the same libraries as a Phoenix LiveView app on the front-end.

I'll join your discord and we can chat more...
dewdney is a genious, loved reading "The Armchair Universe", " The New Turing Omnibus" while i was in high school, i still go back to re-read, to see his unique fun way of exposition on CS theory
> You can't ban something because it contains a person of a given nationality,

You can, even if you shouldn't, but that's not what is going on here.

Blocking commercial acts that financially benefit an individual who was a member of an armed group while that armed group engaged in a war with your country, or a friendly one, or (in your countries estimation) terrorist acts against a civilian population is both not inherently racist and absolutely routine for countries to do.
Its unfortunate that ATL is such a generic name. The actual code to which you meant to link is here:

https://github.com/ChezJrk/verified-scheduling

OTOH, a Coq-like DSL written in python would be exciting!
State universities kind of do have this responsibility. My school is doing more or less this, restructuring some of the math sequences that have a high failure rate, like precalc/calc 1.

Also state universities are where most of the public school teachers and administrators trained, so they probably deserve a little of the blame for the state of public schools.
I have a lot of coworkers who are bigger self-starters than I am despite growing up with far more type-A parents than I did. Even to the point of there being stereotypes about the people who can't relax cause their parents drove them so hard for some Asian immigrant groups.

So I think a claim that "controlling parents" -> "adrift young adults" would be hard to support.

Kids need to learn from mistakes, but if not monitored, you can hit the opposite end where the lesson isn't learned because there are no real consequences. For instance, goofing off in high school won't give you consequences until you graduate high school at the earliest, and possibly not until you graduate collect (still goofing off) and suddenly hit a wall in terms of what you can get employment-wise.
Sounds like it would fit right in at a King of the Hill CTF challenge.
I don't see how this IPA thing will affect anyone using an ad blocker.

Probably, just relax.
Effective Java [0] is the single most important book I can recommend for any Java programmer. This article [1] gives an overview of some of the primitives you can use for writing functional Java. Lombok [2] is a very common library that makes writing functional Java much more ergonomic with its `@Value` annotation, but that might not be needed anymore with Java 14's Record types [3].

The book Clean Code [4] helped me a lot to really learn how to write clean Java, and many of these ideas directly translate into writing good functional code. One of the key takeaways was just how small functions should be which incidentally is a great thing to learn when functions are your main unit of composition.

Java isn't a purely functional language, so you obviously will always have some impurity regarding state/mutation. I personally try to do the following:
1. Keep all state in some top-level class and let everything else be immutable
2. Nearly every class I write is immutable
3. Follow common OOP principles like SOLID
4. Write reactive code with heavy use of Optional and Streams

Here's [5] an example repo of board game written using those ideas.

[0] https://www.oreilly.com/library/view/effective-java/97801346...
[1] https://www.baeldung.com/java-functional-programming
[2] https://projectlombok.org/
[3] https://www.baeldung.com/java-record-keyword
[4] https://smile.amazon.com/Clean-Code-Handbook-Software-Crafts...
[5] https://github.com/harding-capstone/logic
> The difference is that you mix your code and package management.

To an extent, Go does the same thing, even though the modules slightly changed that.
Factorio was pretty directly inspired by modded Minecraft in the buildcraft/industrialcraft era.

One of the first public posts about it was on the industrial craft forums: https://forum.industrial-craft.net/thread/8845-factorio/?pos...
The machine learning data also would be more valuable if it came with depth data. They could always produce future products which are camera only if their models would be good enough. It is probably just a means to get extra funding without having to spend much more on hardware.
> I don’t think this work of Minkowski’s that you mention is directly relevant, but, even if it’s part of the mathematical background, Minkowski is not part of that particular story.

Probably you are right, but... maybe its just me, but this coincidence seems too much of a coincidence. I can't resist hypothesizing, would it be possible to Minkowski somehow influence Einstein, maybe indirectly. For example, Minkowski was interested in curved spaces, it is possible that he somehow implanted his ideas into Einstein's mind, isn't it? Not consciously, but as it happens with teachers passionate with their subject by bringing his favorite topic in his lectures for any reason or even without any reason.

> But it wasn’t Einstein’s point of view, and for years Einstein remarked that he didn’t see the point—it seemed needlessly formal and academic to him. But he sort of came around later.

This fact also can be incorporated into my hypothesis, though with an additional assumption: teenager Einstein was exhausted by his teacher's constant remarks about curved spaces, and was conditioned to roll his eyes hearing about curved spaces. So he naturally continued to roll his eyes at curved space-time.

Yeah, it is just a hypothesis, a wild guess, and even if it was true, it wouldn't mean that Minkowski was a collaborator, but what a fun story it may be. A story about a passionate teacher shaping a mind of genius into a curved space despite all lack of mutual enthusiasm.

On a more serious note, I can remark, that this hypothesis consistent with all I know about a human mind. Einstein might have a mental model for a curved space, and his mind might have used this model to propose new thought experiments, but Einstein disliked the very idea to the point of not noticing how his mind relies on it, and he worked hard consciously to find another model to rely on. Moreover there are psychological theories stating that a mind must have at least two different models/representations of a problem domain to deal with it successfully, so this hypothetical inner conflict might benefited Einstein's genius by urging him to construct his second mental representation of gravity.