skysight-inc/HackerNews huggingface dataset:
What is the security boundary then? Everywhere I read treats them as a security boundary for say, untrusted code.
I've used it via Vite, and it worked fine.

I did write myself EXTENSIVE notes such that when I return to that project in the future I have a fighting change of figuring out how to build it again: https://til.simonwillison.net/github-actions/vite-github-pag...
At that point why not just accept tap-and-pay in addition to the car identifier over the plug?

I feel like no matter what you’ll need to accept credit card payments in these sort of shared environments.
When I made the decision to go fully remote, the first obvious step was to move out of the Bay Area. One of my hard requirements was property with a separate physical building for a home office. This requirement vastly reduced the set of viable homes to choose from, vastly constrained the neighborhood choice to more rural areas, and somewhat increased the cost. But after more than a year of working this way, I have to say it was well worth it. I wouldn't want to go back to work-from-spare-bedroom or work-from-closet. If you can manage it financially and you can culturally manage to live in a more rural area, you'll won't want to go back, either.

First, and obviously, it's quiet. No more kids playing in the house chaos. It's private, and can be locked separately, so I can work on my company's confidential stuff. Economical to heat and cool, since it is a very small space. You also get that intangible "separation" of your work life from your home life that your commute used to give you--hard to explain. A brief walk outside to and from the office allows me to reset into work-mode or home-mode. Highly recommended if you can swing it!
The Reality Winner one was especially fucked because IIRC they actually had a trained professional with experience in high stakes leaks on staff, they just didn't use them for her for some reason. Recent Kerry Howley book spent a significant chunk of time on this, it was infuriating.

Reality Winner did not need to get busted. They almost certainly would have realized she did it but with the right lawyers she could have made it. Intercept's hubris and mismanagement did her in.
The mass production aspect of SMRs should provide some economies of scale for construction costs. Needing a large crane doesn’t scale.
What was missing from NACS? Design schematics or something? Until now I was under the impression that their patent release was a noble gesture.
> Is this business value?

Yes. It's more value for them, and less for you.
I find it relatively comforting that every single one of these requires disabling security features, though it is a good reminder of why certain things are dangerous to give containers and should be avoided.
What about one of those office booths/privacy booths?
Virtual machines can be considered a security boundary. Containers are absolutely not.
> So the author is right, under this interpretation.

Huh?

You can say “state space,” invoke the general solution to inhomogeneous ODEs, and write it out with integrals and matrix exponentials, and the answer is still quadratic. Unless you consider t^n e^(0t) to be exponential. (Hint: what are the eigenvalues of A? One could start by calculating A^2.)

Which leads to one of the most important lessons from all of physics: you can take a problem, use a different technique to solve it, and you get the same answer! It’s magic.
Obligatory IANAL, just lifting from the study.

> What actual difference is there between a machine generating this material or a human being drawing it by hand?

Page 8 Section 4 Legal concerns ———

U.S. Code[…]uses a standard prohibiting any visual depiction of CSA that is “virtually indistinguishable” from a minor engaging in sexual conduct. The definition it uses specifically references computer-generated material as being in scope.U.S. Code[…]states that any depiction of a minor that both contains sexually explicit conduct and is obscene can be prosecuted with the same penalties[...]

As such, the current status of CG-CSAM appears to be that prosecution is possible for any representation deemed both graphic and obscene,[…]if that material is indistinguishable. Now that CG-CSAM has reached the point that it may[…] test the application of some of these laws may be tested.

Realistic CG-CSAM also presents obvious difficulties when it comes to prosecutions for CSAM possession[…] in general, the appearance of a child being abused has been sufficient for prosecution[…]alternatives may need to be tested that do not require positive identification of a real-world victim (or worse, that would require such a victim or their family to testify)

> The answer may very well be "none at all,"

You may be correct but they do cite a number of counter-measures that will need to be tested and studied.
I love this joke! We use Skia as a PDF renderer and it does take a bit of plumbing to get it in, plus you have to track it more often than we'd like (that's not a fault of the build environment, but rather it doesn't have a stable API), plus we have local mods.
Nice, I've always wanted to have a rss-like reader for sites that don't support it.
It's really not that bad if you have GlobalEntry/TSA Pre. I've been through quite a few airports since getting it and never had an issue.

Not as easy as when I was pound atd you could walk right up to the boarding gate to meet someone getting off a plane, but definitely not horrible or even challenging.

However, that's with TSA Pre. I recently flew through Orlando and good gods that security line was a disaster.

I'm an Abolish-the-TSA type, they do more harm than good, don't get me wrong, but if you want to fly just go get GlobalEntry, and everything is quite painless. (right up until you get to the gate and the airline starts screwing you, but that's a different problem.)
> which allows our tooling to find and diagnose typing errors prior to running any model checker.

Oh, I understand what you meant (and I think Quint is great!), but I'm trying to communicate to others how ineffective programming terminology is when it comes to things that aren't programming (I remember that many years ago, when I first learnt TLA+ I asked on the mailing list if TLA+ evaluates expressions eagerly or lazily because I was confused by the meaning of some expressions, and Leslie Lamport answered that there the question is meaningless because there is no program running and so no evaluation at all).

Quint's tooling can find typing errors by running a tool called a type checker, while in TLA+ the tooling can find "typing" errors by running a tool called a model checker. Neither of these tools actually runs the program expressed in the text (although a model checker usually does evaluate some expressions), and so they're both "static" checks. This is important to point out because some people try to think of a model checker as something that runs a program many times, and that's why I gave an example showing how a model checker can check something in milliseconds without possibly having run "the program" even once, let alone all of its possible executions.

But yes, the runtime efficiency of a type checker, i.e. a checker that performs its reasoning based on simple deductive rules is, is usually better than the efficiency of a model checker, which reasons in the semantic model, so even though in both cases you don't run "the program" to find type errors, the Quint tooling will report typing errors much more quickly (in wall-clock time) than the TLA+ tooling.
Show HN: Shmux – script runner for almost any language
thanks for the data, I stand corrected! I had read an exuberant twitter thread about ordinal inscriptions

tl;dr the trend is up with spike periods of transaction fees making up 25 - 45% of the block reward. so with the exact same amount of activity after the next halving it will be 50 - 90%. that's a good indicator of network health and fulfilling its vision of the network sustaining itself after block rewards subside.
In which European country is triphasic power for houses becoming normal?
Those are also some good points
NASA's 3D-Printed Rotating Detonation Rocket Engine Test a Success
indeed! thank you for that :)
I don't think I misunderstood as much as you thought.

The first half of your post is kind of irrelevant.

As to the latter half of your post, just use iOS. I think that fits the bill - dump the rest, see how it works out for you. Stop using legacy software and move on.
>Fair, but that doesn't mean every American is so lazy as to lack the ability or desire to walk places, as was suggested.

Most are but they aren’t any different to other parts of the world. I walked past someone getting in their car this morning only to meet them getting out a couple of minutes later at my local shop.

The only exceptions to this are countries that make walking easy and driving difficult. Without the carrot and stick the majority will take the easy option.
> How big of a role is the artificial demand?

That's determined by central banks.

> How is the artificial demand able to prop up $864b worth of demand/assets?

Ask yourself how central banks create money. Here's a hint: Over 90% of global currency is digital.
I'm surprised they don't have failsafes that would stop it immediately if it suddenly has an extra 130+ pounds of load
`hidutil` stopped working on macOS 14.2
That will be great to make video games, this can easily be imported into blender, then the textures can be made with stable diffusion or DallE
Good projects with bad leadership die ever day.

Hopefully Rust has people with vision and drive in places to let it escape its niche status.
Tesla is intentionally obtuse about their numbers. But the Corolla still reigns supreme at +700k. They combine the total sales of 3+Y against the Corolla.

https://www.autoweek.com/news/industry-news/a44600661/is-tes...
I use TypeScript exclusively over Javascript so being pure JS is a con not a pro to me.
> the real ball drops into a concealed pit at the end of the lane just before where the pins would be

The sexy way to implement this (horrible) idea is to have a smoke/fog curtain at the end of the lane, and project onto the fog. The ball could slide through silently, and then the synthetic image (and sound!) would be cued.
Must be a US specific thing, since we had those pinsetters in nine-pin bowling/kegeln in Germany for many decades, e.g. a Kegelbahn from the 1960s[1]

[1] https://www.youtube.com/watch?v=geLZqO4ySoQ
The distinction is getting more and more fuzzy, so this is almost a meaningless point (as is GGP). It's very vendor-specific, let alone that I'm pretty sure Spectre attacks can work across VMs.
It ain't luck: people like me were buying nvidia cards to run OpenGL on linux decades ago and nvidia was already coming to my supercomputer center to sell us on early GPUs in ~2007. They are the only company that took high performance GPUs seriously for a long time. Intel didn't do all the things nvidia did.
I think they've been improving them incrementally over the years, but it's a monstrously difficult engineering problem to do the following:

- Set up all 10 pins reliably and in the same spots

- Lift remaining pins after the first throw and sweep away the ones knocked down, if any

- Load extra pins into a holding area to make re-racks faster

- Other things I'm not thinking of

I encourage you to view this 3d breakdown of how a pinsetter works on YouTube: https://youtu.be/Iod6uwUGM2E?si=rTGYSd6CGHp94etz
> so you have to adapt

No I don't. X11 works perfectly well for me. Wayland doesn't. Until I can migrate without issue, I'll be sticking with what works. If it gets to a point where Linux becomes unusable for me, I'll just move to an OS that works. Linux isn't the only game in town. Boo hoo.
How many is multiple? The only information I can find says it's 4 a year

https://raisedbyturtles.org/bowling-deaths-double

It's even better when supposedly one of these deaths occurred due to "Extreme bowling" which apparently involves a half pipe. So yeah, this comes off as extremely misleading and just for clicks.

You'd probably save more lives banning all the beer and unhealthy food served at the alley, or by banning sports with a higher death toll, like soccer.

Strikes me as a way for alleys to operate cheaper by several magnitudes, and then just cover that up in safety rather than say "look people don't want to pay enough to bowl with machines"
While there isn’t anything particularly novel in this list, I do like how this highlights the process of technical/science communication. The way to get good at sci comms is to practice it and to query your audience when they don’t understand it!
I've been eyeing some Borges books at a bookstore that is about 50 meters from me right now, coincidentally.

The company that maintains my favorite technology is named after a Borges story. I tried reading Borges a few years ago and found it insufferably uninteresting, but maybe now, with a pinch of external motivation, I'll enjoy him more.
The article does say:

"European bowling alleys have used string pinsetters for decades because they require less energy and maintenance. All you need is someone at the front counter to run back when the strings tangle.

"But Americans have long treated this technology as a gimmick, relegating it to arcade-style games in restaurants and bars. The bowling congress knew that conferring official status meant confronting a stigma."
Alternative rephrasing from a source without a citation:

"Do not believe in anything simply because you have heard it. Do not believe in anything simply because it is spoken and rumored by many. Do not believe in anything simply because it is found written in your religious books. Do not believe in anything merely on the authority of your teachers and elders. Do not believe in traditions because they have been handed down for many generations.

But after observation and analysis, when you find that anything agrees with reason and is conducive to the good and benefit of one and all, then accept it and live up to it."
Electrical fires are likely to smolder and grow in the wall cavity first, by the time they get to furniture, the fire is likely to be big enough that it really doesn't matter. Certainly some electrical fires might be from frayed appliance wires or similar faults though.

The regulation around flamability in upholstered materials[1] is centered around smoldering cigarettes and doesn't test any other conditions. And 3rd parties claim the retardants are ineffective for open flame.

As a risk averse individual, it's simple to avoid the risks of smoldering cigarettes by never possessing cigarettes. And then I can avoid the risks of flame retardants because I don't need them to combat the risk of smoldering cigarettes. I can't easily eliminate the risk of electrical fires, but maybe checking cords for damage before use... And trying to ensure GFCI circuits to hopefully deenergize circuits with faults?

[1] https://bhgs.dca.ca.gov/about_us/tb117_2013.pdf
Re 3) Even if you don't care about long context length, Mamba is much cheaper per token of auto-regressive output. Each token has to only compute the next step of a linear RNN, the transformer has to attend back over all previous outputs, which rapidly grows in cost and memory.
> The EV pollution component of this is 100% propaganda spread by legacy auto makers and fossil fuel companies and is blatantly false. They are substantially better for the environment and the delta is growing too. Even in an area where energy is generated by fossil fuels, EVs emit significantly less CO2 per mile driven.

That’s not the argument being made. Everyone knows they pollute less per mile – but unfortunately the manufacturing is roughly half of the lifetime pollution from a vehicle.

https://cleantechnica.com/2022/07/27/ucs-study-shows-lifetim...

https://www.iea.org/data-and-statistics/charts/comparative-l...

This matters especially because consumers have been getting heavily marketed into getting massive trucks and SUVs, where the sheer size of the vehicle means the lifetime emissions are greater than a small ICE because the lack of tailpipe emissions can’t make up for that even if it’s powered entirely off of renewables.

That doesn’t mean that we shouldn’t be electrifying the vehicle fleet quickly but it’s buying time on the trip to zero emissions, not a solution. Buses and e-bikes get us much further because they don’t suffer from emissions the inherent inefficiency of automobiles.
That does happen sometimes, which is very annoying to the purists.
I understood what your post was saying, but they they aren’t fuzzy equivalents. The basic premise is just false.

Further the quote wasn’t suggesting equivalency. Rather intelligence as one bound on debugging, which is clearly true as can’t get a flatworm to do it. When trying to debug really clever code the easiest solution can be giving up and starting from scratch.
That's a fair assessment, and if you wait long enough the features iterated on at Tesla do come to the other auto companies. I know Tesla helped Toyota with their findings on battery tech. Now it's looking like 48v architecture and drive by wire will come to the masses in a decade or so.
Ah, I had the same sort of issues with temperature in my office when I moved into my tiny home[0]. Sunlight was a problem too.

Much happier in my new office, even though it's shared! Luckily our schedules don't overlap and dual occupancy hasn't been an issue but once.

[0]: https://cobertos.com/blog/post/tiny-home-big-door . Scroll down to "Lessons Learned"
You may well be aware that car manufacturers are doing something like this right now [1] in combustion engined cars. Hyundai is taking it a step further in their Ioniq 5 N EV, which has three different artificial sounds, one of which sounds like a sporty combustion engine exhaust, but the other two sound completely different [2].

[1] https://www.youtube.com/watch?v=SQ0Ixizzzfg

[2] https://www.youtube.com/watch?v=DSIguemKIbQ
> Everywhere I read treats them as a security boundary for say, untrusted code.

who's everybody? There's special kind of VM hosts for that, containers is like your kitchen jars, if someone is vomiting with Ebola in your kitchen - your jars will not help you
When my car is home, it's plugged in always. That way I can pre warm or cool the cabin before I leave, and the car dumps a few more percent into the battery (usually it internally charges to about 80% to save the battery, but if it knows you're leaving soon it bumps it up). Then again my car is 2014 and has a much smaller battery than modern cars.
Containers should never run untrusted code, at least not without other layers of protection added on top. Otherwise stuff like https://github.com/google/gvisor would not need to exist. And even then as long as processes are sharing a host kernel they are always vulnerable. A full VM is really the minimum acceptable boundary.
For me, the biggest advantages are having one around whenever I need it, even if I didn't plan for it, and being able to leave one out of the way anywhere and not have to worry about using it to get home (might prefer a walk), or it getting stolen. It would absolutely be cheaper to buy one of my own, likely several times over by now. I'm mostly paying for the convenience.
Yeah, this isn't an issue of compute power, the only explanation I can think of off the top of my head is the scroll ticks. There are potentially ways around this, the video could lerp its playback position instead of snapping it? Maybe that would impose too much of a delay though.

I also feel like I have seen smooth scrolling video examples on Firefox desktop, so I don't know that it's an insurmountable problem, either other solutions aren't relying on scroll ticks or they're using some method of making them come faster on desktop I would guess?

But performance/responsiveness are kind of the least of my concerns when looking at this, because sure it may actually be performant, but it doesn't feel performant if the video is constantly snapping around like this.
Yeah, that's not what is meant above by "machines", they mean machines that have equivalent function, not machines that result in a different game.

Looking at accident reports, it sounds like there are some easy changes, adding guards to the machines and changing industry practices to de-energize the machines during the maintenance activity: https://www.atlantictraining.com/blog/bowling-alley-worker-s...
Cool. This post is right beside the 37signals one[1] that mentions SolidCache[0] "A database-backed ActiveSupport::Cache::Store".

I discovered two solutions in one day.

[0] https://github.com/rails/solid_cache

[1] https://news.ycombinator.com/item?id=38710927
NRF retracts its assertion that organized retail crime led to 50% of losses
Take it from someone whose town simply doesnt have bowling in it anymore, there are worse fates.

pick-up bowling groups used to be my favorite way to meet cool randos.
I don’t know if I agree. It’s exceedingly rare now to find a place which doesn’t accept contactless in America, but we have these problems still.

Besides dumb inconsistent terminals, the main thing holding it back is (A) customers don’t use it because they either don’t know it’s much faster than our garbage chip readers, or they have been burned by hunting for the right spot to tap. And (B) even the clerks don’t use it because until about this year there was a significant fraction of cards out there without NFC and who wants to hunt for the logo instead of just always shoving it in the (stupid slow) chip reader. There still might be plenty if you count debit cards which I never use but are very popular.
I'd imagine this would be orders of magnitude more expensive and error-prone than the existing solution. Also I don't even think robot arms are sufficiently agile for this task, since the pins can end up in unpredictable locations and positions.
Most people underestimate how valuable personal anecdotes are compared to sampling/survey data. Has it ever happened to you that a restaurant or other experience has thousands of rave reviews online (or even among your friends) but when you go there it's shockingly underwhelming? That happens a lot. Your personal anecdote is almost always more valuable in such cases because of several reasons including recency, authenticity, self-honesty and the usual problems with review aggregation platforms.
Due process means all the prerequisites of a trial, motions, arguments about motions and rulings, potentially followed by a trial. That all took place in a Colorado state court. Trump got his due process. Indeed, he appealed the first trial's verdict. More due process.

The CO Republicans can maybe do what they want. Colorado got rid of its caucus system in 2016.

You might have a better "This is a PR stunt" straw man if you said CO swung Democrat pretty hard in 2020, even in conservative El Paso County, and Trump is extremely unlikely to get Electoral College votes from CO.
Why? Both are supposed to keep whatever is inside trapped unless you poke holes in that protection (say, using virtio or even just 9P to hand it real storage)
> I've seen enough EVs to conclude that Tesla does not make better cars than other automakers, at all.

Wow this is a bold take as almost every other car manufacturing CEO has publicly stated they need to catch up to Tesla's innovation.
Nuclear power revisited – SMRs come of age
Unfortunately the qubit number is not really good parameter to parametrize. Everyone could just copy paste their qubits on the chip today and claim to have the largest quantum computer. Making interactions with low enough error rate is the hardest part.

I really wish there would be a better parameter which would also inform when they become useful for breaking crypto.
Judge the tree by its fruit.

Amazon, both globally and locally, has a horrible reputation for abusing the ever loving shit out of employees at every level. Does it build value in the process? Absolutely!

Forget politics; do we really want another company like Amazon?
You can just use Mithril.

https://mithril.js.org/