skysight-inc/HackerNews huggingface dataset:
MDE plan 2 had problems where MS was pushing out under-tested signatures. One time, they pushed out defs that deleted all menu shortcuts for some users, leading them to believe all of their software had been uninstalled.
It's a Nonprofit Public Benefit Corporation. So that means it must have raised $500k from other people, each of which cannot have given more than $30k. That's pretty impressive. I wonder who the other sponsors were.
Seppuku seems like a good alternative treatment here
Google Is Dying
Wind relies on wind and can be damaged with increased tornadoes and hurricanes and other storms. They also have to have their blades locked into place during strong enough winds.

Solar requires sunlight so increased storms, tornadoes, hurricanes, hail, etc can damage them and cause them to be less effective.

Hydro requires water so increased draughts will cause them to be less effective.

Nuclear requires cooling water which can be harder to deal with.

My point is that if you are expecting extreme weather it is best to diversify. I am not saying that nuclear will be immune to everything, only that it provides an alternative which we shouldn't ignore.
The switching cost from local almost-SQS to expensive HA SQS for scale and/or the client.

SQS is not a reliable exactly-once messaging protocol like AMQP, and it doesn't do task-level accounting or result storage (which SQLite also solves for).

Apache Kafka > See also: https://en.wikipedia.org/wiki/Apache_Kafka
I'll grant that my example is a slight stretch, but only because I don't know definitively for what reasons all the delays took place. Somewhere in the calculus UA lives and hundreds of billions in infrastructure were deemed expendable in order to do what exactly? Sure, the U.S. has publically been frosty with Russia, but what dirt is there on certain U.S. politicians that was leveraged?
This is slightly orthogonal to the point of this post but I've been looking at Webflow again for some potential client work and I was curious what people's thoughts on it were.
This sounds like a great example of "motivated reasoning". In almost any profession that requires some form of repetitive movement you are going to suffer physical deterioration with time beyond what is considered normal ageing. Excessive neck movement will be no different.
I'm also from St.Bernard, greetings my fellow Bernardian!
How does figuring out the halting behavior of ever larger Turing machines help humanity?

What's the payoff here?

I would rather someone of the intellectual calibre you describe work on problems more relevant to improving the world.
It allows full RCE from an uploaded or opened file. That seems reasonably critical to me.
Kinda loosely related: I've always wanted to create a site that shows the opening sentence of any book you can imagine, which would be useful for people who don't know what to read and want to get inspired. I'm quite sure it's entirely possible from a legal point of view (fair use), but I have no idea how to find the data.
I think what you've hit upon, for those of us with enough privilege to set out own schedule and priorities, it takes mental effort and will power to do what less privileged people do just as a matter of necessity.

You didn't have to psyche yourself up to wake at 5am, because you had external forces setting that requirement for you.

If you set your own schedule and work remotely or what have you, getting up at 5am is an act of will.
Nowhere did you say that you think trying to build an interface that is as close as possible to cuda is the problem. You still haven't said why it's a problem.

You only said "look at the implementation" and said that if that's not obviously problematic to me, I just don't understand. If you had explained why you find it problematic we might have had a conversation on the viability of that strategy and the need for other complementary strategies.

Seriously, the only reason I am still here is because I hope you can understand why your replies were really not appropriate for facilitating interesting conversation.
There is a newer meetup replacement called Heylo, which makes its money from you charging for your meetups. They get a percentage. It seems much more sustainable than Meetup. I'm going to start my next Meetup on it. I'm so done with Meetup.
It means that many a book will implicitly assume that there is one way to do something (like induction), when in truth there are many ways to choose from.
>soldiers with the same set of symptoms that remained married.

The SEAL in the article was married at the time of his death.
Large Language Models apparently are excellent Bullshitters
Isn't there another formulation of BB where we count shifts (from left to right, and from right to left) a TM makes instead of strings of contiguous 1s. I remember seeing a video about this definition.
Then this article doesn't apply to you.
♥ I love the Compose key ♥ and use it all the time.

I wish it had interactive dialog box for better discoverability of compose sequences, showing you a list of possible alternatives based on the characters you have already typed.
Yes, it is what the AI is supposed to do when given a data set that is too small for training and a general creativity-free prompt.

The AI system generated a weather app that looked like Apple's because the Apple weather app's UI is one instance of a bunch of almost indistinguishable weather UIs. if humans don't show any variability or creativity in creating a weather app, why would you expect an AI, trained on human knowledge to do any better?
Back in the late 80's I was feeling the kind of the world editing documents WYSIWYG with some Desktop Publishing package on my Atari ST, while my friends toiled away in the stone age of PC text mode with WordPerfect and that incredibly weird and primitive thing (to me): reveal codes.

By the time I moved to PCs I could use Windows 3.x and MS Word, so I lived through college in the late 80s and early 90s without ever using WP. But I still learned to understand the meaning, reason and power of reveal codes.
> or maybe everyone else just makes shitty crayons

It's this.

There are many non-Crayola brands of crayons, but outside of high-end ones meant for artists, they all seem to suck. They're cheaper, though.
Is this something I should know about as a C# programmer or is it largely handled by the language? I usually don't worry about low level optimization, focusing mostly on writing code that is reasonably efficient with regards to time and space complexity. I know there's a lot of gain to be had from minimizing allocations and such, but for most things it seems pointless to worry about.
Moving from express to fastify, pt 1
You already have this anyway. I’m not sure you have seen the size of average page js bundle. It’s many MBs of JS. All this while expanding browser APIs like crazy during last few years. Simplify the platform and let people brew.
> Their tactics tend to prefer quantity over quality.

Nonsense.
> Are you going to get 10x pay for 10x work?

If you own the company, quite possibly yes.

Otherwise, very very unlikely.
Those aren't gotcha questions.

And part of a real job involves solving real problems. In an interview, you have a very limited time, so you have to come up with questions that test the candidate's ability to solve problems within a certain timeframe.
Maybe that's true if you buy no-name appliances from Wal-Mart, but most major brands still mostly offer no-frills budget lines that are aimed and marketed at home builders and landlords.

If you go look at the lowest price GE appliance in most categories it's almost certainly going to outlive their high-end stuff.
No worries. At that age it would insane to try to fix it. A new one every 30 years? I can live with that.
It would also be very easy for a court to decide that executing a political rival is not an official act and deny the President immunity.

What do you think the odds are for this Supreme Court to declare e.g. that shredding official documents (or moving them to the president's private property) is an official act?
I like being able to type them without looking :)
I guess they could have just charged you a fee for conveying the title equal to what they would have earned on the insurance premium, did you ask them yhem to do that?

It is pretty silly if CA requires a title company to do that. I have transferred titles in my state myself, here, I just take the title to the county and pay a small fee to have it recorded.
> So you're saying that fixed wing airliners are better than helicopter airliners because shooting them down requires larger missiles?

Yes, it not only increases the barrier to entry for attackers but airlines can install some defenses against MANPADS since they're easier to counteract than more advanced missiles. Some Israeli companies have developed and certified flare based anti-MANPADS systems like Flight Guard and laser based ones like C-MUSIC, though I don't think airlines have widely deployed them yet.

Once they're at cruising altitude, man portable AA can't bring them down.
That's the point. When you use ambiguous definitions, you get stuck in a morass.
> "After decades of uncertainty, a motley team of programmers has proved precisely how complicated simple computer programs can get."

my team has also proved this via our production codebase
The problem with plastic is that plastic != plastic.

Some plastics last forever, others don’t. There’s no way to tell without buying one and seeing if the parts self destruct or not.

With metal it’s simpler, it just lasts.
I haven't run it myself, but the example provided looks kinda broken. It looks WAY better than the PyPDF results, but good enough?

The table name was parsed as part of a column name, and half of the column names were not parsed at all.

Original: https://github.com/adithya-s-k/marker-api/blob/master/data/i...

Parsed: https://github.com/adithya-s-k/marker-api/blob/master/data/i...
This is discussed in the article, the mechanism is thought to be different:

>It was not chronic traumatic encephalopathy, or C.T.E., which is found in football players and other athletes who have been repeatedly hit in the head. It was something new.
People who are creative will always find ways to be creative.

Yesterday it was by painting, today it’s by using generative AI to create images, sounds and video, tomorrow it’ll be by using who-knows-what to create who-knows-what-else.

The spirit of the enlightenment isn’t in the type of art, it’s in the artistic expression, and that will always find an outpour. It’s like saying water can’t flow unless it flows in rivers.
If your routine has you spending your time on low impact activities, the "10x opportunities" are unlikely to come at all.
Improving 64-bit RISC-V Linux support in Rust
Plenty of npm dependencies are published as browser-compatible standard JS modules.
Depends strongly on the geology. Clay will compress greatly, but bedrock/limestone will not at all. Most aquifers consist of a diverse range of geologic materials in varying thicknesses with different ingress types that will vary in capability to recharge.
Learn how to reduce the power usage, make apps more accessible in 8 minutes flat
When I was in high school, working at a warehouse, I told my boss I needed a few days off for my brother's wedding.

"What happens more often? Work or your brother getting married?" he asked me.
"Work" I replied.
"Well, there you go. Work is more important."

He and I had the kind of casual working relationship that he could jokingly be an asshole and I took it in the good nature it was intended (and yeah, I got time off for the wedding).

I haven't thought of that story in years, but your advice brought it immediately back.
We Ditched Vercel for Our Node.js App
CocoaPods Flaws Open Doors to Supply Chain Attacks Against iOS and macOS Apps
We had this with plugins and it was a security, performance, and compatibility nightmare.

It wasn’t that long ago you needed QuickTime and RealPlayer for videos. Then Flash, Director, Silverlight, and Java for multimedia.
I presume this is related to the Bullwer Lytton Contest?

https://www.bulwer-lytton.com/
> We the people need more protection from them.

And we have it: 2nd Amendment, isn’t it?
would cold-restarting sshd every hour also make this unlikely / harder to exploit?
If you fix a particular axiom system for deriving your termination proofs (e.g. because you write them all down in Coq), then for Gödelian reasons, there are programs that don't terminate but for which a nontermination proof doesn't exist (and thus can never be found). If Coq is consistent, then the program that enumerates all possible Coq proofs and stops as soon as it finds a contradiction, is one such program.
These researchers clearly haven't looked at our NodeJS ERP system.
Rewriting the fine structure constant sounds dangerous.
Yes, we veto sites to prevent spam.

I'm not sure you would like the results of what you suggest - if you are really going to crawl everything indiscriminately, you will end up with a lot of rubbish. Just check out Common Crawl if you want to get an idea of what it would look like.
Google tried this approach few years back with gaming: Google Stadia.
The concept was about rending complex 3d games in real time on the cloud.
It did not work out well commercially, but I think the tech was ok.
I think it's entirely fair. The article sets up rationality as the destructive value.

>René Descartes (1596-1650) is often attributed as the one who blessed us with the dubious vision of mind-body dualism, but he was just playing into an emergent spirit of the times that was beginning to view rational thought as the true essence of humanity.
I can do everything with pencil and paper and have done so for a many years now.
esbuild is written in Go, which has similar "probably quite fast and easy to install" properties to Rust.

Compare that to the expected experience if it was written in C++ or JavaScript or Python or Java or ... All of those are either likely to be slow or painful to use.
That is because these are small. Small machines can not help but still have those sorts of patterns in them. See all the simple 1-D automata of interest, for instance: https://atlas.wolfram.com/01/01/

As you step up I am fairly confident you'll see the winners get noisier and noisier. They'll have some sort of pattern, just ones you won't be able to comprehend. For some suitable definition of "noisier" this might even be a provable claim.
> When trapped in a transparent, flourine-rich crystal, scientists can use a laser to excite the nucleus of a thorium-229 atom.

> [...] This accomplishment means that measurements of time, gravity and other fields that are currently performed using atomic electrons can be made with orders of magnitude higher accuracy
>> just rent a boat and gave it a try?

As someone who once worked tangentially in search and rescue, please do not even consider this. The ocean is a serious thing, doubly so at night. Unless you are renting a boat large enough to come with its own staff, please do not just head over the horizon simply to see the stars. And fyi, the stars at sea move as the boat you stand on moves. They are brighter, but also more blurry.
The most amazing sky I’ve ever seen was when I arrived in Urubichá in Guarayos region of Bolivia in 1998 before the electricity arrived in the area. I traveled by bus to visit my friend’s childhood home. The bus only went to the big city an hour away so I road in the back of a jeep the rest of the way, at night. I remember vividly not understanding what this super-bright light was in the sky. I know now it was either Venus or Jupiter, but it looked artificial because it was so much brighter than I was used to seeing.
I won't try to speak for the Chileans, but while I was there I did not get the feeling that they are happy about the intervention. The more I learned about my country's role in their history, the more surprised I was that they were being so nice to me. (I was there, along with my naiveté, to see a solar eclipse, so the cultural stuff I picked up along the way was a bit of a surprise).
K8s was absolutely built using exciting tech....Golang was hot off the presses. The brand new hotness. Google's internal Borg was C++, so the boring choice was C++ which wasn't chosen. Also they were google employees, which also adds a bit of bias in selection I would imagine.
jj (jujutsu)
https://github.com/martinvonz/jj

lazyjj:
https://github.com/Cretezy/lazyjj
Human drivers do this sort of thing all the time

In fact, literally today, I drove into the oncoming lane of traffic due to construction work. There wasn't signage or anything to do it, I just saw the car in front of me doing it and did it too. No idea if they did it for any sensible reason or not
> What's the payoff here?

Personal happiness? It's also more than short-sighted to assume that just because there is no immediately obvious overall benefit, that no such thing exists.

The techniques and insights developed and found during the pursuit of such fundamental and elusive problems can have profound side effects that may materialize only decades or even centuries later.
Would you accept "issue" sponsorship to prioritize work you were going to do anyways - for instance, improving performance for a specific usecase etc?
You need a certain amount of flexibility anyway. Travel happens, etc, when running a business. I know I will be less productive and just plan podcasts or whatever in an airplane. It’s okay to relax during travel for me. I get my thinking and work done other times.
Funny you should mention the Atari ST. I heard WordPerfect did make it to the platform, but only for a short time. I wonder if it was any good?
Interesting read. Granting the contention that there's no knowing the "real" Nietzche, I'd still like to have a better picture of where his writing does and doesn't support the figure built up by his sister.
>> what's the surprise? Sounds like a normal startup work.

The surprise is the asymmetrical expectations.

I would not expect a paycheck from the new company during the in-between-jobs vacation time (which I pre-arranged before accepting the new position).

I would expect them to think that such an "ask" is outrageous bordering on insane.

And then there is the normalization of wage-theft through manipulation.

To clarify my position: while this may represent a type of startup work that is very commonplace there is nothing at all normal about it -- it is just a clever form of stealing.
Survivorship bias is related to how you respond to the data though, in this case reinforcing the wrong parts of the plane based on where you saw holes in planes that returned.

I do believe it is still true that planes can take more damage and still land safely compared to helicopters.

I can't find any good data to support it now though, maybe someone going by here will have a good link to data that shows real world data either way.
The American Millennium – A Fourth of July Tribute to a Nation on the Rise
Yes, I've been offered to repost it, with an updated description
It looks like that was gov also. The figures and the investment is weird in general.

Which tells you one thing…
Big fan of LiteLLM Proxy and LiteLLM Python SDK to connect to various local models. Might be helpful here as well
Thanks for sharing interesting info!

How do we know that there would be consistency issues or Σ₁-soundness issues?

Your claim about proof size categorizing n-state machine halting status is new to me. Do you have any links to read more about this?

The argument doesn't make sense to me. Rather it seems like more of a consequence of BB being incomputable in the first place. The proof sizes for each BB(n) aren't expected to be computable at all. There is necessarily a different theory for each n (or intervals of n where each theory applies with limits on each).

> So there isn't anything to support the position, other than the pure speculation that anything is physically achievable given enough time.

Something something burden of proof something. It would be extremely fascinating to have a conclusive argument that large BB numbers cannot be solved.
That is part of ADHD. Knowing you just can’t function the same in some environments. Plan ahead, know your routines and such resume when you are back to a more controlled environment. Set expectations with business partners, work deadlines, etc.
Holy shit. Did you end up going with China after all? Can you share anything else from your experience? I'm in disbelief about what's going on, having emailed at least a dozen labs around Europe and receiving only one reply.
The variant of BB discussed in the article is counting steps, not 1s. (I guess "shifts" is equivalent to steps, although that seems like a more roundabout way of specifying it.) Also, I don't think anyone counts strings of contiguous 1s, although of course one could define such a thing.
Bureaucracy is, among other things, Someone Else's Moat.

As in, Title Search and Title Insurance could be treated as a Public Good and administered by a government entity (shock, horror!).

But people are making a lot of money off of it, so there is a bureaucratic moat.
Since you wanted to restrict it to things that happened:

- Chrome began to "log in" users into the browser by default, if they so much as logged in to Gmail or Youtube, or anything that uses Gmail ID oAuth. That means that all the searches and web visits made on the browser are explicitly tied to your Gmail ID.
Operations Review Meeting
Paper: https://iopscience.iop.org/article/10.1088/1748-9326/ac13f1/...
> On the brink of insanity, my tattered mind unable to comprehend the twisted interplay of millennia of arcane programmer-time and the ragged screech of madness, I reached into the Mass and steeled myself to the ground lest I be pulled in, and found my magnum opus.

pulitzer prize nomination material
Title insurance is pure profit in some states. In Texas, the state sets the premiums and this is dependent on the home sale price [1].

In TX, for every $1 collected by title insurance companies, the insurance companies paid out roughly 1-2 cents. 98-99% profit. [2]

I have honestly contemplated setting up my own title insurance company, advertise low rate title insurance but under the table give the buyer or seller half of the premium back to them.

[1] https://tdi.texas.gov/title/Titlerates2019.html

[2] https://www.texasobserver.org/entitled-to-profit-in-texas-ti...