skysight-inc/HackerNews huggingface dataset:
Hi,

is it possible to mark the packages that leave your house and flow into the street using your router or some small device in the box that connects the cables from outside going into your house?

And could these boxes on the street do a job like that?

I mean, even if I have a DIY network, hard- and software, at home, wouldn't it be futile because my encrypted packages, while not easily opened, could still be "marked" at any point outside my house?! With a prefix or in between the packets? That's what someone on the internet means, when they say, the more of us use Tor, the better protected the few are and the fewer users surf via tor, the less protected whistleblowers and journalists are.

Also: when our packages are encrypted, wouldn't it be possible for specific software, say, MS Windows, to pack huge amounts of very specific data into some of these packages, that would get encrypted in "reengineerable" ways, that are easier to break?

I have a surface-level understanding of the basics of these things. Forgive me for not reading up on that stuff, first.

Edit 2: could similar things be done via CPU? I always wondered what the disadvantages of Apples way of keeping stuff in RAM were. Can the CPU send or safe data about what's in RAM in ways that can't be easily tracked via the OS?
As it turns out, producing a quality product takes a long time. Tesla got to market early by not producing a quality product, but I assumed they would raise the quality bar after they got mass adoption.
Nuclear didn't make it because coal was to cheap. People now are willing to pay more for solar/wind and so on, and government is willing to help pay for it. This wasn't the case for Nuclear in the 70/80s.

Combine that with the complete rewrite of regulation and the whole governmental structure in regards to nuclear, making them much tougher to build, killing much of the research, limited political support from either side and so on and so on.

They had to essentially rebuild plants according to newer standards stopping all new construction. While some of those changes were worthy, its also objectively true that coal plants were not subjected to nearly as much additional regulation despite them being much less save both for the workers and for the population around.

So if you have one standard of safety applied to one thing, and a completely different standard to another thing, then of course nuclear can't win in a market situation.

Large scale nuclear is successful if you can do it at scale. But that needs a top down approach or at least government approval and support.

Had nuclear received the kind of support wind/solar had in the last 20 years, the US would have transition to nuclear at a rate comparable to the adoption of oil.
Is there a government body who examines these claims that we could trust instead?
the DOM isn't useless on the server if you take that DOM that you've built up, serialize it and send it

where exactly are you expecting the attack vector to occur? between when you serialize the DOM you've built up and sent it across the wire?

> And yet, TFA is doing it wrong in an example meant to showcase the virtues of HTMX.

is it? i thought it was showing off some HTML generation thing they are working on in PostgREST. yeah, they are gonna need to get their HTML generation working w/escaping if they want people to really use it to generate HTML, like all the other HTML generation tools do...
Give me convenience or give me death! Never had I imagined we could have both.
$6B is not a ton of money when it comes to solar and batteries, these are technologies on massive scales. Using round numbers of roughly $1/W for solar and $500/kWh, my off-the-cuff split buys 4GW of solar and 4GWh of batteries. For comparison, 6.5GW of solar was installed Q3 2023 in the US, and this is a tiny tiny fraction of the global market.

The challenge with large installs is the interconnection queue and permitting, not any industrial capacity limitation. And these could be solved by CPUC with a snap of their fingers, like they snapped their fingers to extend Diablo Canyon.
> It's more precise to say that TLA+ is an untyped language.

That's the same thing as not having static types. (From the POV of static types, dynamically typed languages are just untyped languages, that is, languages that have exactly one type)

> I.e. the invariant □(x ∈ Int), i.e. "x is always an integer", can be checked with a TLA+ model checker just like many other invariants.

That's just checking a dynamic typing property (that is, something tha could in principle vary during the execution of the program, but you just proved that it doesn't). That is, this is checking that certain dynamic types stay the same.

(which is totally okay, and it's true that if you restrict dynamic types enough you can show there's a statically typed program that is equivalent)

> However, it is true that by type-checking we normally mean an automated deductive process, i.e. one that applies inference rules, rather than an automated exhaustive analysis of the semantic domain, which is how a model-checker works. And yes, there are implications to the different ways "type checking" is done, especially when it comes to the algorithmic complexity of the checker.

Yep! Static types are static _by construction_, you don't need any dynamic information to type check them
Well, the census has a binary definition and, for different purposes, it makes various degrees of sense although I can fairly easily go into one one of the largest US cities for a day or evening. I'm not in the boonies but I'm also clearly not in a location where car-less public transit can remotely work. And I'm not sure there is a reasonable mid-definition because at that point you're judging what degree of inconvenience is acceptable--which is pretty much the case with the regional transit system around where I live.
Tdlr, Fortran is low level-ish, compiled, but otherwise almost identical to numpy syntax wise.

It supports all the common array and matrix operations and it doesn't need memory and pointer management the way C does. But it still compiles down to something very fast, you can link in BLAS and GPU libraries, supports easy parallelism...

When I compare with e.g. Karpathy's llama2.c, I think Fortran is easy to work with implementing basic transformer inference because of how it handles arrays.

The downside is that while there are efforts to modernize it, I find it more cumbersome for non-numerical stuff, particularly strings. But I think for the actual linear algebra implementation, it can't be beat.

I should add, I know it's a bit of an uphill battle, I expect fewer people will use code that I write in Fortran vs basically anything else. But I'm hoping to pull some people in and get a critical mass of interest because I think it has a lot of promise. That's actually one of the reasons I wanted to get a Mamba implementation quickly (though now that there's a basic python one I think I'll have lost some potential users to it :)
>most online banking scams hijack bank domains and use CAs for that country gov, which usually have keys leaked or sold on the right (wrong?) places. just look at india or brazil list of small govt CA revocations

Source? If true they're grounds for ejection from root certificate programs of various OS/browsers.
My brother coined a term that I really love: "feature karma". He's an actual Buddhist, so he used the term "karma" not to mean a simple score with only positive connotations, but as something you're chained to and must work off should you at some point want to move past it.
Cryptographic hashes aren't supposed to have collisions... the types of hashing that PhotoDNA and other similar systems use are not cryptographic. In fact, some say they aren't even real hashes. The reason for this is because they want images that have been altered to still match, whereas with a cryptographic has, even a minor change will change the hash. So it is more a a "similarity" check than a proper hash.
That may be it. The page runs a fire simulation, so it really struggles when my hardware acceleration is off.
How do you compare this with Alloy?
Yes, batteries are around 20 and solar panels around 40 years these days.
It would be easy to support both options. Many gas stations have their own app payment system.
A big blind spot in Jest (and I assume in Vitest although I have no experience) are the timezones. It’s very tricky to run the tests in other TZ’s than what Node has been started with.
It feels a bit more damning when they share a "talking points" memo to service centers to direct them how to characterize the failures. Add to that, they had internal engineers saying the actual failure rate is much higher than what was being reported, and it seems like it's venturing into fraud territory.
I just relocated to Brussels and turns out I live 10-15 min by public transport from the venue !

I've been looking forward to attending for a couple years now, and now I definitely can't let this pass.

It would be my first time attending, does anyone want to join me ? I'm slightly embarrassed to admit I don't want to go alone hehe... Hit me up :) (my username @ protonmail.com)
Someone should go to jail for that, but it is a highly regulated market, so it is ok.
Elon Musk packs his boards with cronies. He has a relatively small minority of the shares and the votes in both Tesla and SpaceX.
> The pipe is 18 inches wide — large enough to fit 40 banana

Americans will use literally anything except the metric system.

And bicycles, I guess.
Isn't the U in UX, me?
>. Installing $4B of solar and $2B of batteries will result in 20-40 years of carbon-free electricity, and far far far more of it.

Beginning when? Diablo Canyon is already on line today, and just as importantly, tonight.

Where is the land going to come from to support $4B of solar panels? How many times will those batteries need to be replaced over 20-40 years? What are the ongoing maintenance costs? How will all that solar be connected to the grid?

Alleging "PR move" and "PR game" without similarly considering the motivation for your comments weakens your position.
Raising $40m for the AI-First Graphics Editor
I'm all for more nuclear power displacing natural gas and coal and worse things until we can find a way to deploy renewable energy faster. Nuclear is near-zero carbon, it's just not renewable, but that's less of a problem in the short term.

What I don't like is that Diablo Canyon is built on the shoreline, which is ripe for another Fukushima-like disaster in the event of a tsunami that hits California.

Even if that cliff edge is high it may destabilize with a high enough wave.
I feel the same way. Tesla has now been around long enough that the reality distortion field is no longer able to be maintained. Too many cars have been sold, and too many disgruntled owners/employees have enough negative experiences to now voice their concerns in numbers no longer able to be dismissed as "the haters".
Interesting, and I'll keep that in mind. I'm not sure that law keeps people from using other means to express their road rage in a more dangerous manner (for example, cutting in front and then slowing down is something I have encountered before).
For basic window tiling, I stumbled across Hammerspoon and the MiroWindowsManager spoon.

https://github.com/miromannino/miro-windows-manager

https://www.hammerspoon.org/
Check out PastePal — I moved after Paste went subscription, have been thrilled ever since.
Naive question from someone who hasn't touched GUI programming since visual studio/QT GUI designer circa 2005 :

Isn't a more declarative approached like XAML/QML (or even html/ccs) a better way to represent a GUI interface as opposed to an imperative list of command embedded inside the business logic of the application ?

How does IMGUI handle theming, reflow or even GPU acceleration on different platform ? It seems to me that a more declarive representation would allow for better tooling and easier split between presentation and themes to match the native platform.
By that statement above, Disney supposedly "knows" that Tesla removed it.

Couldn't they issue a statement, or at the very least delete their help article about how to access Disney+ in a Tesla since "they know" it's no longer accurate?

All they would have to do is issue a statement something like

> On Dec XXth we were made aware that Tesla decided to remove the Disney+ application from their vehicles, while we find this unfortunate there is nothing more we can do.

Or someone could just email Disney's PR department, right?
If that's true then it hasn't happened in mine yet.
I'm glad to see more focus on middlewares. Getting the architecture right is crucial to building effective models, but this has largely been overlooked as shown by the inefficiencies in many models today
Am I crazy to think something like a nuclear power plant should last decades?
China has the solar panel market cornered, so probably. Of course they might decide to cut us off given all the trade drama so I'm not sure even that is a sure thing.
BeyondATC Traffic Injection [video]
And/or encouraging more use of things like bikes. I'd bet that painting a bike lane and putting up concrete barriers is cheaper than trenching out a three-quarter mile pseudo-pneumatic-tube-system.
I’ve found the BetterSnapTool to be essential for working on an ultrawide monitor: https://www.folivora.ai/bettersnaptool/

If only there was a way to move around the notification location- I’m always missing those at the far end of the screen
> blocking rules around newly registered DNS

Why is this even a thing?
With how brazenly the Nuclear Regulatory Commission has been captured? Unlikely
It’s been an exciting 2023 year in no small part because of watching AI research unfold at these crazy speeds. Like you’ve said, these enablers like ArXiV, PyTorch, GitHub, Huggingface, and terse Python code that’s open source are dramatically accelerating the development of this new field.

It’s probably the fastest the human race has ever developed anything of substantial complexity!

The only other place I see this king of velocity is SpaceX, which also launched two cutting edge rockets this year.

I wonder what 2024 will bring…
Why is there nothing about how it obtained the documents or how it verified the authenticity? Also why no comparison against other carmakers? A well respected media outlet would that. Instead it adds some weird things totally out of place.

> Neither Musk nor any of his companies commented for these reports. But he recently lashed out at critics of his social-media company, X, formerly Twitter, which has seen its revenue and market value plummet since Musk bought the firm for $44 billion about a year ago. At the live Times event, he went after advertisers who boycotted X over Musk’s endorsement of an antisemitic post on the social-media site. “Go fuck yourself,” the billionaire told companies who pulled their business.

How does the second sentence follow from the first? They don't seem related but the second sentence starts with "But he..". Terrible writing.
This seems like it ought to make sense, but do you have a concrete example?
But it looks cool as hell
It feels like repairing such a system would be significantly more difficult - if you get a crack or a leak, your whole system is suddenly flooded, and if you need to repair just one section, you have to find a way to keep the rest dry.
so true! thought the same, super smart move!
Maybe what you're saying is true but it's pretty unclear to me. According to the article, it supplies 10% of the state's electricity needs. $6B over 5 yrs => $1.2B/yr => total cost of state's electricity at $12B/yr.

With a population of 40M this would mean yearly cost of electricity per capita in CA would be $300. That sounds extremely cheap.

Doesn't sound like highway robbery to me but maybe you can make that clearer rather than just tossing out "install $4B solar and $2B batteries which is obviously better, idiots!".
From Germany to Cyprus (island/country in the Mediterranean Sea). Could speak hours about that but to name some bullet points about the pro sides:

* Weather (over 300 sun days)

* Health improvements

* doing more outdoor sports (e.g. swimming in the sea)

* Culture difference, Cypriots are friendly people

* Living a slower paced life (and different life)

* More (new) friends than ever

* Lower taxes

* Lower cost of living

* Less crime

* More freedom (personal and business wise)
Who is paying more than coal for solar? Building new solar costs about two thirds what it costs to run an existing coal plant.
https://www.usgs.gov/programs/earthquake-hazards/science/ear... “The speeds of today’s data telecommunications systems are many times faster than seismic waves.”

https://public-blog.nrc-gateway.gov/2012/12/28/what-is-a-rea... “A reactor trip causes all the control rods to insert into the reactor core, and shut down the plant in a very short time (about three seconds).”

Yawn.
Would be nice if Reuters actually compared such failures in other cars. But they seem to be hell bent on writing a hit piece with other Tesla unrelated Musk things thrown in rather than actually come up with a good journalistic piece, so I am assuming they found that other manufacturers are the same or worse, so didn't mention it.
> Am I just misunderstanding the complexity of building out one of these systems?

The answer to this question is always yes, regardless of the system in question - unless it's one you're very familiar with yourself.
You perfectly captured my thoughts too. When I was younger, I was so excited about these spaceship cars. Then I rode in one and hated the UX, every single thing from the stupid door handles to the lack of knobs to being unable to open the glove compartment. Just, why?!

And then they kept lying about the self driving problems and kept trying to gaslight their customers about all the issues. All that was before the Fall of Musk. I just can't trust Tesla at all.

There was some awesome engineering done there (much respect, honestly), but at the end of the day I think I prefer a boring car that wasn't built with a "move fast and break things and kill people" mentality.
Managing Patient Identity Across Data Sources
Agreed. The author makes the point that middleware is trying to solve valid problems. I think the issue is that there are better ways to address it by “avoiding the middleware all together”. Especially since it introduces other 3rd parties into the mix
If a variable contains batch size, then name it accordingly — batch_size.

And no glossary needed, KISS

https://github.com/johnma2006/mamba-minimal/blob/82efa90919c...
It's unbelievable that something so unreliable is allowed to be built into cars, and then people are learning work-arounds in driving school for it, instead of just getting rid of it entirely.
Absolutely agreed. Articles in this vein rather get my goat, especially because the analogy to real debt is more clear: If someone wrote a consumer finance article like "All purchases of things other than cans of beans and Certificates of Deposit are like Mortgages, because what if your industry collapses tomorrow?" most people have the good sense to complain that the usually decent advice of saving a bit for a rainy day was being way exaggerated. And yet pieces that run something like "All programming of things other than washing machine microcontrollers are like technical debt, because what if your customer's needs suddenly change entirely?" get much more play. Sure, disasters can happen, and it pays to reserve some resources to be ready for them, but it also pays to use resources when times are good to expand. It seems to me Cunningham's point was to encourage a move towards balance; headlines that don't overshoot the mark.
Even if this were true (and I have my doubts), nobody has a proposal for a different regulatory scheme that would lower costs. France has seen similarly high costs with an entirely different regulatory scheme, for example.

"Regulations" are the excuse of people that didn't do their homework or prepare for the serious work of large construction projects. All of which have huge overruns in the US, regulations or not.

In truth, it's a labor and productivity problem. Advanced economies have far more productive uses for workers than sitting around construction sites, waiting for something to arrive so that they can finally do a small amount of work before waiting some more.
J need to start shorting these IPOs on day one.
NIF successfully replicate historic nuclear fusion breakthrough three times
> 1026

> 1023

Should be 10^26 and 10^23.
It was really unfortunate that more wasn’t talked about or shown from the actual source release. The people involved in that deserved way more time than they got.

(At least it wasn’t as bad as wasting the second half of the Alto event being an advertisement for OpenAI. WTF was that about?! Had nothing to do with Alto or PARC, just hype.)
The most interesting part about that story is that "anointing oneself, going into a tent and hotboxing" bears a striking resemblance to the story of Moses after discovering he could talk to God through the burning bush continuing to do so after anointing himself in a double layered tent where everyone would know he was talking face to face with God because a cloud would appear in front of the tent.

Given both the find of burning cannabis in the holiest of holies of the 8th century BCE temple in Tel Arad and the 10th-9th century BCE importing of bees from Anatolia to the only discovered Southern Levantine apiary at Tel Rehov in the "land of milk and honey," maybe the practice wasn't unique or isolated to the 5th century BCE Scythians.

This is particularly interesting in light of the theory that the lost tribe of Dan were actually the Denyen sea people of Adana, Anatolia - a theory that's had a bit of a resurgence after the discovery in the past few years of Aegean style pottery made with local clay in Tel Dan.
What answer are you expecting? This question is borderline flame bait.
Pharmacists can also catch obviously-wrong prescriptions - "This should be milligrams, not grams. If you take 20 grams of this, you'll die, in a spectacular and gruesome fashion."

(Granted, pharmacists can also miss things like this - which is why technology, checklists and humans working together are probably the best solution.)
Wait, VW was the best?! who knew?!
- any current self-help style book can be discarded without further thought

- navy seal anecdotes call for an instant binning

- bad prose joins the others in the furnace

Serious points aside, your steps don't work for non-fiction. Well, not the kind worth reading anyway. How would you do so with a novel?

I go by recommendations or author I like. Maybe a classic I've heard about. Sometimes I find a volume in a public space and give it a skim. I read as long as I get enjoyment out of it. If it is a drain or badly written I stop. Same with films.
> If you have a problem with Foo

If you have a problem with Foo, you instantiate a Foo inside FooTest, and then feed it problematic input.

You can't instantiate a Foo inside FooTest unless you can instantiate a Foo and a Bar. Foo could be a clock whose time-of-day you can't control, and Bar could be a database that you can't instantiate.
I use MySQL Aurora quite heavily and, for our purposes(very high usage, but simple query pattern) there's no obvious differences outside of one major annoyance.

The engineers at Plaid wrote a really useful article on the differences: https://plaid.com/blog/exploring-performance-differences-bet...

The biggest, for me, is that Aurora clusters use shared storage and therefore the isolation model is slightly different(plus other ramifications), read committed is only possible by setting a cluster wide parameter and read uncommitted is not possible, as far as I can tell.
Maybe it's harder to strip atoms from a lead cathode, and/or harder to strip one of its electrons?