skysight-inc/HackerNews huggingface dataset:
I used to often do a minimum of 5 pages when I was doing any sort of serious research to start checking the more esoteric and less SEO optimized results. The infinite scroll has definitely been annoying for me
"∃A,B,C,K(K>2→A^K+B^K=C^K )" is true but is not contrary to Fermat's Last Theorem. The K that must exist will just never be greater than 2.
> They are trying to make millions for themselves, not me.

Why not both?

> If they want to give me founding ownership of their company then I'll reconsider

Now you're getting it, though the "founding" part seems unnecessary. If the money is what drives you, then get a cut. But once you do, your incentives will be aligned and if money really was the issue, then you should be motivated to work whatever hours are needed.

If money wasn't the issue, then incentives weren't aligned correctly.
I don't know if elegant is the word, but I often refer to the Hashicorp repos for Go, and specifically admire Mitchell's own. Very clean, well written code most of the time.
Tell HN: Comcast/Xfinity is having a widespread DNS outage
According to https://downdetector.com/status/xfinity/ and r/comcast, looks like Comcast/Xfinity is having a DNS outage. Anyone have any insight into what's going on over there?
In theory there might be more than ten interesting results on a topic, and with some search engines, say the one at

https://pubmed.ncbi.nlm.nih.gov/

there really are. For Google the results past the top ten have been unusable for a very long time, frequently just a repetition of the same garbage.

Circa 2004 I was interested in the question of why Google was so much better than other search engines, which got me into reading TREC proceedings which made it clear that Google probably wouldn't do very well on TREC because the original TREC scores assumes you care about the relevance of the 1000th result and Google was all about "I'm feeling lucky".

A month or so ago I was talking to someone developing a search engine who was concerned that most tracks in TREC now are concerned about precision @ 1, precision @ 5 and things like that and was wondering how to tune up a search engine if the 1000th result matters.

I guess things go full circle.
i am reliably informed that this nation was founded upon genocide
The virtual desktop implementation in macOS is called Spaces. The first time it appeared in the OS, it would always span all screens, so when switching they would all switch together.

Presently the default is for each display to have their own collection of spaces. You can have one display with a single space and another one with 10, or 50 on each. They behave independently and are switched independently.

There is a toggle to restore the old behaviour but I find the new one far superior.

I don't understand the question about different resolutions. Why would they be a concern?

I regularly use my MacBook's display in conjunction with a 1600p ultrawide external display. Different resolutions are not a problem, and never have been.
There's a post explaining exactly why they moved from CL to Python, and it was basically because of library availability.

https://web.archive.org/web/20060206185841/http://reddit.com...

Why they moved away from CL:

"If Lisp is so great, why did we stop using it? One of the biggest issues was the lack of widely used and tested libraries. Sure, there is a CL library for basically any task, but there is rarely more than one, and often the libraries are not widely used or well documented. Since we're building a site largely by standing on the shoulders of others, this made things a little tougher. There just aren't as many shoulders on which to stand."

And why Python was chosen:

"So why Python?

We were already familiar with Python. It's fast, development in Python is fast, and the code is clear. In most cases, the Lisp code translated very easily into Python. Lots of people have written web applications in Python, and there's plenty of code from which to learn. It's been fun so far, so we'll see where it takes us."

So, basically, they were happy with CL except for lack of libraries, and because they also knew Python already, and they knew there were more libraries for Python, they picked it. Simple as that.
I’ve always loved how the capital letter extend below the baseline.
for small & medium sized businesses: a blue green deployment via CICD.

For example, via a few docker containers & an nginx configuration pointing to those containers as upstream servers.

https://www.redhat.com/en/topics/devops/what-is-blue-green-d...
How do you know that the EEG monitoring doesn't influence people? Couldn't they subconsciously fake it due to being actively monitored?
It doesn't matter if it is multiple inputs if they are just approximations of approximations of approximations. You need to engage in something that isn't a rough approximation, but something richer than your representation.

Humans have lossy memory but we constantly engage with the real world so it doesn't matter. The key here is we engage with the real world on a regular basis.

The key idea is that you can improve a low fidelity representation by training on a higher fidelity representation. But you can not get a higher fidelity representation from a low fidelity representation. Any inference is just making things up and likely to be wrong, so it is more like to just have less details.
Group theory can be described with sets. Analysis can be described with sets. Geometry can be described with sets.

Before calling something a lie, please inform yourself.
They've apparently renamed to Woob: https://woob.tech/

> Woob (Web Outside of Browsers) is a library which provides a Python standardized API and data models to access websites.

Interesting idea -- basically an API on top of a passel of site-specific web scraper modules.
In cases where the result wasn't on the previous page.

I can't decide what's more annoying though, the infinite scroll or the search result layout change.
I don’t think so. This is just cleaning up the cli commands. Their branch fuse is the same thing as a rebase.

Once you understand merge vs rebase, you understand how git is implemented under the hood, and the rest is dealing with wonky cli syntax.
Stephen Hawking’s theory Everything in the universe will evaporate
Also experiencing this in Georgia.
I`ve seen so many posts and comments about Laravel and how it has made PHP a modern choice for webdev.

As someone who has written many small apps in PHP, I might dive into it and finally see what that Laravel thing is all about.
Starlink v2 reached the brightness reduction target recommended by astronomers
Firefox 116 Should Have Experimental PipeWire Camera Support
A few things to say:

First, that's actually pretty cool.
Second, that's just not what a 14 year old should be doing.

Third, fucking VSCode? You gotta be kidding me.
I'd love to make the post office my bank. One location to do two of the errands on my todo list for today!
> No feature in these Lisp languages made this possible where C or C++ could not, but working in Lisp enabled the developers to iterate quickly, experiment, and arrive at interesting innovative solutions within the required time frame.

You just described key Lisp features that aren't in C++. It's almost the entire point of using Lisp.
If I'm in a 1:1 chat with someone on GChat then the phone/video button just starts a call
If you own equities (individual stocks, ETFs, mutual funds) then you benefit. More liquidity means lower bid/ask spreads which means lower transaction costs and higher returns (since you are paying lower transaction costs, more of your money is invested and it adds up over time) for every investor. The NYSE minimum tick size used to be 12.5 cents, then 6.25 cents.

Once HFT firms started becoming more widespread, the spread lowered significantly. SPY bid/ask spreads are 1 cent on a share that costs ~$450. Some assets even have sub-penny bid/ask spreads.

The traders that create units of SPY get better spreads on the underlying stocks too, which benefits you as well by reducing asset fees and more accurately representing the NAV by lowering transaction costs. The S&P 500 is made up of 500 stocks, it is much more cost effective to assemble a basket of stocks with 1 cent spreads than 6.25 or 12.5 cent spreads.

Liquidity does the same thing for every market, it increases the speed and accuracy of price discovery and lowers transaction costs.
Our discrete mathematics professor leaned heavy on proofs, but also introduced pop quizzes for proofs of algorithms and other mathematical constructs as an experiment that term which sent my anxiety ablaze. You either had the intuition for that particular problem or you didn’t. Studying would not help you that much. The success rate on the quizzes was very low surprising no one.
Yes and no.

When you exercise, are you burning calories? Yes.

Are you literally burning calories, as through combustion the way most people understand it? No.

I guess a way to look at this would be akin to community trash fires that are sub-combustion temperature. Yay, now we don't have to truck it 100km to the incinerator, we can just burn it in the village square.

Composting is really challenging because a number of waste products, from citrus to inorganic or hybrid-inorganic garbage, can ruin the compost process and compost product. If someone leaves a metal nail in the compost pile and someone else later plants potatoes in it, that nail could end up in your mouth after a potato grows around it.
ticks are arachnids, not insects :)
An over simplification:

Columnar stores are optimized for reads.
Row stores are optimized for writes.
It's a tangent, but gravimeters[1] are really impressive feats of engineering.

[1] https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5713048/
Go and it’s standard library. ‘Elegant’ is pretty subjective, but it’s a treasure trove of learning how things work under the hood. I’ve learned loads about networking, compression, encryption and more by browsing through it, because the code is super easy to read and understand.
JSON has pretty limited choice of data types though. Want better precision for numbers, use a string. Want dates? Use a string. Etc.
Danes and Norwegians are way ahead of you: https://en.m.wikipedia.org/wiki/%C3%98
In AI We (Don’t) Trust
Organizationally, domains was not part of cloud. It's part of shopping which is closer to ads and search. I don't see the correlation between this and turning down cloud.
this is interesting, but it seems like a cover for old feuds over commercial food services to pious people. In the USA there was a specific, constructed and lawful means to end "pious people captured by commercial efforts masked as piety" and secondly, a constructed reform within religious communities, to move past this sort of obvious, power and profit motivated supply chain control. Not all places or people have been motivated to include themselves in these reforms, of course.
There are actually many more Dicasteries than there were a year ago, since Pope Francis reorganized the Roman Curia. Previously, many of them were called Congregations. So far, it is basically a name change for the same sort of orgs, but it represents a sort of change in orientation.
Not in China it isn't. (Not that China doesn't have any IP enforcement, but it's not the DMCA.)
For example, in Year 1 that useless letter "c" would be dropped to be replased either by "k" or "s", and likewise "x" would no longer be part of the alphabet.

The only kase in which "c" would be retained would be the "ch" formation, which will be dealt with later.

Year 2 might reform "w" spelling, so that "which" and "one" would take the same konsonant, wile Year 3 might well abolish "y" replasing it with "i" and iear 4 might fiks the "g/j" anomali wonse and for all.

Jenerally, then, the improvement would kontinue iear bai iear with iear 5 doing awai with useless double konsonants, and iears 6-12 or so modifaiing vowlz and the rimeining voist and unvoist konsonants.

Bai iear 15 or sou, it wud fainali bi posibl tu meik ius ov thi ridandant letez "c", "y" and "x" -- bai now jast a memori in the maindz ov ould doderez -- tu riplais "ch", "sh", and "th" rispektivli.

Fainali, xen, aafte sam 20 iers ov orxogrefkl riform, wi wud hev a lojikl, kohirnt speling in ius xrewawt xe Ingliy-spiking werld.
What about student's loans?
Nice work!! I have always appreciated the clarity of FSMs since first learning about them in college. They are a great way to think about a system's state and given X input, clearly define the next state. This makes them very easy to test as well.
An Inside Job
In addition, it made me wonder how Jesus felt when all the sudden his blood is full of sulfates!
Yep, still around, maybe should do a bit more personal blogging, but still here and not going anywhere any time soon :)
But can we use this as a weapon of war? Are we suffering a "groundwater gap"?8-))

mineshaft gap (in Dr.Strangelove): https://www.youtube.com/watch?v=ybSzoLCCX-Y
> The actual problem is that LLMs don’t produce material with the same statistical distribution as their training sets

Yes, and that seems pretty much unavoidable even without SFT and RLHF "filtering"... There's no obvious way of recreating the "long tail" distribution of the overall training set. Turning the sampling temperature up isn't the same since that'll affect the entire generated output, while a human might have chosen to pop a single spicy word choice into an otherwise boilerplate sentence.

One way to get more human-like variety of these models would be to condition them on specific writers with different styles, but of course in practice certain styles would be used more often than others and a corpora of machine-generated text would therefore not have same statistics as one of (more randomly chosen) human text, even if it did have more variety than would otherwise be the case.

Still, conditioning on a specific writing style might be a future direction. Would be useful for people wanting to generate text in their own personal style rather than just asking the LLM to adopt some generic persona.
I'm planning on dropping anything that doesn't come from https://www.cloudflare.com/en-ca/ips/, but the tunnels in indeed even better... don't have to stay up-to-date with IP list, and don't have to waste CPU dropping bad traffic. Cloudflare is indeed the safest known solution.

And yeah Bunny.net are getting annoying with their "Coming Soon" stuff. S3 API has been "almost ready" since at least 2020, according to one of their Twitter post. It looks like they are way too small to deliver, but I really like them and I hope they will.
Reddit is threatening to ban the existing mods, and replace them with whoever shows up. I’m referring to “whoever shows up” as scabs.
I guess, but if the point of the article is valid, let's not confuse signals and signifiers (as the grad students like to say).
> And for SARS1 they found that within months

They sterilized the wet market this time. With SARS1 the market was open and there were infected animals there when they went and looked. The reaction to this pandemic was to attempt to sterilize everything.

> possibly enchanted

It wasn't "possibly enchanted".

SARS-CoV-2 is still 1,000 mutations and a couple decades of evolution away from the closest known animal virus that WIV might have had, and which there's no evidence that they had that live virus in the lab. And you don't get from one to the other from forming chimeras or from serial passage experiments. The mutations were all distributed around the genome.
I agree with this sentiment completely. Virtue is ultimately internal.

However, when did sacrificing all for 40h a week become the definition of honesty? I think the GP and other expressing the sentiment are pointing out that corporations would love for us to feel a moral imperative not to get distracted or do anything else during the day.

There are other honest frameworks for work. Why not measure output monthly? I would argue that’s it’s far more relevant, and one could choose when and how to work and still feel good at the end of the month with the body of work we deliver.

We do not owe our virtue to a corporation.

I took a few years off from work recently, and I realized that one of the things I missed most was having peers and stakeholders tell appreciate my work. I think that is what our virtue wants: to help those immediately around us and be appreciated and respected for it. You could theoretically take lots of time off and still do that.
I have been taking the same approach until I discovered that offsets for flights are pretty much the scam of the century. I'm on mobile right now, but let me know if you want to read something about that later.
&totse
> For one thing, that’s the case price, not the price per bottle.

Thanks for the clarification; the devil certainly was in the details on that one.
> Cambridge alum here (for my BA in 2009) but I'm in CA now. Would be willing to try putting in the request. Not sure how to contact Jonathan Chan...

Look at https://ionathan.ch/cv.html
I like the menu bar, and don't mind the Dock.

Wholly agree about the space switching animation. At the very least, I'd have liked the focus to change when I start switching - not when the animation ends. This way at least I could start typing and pressing shortcuts without having to wait. Not perfect, but better.
30-45 minutes each way? Were you in a rural environment or go to a private school?
If we have a lawyer in the room, would tortious interference with a contract or the DMCA anti-circumvention clause apply here? (Setting aside the question of jurisdiction.)
Heh, a pareto improvement is "a new situation where some agents will gain, and no agents will lose"

I get your meaning but it's kind of a funny phrase to mean "no downsides to this one agent, me"
Alumni do have access, so yeas lots more!
There is truth in the sense that it is pointless to overwork and ground yourself down, especially in a large corporate environment where recognition is very fickle. It's also totally fair and healthy to value work-life balance and draw a hard line.

That said, I disagree pretty strongly with this:

> Promotions and stuff are more about getting assigned to good projects and executing

As someone who is closely involved in the promo process at a high-paying company, this mentality hits a glass ceiling pretty quick. If anything I'd say your manager (and their cluefulness) matters more than your projects. To get to L6+ you've got to be identifying and solving problems beyond what is doled out by management. It also requires understanding the highest level business concerns, contributing to technical strategy, and a lot more collaboration outside your team. This can be done in a timeboxed way, but at a company with strong engineering talent it becomes harder and harder to half-ass your way through, because now you're surrounded by other top-tier folks who are not only smart but work hard as well.
In case anyone is wondering, this repo uses various fine-tuned Flan-T5 models.
I Used AI Tools to Create a Promo Video for My Startup, Styrate
I've been working on my startup, Styrate, which aims to revolutionize e-commerce by making product discovery a social, interactive experience. We're not just creating a platform, but a community of passionate product enthusiasts, and we wanted to convey this in our promo video.

Here's the interesting part: we created the entire video using AI tools, including OpenAI's chatbot, GPT-4.

Yes, you read that right! GPT-4, known as ChatGPT, was instrumental in generating a script that captures the essence of Styrate. From introducing the platform to explaining the unique features (like our 'Showdown' feature where users vote on influencer-created video reviews), it provided a captivating and detailed narrative for our video.

Creating the video using AI has been a fascinating journey. It really goes to show how AI is not just about future tech, but how it's becoming an integral part of creative processes right now. It also aligns with our vision at Styrate - to leverage AI for a more personalized and engaging product discovery experience.
China is planning at least 150 new reactors in the next 15 years
What do you find preferable about clicking the next page link vs having it appear without a click?
> So if you’re a hardcore SQL user proud of their 20+ years of SQL experience – don’t try EdgeQL. It’s always hard to downgrade your identity from “master in something overly-complicated” to “newbie in better-and-less-complicated”.

My eyes rolled so hard they actually flipped completely around
This meme needs to die. That is one tiny component of the data git touches when working with it.

There are many sources of interacting states, some internal to git, some not:

the local tree of commits
remote trees of commits
a possible origin relationship between the two
branch labels on each local and remote with possible relationships between them
the HEAD label
stash
index/staging area
the actual working directory
.gitignore

A simple question like which files are being tracked is actually a complex result of several different places in the above. Untracking a file is consequently extremely non-obvious.
I've always assumed it's a nod to the original underground signage which had offset capital letters (https://upload.wikimedia.org/wikipedia/commons/3/33/London_U...).
Actually, you're both right. One of the explanations (albeit, not the only one) given for why boiled wine remains kosher if handled by non-Jews is that it's considered unacceptable for non-Jews to use in idolatrous rituals.
We write programs with Python, Java, Rust, Javascript and so on. Yet we use a very different language, eg. SQL, to query and modify data. Why? Why don't we use eg. Python as well? SQL is different from other languages: it is declarative, meaning it doesn't dictate how to do it, but what the response should be. Maybe that's the reason? But if that's the case, why are declarative languages not more popular? SQL and other language are not compatible, and that's often a problem. You have this hard border (related to impedance mismatch).

SQL (or GraphQL) is often used as a remote API: The client sends a SQL statement, the server processes it and sends the response. SQL is very powerful, but also dangerous: the statement might be very expensive, for example because an index is missing. Sure, you can shoot yourself in the foot also with Python or Java, but I argue it's harder. SQL is one more technology in your stack, one more thing to learn. And actually, there are many many SQL dialects.

I wish databases have better, faster, and standardized support for a fast procedural language. So that clients can send programs, the server processes it and sends the response. A way to access tables and indexes like a hash table or ordered map. That way, there is no border. There is no slow query due to a missing index. You have to think about how data is access, which indexes are needed. But you have everything under your control. There is no risk of a missing index, or risk of the database not picking the index it should.

(I wrote 3 relational database engines and 4 SQL parsers: HypersonicSQL, H2 database, Apache Jackrabbit Oak, PointBase Micro. I also wrote a GraphQL parser and engine, and a Key-Value store. It's not that I hate SQL.)
Sure, US speaks softly at first, and when they don't get what they asked for, then they pull that big stick. Now, you may think that's nice behavior but that's because you didn't end up on the receiving end of that stick. But there's still hope as it looks like you don't condone similar behavior when it comes from someone else besides US.
WDYM too much remote working?