skysight-inc/HackerNews huggingface dataset:
The whole time I was learning/porting to Otel I felt like I was back in the Java world again. Every time I stepped through the code it felt like EnterpriseFizzBuzz. No discoverability. At all. And their own jargon that looks like it was made by people high on something.

And in NodeJS, about four times the CPU usage of StatsD. We ended up doing our own aggregation to tamp this down and to reduce tag proliferation (StatsD is fine having multiple processes reporting the same tags, OTEL clobbers). At peak load we had 1 CPU running at 60-80% utilization. Until something changes we couldn’t vertically scale. Other factors on that project mean that’s now unlikely to happen but it grates.

OTEL is actively hostile to any language that uses one process per core. What a joke.

Just go with Prometheus. It’s not like there are other contenders out there.
The goal is to ensure not just that the CA is capable of performing the revocation, but that the CA's customers are capable of accepting it and won't demand the timeline be extended. (As they routinely do today.)
Is it boring reading about the meta or how something works. Understanding the inner workings of a system or society is something we can use as an outsider to the system.

Hearing that these opinions get downvoted helps explain why these comments were judged this way.
Simpler than that: just roll back the restrictive zoning codes which have been making sufficient development infeasible for many years, thus creating a steadily growing housing deficit. When laws have turned the housing market into a game of musical chairs, someone is guaranteed to be left outside.
Most African countries operate internet access via buddy/bribery cartels to tax the people highly and enrich the bribers. They hate Starlink's access to anyone who can import a starlink terminal and set it up and they seize them whenever they find them. If Starlink has a licensed path = they would want the lost bribes to be replaced by their fees. All in all = a huge drag on internet access in Africa. A few countries escape this - a precious few..
1Blocker has been great for me so far as well. Nearly a year and happy to pay for it.
It's like

https://triaxes.com/docs/3DTheory-en/522ParallelCrosseyedvie...

which some people struggle with, somebody posted a

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

to HN yesterday which some people get and others don't. (That's different from the "cross-eyed stereogram" because one of them involves having two images and the other one has one image with two images hidden in it)
> In this reviewer’s opinion, it was a sparkling creative success as well as a commercial one, making it all the more deserving of remembrance. We’ve seen a fair number of train games built on similar premises in the years since 1998, but I don’t know that we’ve ever seen a comprehensively better one.

RRT2 is my all time favorite game, and has yet to find a spiritual successor in my heart. Alongside Anno 1602, it may be the oldest PC game I regularly open up and play for fun.

The gameplay is still so good. The fact that the game is so open-ended and also so cutthroat, combined with the procedurally generated maps means it always feels fresh to play, even all these years later. The UI has aged but has not gotten in the way.

And yes, as reviewer describes, it absolutely nails the theme. The sound design, the visuals, the music, the historical setting. Things feel gritty and real and tough. Just like the game's treatment of Robber Barons, the game perfectly balances romanticism with cynicism. The game made me love trains.

I still remember learning as a child how stock trading on the margin worked when I simultaneously made and then lost a massive fortune attempting to buy out a rival.
I’m not super experienced with formal verification, but I did dip my toes in it a few times.

My impression is that it’s far from a magic bullet. Writing formal specs is basically like writing the code/tests just differently. And the more it covers the more it becomes the same thing. And it suffers from the same problems.

My conclusion every time was that the code itself is the formal spec and the formal spec is the code.

By analogy with construction, the code is both the building and the blueprint.
Exclusive–Chinese Patents Reveal Aim to Cut Undersea Cables
Future warfare would be really fun. You would have to eliminate every single animal you find because it could be drone.
In general, some spend a large portion of that part of their career cleaning up dysfunctional projects.

i.e. the entrenched incompetence and hype-driven career-butterflies left the firm with a smoldering pile of wishful thinking.

Sometimes, one can slowly migrate to something standard, sustainable, and reliable... Yet if the product is an established code base, it usually means entry level jobs become a glorified Janitor with a digital mop.

Due to the sunk cost fallacy, one usually won't be allowed to fix the core problems even if relatively trivial. =3
Time to roll out a kill-switch that emergency authorities can use to knock down all unauthorized drones in areas like that. After some fair warning, any drone still flying in such zones would suddenly become dead weight. It might be the only way to guard against this sort of idiocy.
Gee whiz is this person is in for a treat when they discover the joys of OpAMP https://github.com/open-telemetry/opamp-spec/blob/main/speci...

Turtles all the way down.
> would rather let a forum wither and die

That doesn't "get in the way of people communicating where they want to communicate"? If 99.9% of a forum likes the "no child porn" rule, that's not enough?
The fundamental definition of consensus already requires that some proposal will eventually (given sufficient communicating, non-faulty, non-malicious nodes) win, so that doesn't seem particularly novel: https://lamport.azurewebsites.net/pubs/lower-bound.pdf

The core problem here that it's impossible for any replica to tell whether its speculatively-executed operations were legal or not; it might have to admit "sorry, I lied to you", and back up at any point. That seems to be what they mean by "partial progress". You can guess that things might happen, but you will often be wrong.

This idea's been around for a while--Fekete et al outlined speculative execution at local replicas with eventual convergence on a Serializable history in their 1996 PODC paper "Eventually Serializable Data Services": https://groups.csail.mit.edu/tds/papers/Lynch/podc96-esds.pd.... These systems have essentially two tiers of operations: weak operations, which the system might re-order (which could cause totally different results, including turning successes to failures and vice-versa!), and strong operations, which are Serializable. I assume Cassandra does the same. Assuming it's correct, the strong operations work like any other consensus system: they must block (or abort) when there isn't sufficient communication with other replicas. The weak ones might give arbitrarily weird results. In CAP's terms, the strong operations are CP, the weak ones are AP.

You see similar dynamics at play in probabilistic consensus systems, like Bitcoin, by the way. In Bitcoin technically all operations are weak ones, but the probability of non-Serializable outcomes should decrease quickly over time.

Having a consensus system that merges conflicting proposals is a nice idea, but I don't think Cassandra is novel here either. I don't have a citation handy, but I recall a conversation with Heidi Howard at HPTS (maybe 2017?) where she explained that one of the advantages of leaderless Paxos is that when you're building a replicated state machine, you can treat what would normally be conflicting proposals from multiple replicas as sets of transitions. Instead of rejecting all but one proposal, you can union them, then apply them to the state machine in some (deterministic) order--say, by lexicographically sorting the proposals.
I don't think it's the same as the fallacy of the beard when there's no continuum between the two examples, which will always be the case if the analogy between them is false. If it is the case that globalization is really just an extension of trading between hunter-gatherer tribes, then I agree with you. To me, they're two different things. If I take my glasses off and squint, they sort of look alike in a poetic way, but they're not actually the same, differing only in scale.
The idea is to protect you from yourself. You already have root access to the production server, because you are the admin and you need it to do your job.

Fun followup: the image is from the French movie "Le dîner de cons", where the character depicted says "Oh la boulette", after making a gaffe.
For crossing just focus on your finger and then remove it.

Looking far away may be harder, and afaik it’s near impossible to look “past infinity”, iow pictures must be less wide than the distance between your eyes.

Btw these two methods aren’t equivalent in watching stereograms. If you look at one and see something but it doesn’t really make sense, then it’s probably the opposite chirality.

Personally I hate the crossing method because it makes your eyes feel strange for a while.
If there are many objects moving in many directions, you won't be able to find a reference frame in which the mass of the system is equal to the sum of the rest masses of the objects.
Ok, it probably can't draw a proper desk telephone, princess phone, telegraph key, or 4 way lug wrench with cheater bar either.

Most kids have zero idea how to work a rotary dial telephone, what an 8" floppy disk, or paper tape are. It's trained on newer material to try to be relevant to questions about new things. This is to be expected.
Responding to revocations can be automated, and mature organizations like Amazon are presumably already doing that because revocations can already happen unexpectedly for reasons outside their control.
I can’t parse your second sentence.
What app actually needs background refresh? I suppose messaging (sms, iMessage) and email. Assuming you want those async fetched and not pulled on app open. Curious what you’ve found you left enabled or had to enable because I agree with overly restricting apps.
Actually a good book: https://www.amazon.ca/First-Days-Updated-Expanded-Strategies...
Formal methods work great when the price of failure is absolute. Mostly pointless otherwise but can be a good exercise I guess.
Has anyone experimented
with “writing” by speaking directly to an Ai ( ala “stream of consciousness” )

And then having it edit it down into something coherent and if possible sublime?
> Safaricom and other legacy providers have responded by lowering prices and increasing internet speeds.

Super exciting to see competition working.
Meta's memo to employees rolling back DEI programs
There are some chapters in a fantastic book, "Thinking Fast and Slow" by Daniel Kahneman, that explain how luck has a huge amount of influence on the events in the world.
In the reference frame of the Earth a starship would be seen ramming in to stationary dust and long wavelength light.
$633 (USD) per month in Zimbabwe is crazy. I could see Starlink becoming the internet backbone for micro-ISPs to slice.
What about tinder exactly is the problem? Asking as someone who has never used it but assume it’s Facebook for sex basically. Is it any worse than Metas properties?
All it did was hurt my eyes. I'll opt out of playing, superpower be damned.
Trains are only electric if there's a network of "electrified" rail. Not a thing in North America for instance.

That doesn't exist for trucks at least not end to end. Maybe something like [1] for the busiest parts of the network and then smaller, lighter batteries for the last mile.

Anyway, I'm not convinced there won't be a need for Hydrogen powered transportation unless we make big leaps in battery energy density (to reduce weight) or change our lifestyle.

[1] https://www.power-technology.com/news/germany-launches-first...
Great addition to the current frameworks and libraries out there - will give it a try on the weekend,but looks promising from you evaluation.
Nobody ever got fired for b̶u̶y̶i̶n̶g̶ I̶B̶M̶ slapping "AI-powered" on their product description.
Vertical Stacking as the Relational Model Intended: Union All by Name
Fasting for prolonged periods has been found to help on both cancer discovery and during chemo.
Right was just thinking why people would want to submit their site to OP
I’ve done Magic Eyes a lot, but I’m failing on this. (However, I found the difference in the coffee beans picture reasonably fast without the eye-crossing trick, and before reading what the difference is.)
Is it really desirable to combine "unknown" and "no value" into the same identifier? They seems like very distinct concepts. Using your form example you might have a name field that includes a spot for a suffix (John Doe III) for example that many people would leave blank because they don't have a suffix. In that case you should encode it as a NULL, but if they fail to fill in their family name then that's UNKNOWN.

If you do it this way you can avoid some confusion as to what NULL represents.

John Doe NULL IS EQUAL John Doe NULL

John Doe NULL NOT EQUAL John Doe UNKNOWN

John Doe UNKNOWN NOT EQUAL John Doe UNKNOWN

Determining if any particular input is NULL or UNKNOWN is a tricky problem, but at least this gets the programmer thinking about it up front and structuring their code to behave in the sanest possible manner.
That would require the drone complying with the kill-all switch. The enthusiast community is still very unhappy about being required to have the FAA Remote ID broadcast chip onboard, which also broadcasts the pilots location. Many still don't and they have gone as far as creating spoofing and fuzzing devices (that create dozens of ghost drones and pilots).
How does that work when the two images are different sizes and overlapping? Did your PiP mode have a split screen option? The ones I've seen only allowed moving where the insert was placed (which corner), but it was always a PiP and never a split screen.
I did not find that manual instrumentation made things simpler. You’re trading a learning curve that now starts way before you can demonstrate results for a clearer understanding of the performance penalties of using this Rube Goldberg machine.

Otel may be okay for a green field project but turning this thing on in a production service that already had telemetry felt like replacing a tire on a moving vehicle.
https://www.ghacks.net/2022/03/17/each-firefox-download-has-...

This data will allow us to correlate telemetry IDs with download tokens and Google Analytics IDs.
all i managed to do was make myself very dizzy
Sentinel values suck especially when the language already has a perfectly good one built in.

Is 0 for a temp measurement unknown sentinel or an actual measurement, how about 2,147,483,647 great probably not a measurement now its always included in greater than queries same with max negative with less than.

Null separates the value into its own distinct group and prevents it from being including in range queries due to it not being an actual numeric value while most languages still allow you to compare equality using standard operators.

Sum types would be great in sql but currently we get a union of the sql type and null, so null for sentinel values it is except for the having to using weird syntax to compare it.
Have you ever seen SQL? Blowing lots of bytes on a query was not a concern. They could have made a much more compact syntax with little effort, but it wouldn't have looked kind of like English the way SQL does.

You could imagine a world where instead of:

SELECT ( email, name, outstanding_balance ) FROM accounts WHERE outstanding_balance > 0 AND last_payment > 60 ORDER BY name

the queries looked more like:

accounts: outstanding_balance > 0 & last_payment > 60 => email, ^name, outstanding_balance

There were plenty of contemporary languages that looked like the latter, but few survive to this day. SQL's relative verbosity was not seen as a problem then and is definitely not one today.

Besides, if the verbosity was a problem they could easily shorten it to UNK. That would have been perfectly normal.
Everything you said about formal verification is also true about tests; do you think software is also uniquely ill suited for TDD?
There's also experiments like [1] which might be feasible in dense environments so the battery could be smaller for the last mile.

[1] https://www.power-technology.com/news/germany-launches-first...
Yes, and even just the normal business attitude of "our goal is to make a profit, not solve all the world's social problems" is viewed as "unethical" by many people (most of whom have never run a business).
You might also want to try Kamal, which Rails is already configured for out of the box.

You'll still be spinning up a VPS, but at least set up and management is done via a very heroku-like interface from your local machine. Just get any VPS that will be accessible via SSH, and `kamal setup` can handle the rest. [1]

The one annoying part right now, is it relies on a docker registry you have to provide. I think they're working on removing that requirement, but you can use the free github container registry until then. It's just for rollbacks AFAIK.

[0] https://kamal-deploy.org/

[1] https://kamal-deploy.org/docs/installation/
Nope. We were forced to by management.
Same thing. OpenTelemetry grew up from Traces, but Metrics and Logs are much better left to specialized solutions.

Feels like a "leaky abstraction" (or "leaky framework") issue. If we wanted to put everything under one umbrella, then well, an SQL database can also do all these things at the same time! Doesn't mean it should.
Streaming won because the US government took down Megaupload in 2012, and has been taking down torrent trackers for years.
I figured everyone because I had a puzzle book that instructed readers to do this.
Identical story here. A family member followed the medication/diet/supplement protocol from that same book in conjunction with standard cancer treatment. When the surgeon took the tumor out, he was shocked that it had drastically reduced in size. Their blood markers "could not possibly be better" according to the surgeon. The surgeon said he had never seen a patient respond this positively in his career. The additional evidence-based protocols likely contributed to this result.

Even before beginning conventional treatment, the McLelland protocols reduced the cancer biomarkers. It's also worth noting that there is no universal protocol in the book. Each cancer has a different metabolism requiring a different approach.
Largest compressed air energy storage facility starts operation in China
> i.e. the entrenched incompetence and hype-driven career-butterflies left the firm with a smoldering pile of wishful thinking.

Luckily I’m at point of my career where I have nothing left to prove and my success metrics that I take to any company is that I can show I am “smart and gets things done”.

https://www.joelonsoftware.com/2006/10/25/the-guerrilla-guid...

And I can work at a staff (smaller companies) or at least a senior (BigTech) level of “impact”, “scope” and “dealing with ambiguity “.

https://www.levels.fyi/blog/swe-level-framework.html

I spent years railing against “Kubernetes everywhere”. But now it’s my go to for anything that’s even slightly complicated with multiple services. But still keep my databases, cache clusters, etc off of it.

If it’s a monolith, just use GitHub actions or Jenkins. Again something standard

It’s a known standard, it’s cross cloud (for the most part) and it works on prem. You can find people that know it easily and it’s easy to recruit career oriented people who want to know Kubernetes or who already know it.

It’s just like standardizing on React on the front end.
I think they're making a <valid> claim that funding creates a bias. Netflix funding squid game created a bias to rewrite a potentially-done script for US audiences.
You're not really supposed to type it everytime. Just declare an alias prefixed with boulette replacing the actual risky commands.

If you're in a mental state where you can shutdown a prod server while thinking you're on a dev one, you certainly won't think to type "wtf command", no matter "wtf" actually is.
Or you could live in Poland and only get C64 and (clones of) NES in 90s. And copyright only started being a thing in like 1993. So before that public radiostations broadcasted computer software sometimes :) And there were open air markets with pirated games in the center of most big cities. That's where CD Projekt RED guys started - by selling games they got by paper mail from abroad on these markets.
> battle royale was a B movie

Yeah, if it's not an American movie, it's some cheap shit! /s

My brother, it was nominated for nine Japanese Academy Awards, it was helmed by one of Japan's top directors, is an adaptation of a best-selling novel, is regarded by critics as one of the best films of the era, has high production values, stars arguably the most famous actor in Japan, was scored by a famous and prolific composer (you might have heard his music in another movie called Django Unchained), etc.

That's not even getting into the economics of film in Japan. A successful film in Japan nowadays earns around $10M on a budget of half a million. BR, produced nearly twenty years ago, had a budget nearly ten times that much and grossed triple.

Suffice it to say, Battle Royale is a high production cost movie, which forecloses the possibility of it being a B movie.

and because I'm just some guy,

https://variety.com/2018/film/asia/japan-ethics-of-making-ch...
There oughta be a Game Boy Slideshow
Assuming not management track:

- Make a token commit day 1 or 2 to show you can and will deliver, even if just docs. Ensure you can go end-to-end on a real code PR week 1, even if a trivial one. Identify which area of code is most important for you to learn, vs not learn, and focus there.

- Get agreement on week 1 / month 1 / q1 goal for you+team+co with your direct peers, manager, skip level. Assuming a startup, also with CEO. Meet associated peers, like if an eng mang, other eng manga, and if a startup, head of X, Y, Z.

- Learn the business & product, eg, use it + shadow sales/marketing meetings.

- Observe culture and start acting: your first 30-90d is when you can make some changes by power and set tone, but doing any in weeks 1-2 are generally presumptuous as means you don't care about existing people & their earned & lived experienced. Change depends on seniority, eg, less senior can mean just adding better linting.
Operational versus builder jargon.
> is just a DFA

Oh is that all? If resource bounded Kolmogorov complexity is that simple, we should have solved P vs NP by now!

I debated adding a bunch of disclaimers to that parenthetical about when the infinite tape starts to matter, but thought, nah, surely that won’t be the contention of the larger discussion point here haha
> the creator was financially screwed out of the first.

I wasn't aware of that until watching this recently: The Capitalist Body Horror of Squid Game https://www.youtube.com/watch?v=eCxNnAAbKk4
A Series of Unfortunate Series