Comment Re:All part of the Elite's agenda. RESIST IT. (Score 3, Funny) 108
Apparently, the elite also own all the newline characters.
Pica FTW!
Apparently, the elite also own all the newline characters.
Pica FTW!
Is the USA in need of a tunnel to Denmark?
As a matter of fact, yes. Specifically, to the Greenland region.
Although a golden bridge of grossly outsized proportions and festooned with tacky ornamentation would be much preferred.
Notepad, which is a tech demo for some controls written by Microsoft
Apparently, its current purpose is a demo for their "Copilot" AI technology.
Dude. I'm so old I have actually used a VT100. I actually used a teletype for a few minutes for the heck of it. No punch cards, though.
I'm pretty clear on what a terminal emulator is. I've probably used one more days than not over my more than half century.
My point was: **We're totally ditching github!!** - and yet their website still links only to source on github.
Everyone wants roads near their house. If you don't have a road going to your house then your house is worthless. Once the government has a right of way for a road, expanding the road might be expensive, but it doesn't get the whole community involved in a series of lawsuits.
The only people that want to live near the train tracks, on the other hand, are the people out in the middle of the California desert that would love to have a way to easily get to the parts of California that aren't a wasteland. In the nice parts of California, every home owner within visual distance of the proposed route has hired a lawyer and vowed to fight the tracks to the death.
This means that California has built a tiny bit of tracks out in the middle of nowhere (near Bakersfield but not in Bakersfield). It also means that every single foot from this point on is likely to get even more astronomically expensive. The homeowners involved know that houses that are far enough away from the tracks so that their home value doesn't plummet are going to get a windfall as their prime real estate will become even more valuable with decent public transit. The rail system is going to be a serious amenity eventually. The homeowners near the tracks, on the other hand, are going to see a serious drop to their net worth. Everyone in California wants more light rail, but only if it doesn't go through their neighborhood.
It could easily be that California real estate is simply too expensive in this day and age for something like this to be built.
With all of GitHub's great new AI features, it writes all your code for you! It doesn't matter whether the site is up at any given moment; just download your newly completed app at some point then the site is online. You're free to kick back, relax and scroll your social feeds because you don't actually have to do anything anymore. This is truly a golden era!
Huh. What's Ghostly?
* Click link -> https://ghostty.org/
* Clcik docs -> https://ghostty.org/docs
* Top right corner [ GitHub -> ] -> https://github.com/ghostty-org...
Nope.
This is why NASA always packs a tin of Bondo with the mission supplies.
Formal verification mathematically proves code implements a specification. It does not catch bugs that are specified.
There are entire classes of bugs (logic bugs) that LLMs can find that formal verification literally doesn't even try to.
So you prompt the LLM to "find all the bugs".
Even if the LLM can find every last bug (which in turn assumes that this type of problem isn't NP-hard or has some issue that Godel would point out), just defining to the LLM exactly what a "bug" is seems to be pretty much the same thing as those formal specifications that you just convincingly dismissed as inadequate.
I don't think that there's anything magical about LLMs that would let them get around fundamental mathematical roadblocks.
My point exactly. With 5 bullets, does a 16% chance of surviving each trigger pull actually mean anything?
It would mean that there's an 83% chance that the rest of us would be spared from more posts expounding on your silly line of reasoning.
The "probability" is meaningless if it is being used to predict the outcome of a single event. Statistics 101.
If that's the case, the next time you play Russian roulette, why don't you go ahead and put in 5 bullets?
Mutually Assured Destruction and even a small arsenal like Israel is said to have makes nuclear war pointless.
If what you say is true, then why is everyone freaking out over the prospect of Iran obtaining nuclear weapons?
From now on, I'm only drinking soda in October.
As long as I pay my electricity, who cares?
Ignoring the fact that you don't seem to know what a laptop battery is, it looks like you could have a promising career as a data center site planner.
Not to mention, blocking more ads and other unnecessary stuff == better performance on the stuff you were actually trying to view. It very likely comes out as a net performance win even with a ~20% disadvantage in raw CPU speed.
The only problem with being a man of leisure is that you can never stop and take a rest.