skysight-inc/HackerNews huggingface dataset:
I guess this is how capitalism works? Continuous growth or die.

Despite having just about every living human as their customer they are expected to grow.
I'd guess that in Europe there are a lot less long-haul drives than in the USA. Those are the ones that can pay big bucks and make O/O efficient. If you're going on a 6 hour round trip there's no reason you can't drop off the truck at HQ and head home to your family.
Yeah where can I find land like this within 30 minutes of Seattle/Tacoma?
## TLA+

Wikipedia: https://en.wikipedia.org/wiki/TLA%2B

Src: https://github.com/tlaplus/tlaplus

Awesome: https://github.com/tlaplus/awesome-tlaplus

### Dr TLA+

Web: https://github.com/tlaplus/DrTLAPlus

Src: https://github.com/tlaplus/DrTLAPlus :

> Dr. TLA+ series - learn an algorithm and protocol, study a specification; [Byzantine] Paxos, Raft, Cosmos,

##

"Concurrency: The Works of Leslie Lamport" ( https://g.co/kgs/nx1BaB

##

https://westurner.github.io/hnlog/#comment-27442819 :

> Can there still be side channel attacks in formally verified systems? Can e.g. TLA+ help with that at all?
It happened. I assure you. Debate, healthy skepticism, questioning... It was all completely shut down. You were not allowed to discuss anything but The Science. I've been yelled at by people I know in real life for discussing T-Cell immunity. Some of the smartest people I know completely lost their minds. They'll never be the same and I'll never have the relationship with them I had pre-pandemic.

The story of the last 2 years is 10% disease mitigation, 20% intellectual error, 30% media fear-mongering and 40% politics & tribalism.
Thanks! I learned something new today.
>I have the exact opposite observations. Criticising Israel is a big no-no and most media won't cover anything bad about Israel.

There is plenty of criticism of Israel by The Guardian, Washington Post, New York Times, Reuters etc.

It's not the media's fault that the Democratic and Republican party are so pro-Israel.
prices as prices aren't lies, they just don't have any immediate relation to costs
If you are willing to share the details, please do!
Yes, this model is common in other utilities in the US (both by water and gas bills are structured this way), with a large meter fee and a consumption charge in line with the resource cost.

Electricity could certainly be charged this way (and should), but it would be a huge change in how electricity is billed here, and the PUC would rather just make changes to just the net-metering system rather than open the can of worms of a full rate re-write.
"The bigger issue was that the energy demands for the house, which included hot water heating for the pool and hot tub, outstripped the electrical supply we could get on a rural residential build: 400A"

Am I the only one who almost spit out his coffee when reading this paragraph? I mean, building a remote home in the middle of a forest is a cool idea, sure. But then end up feeding the whole thing with 400A worth of electricity? And when the current is too high, end up supplementing with a propane generator?

Am I missing something? As a European, I'm used to way more modest figures for family homes - maybe 400V @ 25A plus gas for heating.
Hm, I really like all the snapshotting features! And the M.2 slot and hackable hardware are definitely a plus.
It wasn't in the journals. It was in the media and in discussions with others.

PS: The fact it is hard to talk find sources is because it was all shut down.
Sadly I only ever worked in tech. I know grass is always greener, but sometimes I feel like giving other non tech jobs a try. The kind of environment I grew up in, it was always about finish your university without any interruption, and get a job as fast as possible.
I can just imagine what Burning Man would look like under a sea of Starlink dishes and still no one can get bandwidth.
Whoops, how did that happen?

Attempt number 2: https://news.ycombinator.com/item?id=30195009
I suppose if there are enough cars, and if you have access to the wifi and location data for enough of the phones, it might be possible to determine someone's relative location by triangulating the signal strength from multiple vantage points.

So my phone by itself doesn't know the direction of the signal, but two or more other phones could combine our location data with relative wifi signal strength and potentially get a better idea of where the signal is coming from. (I had forgotten that we were talking about an entity that potentially knows the data from all the devices, not just one endpoint.)
One of my favorites is the warning you get if you enter the shell of an Oracle ZFS storage appliance:

+-----------------------------------------------------------------------------+
| You are entering the operating system shell. By confirming this action in |
| the appliance shell you have agreed that THIS ACTION MAY VOID ANY SUPPORT |
| AGREEMENT. If you do not agree to this -- or do not otherwise understand |
| what you are doing -- you should type "exit" at the shell prompt. EVERY |
| COMMAND THAT YOU EXECUTE HERE IS AUDITED, and support personnel may use |
| this audit trail to substantiate invalidating your support contract. The |
| operating system shell is NOT a supported mechanism for managing this |
| appliance, and COMMANDS EXECUTED HERE MAY DO IRREPARABLE HARM. |
| |
| NOTHING SHOULD BE ATTEMPTED HERE BY UNTRAINED SUPPORT PERSONNEL UNDER ANY |
| CIRCUMSTANCES. This appliance is a non-traditional operating system |
| environment, and expertise in a traditional operating system environment |
| in NO WAY constitutes training for supporting this appliance. THOSE WITH |
| EXPERTISE IN OTHER SYSTEMS -- HOWEVER SUPERFICIALLY SIMILAR -- ARE MORE |
| LIKELY TO MISTAKENLY EXECUTE OPERATIONS HERE THAT WILL DO IRREPARABLE |
| HARM. Unless you have been explicitly trained on supporting this |
| appliance via the operating system shell, you should immediately return |
| to the appliance shell. |
| |
| Type "exit" now to return to the appliance shell. |
+-----------------------------------------------------------------------------+

I like how it explicitly says "no, seriously, Mister Unix Wizard, we mean YOU."
Diesel engines might not have throttle plate but they use injection which certainly do not inject air when acceleration is released, so the cylinders will act exactly the same way. Reading the web I see conflicting account on this subject. Strange...

Also, I though that modern petrol engines did not have throttle plates anymore and use the same injection system than diesel engines (no more carburetors).
Wolvic, a new browser project picking up where Firefox Reality leaves off
Hacker News is not a singular person; however, there is a small but extremely vocal minority that insists on picking fights, yelling about "Republicans" (ambiguous collective), calling people names (anti-vaxxer, Nazi, fascist, etc.) with impunity. The thing is, the vitriol only works if you let it. Some people are angry, like being angry, and want to be angry all the time. The reasons they're angry change with the political winds, but the underlying current of energy remains.

I don't think most people on HN are angry. You're just affected more by angry comments than rational, calm ones. It's an emotional bias. This is why it's important to not use social media for the vast majority of one's time; angry people have a way of creating more angry people around them.
Cab-over trucks were more common in the US in the past.

I remember this, too. I had toy trucks when I was a kid and they were all the snub-nose design.

Interestingly, school buses seem to have gone the opposite way. When I was a kid, they had the long nose, but now most that I see are snub-nosed.

Does anyone know the term for those little "hopper" trucks that are used at ports and large post offices and such? The ones where the cab of the tractor trailer only exists on the left or right side of the tractor? I've heard that since they don't travel on public roads that they aren't subjected to environmental or safety rules.
Ströer Labs Berlin | Berlin | Onsite | Full time and working students

About us:

Ströer Labs Berlin is an AdTech division of Ströer, a leading German online and out-of-home advertisement company. Together with teams in New Zealand, Spain, and Czechia, we develop and run Ströer's tech platform.

Benefits:

If you're looking for the perfect combination of start-up freedom and enterprise stability, this is it! The office is located in Berlin near Alexanderplatz and is fully stocked with drinks and food. We have generous remote work policies (both pre- and post-Covid!). Our small team offers a relaxed, informal, and inclusive culture. You will get exciting challenges and a high level of freedom and responsibility. Your career and professional development are valuable to us; hence switching teams, projects or trying new approaches are encouraged. Every month you get fully paid days during which you can experiment with new technologies of your choice and learn new skills regardless of ongoing projects. We take the responsibility to provide you with quality onboarding from the first days in our company, and your growth within the company will be transparent, planned and clearly communicated. We have frequent team events organized in Berlin, across Germany, and abroad, allowing different teams to meet in an informal atmosphere.

We are looking for:

Software engineer (junior/mid/senior): You will develop software solutions using various technologies in a complex, low-latency, high-throughput environment with high up-time requirements. Our technology stack is built in Java, JavaScript, C++, Kotlin, Postgres, Redis, and Aerospike. We require experience with Linux, SQL, web servers, and at least one interpreted and compiled language. Experience with Java, AWS, NoSQL, CI/CD, Kubernetes, and message queue systems (such as Kafka) is a plus. Additionally, fluent English is required.

If you're interested, please email jobs@mbr-targeting.com.
I think you are right. It isn't politics, it is mostly tribalism. Us vs. "the others".
What is your response to the argument that, at its core, Web2 is just HTML, CSS, and JavaScript? That's all Web1 tech. Does Web2 deserve the same criticism you levy against Web3, for standing on the shoulders of giants? Or, is this just how progress works?
Dover (YC S19) is hiring engineers at all levels
Here you can replace 'God' with technology and that's pretty much what you'll see here. Unwavering belief that technology will be their salvation from climate change.
Nearly every time I feel this way, it's not a trend I'm noticing, but something within myself that's coloring my interactions.

So you are possibly more angry when interacting with HN lately, or are interpreting more things that aren't angry as angry.

Take a few weeks away from HN entirely. It can become addicting, it's often good to seek time apart from any source of anger in your life.
Go handles this by not allowing 3rd party to import a package path with internal/ in it. Only the current module can
Building cross browser extensions – My experience
I'm surprised the article doesn't mention ferries. Many routes in Europe can involve sea transport, particularly UK-Europe, UK-Ireland, Denmark-Norway/Sweden, to islands like Scisily, Corsica and Sardinia. This gives the compactness of the cab-over design a big advantage here.
Kraken Proof of Reserves
This is one example of bending over backwards to claim things that are obviously wrong, no useful discussion to have here.
Bittersweet Symfony: Devs accidentally turn off CSRF protection in PHP framework
One of the most common "lies" is price windowing where you charge multiple prices for something that costs you the same. Like when Intel used to sell a 486SX at a lower price because the math co-processor was deactivated on the same chip as the more expensive 486 DX. This pricing "lie" allowed Intel to get more total revenue and sell more total units because they could charge more and less at the same time. Airline ticket prices also work like this sometimes.

Why I put "lie" in quotes is that prices always reflect more than cost. They also reflect the utility to the purchaser. Some people are always willing to pay more or less. Beyond cost, price also reflects utility. It's true the price of electricity is manipulated to shape behavior, but its also true that 200 kW hours is twice as useful as 100kW hours and the purchaser may be willing to pay twice as much for it.
Exactly. The incentives didn't line up for natural immunity as a course for herd immunity. It wasn't about the science, but policy. And it was never an argument about the science (besides science trying to understand the delta between different types of immunity, including different types of vaccines and natural immunity). That's why I'm perplexed about the "conspiracy" talk. No more than there's a conspiracy about wine consumption in the US.
The flip is like any analytical process, the results vary based on the scope.

You really need to watch the show, as the sometimes they make assumptions that don’t make sense to me that drive the whole process. That isn’t captured in cookbooks. They get the best output based on the criteria set.
> Since it was approved for children by the FDA I assume they did rigourous testing

Reminder that the two most senior FDA vaccine oversight officials resigned in protest before the age 5-11 EUA was approved.

Reminder that the previous FDA commissioner currently sits on Pfizer's board.

Reminder that regulatory capture of the FCC, SEC, and other govt. agencies is popularly accepted as fact, but somehow the FDA is immune to that criticism.
Although runs appear shorter in the EU, they're still multi-day. Lisbon to Edinburg is a 2000 mile drive. Most drivers kip in their cabs, not at home.

IMO it's entirely down to the road networks. Driving across the US is like driving across one very broad road network. Driving across Europe is like driving on many fragmented, narrow road networks.
Whether poached or acquired, NSO employees are almost certainly already under the influence of Israeli security agencies.

If your players in this hypothetical are Apple, NSO, Israel, and USG—each could probably have a pretty convincing list of arguments for and against. I could see it going either way.
been here since 2012, i haven't noticed any particular changes in the discourse now vs back then. this post you just made, in like a recurring thing. someone is always asking this.

same with the "I remade a frontend for HN" someone always posts one. hell, i even made one a long time ago haha
I used to dabble in it years ago. Here's a sample in text mode in C on MS-DOS, which is more a variety of techniques and examples strung together:

https://www.youtube.com/watch?v=ALy9TugTmmA

I got into it originally because when I was learning how to program, I found a bunch of tutorials, open source programs, and small games on places like Programmers Haven (which used to serve text files, source, and programs, but has since renamed to Programmers Heaven and is just a generic message board now).

Being able to type in some relatively simple code and produce a complicated-looking visual effect is highly appealing and lends to the sense of wonder. It pushes the limits of the computer and the imagination and is a gateway into learning more to see what else the computer is capable of doing.

While I never got into anything like game development from it, the demoscene has taught me that the most obvious approach might not be the only one, or even the right one for what you're trying to do. The more techniques you know, the more you can apply, and that you can often reframe a problem to hit it with another more effective technique if your current attempts aren't quite good enough.
Not limited to Hacker News. Other forums I participate in have seen parallel shifts downward in civility. Some of it is generational. For better or worse younger generations often see strident online discourse as totally different than how you would treat a person irl. Older folks have less of a sense of separate worlds there.

In general anonymous commenting was cool for a while but seems to be leading to negative results most places. I’m ready to engage with forums limited to verified real people ex specific situations where personal safety might be at risk (and I’m not in any of those myself now or in the past).
Not anymore, customers are being migrated to AS14593. I'm one of em.. I'm in 170.203.91.0/24.
May be a little, but classic hypermiling technique is to do that anyway. So the slipstream gains are real since absent the truck a hypermiler is going to do the same thing anyway. I never hit the heady heights of good hypermilers, but I had a car I could reliably do 23 km/l, 55 mpg in.

Funny, my current car does 24 mpg on the highway at the speeds I like. Half the efficiency and probably mostly due to me.
Do they want to spend their time doing it? No. Do they have a choice in most of the country? No. Trucks don't conveniently break down at the mechanic's shop.
In theory that is true.

In practice there is a direct correlation between adspend and sucky products and I don't use ads to find interesting things. I use tech tubers and reviewers for that.
my mood is generally more sour, tired, and insanely bored. mostly due to climate anxiety. pandemic fatigue is there still too, but not as much.

but we can't talk about climate shit because people either 1) don't wanna be depressed, 2) aren't willing to accept the rules of the New Climate Regime, 3) are concern trolls, 4) stuck in old, outdated political lines.

so it's just a slow motion death march into the future. fuck.
I don't interpret it as complaining or disingenuous. It feels like he's sharing his experience and says a lot of positive things about it. But it just turns out it can't do what he intentionally bought it for.

I was genuinely informed by the experience.
Seems like Mexicans are not punished for taking off the muffler or generally just using 'unsafe' vehicles.

When I visit Juarez, I'm always surprised to see all of the used school buses that are no longer considered road-worthy in America that area used for all kinds of things. Very often they leave the names of the American schools on the side.
Developers are lazy. They don't want to write technical specifications. They can barely be bothered to write a README with the design or make an ADR. They can't even be bothered to write tests half the time.

It's also hard to explain to your bosses that you won't have any actual code for 6 months.

Experienced lead devs will use it on projects where accuracy and reliability is paramount. Otherwise it's just seen as yak shaving.
Next-Gen Habit Tracker
You’re trying to characterize OP as a condescending out of touch hipster, but in my opinion your characterization of the “modal” Facebook user is actually more so. The “modal” Facebook user is equally capable of being dissatisfied with the product as your 2013 hipster caricature is because FB has failed to deliver on its mission. The social side is boring and doesn’t generate as much engagement because it turns out your friends from high school truly are not relevant to your life, yes even the “modal” Facebook user is capable of change and evolution; and the content side leaves users feeling angry, divided, and exhausted after the hundredth flame war they find themselves embroiled in over the political upset of the day. It does matter.
If everyone had panels, the kWh price for daytime usage would be $0 or close to zero. Everybody would still pay almost fully for nighttime usage, while daytime usage and production would not have any impact on the bill. Either the fixed part of the bill or the nighttime price would grow as needed to cover the actual cost of the grid and the cost of energy on cloudy days.

Either way, the new pricing would stimulate the installation of solar-powered batteries, to arbitrage between expensive nighttime consumption and cheap selling of surplus production in the morning.

On cloudy days the grid would have to supply almost-free energy at noon, but then would also make more money at night because households batteries wouldn't have enough charge. I'm not sure if this is true in the summer, when even on a cloudy day there might be enough sunlight to charge the battery, but the actual balance would guide the utility company on how much to increase the fixed part of the bill vs the nighttime price.

I am not usually a fan of the efficient market hypothesis, but here it seems to work albeit with some serious simplifications.
I work for John Christner Trucking. We made it (almost, sorta) to the front page of Hacker News!
In the US, it feels like the years under the Carter administration, malaise, high gas prices, inflation. These things weigh heavily on everyone's minds regardless where they stand on matters of society like politics or religion. Strong leadership yields positive and negative results, hopefully the balance is positive. Weak leadership yields malaise, which is worse than negative results, it's regressive.
Fibonacci doesn't look like an interesting problem for children. Also, the idea of recursion and/or sequence is complicated. [1]

A good topic for children is a turtle like in Logo. Make some nice drawings. Make smalls programs so you can repeat the drawings. Parameterize the function, so you can change the size of the drawings. Perhaps add some other tweaks, like customizable colors, or optional parts. Bonus points for making the turtle return to the original position and direction. Extra bonus points for understanding why that is useful.

Another good topic is solving recreational math problems. Some problems involve equations with small integer numbers and if they can nest a few `for`s and `if`s then they can bruteforce the solution. Bonus point for discussing the bounds, to ensure that all the options are considered. Extra bonus point for an informal idea of the complexity of the program, and guessing if it will finish instantly, after a wile, or never.

[1] I'd teach Fibonacci for kids if I were teaching them Excel, because you can see the whole sequence. Excel is a very powerful tool and is a gateway to programing. Remember to tech you kids Excel. (Not VBA, just plain cells, lot's of cells.)
You can’t. (I just bought 12 acres 50mins within Seattle.)
We are looking for shopify developers to join our agency. 100% remote. Contract to start and then transition to w2 (if desired).

We do a lot of complex build outs for our clients.

Come join us!
I will pay someone in pageviews if they write that article!

But it's kind of funny, you can see a few comments at the bottom from people who didn't actually click the article, and therefore thought similarly to us.
> The solar panels generated enough power that there was never an electric bill other than the $12 fee to be hooked into the grid. And this was in cloudy, rainy Oregon.

Yeah, this is it in a nutshell. You were only being charged $12/month for a grid connection, when a grid connection was clearly worth much much more than that. The usual cost of a full off-grid system can clear $100k if it's sized to cover HVAC.
Intel Launches Project Circuit Breaker
You do realize the media can say whatever they want? MSNBC can go one way and Fox News can go the other way. Their audiences don't shut down the other...
Sounds like you'd trade places with them if you could
When I was travelling through Ghana I saw tons of cargo vans with Dutch and German decals, advertising plumbers, bakeries, delivery services, etc. It was a bit odd to see them in the middle of West-Africa.

I'm actually kind of curious if anyone ever made a documentary or something about the trip those vans and trucks make, feels like a hidden economy.
You proved my point! The data shows that between renewables, storage, transmission, heat pumps, and electrifying mobility, climate change can be solved. There is thread after thread after thread chock full of citations on this matter. And yet you say, without the slightest hint of proof, that’s it’s a belief versus data.

It’s astounding really, and these data points have helped me recalibrate my expectations of fellow humans, as well as my empathy for them.