skysight-inc/HackerNews huggingface dataset:
Thanks for clarifying, I looked at the site from GP and I WTF’ed loud enough to wake my dog.
No, easy! Laso or jelo laso.

Loje laso walo = mauve I guess.
>If you can have such laws and judgements, why couldn't other places?

Of course you can, but the playing field isn't level to begin with. Over the past century we've seen an increasing amount of urbanization happen. This causes issues such as constantly increasing housing prices, which make it into a good investment, which leads to more increases in housing prices. If you remove the reason for businesses to be in Montana, then some of them just won't be in Montana. They'll go where every other business is congregating to, because why wouldn't they?

Just look at the economic outcomes of "coal country". What you'll see is poverty. Climate action is important, but I have serious doubts on whether the people involved understand the kind of economic impact these decisions can have on the future of their state/city. Maybe they're rich enough that it won't affect them, but it's going to affect many.

You could say that "Oh, people will account for this and make sure that the poor people aren't affected," but then you look at eastern and western Kentucky. When the coal mines stopped hiring as many, the towns started dying out. What's left behind is poverty (by US standards).

I do think more needs to be done to stop climate change, but I would like to see people at least acknowledge the impacts it's going to have as a start.
I really like the idea of federated servers that each contain a little “world”. That feels a lot more in the spirit of a “metaverse” than most second life clones.
In our applicant tracking product, we had a close date by which candidates must apply for the job.

Early on there was a bug due to timezone handling where the job would close an hour too early.

No big deal one would think - the job is open for weeks, maybe months, so who cares if it closes at 11pm on the last day instead of midnight?

It turns out that a lot of people live their lives by the "last minute" principle. They want to do things at the very last minute, and they get furious when the last minute comes too soon.
.io domain is officially administrated out of the UK and is own by Ethos Capital, a private equity firm out of the US. Surely both the American and/or UK courts would be valid avenues for enforcement.
Can interleaved cross-attention learn image-text correlations better than CLIP?
This is still a work-in-progress. An investigation to see whether the interleaving of vision and text cross attention blocks can help learn better image-text correlations.
> I'm wary of posting work-related code into it

I'm always curious when I see this. Is it about potential IP in the code? References to clients in the code? Secrets?

In my last job they were worried about it too, but decided the cons outweighed the pros. Some of our code was client-specific (CanvaMapper etc.), but we would remove brand names and then go for it.
I thought this was a myth
Moving to New York or Los Angeles for affordable housing is ridiculous on its face. Austin, Denver, and I would add Miami were basically flash-in-the-pan situations: first movers got some great deals, but the housing markets have priced it in by now & the forward-looking job market outlooks are uncertain.

Seattle is interesting in that it's clearly a durable tech job center and is meaningfully cheaper than San Francisco. It's still twice as expensive as a normal place ($862k vs. $400k) and its street conditions reflect a housing crisis every bit as severe as San Francisco's, but it's true that you could keep your career while paying ~30% less there. So I guess the delta between SF and SEA could be interpreted as a lifestyle splurge.
Read and learn

There was an arrest by the US outstanding, Canada was required by the extradition threaty to at least act, supreme Court found it lawful. There was already a warrant for her arrest for over 4 months in the US ...

Ming acknowledged her false statements about Iran to enable her to trade with US.

Her "prison" was her 5 million $ home...

https://en.m.wikipedia.org/wiki/Extradition_case_of_Meng_Wan...

The politics was played by China, after the deal that she could go back to China, China randomly locked up 2 Canadians.
What about reprompting with a different temperature value?

If this works, how to select the optimal value? Maybe you can train a model that can excel at the task of querying gpt4 for valid jsons
Reading some of the other very thoughtful comments on this thread, I realize the above probably says more about my psychology than it does about the TLP. Nonetheless, I think a cautionary tale is warranted here similar to long intensive meditation retreats… attempting to change your conception of the world based on TLP can break things!
Mathematica does not have a complete implementation of the Risch algorithm. It actually cannot do the integral in the mathoverflow question.

Macaulay2 has a focus on commutative algebra and algebraic geometry and doesn't have an implementation of the Risch algorithm either.
There's been more than one picture of one
Which is fine when I'm using maps. Google wants to activate my wi-fi for its own purposes 24/7 even when I have it turned off.
Features listed here: https://openjdk.org/projects/jdk/21/
This does not – according to what I can see from the code and comments – implement the case of algebraic extensions. As someone only really familiar with the implementation of the transcendental case[1], my understanding is that the algebraic case is where the major difficulty lies.

[1]: Manuel Bronstein, Symbolic Integration I. Online: https://archive.org/details/springer_10.1007-978-3-662-03386...
That re-prompting on error trick is what this new Microsoft library does, too: https://github.com/microsoft/TypeChat

Here's their prompt for that: https://github.com/microsoft/TypeChat/blob/c45460f4030938da3...

I think the approach using grammars (seen here, but also in things like https://github.com/ggerganov/llama.cpp/pull/1773 ) is a much more elegant solution.
The theoretical prediction of black holes dates back to 1916, when Karl Schwarzschild proposed a solution to Einstein's field equations that were part of his general theory of relativity. General relativity is arguably the most robust theory in physics - that being said, general relativity introduces some tension with the other most robust theory in physics, namely quantum mechanics and the Standard Model. These two theories are largely accepted to be accurate and correct, and since they predict different phenomena at different length scales, most scientists have no trouble subscribing to both.

With respect to "direct observation" of a black hole, astronomers at the Event Horizon Telescope successfully reconstructed pictures of a black hole using light in the visible spectrum. But to be fair, this comes after decades of overwhelming experimental evidence of black holes + GR. The EHT result probably received the media attention it did because it is easily interpretable as nice lil JPEG, rather than a 12-page paper with dense plots and LaTeX.

See https://en.wikipedia.org/wiki/Tests_of_general_relativity
Features can be found here: https://openjdk.org/projects/jdk/21/
Welp https://twitter.com/AutismCapital/status/1691154628694646784
Indeed, I used to use Apollo for quite a while and started asking myself why I was doing this to myself, the benefits didn't seem that clear. But someone mentioned to me on /r/GraphQL about how Relay is the correct way, as Facebook initially envisioned, and once I learned it, I was hooked.

Sadly, Relay usage is 1/100 the size of Apollo, even though it is literally the way GraphQL was meant to be used, so I try to talk about it wherever I can. It really is such a simple concept (list out all of the data that you need for a given part of the app, then let the compiler manage these dependencies) that is only now starting to be used in other areas, such as the GraphQL Codegen tool: https://the-guild.dev/blog/unleash-the-power-of-fragments-wi.... It's still more incomplete and not as powerful but hopefully we can start integrating fragment stitching into the mainline GraphQL entities so that everyone benefits from this approach.

It really reminds me of Vim, it started off being one of the best ways to write, and now 20 years later we have other editors reinventing the wheel to get closer to the Vim philosophy.
It was called AMD64 when AMD and Microsoft designed it, but Intel objected using the term when they adopted the architecture and coined their own: EM64T. So, Microsoft came up with a compromise and started calling it x64.
You aren't going to see meaningfully different air pollution levels in micro areas most of the time unless there's something like a highway or large source of smoke. If you look at AQI measurements around NYC they're all within about 10 points, excluding 1 sensor that's right by a huge bus depot, and it's 20 points higher than the minimum, but maybe 10-15 above the average.

Also, noise pollution DEFINITELY isn't just as bad as air pollution. No doubt it CAN cause stress and CAN disrupt sleep, but air pollution is clearly a far bigger problem in general.
Literally 404
People got ipods because they were the inexpensive option? No, not on planet Earth.

The ipod was $400. Low-end mp3 players were $100.

Here[0] is a review from 2002 for the MPIO DMG mp3 player, which criticizes its 139-219 dollar price range for being too expensive.

[0] https://the-gadgeteer.com/2002/03/13/mpio_dmg_mp3_player_rev...
I think that feeling entitled can be reasonably considered a variant of being crazy.
Plutocrats and Oligarchs rule us all
Slow Down in Add Money for Podcasters

" this year, those investments have scaled back — hard.

In March, layoffs at NPR led to the cancellation of four popular podcasts.
In June, Spotify laid off 200 employees from its podcast division, shuttering some of its major shows.
This month, SiriusXM will officially shut down its once-popular podcast player, Stitcher."

"With shows distributed for free, fans haven’t been the ones exchanging money to keep their favorite shows going — that’d be corporations and advertisers."

[Corporations again. The World has been taken over by Plutocrats and Oligarchs]
We had a NodeJS backend and an iPhone/Android app frontend communicating over JSON-over-HTTP with an OpenAPI spec. It was a social-like app with endpoints like /getUsers, /getPost, /makePost, whatever. There were lots of cross-references, such as a post having the posting user, and we were just sending IDs from the backend so the frontend could look up the referenced objects on its own. The idea was the frontend would cache things, avoiding tons of lookups. This is probably what a backend-backend interaction would look like, but it wasn't suitable for frontend.

Frontend dev team didn't want to own this much logic and started asking for nested objects in the API, usually with only a few fields. Like they needed the poster's handle and avatar for each post, and they'd only request more detail when visiting the profile. So we started cramming it all in there. A bit wasteful and tedious, not the end of the world, but GraphQL would have been a much more elegant solution.

Also, frontend and backend teams were on opposite sides of the world. If backend team added a new endpoint but missed something the frontend needed, it'd be a full day before they heard back. So it was best to err on the side of sending too much info back then remove parts of it later.
I think I get you, though I've been thinking of it rather differently.

I feel like a lot of the evergreen hype in computing is framework, practices, etc, that try to break things down into a system where any junior could then just fill in each piece and of course this always collides with the larger context problems.

Once you get to a certain point with such a system, either you have been paying attention all along or you have no idea what you've made and how to deal with a real cross cutting problem and you get to the point where the systems promise is really irrelevant, you succeed based on actual expertise you supposedly weren't going to need.

With GPT-like AI around its current level, I feel like some of these systems for breaking down programming projects are going to face an actual test now that the junior engineers to do it are some GPU costs that could be run in parallel and won't have the usual heterogeneous resources problems of testing with a real project team.

I'm not really sure if any systems will survive (or something learned in the process will make a good one) but I feel like it would be a proof of a holy grail that is suppose quite important, and just the refutation of many systems is itself a major disruption to the field.
It’s starting to feel like LLMs are to “classical” software engineering what quantum physics was to classical physics
> because if you suspend anything you'll get deadlocks if anything else calls it

Processes do not call other processes, and nothing in userspace can make a (non-buggy) kernel deadlock. Processes could be waiting on IPC or user-space coordination like file locks, but we don't care about the normal user-space - our special process would not take file locks or try to IPC with other processes, as it's designed for this use-case.

> or memory growth if anything else sends IPC to it that gets buffered.

When you send something on a pipe, the sending process stops executing and the receiving process becomes runnable and eventually scheduled to read the data. The sending side will not get scheduled again until the receiving side completed the read.

For anything buffered the same happens once the buffer fills. Nothing will grow unbounded, and behavior when other user-space applications do not run is perfectly well-defined and a constantly exercised.

After all, remember that processes only get to run occasionally if at the start of a scheduling epoch the kernel feels like it, they are preempted at random mid execution, they are delayed by other things (including realtime processes that can delay other things indefinitely, higher priorities, other niceness, CPU quotas, whatnot), and so on. The idea of continuous process execution is a very, very rough illusion.

What this would take is basically just something to make the scheduler disregard most processes that are technically runnable in this semi-suspend state, only picking kernel threads and specially marked processes.
If you want to try out something cool, check out

https://github.com/sqlc-dev/sqlc

It's written in Go and it converts your sql migrations and queries into typesafe code that you use access your database.

It currently has a plugin for Python that's in Beta, but what essentially does something similar to what this post is saying.

https://github.com/sqlc-dev/sqlc-gen-python

You write your migrations, and queries and a config file and it does the rest.
Why not publish to crates.io? This seems useful
And they removed it :) [0]

You're welcome.

[0] https://github.com/microsoft/azurechatgpt

[1] https://web.archive.org/web/20230814080150/https://github.co...
Yes that's a real risk! CodeApprove is not (yet) anyone's full time job so it's also an acceptable risk.

However I think the biggest issue with the landscape for code review tools is that 99% of developers use the default system that ships with their VCS. So on most teams, that's GitHub. People should be actively choosing their code review tools just like they choose their VCS, IDE, CI/CD platform, Issue Trackers, etc. It's one of many tools that makes up your SDLC "Stack".
Einstein didn't think black holes existed (1916) and it took until 1971 with Cygnus X-1 for serious consideration, which was the smoking gun. 55 years of being considered probably a math fluke and then observational evidence.
I think it is a huge assumption to believe my Engineering Manager even has time to review anything within the next 2 weeks. Every time I have hit this at my company I have had a minimum wait of almost 3 weeks on average.

However, yea, against just approving your own code, this is better.
The last time I looked into this the primary source of capacity degradation in EVs is from aging, not cycling. Most users could probably cycle their battery 50% more for a minuscule loss of overall lifetime/utility.
I wonder how Giac measures up as it's reportedly more general than HP48's Erable.

https://en.wikipedia.org/wiki/Xcas#Giac

PS: The HP 48 could also be used a very long distance remote to turn on and off all of the TVs in a lecture hall simultaneously. :)
How do you imbue XML with meaning?
Yes! This is closer to the approach I took in my port of llama.cpp's grammar support to PyTorch: https://github.com/Shopify/torch-grammar/blob/main/torch_gra... ... it generates a tensor mapping each PDA stack to a map of which tokens are acceptable from that state. It seems like a much better way to do it than looping over the sampled tokens on each turn.
If you can - do not install any extensions. I’ve had a couple like an ad blocker and something else leak my browser history to similarweb and neither extension or similarweb showed that they sell/collect my data.
Excuse me? Pulitzer prize winning journalist Seymour Hersh, as well as distinguished international relations scholar and professor John Mearsheimer have said the same thing. You are just parroting the warmonger corporate media-- let's not pretend it's anything else.
HN: Can you delete my account?
Not really much else to say. I'm pretty busy erasing myself on the internet. If you would be so kind as to erase my account I'd appreciate it. No hard feelngs, really.
This is a great use case for generative AI. I can totally see companies using this as a service. Kudos!
In a place that I worked was simply the over fetching nature of RESTFul.

...

Organizationally speaking, I've worked in a company that an interesting approach to federated teams: All the backend applications would have an GraphQL endpoint that would connect to a middleware where all front-end would consume the data.

This allowed not only to avoid that over fetching, but different applications with different data needs could cross fetch the data via GraphQL and resolve them and display it in their own front-end.

Took a lot of work to reach a level of maturity but was the best place that I've worked in terms of federated services/backends serving multiple front-ends.
The language in this article is a bit confusing to me:

> "In a sample of nearly 3,000 older adults who took vision tests and cognitive tests during home visits, the risk of dementia was much higher among those with eyesight problems – including those who weren’t able to see well even when they were wearing their usual eyeglasses or contact lenses."

Is this saying that people even with CORRECTED vision problems still have the same dementia risks? So many comments in this thread are linking dementia to lack of visual stimulus. But if the risks apply even when the vision impairment is corrected, then doesn't imply some deeper relationship?

I suppose you could argue that corrected vision isn't corrected 24/7, with glasses or contacts that are periodically removed. But that point really doesn't feel satisfying.

LASIK surgery has been widely popular for just over 20 years now. I'd be interested to see how permanently corrected vision factored into this study, and how the results might change over time as we have more elderly who underwent LASIK at younger ages.
You record a context sensitive date/condition based on the user intent (i.e. birthday travels with the user, in person meeting based on meeting location, international call based on local time or UTC, explicit timezone keeps the timezone, etc.). How you map user intent to recorded date is problem specific.

When the event happens you record the TAI. You may also wish to record the context sensitive date for auditing purposes, but it is not strictly necessary. You can rederive the occurred date if the event occurred in the past.
What are the main headaches and downsides of the apollo method? i was just at this fork in the road on something i was working on
programmers who don't understand seasoned game developers' views on manual memory management (and aversion to garbage collection) might want to take a look at the "Rewriting the memory management" section—look at how simple that is, both to implement and maintain!
I'm a bit out of the loop on new Java features so I was reading https://en.wikipedia.org/wiki/Java_version_history

And string templates looked exciting to me. But after skimming
https://openjdk.org/jeps/430

it sounds like they want to avoid backticks for "safety"? Like we can already use the plus operator to append strings why would it be any less safe to give us an ergonomic way to do that? Oh well, Java isn't exactly known for being ergonomic.
Yeah, a good review must explain why, and should ideally explain how it should be instead if it needs explaining.

* This code should be changed looks bad - not a good comment

* This code should be chabged because ten nested ternaries gets hard to read - better

* This code is hard to read because there are ten nested ternaries. Can we replace it with a helper method that returns one value using if blocks? - best, in terms of actionability
I'm not sure why your comment was previously downvoted. I've often heard, and it's not hard to find these comments from ex-Googlers on HN, that Google's "promotion-oriented development" is one of their biggest factors in some of their cultural shortcomings. That is, launching a big new product is seen as one of the best ways to get promoted, while working on the little nits (which in my experience, especially with some of Google's enterprise products, can languish for years, even though they can be really important but "boring" issues to fix) is not seen as high-value work.
This is a good example of why planning is important. The front end team should have stubbed out the backend, iterated as they liked, and told the backend team we need these requests for these pages

Graphql is popular in part due to communication dysfunction.
> An mp3 player was in every kid's jeans pocket before the ipod was even announced

This is a strange statement. I grew up in the Bay Area and a CD player was in my hands/in the back pocket of my backpack for the longest time. It wasn't until the second iPod Mini that I even knew what an iPod was.
Do you have showdead on in your HN profile settings? This is what it looks like for me: https://i.imgur.com/ev5jvEt.png
That's a git user's perspective and Google doesn't use git or anything analogous. Under their system, and generally under Perforce, it is never necessary to "push a WIP" because your client just contains whatever edits it contains. You never need to manually checkpoint, stash, or commit. People with multiple changes in flight will usually use two different clients, one for each change, although that is not strictly mandatory and in the perforce model you can have disjoint sets of files in multiple changes in the same client.

Anyway, TL;DR, the problems you suggest are git-specific and one solution to them is not using git.
> My experience road-tripping around North America has shown me exactly the opposite: there are people living everywhere it is feasible to live, and then some

The population density of the United States is 33.6/km^2.

The population density of Canada is 4.2/km^2.

The population density of the United Kingdom is 270.7/km^2.

The population density of Germany is 232/km^2

There's no shortage of space in North America, your road-tripping experience to the contrary.