skysight-inc/HackerNews huggingface dataset:
You write proofs in a formal language that can be machine checked. If the checker is happy, the proof is correct (unless there is a bug in the checker, but that is unlikely).
Perplexity has some competition!
Doesn't sound like you're in the gutter champ
Eventual consistency gives you more availability, at the cost of consistency. It's fine for financial institutions to prefer this trade-off, because the any over/under error is a likely a fraction of the cost of unavailability.

Also, in the real world, we can solve problems at a different level - like legal or product.
They get discussed a fair bit, as other commenters have pointed out. But these stories tend to blend into each other after a while. It's hard to pick out which ones are new/interesting and eventually readers respond with fatigue to the entire category.

This phenomenon is generic and happens with all repeated/related stories. People only interpret it differently in this case because they're conditioned to treat this topic as a special case. They therefore assume there must be some special thing going on. Both sides of the conflict do this, btw.
That makes a lot of assumptions, starting with the data collection methods for the number of homeless is even accurate. California's own estimates are nearly 3x the 0.2% amount for the US. In a concentrated area, even a small percentage can be massive in terms of practical numbers.

It really depends on where you are.
Im talking about the crazy carbon fiber expensive ones that are multi crewed.
I'm a CS academic who _should_ be working on finalizing a new submission, so when I saw this on HN I decided to give it a try and see if it could find anything in the literature that I'd missed. Somewhat to my surprise, it did - the top 10 results contained two items that I really ought to have found myself (they're from my own community!), but that I'd missed. There were also some irrelevant results mixed in (and lots of things I was already aware of), but overall I'm very impressed with this and will try it out again in the future. Nice work :)
I'm not sure what you're trying to say here.

That specialist interfaces make you productive?

Sketchpad was just a cad tool, one of the first ones to be sure, but still a design tool.

We have substantially better ones today: https://www.youtube.com/watch?v=CIa4LpqI2EI

So in 62 years have we improved the state of the art in design by as much as between 1900 to 1962?

Yes. I'd say we have and more.
I like AOC, that doesn't mean I am brain dead and support everything she does and says without thinking.

The world has a place for zealots and I'm sure either political party would be happy to have you.
Businesses are some kind of feudal leftovers that refuse to die. The serfs not only accept it, they actively defend it. Meanwhile the billionaires lean back and smile.

I don’t see why nation states should be democracies, but “businesses” should be private dictatorships. It’s a waste of shared resources. Your personal army of value generating serfs is taking away from our collective capacity to do useful communal work.
>If that were the case and employees were compensated equally in stock vs cash, then yes there is no _rational_ difference.

Even if this assumes an equal net present value, wouldn't the volatility of stock vs. cash make a very rational difference in expected future value? For people who are risk adverse, the cash would probably be preferred; for those who are less risk adverse, the opposite is probably true.
What's your everyday phone setup (EDA)?
I have installed and uninstalled various applications in the last 2 years. From browsers, search engine, photo editing apps, crypto exchange/wallets, new social media (threads, AirChat) and many more.... What has stayed in your phone and is being used on a daily basis?
This is not useful if it doesn't call external libraries.

Even POSIX standard ones. Chokes on:

#include <glob.h>

int main() // must be (); (void) results in syntax error.
{
glob_t gb; // syntax error here
glob("abc", 0, NULL, &gb);
return 0;
}

Nobody needs entirely self-contained C programs with no libraries to be turned into shell scripts; Unix people switch to C when there is a library function they need to call for which there no command in /bin or /usr/bin.

If I reduce it to:

#include <glob.h>

int main()
{
glob("abc", 0, NULL, 0);
return 0;
}

it "compiles" into something with a main function like:

_main() {
defstr __str_0 "abc"
_glob __ $__str_0 0 $_NULL 0
: $(($1 = 0))
}

but what good is that without a definition of _glob.
Why take the unspecific "real time" answers as gospel? Just propose daily initially (or weekly or monthly), listen to their protests, and see if there are good reasons why it needs to be more often. Then pick a suitable interval that fulfills their needs and that you can guarantee. If you offer pink fluffy unicorns for free, people will always pick them, without thinking.
Interesting, thank you for the response. I agree with what you say. (Though, I would caution to avoid using "they" like this though, it creates a false "us" vs "them" & is ambiguous)
Pretty interesting how many things are clickable, but don't appear so. The cursor doesn't turn to "cursor: pointer".
> So what would make a great AI assistant for a developer? For starters, it would follow instructions while keeping an eye on the big picture.

Silly idea: A naming bot. It helps enforce a domain-specific language on things (e.g. Customer vs Applicant) and learns which terms have meanings that can be repeated a lot (e.g. Factory) and which ones cry out for a rephrasing (e.g. Manager).
Tinywatch S3: Programmable ESP32-based watch
'Cocaine sharks' in Brazil expose ocean pollution
Avalonia 11.1: A Quantum Leap in Cross-Platform UI Development
The Electrostatic Brain: A Web of Neurons Makes the World-Simulation That Is You
It just took 3 weeks to merge this? Seems really fast by Node.js standards. I assume it was discussed before the PR was opened?
> You need to know how git works and GitHub's API.

No; just knowing how git works is enough to understand that force-pushing squashed commits or removing branches on remote will not necessarily remove the actual data on remote.

GitHub API (or just using the web UI) only makes these features more obvious. For example, you can find and check commit referenced in MR comments even if it was force-pushed away.

> was deeply surprised about GitHub's brute-forceable short commit IDs

Short commit IDs are not GitHub feature, they are git feature.

> If I use GitHub's web interface to click myself a repository with complex access rights, I assume they have concepts in place to thoroughly enforce these access rights.

Have you ever tried to make private GitHub repository public? There is a clear warning that code, logs and activity history will become public. Maybe they should include additional clause about forks there.
Perplexity it was nice to know you
Yes, the option in that case was “get nuked into fucking oblivion by the Russians” and know the USA would not have stepped in. I’m sure the Ukrainian top brass spent a long time wargaming that one </sarcasm>

Please explain how instigating a war with Russia leads to less troops on Ukrainian land.
Is the score of 28 comparable to the score of 29 here? https://www.kaggle.com/competitions/ai-mathematical-olympiad...
I also get lost in types sometimes, but the point of types is that they help you. Typescript lets you just use `as any` and `as unknown` as you please, but you want complex constraints you will need complex types.

There are some type libraries that parse GraphQL queries and CSS selectors. They’re crazy to look at but they’re hugely helpful.
The "Employer's Contribution" is not listed as a deduction on the payslip.
So many different pairs are available. I like Asian corner brackets 「」and French guillemets « ». The angle brackets 〈〉 are popular in CS/math papers I think, though they might be confused with <>.
Indeed. But I need clarity on which skill they want to test in thirty minutes.
I've wondered if there's some way to structure an accelerator along similar lines, if not employee ownership then a partnership.

For example, it's well known that startups are risky. VCs mitigate this risk by spreading their funding across many startups. Could founders do the same with their equity? Consider an accelerator class with thirty companies. As a condition of being in the accelerator, each founder could agree to give X% of options to every other founder in the class. If one of the companies takes off, the other founders could wind down their own (probably failing) companies and join the one success.

You would probably have to tinker with the ratios to provide good incentives, i.e. every founder doesn't get an equal share of every company; the winning founders get the largest share among their class, etc. And the accelerator would have to exercise a lot of quality control with whom they admit.

But still it's an acknowledgement that business success is in large part random and diversification is how you account for that. Or rather, it's an extension of that acknowledgement to the founding/managing class of early ventures, rather than reserving it for investors.
Announcing a waitlist! :) Signed up either way, but really wish OpenAI announcements were for usable products.
Tell us what the point was, I think a lot of us are missing it.
Mimi.js – build Node.js API in second
I wonder how good this will be. My employer gave us Perplexity Pro for free, and I removed Safari from my home screen and pinned Perplexity to force myself to use it… I found it really really slow and didn’t really add to my search experience
I don't know what the formalisms here are, but as someone intermittently (thankfully, at this point, rarely) responsible for some fairly large-scale distributed systems: the "network that is really slow" case is much scarier to me than the "total network partition". Routine partial failure is a big part of what makes distributed systems hard to reason about.
Q: "...Why did you decide to put this easter egg in? Are there more things like this, or is Motif to be blamed for the general bloat in Netscape?"

A:
"Yes, there are a bunch of easter eggs in Mozilla; so? By and large they're pretty small, but that doesn't really matter, because they serve a very important purpose: first, they're entertaining to find (I love it when I stumble across them in other programs, and judging by the amount of mail I get about these things, so do a lot of other people.) Programs should be fun to use. But by far their most important reason for existing is that they are fun to write. Hackers get a kick out of puzzles, and you know what? If dropping in an easter egg allows a hacker to blow off some steam and consequently stick around the office for a few hours longer, and put in a 20 hour day instead of merely a 16 hour day, then those are resources well spent. The hacker's happy at having been creative; somewhere down the road, some users will be amused by it; and the program ships faster, and is a better program because the people who wrote it cared about it. Everybody wins.

Yes, such toys are "unprofessional." I wear my unprofessionalism as a badge of honor. Professionalism has no place in art, and hacking is art. Software Engineering might be science; but that's not what I do. I'm a hacker, not an engineer.

Convenient though it would be if it were true, Mozilla is not big because it's full of useless crap. Mozilla is big because your needs are big. Your needs are big because the Internet is big. There are lots of small, lean web browsers out there that, incidentally, do almost nothing useful. If that's what you need, you've got options...

Sure, Mozilla could be leaner, and still do all the things it does today; and that's a noble goal (and, need it even be said, one that you can finally help out with if that is your concern!) But being a shining jewel of perfection was not a goal when we wrote Mozilla. It was not interesting to spent years designing and a decade implementing. The goal was to ship useful software, and to ship it quickly. Along the way we happened to come up with what is probably the most portable piece of software of its size that has ever existed, and what is reportedly also the second most widely used piece of software in the world (after Windows itself.)

I think that's not too shabby an accomplishment, and if part of the price was a bit of bloat, oh well. Nothing comes for free."

https://www.jwz.org/doc/easter-eggs.html
There is little chance the Standard is gonna get updated again, especially since CDR (the Common Lisp Directory Repository) kinda stopped. That said there are a few libraries that are kinda considered to be the default go-tos for various needs:

CL-PPCRE for regular expressions.

Bordeaux-threads for threads.

Alexandria for various miscellaneous stuff.

Trivia for pattern matching.

CFFI for, well, FFI.

And Series for functional iterative sequence-like data structures.

There's also ASDF and UIOP, but I'm not sure whether or not they're part of the Standard.
I think OP is arguing the opposite. In other words, critics of AI innovations call them “dumb search”. The goal post keeps moving.
> C's own descendants, by which I mainly mean C++, may very well be even livelier in the next few years. Aside from languages that are directly descended from C, (particularly C++ but also some others) [...]

Does anyone know what the other languages descended from C they might have been referring to circa 1993?
Does your data team NEED generative AI?
By "dumb" I assume you meant brute-force. Search, as opposed to extrapolation, is what actually produces suprise or creative results, whether it happens in a person's head or on a computer. The issue is to produce the heuristics that can let one push back the combinatorial explosion.
I have never felt like my searches in other engines have been helped by AI. I hope SearchGPT changes that. My expectations are low.
The innovation of coinage is to standardize the unit mass and value, i.e. to create easily usable units. The specific image on the coin authenticates the mass and value given to the unit. This is an UX improvement over using different shapes (jewelry or other non-standard gold pieces) as money, which need to be weighed every time you trade. Gold was used as money before coinage.
Any idea how i can use your tool for a vs code extension
Kroisos made the first gold and silver coins, who was from Lydia. There's a common misbelief that Lydia made the first coins which is simply false, even ignoring the east asian coinage there's earlier electrum pieces (with no design or simple geometric design as one would perhaps expect in a transition from simple bullion)
The success in Go was very much not dumb search. Where dumb search had failed to achieve the level of even a very weak player, the neural net's "intuition" about good moves without any search was already very strong. Only the combination was superhuman, and that was anything but the dumb search that had been tried before.

Today's announcement is also not about proving Lean theorems by "dumb search". The success is about search + neural networks.

You're attacking critics for criticizing the solution that has failed, while confusing it for the solution that works to this day.
A couple years ago in was playing around with both AI image enhancement (way before Dalle) and also having fun trolling Ben Shapiro about his obsession with AOC.

I went down the fun rabbit hole of leaning AI image generation and more statistics while trolling Ben Shapiro with high quality foot pics for his viewing pleasure. All told it was a fun learning experience and yes, at the time I had seen probably every single picture of AOCs feet for the training potion. Pretty sure I put the project in GitHub under my pseudonym.
I was thinking the same thing.

In all use-cases I've seen a close estimate of the median was enough.
Oracle's Java pricing brews bitter taste, subscribers spill over to OpenJDK
Again:

The other side of this is that the candidate who the hiring managers ignore for not fitting their hopelessly-unrealistic criteria (and not having the good sense to have a family member or golfing buddy in the C-suite) is risking homelessness. This is not a hypothetical situation; even just here on HN I've seen many people post about dealing with that kind of problem for months or years at a time, let alone other sites.

This is not equivalent to having to work with people who aren't pulling their weight and having slightly lower stock-based compensation—which is, in nearly all cases, either on top of significant regular salary, or being given in such quantities, and to someone with so much existing wealth, that it basically doesn't matter.
> > adding a second one for CJS

> Nobody is arguing for that. Once you ship ESM, you can continue shipping ESM.

I'm not sure I follow you there. I did continue shipping ESM.

> In Node 22 you can even require() ES modules (with an experimental flag, at the moment)

Oh, I didn't know about that, cool! Once it becomes un-flagged I might consider dropping CJS.
then why the receiver would know too? There are more parties in this orgy: message receiver, message sender (method caller), environment (static: like imports), context (dynamic: like stack). Why the heck of all of those the receiver decides?
https://news.ycombinator.com/item?id=41071585

https://news.ycombinator.com/item?id=41071639
Searching for jobs for long enough, then just getting my resume into as many hands as possible starts looking like a viable option.
At the very least they ultimately output to RGB. The fleshtone part of the spectrum is quite small.
How to Deal with the Frankenstein Software Monster
I think you misread that post. See https://news.ycombinator.com/item?id=41071644.

Btw, you don't need screenshots of HN comments. Anyone with 'showdead' turned on in their profile can read the original: https://news.ycombinator.com/item?id=41066729.

All: if you turn 'showdead' on, please don't forget that you did so, because we sometimes get emails from people asking "how can you possibly condone $horrible-comment appearing on HN?" when in reality the account has been banned for years.
Determining liability is actually quite simple and straightforward in this case. Making it stick, however, will turn out to be very complex.
People with websites used to have a clear reason to allow bots to crawl and index our sites. Google and everyone sent us traffic. There was something of a trade off. Google has been slowly changing that trade by displaying more and more of our sites on google.com rather than sending people our way.

As far as I can see there's no sending people away from SearchGPT, it just gives answers. I can't see any reason to allow AI crawlers on my sites, all they do is crawl my site and slow things down. I'm glad that most of them seem to respect robots.txt.
At Linux, I used Firefox AddOn "UserAgent Switcher and Manager" to change User Agent to macOS Safari. Then it worked.
The only concrete solution the article proposes that I can think of: Spanner uses quorum to maintain availability and consistency. Your "master" is TrueTime, which is considered reliable enough. You have replicated app backends. If this isn't too generous, let's also say the cloud handles load balancing well enough. CAP isn't violated, but you might say the user no longer worries about it.

Most databases don't work like Spanner, and Spanner has its downsides, two of them being cost and performance. So most of the time, you're using a traditional DB with maybe a RW replica, which will sacrifice significant consistency or availability depending on whether you choose sync or async mode. And you're back to worrying about CAP.
> We’re launching to a small group of users and publishers to get feedback. While this prototype is temporary, we plan to integrate the best of these features directly into ChatGPT in the future.

This is interesting. Right now there is a big distinction between how I use an LLM chat bot and a search engine. I'll have to get used to them being merged into one thing
Looks like a great tool. Will start playing with it whenever I have to dive into an existing project again.

One thing I'd like to note, though, is that most engineers (at least around and including myself) would be triggered by the "Insta-load" example of executing base64 encoded (and thus obfuscated) code.
So, Google already does this, right? And most of the feedback I've seen is: "how the hell do we turn this off".
Problem is:

- a shell is required, which has to be built from sources, using a compiler which was also built from sources using a compile binary. That's the real boostrap.

- even if you could pick some shell, and compiled it with pnut.exe, the compiled code requires interpretation by an executable shell.

- there is no such thing as a "POSIX compliant shell"; that's an abstract category. All this amounts to is a promise that pnut.sh will not generate code that uses non-POSIX features.
Maybe somebody with use AI to summarize the video...
It seems to have practically no error checking. Try compiling

int why(int unused) {
wat_why_does_this_compile;
no_error_checking();
}
as an aside (as the post is about someone searching for a job), today I had an interview (screen sharing GoLand IDE from my laptop, which I haven't used in a bit), and it was "disturbing" how it's "AI" features were filling in the code (correctly) that I was planning on writing live for the interview. Commented to the interviewers that it felt like i was cheating. (their response, this is no where near the level of cheating we've seen).
I support regulating businesses and never suggested otherwise!
But at least you can revert back to the original configuration (as you can with VM, too).
Yeah I am not clear the degree to which this system and LLMs are related. Are they related? Or is AlphaProof a complete tangent to CHatGPT and its ilk?
Would you say approaches like gvisor or nabla containers provide more/enough evolution on the security front? Or is there something new on the horizon that excites you more as a prospect?
Finally, the inevitable product we all knew was coming: going after Google’s core biz

I like the follow up questions feature but how is it different than chat gpt - just providing links as well?
Being a separate product I wonder if they plan to introduce advertising in ways that they couldn’t with ChatGPT.
This just represents such a stark lack in originality and lends even more credo to "OpenAI wants to copy its customers"
What are your expectations exactly when you try to patronize people and tell them about their "total ignorance" while also just throwing out links to random blog posts?

If someone replies with insults and then just links to a google search page you wouldn't think they're some sort of authority because they promised you the evidence to their claim is out there somewhere.

If you want people to actually respect what you're saying you need to do things differently from both angles. Stop the toxic claims of authority and give simple explanations that are direct replies to what people are talking about.
These people aren't going to just die for our convenience. If you want to clear out parks, they're going to go somewhere. If you don't have an idea of where you want that to be, then they're going to go somewhere that you don't want.

So, clear out the parks and the streets if you want. Where are they going to go?

(But of course it's not that simple, because even if you have an idea of where you want them to go, they may well choose to go somewhere else. So what you really need is to have somewhere for them to go, and for that somewhere to be perceived by them to be better than where they are now.)