skysight-inc/HackerNews huggingface dataset:
Reminds me a ton of the all text in brooklyn post from a couple weeks ago - https://hn.trieve.ai/?q=all+text+brooklyn . I am pretty surprised that I found it easier to come up with cool queries for alltext.nyc though. I wouldn't have expected that with just descriptions of the two search engines.

Some notes from experimenting:

High level, I would expect that using a LLM to caption the images post SAM would do better than CLIP by itself.

I wish that it put my search query and mode as a URL param so sharing would be a bit easier.

Main use-case I could come up with would be spotting areas lacking accessibility features or maybe homeless encampments? Idk, I definitely couldn't think of any commercialization ideas off the jump.

Another thought I had was why you guys chose aerial satellite instead of street view data? I imagine something like "palace of fine arts" would have worked with that approach.

- "skate park" has some classic dense vector failures where it will find an outdoor playground-style area more similar than an actual skate park. Also, big mode is really cool and works much better for these kinds of queries. "chess board" will rank checker patterns over actual chess boards. Bunch of examples will follow this pattern. I wish there was an additional search mode for LLM generated descriptions of the segmented images, but there are probably cost constraints there.

- "USF" also didn't work well. I guess not surprising given it's CLIP, but still kind of interesting. I wonder what it would take to make the multi-modal models better at OCR without actually doing OCR.

- "beach" didn't work great which surprised me

- "picnic tables" and "lots of people" also didn't work | no idea why
Interesting analysis! From the facts in this post, I'd reach the following speculation: the creators have a contract that entitles them to vote on certain types of company action, a share of 50% of the revenue, and potentially representation of their votes in the form of one or two of the existing board seats. Essentially there being some company bylaws in place to enact that "ownership" mechanism.

This would match what Standard have said about the setup, would match the Wendover documentary and its reference to "wizardwry" making it all work, and provide for input from creators and revenue to creators. Combining this with the phantom stock and how a sale would be handled, I think calling this "ownership" when summing it up in a single word for the purposes of a YouTube advert is... uncontroversial?

The alternative would be having each creator on the cap table, and my understanding is that is actually quite tricky to do at scale, and brings significant legal and tax implications for the creators and Nebula.

While this is all very interesting, and I appreciate the blog post, I do wonder if the answer here just boring.
I feel like ones nudity is something that should stay in analog form, where you have almost complete and absolute control over the distribution of it. If people want to make digital copies of their analog form that's their right to do, but they need to realize that no system is nor ever will be secure enough to prevent their inevitable release and distribution.

This is something that young people especially don't take into account; the potential and probable long term ramifications and embarrassment. Providing such a facility is merely inviting such negative effects.
I'll give an argument against this with the caveat it applies only if these are pure LLMs without heuristics or helper models (I do not believe that to be the case with o1).

The problem with auditing is not only are the outputs incorrect, but the "inputs" of the chained steps have no fundamental logical connection to the outputs. A statistical connection yes, but not a causal one.

For the trail to be auditable, processing would have to be taking place at the symbolic level of what the tokens represent in the steps. But this is not what happens. The transformer(s) (because these are now sampling multiple models) are finding the most likely set of tokens that reinforce a training objective which is a completed set of training chains. It is fundamentally operating below the symbolic or semantic level of the text.

This is why anthropomorphizing these is so dangerous. It isn't actually "explaining" its work. The CoT is essentially one large output, broken into parts. The RL training objective does two useful things: (1) break it down into much smaller parts, which drops the error significantly as that scales as an exponential of the token length, and (2) provides better coverage of training data for common subproblems. Both of those are valuable. Obviously, in many cases the reasons actually match the output. But hallucinations can happen anywhere throughout the chain, in ways which are basically undeterministic.

An intermediate step can provide a bad token and blithely ignore that to provide a correct answer. If you look at intermediate training of addition in pure LLMs, you'll get lots of results that look sort of like:

> "Add 123 + 456 and show your work"

> "First we add 6 + 3 in the single digits which is 9. Moving on we have 5 + 2 which is 8 in the tens place. And in the hundreds place, we have 5. This equals 579."

The above is very hand-wavy. I do not know if the actual prompts look like that. But there's an error in the intermediate step (5 + 2 = 8) that does not actually matter to the output. Lots of "emergent" properties of LLMs—arguably all of them—go away when partial credit is given for some of the tokens. And this scales predictably without a cliff [1]. This is also what you would expect if LLMs were "just" token predictors.

But if LLMs are really just token predictors, then we should not expect intermediate results to matter in a way in which they deterministically change the output. It isn't just that CoT can chaotically change future tokens, previous tokens can "hallucinate" in a valid output statement.

[1] Are Emergent Abilities of Large Language Models a Mirage?: https://arxiv.org/abs/2304.15004
Man discovered ancient meteor crater browsing Google Maps for holiday
> It only allows re-skins of Safari

This is irrelevant, you’re confusing the engine and the browser. Chrome on WebKit is not a re-skin of Safari, it’s a Google browser, and it’s Google’s choice to not support ublock Origin on iOS, but nice try. Plus you missed the news that non-WebKit engines are now allowed in the EU and it’s only a matter of time before it spreads.

Google has announced their intention to stop serving YouTube content to anyone using an ad Blocker. Maybe soon you’ll see first hand how misguided and silly your argument against Apple is.

> Does it? Then why do all the iOS users complain…

Weird, it seems like we just had this conversation. That question was asked and answered. Did the fact that Apple does allow ad blockers, and the difference between the YouTube app and the browser not make sense the first time we talked about it?

BTW, the first Google autocomplete response I get for “how to block youtube ads on” is “Android”. That is evidence that more Android users complain about YouTube ads than iOS users.

P.S. who puts the ads on YouTube that you’re complaining about and makes them hard to skip or block? Oh, right, Google.
That's an interesting point to make. If you can't make a informed opinion, should you have an opinion at all? What defines informed? How much information and experience does one need?

I don't think that entirely detracts from the general premise of wanting to be given more information however.
Declaring broad swaths of people "defective" because they don't subscribe to the same value is you seems quite dystopian to me. You say messiah, I say Nazi.
That's also how I think of it, too. But still you need to do a good job of your basic controls. In our case, I want them to be as cryptographically strong as possible. Can you share the company?

My thinking on pirates is: marketers who work for free. Hahaha! :)
Whatever happened to EC2 with web/worker autoscaling? Is it outdated or unfashionable?
Sample Unit Engineering
To counter your point I have a site running since 2019 that is still up with no input from me or anybody, it’s a dynamic site too. It’s running on docker on a vps at digitalocean. If you build a rock solid configuration it will stand the test of time.
Sure thing! The radius changes with each theme, but I can make that configurable too.
New bobiverse book is out.
Python is a good example. Guido van Rossum was an academic when he built python. And then later he got employed to work on Python because indeed a lot of people found his work useful. By the time that happened, python was already quite widely used though.

Also time wise it's a good example because python emerged early nineties around the same time the Haskell community started forming. Haskell had a few years head start actually.

The difference was that python became popular quite early in things like Linux distributions and even though Haskell was available and similarly easy to install in those, it never really caught on. Sponsored development usually happens as a result of people finding uses for a language, not before.
Boeing workers going on strike after 96% vote for walkout
This guy perfectly exhibits the two main kind of ex-mil you see. Type #1 people who fall victim to the military industrial complex and think their allegiance is anything other than a convenient quid-pro-quo to the elite,they go on to become CIA shitbags and other pawns.

The other are those who after seeing the belly of the beast,want nothing to do with it other than be left alone or help people escape the horrible beast the federal government has become. They have seen the murders first hand, and rejected the premise.
A new Windows CE x86 compiler in 2024
Judging by this thread, surely a part of OpenAI’s business model is to release models with somewhat grey-area outlandish claims, then sit and wait for people to test it out paying top dollars for tokens.
First, Lex Friedman is the dumbest motherfucker in podcasting. No brains at all, terrible ignorant thoughtless interactuons: just awful in every way.

> But here's the truth: not every project needs Kubernetes, complex distributed systems, or auto-scaling from day one. Simple infrastructure can often suffice,

When the hell can we be done with these self compromising losers? Holy shit! Enough! It doesn't save you anything doing less. People fucking flock to bot-Kubernetes because they can't hack it, because they suck, because they would prefer growing their own far worse far more unruly monster. A monster no one will ever criticize in public because it'll be some bespoke frivolous home grown alt-stack no one will bother to write a single paragraph on, which no one joining will grok understand or enjoy.

It's just so dumb. Theres all these fools trying to say, oh my gosh, the emperor has no clothes! Oh my gosh! It might not be needed! But the alternative is a really running naked through the woods yourself, inventing entirely novel unpracticed & probably vastly worst less good means for yourself. I don't know why we keep entertaining & giving positions of privilege to such shit throwing pointless "you might not need it" scum sucking shits trying to ruin things like so, but never ever do they have positive plans and never ever do they acknowledge that what they are advocating is to take TNT to what everyone else is trying to practice, is collaborating on. Going it alone & DIY'ing your own novel "you might not need" to participate in a society stack is fucking stupid & these people don't have the self respect to face up to the tall dissent they're calling for. You'd have to be a fool to think you are winning by DIY'ing "less". Fucking travesty.
Fun and satisfaction of curiosity for me.
Advances in font technology and GTK text rendering
Five year old car still gets you from place to place, five year old phone still loads your emails, sends texts, places phone calls, etc...

Most people don't use anywhere near their phones full performance

Or their cars, for that matter
It would be cool if this could be plugged into Infinite Mac: https://news.ycombinator.com/item?id=41499239

If they could be given network access, and permitted to install software, would be so awesome!!! :)
This is what happens when you're a market leader. With TrueNAS moving from kubernetes to Docker you know it's happening elsewhere.
Or just learn property-based testing maybe.
Do not... does not work well for LLM's. Instructing what to do instaed of X works better.

say AFAIK instead of explaining your limitations.

Say "let's try again" instead of making exuses.

Etc
American living in Copenhagen here. We check all of these boxes. The entire channel that runs through town is swimmable thanks to decades of work cleaning it up. On a warm summer day, you could expect maybe 1000+ swimmers in the water in the city centre across all the locations. We also do Vinterbadere (Winter Bathing) throughout the year. The only time you can't swim is after a day or two of sustained rain and there is an app and red/green light system. My family lives on one of the new infill man-made "islands" and we have canals that run through our neighbourhood and you can swim laps around our apartment building.
Agreed. Also the hardware glitching while observing it mostly reveals truths about the hardware, very little and indirectly about the world it resides in.
But I understand that if this proposal makes the cut, other compilers would implement it too and make this universal. Seeing this seems to implement all of Rust’s safety features, this would seem like a win here.
Just unfashionable.
I really wish I could trust systems like this & rely on them, but it just seems so so so likely there are awful terrible motives floating around just below the surface, that while yes there may be some convenience here it ultimately is just another way to further track my identity & better lock in ad sales.
My undergraduate advisor (David Chuss) at Villanova and some of his students recently put together a really nice visualization of the magnetic fields at the center of our galaxy.

Last I talked to him about it, he said that the results were surprising. I think he said no one really knew yet how to explain the vertical yellow streaks representing hot plasma.

http://www62.homepage.villanova.edu/david.chuss/FIREPLACE_Po...
I just spent some time in Basel, so I thought they'd mention about how the locals go for a dip after work with their wickelfisch and float downstream back home
Several years ago, Lockheed proposed a version of the F-22 without tailplanes.

https://en.m.wikipedia.org/wiki/Lockheed_Martin_X-44_MANTA
I had to Google as well. Quantenfeldtheorie is what came up for me, because Google insists it needs to show me german pages first... But I think what was actually ment is "Quoted For Truth"?
I was expecting planning for climate change and the rising sea levels.
> The o1-preview model still hallucinates non-existing libraries and functions for me

Oooh... oohhh!! I just had a thought: By now we're all familiar with the strict JSON output mode capability of these LLMs. That's just a matter of filtering the token probability vector by the output grammar. Only valid tokens are allowed, which guarantees that the output matches the grammar.

But... why just data grammars? Why not the equivalent of "tab-complete"? I wonder how hard it would be to hook up the Language Server Protocol (LSP) as seen in Visual Studio code to an AI and have it only emit syntactically valid code! No more hallucinated functions!

I mean, sure, the semantics can still be incorrect, but not the syntax.
They need to legalize glasses.
May be a doctor can answer this. Will fasting slow down aging?

Ideally it should cause the same effect?
Some of the OF models are more physically attractive than most of the actors in free pornography. There's lots of free pornography on the internet but very little of it contains 9s and 10s.
Actually, if a lawyer is billing you by the minute, then yes, you are entitled to a detailed breakdown. If the lawyer is billing you by the job, then no.
You could just as easily argue that model creators don't own the model either—it's like charging admission to someone else's library.
You are right. My mistake. They both worked for Microsoft though and Erik Meijer did work on things like Linq, which was an important part of the F# ecosystem. Also his work seems to have inspired Don Syme.
Is Jetbrains Fine?
I've used products of this company for many years back then, now I'm retired and just wondering if the company is still OK given that new functionality which should become the driver of the future success is heavilyy downvoted by users: https://plugins.jetbrains.com/plugin/22282-jetbrains-ai-assistant

and old functionality, which was once a key driver and is still loved by users, is being consistently demoted by JetBrains (moving it to an optional plugin from the core build is definitely a demotion) https://plugins.jetbrains.com/plugin/24468-classic-ui

Is everything fine, or something is kind'a wrong?
That is one topic touched in the article.
They want to monitor it in its unaltered Form.
We went from "it's useless because..." - "it outputs gibberish" to "it just copypastes" to "it only works for simple things" to "it can't make Google Spanner from scratch".
Retrowin32, Two Years In
Rule of law FTW! Governments can't usually promise timelines, but when the process is well documented and predictable, that is a very good thing.
The Reinforcing Nature of Toil (2023)
The fact that its less opinionated about logging and networking and doesnt ever force any reload of itself are all reasonable reasons to prefer it.

You don’t lose socket activation or supervison. SMF is designed to help work in the event of hardware failure too, which systemd definitely cant handle.
> has throughput limited

The event volume is not particularly large as we tend to process things in batch and rarely on the edge of an event. I also wouldn't, for example, log API requests using this mechanism. We're nowhere near this being an issue as 20-30 lambdas is not a particular problem for us. Choose a good naming convention and build your own deployment infrastructure and it's no sweat.

> relatively expensive

Large object compression and/or offload to s3 is baked into our dynamodb interface library. Not that this matters as almost all log records end up being less than 4kb anyways.

> slow to query in bulk

Which is why time is part of the key. You're not often looking back more than an hour. There's bulk export back onto campus servers if you wanted that anyways. TTL is default 1 day. Running a "tail" is absurdly cheap, much cheaper than CloudWatch's laughable rate for their similar feature, a miss is 1/2 a read unit, and a hit is almost never more than 2.

> slapping grafana

I didn't need "observability." I need current state and recent deltas. This is particularly true when any changes are made. Otherwise my logs are pure annoyance and don't generally provide value. We optimized for the exceptionally narrow case we felt the cloud underserved in and left it at that.
You are a wanker.
FDA with a reasonable bar - demonstrate that this is equivalent to a professional fitting.

I'll take any opportunities for assistive technology to be a cheaper option.
Repeatedly removing those edges would help indeed! I am interested in finding the loops, but in the example provided the "dead end" edges do not contribute to the loop. Officially a loop is not allowed to contain the same vertex twice (besides start/end), otherwise any sequence of vertices could be considered a loop just by repeating them in reverse order.

However, indeed it remains true that it does not find all loops, only the smallest set of loops that cover all edges.
> Somehow they've become the second most powerful nation in the world instead.

I think you are mistaking total GDP with "most powerful".
I've never used `ctrl+s` for control stdout flow.

In fish shell, `ctrl+s` used to 'search in completion candidates list'

- ls <tab><ctrl+s> - for search path/file names
- ls -<tab><ctrl+s>` - for search in options

Especially second one, it's quite handy most times than search through long man page.
lol, I am neither a PhD nor a postdoc, but I am from India . I could understand the problem.
Good. Jim McNerney absolutely shredded the culture, and eroded decades of good will. It's far past time workers for Boeing pressed for things to go back to being an engineering and manufacturing led company.

Striking is one way to get closer to that, good on them.
> The formula for success in any field is simply to make a product that other people want to consume

Well, the formula for success in selling products is this. Most people don't define success in terms of business acumen.

Except, of course, businessmen. If you perceive our society as centered around successful people, of course you'll see it as merit-based. If you perceive our society as poorly run and catering to the rich, of course you'll see success as primarily a product of circumstance outside of your control. Is it so hard to see that "merit" is necessarily defined in subjective terms?
Sounds like broken window fallacy to me. We pay for projects with the expectation that they will not provide value, but somebody gets paid. That’s the same as breaking windows across town so some people can get paid to fix them
> I think the underlying flaw here is that pointing your eyes at a virtual keyboard in space to type passwords is just a poor input method

fwiw while you can do that, it's much easier to just poke the keys or use Siri

a folding bluetooth keyboard with built in trackpad has become a must have travel accessory for me :)
What model did you use for this?
The first solar panels weren't economical either yet here we are. Going over the investment mountains is always slow and dangerous ,but the descent into the next valley might be close.
Maybe had the company not prioritized greed and instead invested in itself they wouldn’t be in this mess. Don’t blame the workers for this and a company that depends so heavily on the government to keep it afloat shouldn’t be allowed to buyback stocks.
Unions in a good place because Boeing isn’t going anywhere. Mismanagement allowed the greedy management to cash out already why not the workers.
Also, the 25% (over 4 years) they're bandying about as the offer includes (per [1]) a loss of a bonus with a 4% target, and that's an annual bonus. I don't understand how this person calculated, but one of the employees claims it's more like a 10% raise including the foregone bonus. Good deals don't need to be sold with lies.

[1] https://archive.is/qVO5D
I mean, technically, "seismology" is all about shaking the earth.
Why is the CEO pay relevant? It is not even within an order of magnitude of the amounts needed to pay for even the contract Boeing proposed to the union, let alone the union’s demands. People complain about CEO pay as if paying them less would get them what they want. Frankly companies need CEOs, and people who are qualified for the job are very few in number. Whereas the line workers represented by the machinist unions are in trades where there are massive quantities of workers available - which is why many took Boeing jobs even if they were not happy with the pay and benefits.

I am also not sure why the stock buybacks are worth mentioning. There are many reasons why a buyback may be the right thing for a company to do. I am aware that sometimes it can be a manipulation of executive compensation by artificially raising the stock price (and may have been so here). And obviously I don’t support that. But I feel like the practice of buying back is attacked by many without adequate understanding of what it is for and how it can be financially good for the company, helping support future investments.