skysight-inc/HackerNews huggingface dataset:
I have my popcorn ready to watch the appeals process and policy discussions this should engender. I expect that much of the ruling will be struck down, but cannot help but think that the state-caused-danger has legs.

Ultimately, my guess is that a superior court will set the judgement aside while upholding some elements as correct, then direct the city and county to address those specific elements deemed to have merit.

The end result would be legislative change in the context of elements deemed valid.

Or perhaps I am overly optimistic....
This article mostly discusses grade inflation in high schools but I'd say it's probably much more rampant in universities.

Your prospects of getting rehired as a lecturer or TA is highly dependent on your student reviews. Even if you did a great job teaching, you will always have salty students writing bad reviews complaining about their low grades. Eventually, you just give up and start giving 100s to everyone that sends you a email complaining about anything.
Perhaps a "ring logger" approach could be useful. Append the more useful bits of what would normally go into the stack frame but without the allocation overhead. Seems like a few memcpy's and modulo operations wouldn't hurt the code gen too much.
Are you claiming the government of Los Angeles has not discriminated on the basis of race?
These are the kinds of articles that show why Facebook has different problems to almost every other tech company. The complexity of these kinds of solutions is mind-boggling.

Just imagine if all that ingenuity was focused on solving humanity’s problems, instead of sharing conspiracy theories and advertising.
You may be interested to hear that those limits in the House of Representatives are actually entirely artificial because of a measure passed in 1929 (https://en.wikipedia.org/wiki/Wyoming_Rule), and that there's an ongoing effort to increase the number so that each more closely reflects their constituents (https://twitter.com/uncapthehouse).
Goof-Ups That Can Derail Your Design Sprint
I’m happy. It’s not really a big deal to me if my uploaded content is removed and I think the service that Spotify provides is worth more than what I pay for it.
A Flying Demo of ACL2 (2000)
The problem with product is that they care about individual features and not features in general.

This leads to an inability to see the overlap across product distinct features that all seem largely the same from a platform perspective.

The goal for platform is to take the overlap and push it down the stack, behind an API - hiding the subset of complexity that product does not need to be exposed to.

Platform gets to hide the dragons, and product gets an API that allows for features to be implemented quickly and cleanly (it also provides improved constraints from a testing perspective).

However, when there's a feature that cannot be implemented against the constraints and features currently imposed and available, things slow down - until platform figures out what new abstractions should be presented to allow for the new feature to be implemented.

It does not matter overly if platforms initial implementation is well implemented or hacked into place - fix it later, but try to do a good job on the abstractions (this will allow for product to cleanly implement the new feature and for the platform side technical debt to be handled later on, without major impact to product).
SF always had a "skid row" area that was mostly alcoholics, but it was a fraction of the size it is now (it was basically a block or two). Now we have an entire neighborhood besieged with people openly using drugs, needles in their arms, smoking fentanyl with anything they can get their hands on.

Alcohol and "legal drugs" are not the problem.
Yes. Single Family Home.

Last summer NorCal had some nasty heatwaves come through, with lots of "red flag" warnings. High winds, high heats. We had multiple days of 110F+. On those days we used more than 55kwh/day.

That being said, the game with solar is that of averages. Right now we're making a lot and exporting a lot. When the summer heats up, we'll be making even more power, but not exporting as much. In winter time we generally need more from the grid than we make.

Hopefully at the end of the year, we'll be near zero net.
Your complaints regarding Veritas hardly compare to the wrongdoings of the New York Times. Just recently you had the NYT reporting that Trump supporters had murdered a police officer with a fire extinguisher, then retracting that story and claiming he died from exposure to bear spray only for the truth to finally come out that he had died from natural causes the day after the alleged murder.

As for edited videos complaint all media outlets take this approach, with Vertias being one of the few to release their videos in unedited form.
You know, creating visibility around your project, like a blog, vlog or stream, can help you staying interested.
At least here, the video quality is not good on FB. I have 120 mbit/sec connection, youtube plays good quality 4k just fine. I don’t think I ever saw 1080p served by facebook, both resolution and bitrate are very low.
Don't worry, Silicon Valley has already bought Tidal in the meantime.
Rural and semi-rural BC have fibre whereas most of Vancouver doesn't; it's a quirk of circumstance, really. They replaced rural copper lines with fibre and just went fibre to the door, whereas urban copper is resilient and competes with cable internet; and it's expensive to run fibre into appartment buildings after they've been built. Access availability in remote areas was mandated by the CRTC.

I lived outside of Nanaimo and we had cable internet in 1996, before Quake was released! Much of the mainland didn't get cable until a little while later.
Thanks.

"For the water droplets of 1 micron and 4 mm, the capillary pressures are of the order of 10e5 Pa and 10² Pa, respectively (σ=0.072 N/m for water)."[∆]

Atmospheric pressure is approximately 10e5 Pa at ground level. Capillary pressure is another name for Laplace pressure from a quick Google.

So as your water column increases diameter, air pressure matters more and.

For my example of 1m diameter, I would expect Laplace pressure and surface tension to be negligible. And the rayleigh instability will still occur at a small column diameter, when the fluid is going very fast.

I guess there are two thought experiments:

1. what happens when you use a liquid with an extremely low surface tension in air? (Or maybe even a column of heavy gas like uranium hexafluoride thick enough that diffusion doesn't dominate?).

2. How could you model a system to avoid the dynamic effects of air circulation (donut flow as occurs with a helicopter) and the dynamic effects of having water laden air where the column starts to break up. Does a thick downwards jet of water at speed (over the terminal velocity of rain) still show narrowing? Or do other surface interface effects cause problems? What happens to a thick downwards jet that is over the speed of sound?

Edit: The water exiting the tap is at approximately 1bar, I need to be clearer about pressure differentials rather than absolute pressure...

Edit: what I was trying to point out was that "surface tension" is misleading, and that air friction and gravity are not the only other major forces acting on a stream of water from a tap.

Edit: Also thinking of a dam with holes down the side more than 10m. I am guessing air pressure matters the most when the water is at low velocity exiting a wide nozzle, when the water is accelerating the most due to gravity relative to its velocity.

[∆] https://towardsdatascience.com/the-shape-of-a-water-droplet-...
Right and it does it in a way where everything doesn't fall apart if your stack is more involved than a web server.

For example, in the author's script wanting to run a background worker ramps up the complexity by a lot but with Kubernetes this would be adding 1 more deployment and you're done.

For most of my own stuff I just run 1 copy on 1 server and configure nginx to queue up requests that fail due to a 502 and then release them in the order they were received when the back-end is available again. This way you don't have hard down time. While your app restarts during a deploy the user only gets a busy mouse cursor for a few seconds while your app boots up. No load balancer needed. Lua scripts and nginx are a powerful combo.
I very much doubt Valve has the required licensing to release the game they have on their store to any other platform (except for their own games). If Valve ever goes bankrupt and closes shop, it is likely that the users would lose access to their games.
Won't NIMBYs just tie every square inch of track up in endless lawsuits until Rearden gives up?
Even if getting to the airport is convenient, you still need to arrive 1 hour before your flight, and deal with security, boarding procedures, taxi, air traffic control, etc on both sides.

In Japan, I can literally show up for a Shinkansen five minutes before departure and hop right on.

Airports for short range traffic are fscking awful.
There's fibre all over rural/semi-rural BC; internet access was mandated by the regulator, and the old copper lines needed replacing, so Telus went fibre to the door.
I wonder if Skid's homelessness will disappear now that there is a strong motive (a potentially big bill) to fix the issue.
> Is learning OpenGL pretty much inevitable as a precursor to learning Vulkan?

Well, maybe not OpenGL, but almost surely some graphics API which allows you to do graphics without a couple thousand lines of obscure boilerplate.

There are lots of "middleware" systems built on Vulkan that are WAY friendlier than raw Vulkan. They handle things like asset loading, memory management, and scene composition for you. If you want to build something, use those. You'll be vastly happier at the end of the day. Maybe at some point you'll hit a performance bottleneck--fine, but by then you know a lot more about graphics.

If you're doing raw Vulkan, you should have a darn good idea as to your purpose.

If someone says: "I want to use Vulkan." I ask "Why?"

If they say: "Because I want to make a thing that does <X>." then they absolutely should be in a middleware system and not Vulkan. They'll get something on the screen much faster and keep their motivation going.

If they say: "Because I want to learn" I have to try to redirect them to something a lot simpler. Learning is about motivation and Vulkan boilerplate saps your motivation really hard.

It also doesn't help that Vulkan development is basically C++ and Windows and there is no negotiating this as a beginner. Trying to develop Vulkan through a language wrapper or on Linux/OS X adds an unnecessary amount of pain to the process--quadruply so if the wrapper tries to be "idiomatic" in your language of choice.

If they say: "Well, we found a bottleneck using RenderDoc and we..." then I ... HA! I'm kidding. Nobody says this because they KNOW why they need to use Vulkan so they don't even ask me.

The primary problem with Vulkan is that you are mapping REALLY closely to the underlying hardware. If you don't understand what the pieces of your graphics card are and what they are doing and why, Vulkan makes very little overarching sense.

One thing I will warn you about when programming Vulkan, you better be really good in your programming language of choice. There are times when you are writing Vulkan code where you have to add a couple hundred lines of code before you can finally test that you got it right. You have to be very confident in your programming skill that you got all the essential things in your language right so that any bug is really in the way you are using Vulkan. For example, if your understanding of pointers and pointers-to-pointers isn't rock solid, you're gonna have a bad time.

However, if you still wish to persist. Here is a class at Oregon State that does Vulkan:
http://web.engr.oregonstate.edu/~mjb/vulkan/

Note that this is considered an upper division/graduate class. That should give you an idea of what you're in for.
The US was a common law country, then created the constitution based on that common law and now it is a constitutional republic. The constitution is the pillar now not "common law".
Maybe I'm cynical, but it seems like these people are in a farcical cycle of repeatedly inventing some new master theory of programming only to find it's actually a disaster a few years later and then to switch to something apparently diametrically opposed.

Of course, they have a book on sale to explain the new idea...

How much time was wasted and how many projects were damaged by the bad idea of UML and design up-front that they were pushing as hard as they could less than two decades ago? How many developers are being stressed by endless manic sprinting and micro-managing processes under the name of Agile?

Maybe they should stop? Or apply some actual science? Some of this in-group call themselves scientists but all they do is pontificate. I'm not really sure many of them spend much time actually programming.
Do you want to take a look at https://github.com/liuliu/s4nnc/ ? Nothing to serious though.
Back in 2019 Governor Newsom put most of the CA HSR plan on hold indefinitely.[1] Now the official plan is to build a 171-mile high speed rail link from Bakersfield (population 524,000) through Fresno (population 542,000) to Merced (population 83,000), though that might be cancelled since it'll cost over $20 billion.[2]

1. https://sanfrancisco.cbslocal.com/2019/02/12/gavin-newsom-br...

2.https://www.latimes.com/california/story/2020-09-08/newsom-b...
I am not sure which distros you use, but Swift is available in Fedora and EPEL (CentOS/RHEL) 8. The package name is swift-lang.
Oh you’re like one of those libertarians
Maker's Schedule 2021
It is interesting how readable the proofs produced by ACL2 are. Also, the automation applies induction and generalizes conjectures, which is something that no other proof assistant I'm aware of does.

The same authors also wrote "A Brief ACL2 Tutorial" [0], which seems to explain the process of developing an ACL2 proof more.

[0]: https://www.cs.utexas.edu/users/kaufmann/tutorial/rev3.html
Second. Articles of Confederation were the first.

Third if you count the Civil War and Reconstruction.
Interesting, though the article itself says nothing about any findings, other than that time seems slower in an environment with less stimulation, which is probably obvious.
When will The New York Times investigate one of the largest slander laundering operations ever created in the United States: The New York Times?

The New York Times => Wikipedia References NYT => Google EAT score adjusts ranking according to what the NYT/Wiki said. Once "The Network" decides to slander someone there is 0 recourse as all the other sites de-rank or disconnect the individual.

To get an extreme idea of how carefully in lockstep the "Network" acts to collude against actors it doesn't like, look what was done to erase "covfefe" off the internet:

https://www.zachvorhies.com/covfefe/
> Just because certain information has an essential complexity doesn’t mean that different representations are equivalently complex. There’s an essential complexity to the layout of the London Underground, but it would be considerably worse if you had to represent it with plain text files instead of maps or diagrams.

In general yes. I was only commenting on the assumption that UML can be of a general-purpose programming language, at least in the domain of business automation, or the idea that sufficient modeling can replace coding given the current technology.
I think I remember that Percy will, at speed, outrun the copter on a day-over-day basis. It's quite a bit faster on daily average mostly due to much longer drives that are possible with the new version.
I mean respiratory virus meet respiratory system. You cover your respiratory system and you are most of the way there for protecting yourself. Social distancing indoors wouldn't be effective without ventilation as you'd be breathing in the same air that others are exhaling. Touching on the other hand, it is very effective for.

You still wouldn't want to be in a room for extended time if someone is exhaling the virus as the mask can only do so much.

Just more evidence for what I think is obvious.
I don't know about "belief", but one of the most moving experiences in my life was when in a darkroom I first developed a photograph - the beauty of the glistening image (not of anything remotely interesting, or indeed in focus) coming out of the developer bath really made me go "wow", and it's a thrill that never left me until (for various reasons) I stopped being involved in photography.

It's bit sad that few, if any, young people today will experience darkrooms, fiddling with the enlarger, the smell of the stop bath, the irritation of spending a lot of effort and expense (silver costs!) on something that looked lovely coming out of the developer, but looks pretty crap in harsh daylight.
On that note, I really wish we had tooling for automatically generating diagrams from existing code. Kind of an interactive query language:

"Starting here [main.cpp :: Start()], how do I end up here [Frobnificator.cpp :: FrobnifyQuux()]?" - should give me a sequence diagram like this one: https://s.plantuml.com/imgw/img-f05ecfe23bf545656a3a1f66b2a9.... And then I should be able to narrow it down, skip selected functions or classes.

I once spent over a day drawing such a diagram (much larger) for the core system of a large codebase I started working on. I did it by manually stepping through a codebase and making notes as I went, in PlantUML format. It ended up being tremendously helpful, as parsing a diagram like this is much faster than parsing textual representation. And a year later, when I had to revisit that part of the code again, despite being not entirely accurate, the diagram was still very helpful.

Same for other types of diagrams - class, state, component, activity, timing diagrams. The tools we have all have enough information (e.g. Clang definitely understands C++ codebases well enough that it should be able to spit out the aforementioned sequence diagram between two given points), but I'm not seeing them used this way.
The main thing we'll learn? homelessness is not a money problem and 1 billion can't solve it.
My understanding is that Ingenuity will act as a scout for the rover, to make the rover’s investigations even more productive.
I don't understand. My use of "autonomy" was perfectly in line with existing convention, and this text describes the product and my understanding of it perfectly. Really, can't you just assume good faith and figure that people like me see value in and want to purchase this product knowing full well exactly what it does? Why must everything be a lie to your ears?

Maybe... you just want something different? Why are you so angry about a product you aren't buying.
What's in an Emacs Lambda (2017)
I 100% agree with your points. A more apt comparison could have been against the SkyGuider Pro (or the SkyTracker), which is $400 for double the payload capacity. So, in a sense, this mount is priced very well.

My original point was more along the lines of "if you think $200 for a mount is expensive in astrophotography then you will be very disappointed when you start learning about the hobby". I see this high ($$$) barrier of entry as a very real impediment to getting started in the hobby. But like you said, you don't need to go all in when starting, a decent DSLR and a tracking mount will provide countless hours of fun (and frustration!).
I assume Facebook has this requirement for usability reasons. They don’t want a user to receive a video through one of its many share features and then not be able to view it.
Isn't it true that Rust is meant to solve problems in spaces where those languages really can't play? I'll admit to plenty of ignorance about all three of those languages, so I'm genuinely curious what you think.
The choice is not "randomly seeded" vs "streams".

If you have a 64 bit seed + 64 bit stream, then it's trivially the same as a 128 bit seed. Just use the top 64 bits of the 128 bit seed as the "stream id".
Well, exercise isn’t how you control weight. Weight control is just eating less calories than you burn. Exercise less, eat less, and your weight stays the same.

Trust me I love exercise. I am a running nut. I do anything I can to help bike trails get made. But keeping skating rinks close to stop the spread of a pandemic seems pretty reasonable, and I would support it.
Here is the Supreme Court ruling in 1975:

https://en.wikipedia.org/wiki/O%27Connor_v._Donaldson

Carter era federal law signed into effect 1980:

https://en.wikipedia.org/wiki/Civil_Rights_of_Institutionali...

Other links:

https://www.aclu.org/other/aclu-history-mental-institutions
"By assuming that the respiratory droplets are mixed uniformly through an indoor space..."

... Is this a reasonable starting point? Social distancing assumes the distribution is not uniform. You would think the researchers would try measuring the distribution first instead of just assuming that a priori.

Edit: Haha, I'm struggling to understand the point of this study when they state something like this:
"These models are all based on the premise that the space of interest is well mixed; thus, the pathogen is distributed uniformly throughout. In such well-mixed spaces, one is no safer from airborne pathogens at 60 ft than 6 ft."
I have folders (and sub-folders for different categories I'm interested in. Inside each folder, there are text files, markdown files, PDFs, etc. about that category. I mostly use text files to write my notes from books, lectures, articles, etc.

For memorizing things, I use Anki which looks old but it's great. Every day, I spend a few minutes on it reviewing things I learned before and wanted to engrave it in my memory.

I'd suggest an interesting related interview (not mine): How to Make Yourself
Into a Learning Machine (https://every.to/superorganizers/how-to-build-a-learning-mac...)
You may get that opportunity, the order reads like he's going to run for office.
The trouble with zeppelins is that unloading is difficult. Every lb of weight removed from the Zeppelin is another lb of lift that has to be offset. So you have to do things like pump water into the zeppelin as people or cargo disembark. Ships also face this problem to an extent (unloaded ships are unstable) but they are sitting inside a functionally infinite pool of water they can pump in & out.

Zeppelins are tres tres romantique, though.
Yeah, I was aware of that. As the representation goes up (number of voting members) the efficiency/effectiveness tends to go down. Seems like a lose-lose scenario. I think a better scenario is to follow the original intent of the 10th ammendment and leave the states to provide most of the laws (smaller populations should result in better representation). Sadly it seems that just about anything can be shoehorned into the federal perview with the right judge. For example, growing your own wheat, on your own land, for you own consumption can be restricted by the federal government because the fact that you no longer have to buy your wheat impacts the interstate commerce of the wheat market.
ADHD and Programming
A lipogram is not difficult to do; I'm anticipating thousands of HN folks to try a hand at a writing task that sustains its popularity, thousands of folks trying to fashion a long-form post worth a look.

What is mostly unknown is a lipogram that tops any list of books that attain financial grandstanding (A Void notwithstanding), which brings a quick sadness.