skysight-inc/HackerNews huggingface dataset:
I imagine it’s a ferry that doesn’t need to be sent away for repair or a causeway or similar. But the solution to that problem isn’t important to the writer’s point. It’s in the article to exemplify the issues caused by not considering spacial and temporal factors when designing solutions.
It's news only because the author wrote a blogpost about it.

There are bugs fixed in every SQLite release.
> Free market types aren't against private investors throwing private money

They're free to do so, but isn't it cheating when it undercuts competitors while propping up unsustainable businesses in the long run? Subsidies that support predatory pricing don't sound fair.
So if we have to use a script anyway, then why do we have to write like 20+ lines of YAML to run the script?

Edit: I mean, why is this not the config if we are just doing a script?

src: github.com/...
run: test_and_build.sh
When did the L in FLP enter into the vision? I heard SPJ talk about the project a couple of times in interviews, but don't recall him mentioning anything about Curry or logic programming. I'm thrilled they seem to be taking that path!
I guess you haven't considered making a list of IPs VPNs use as an intern project to setup over the winter
Know more about Smriti Mandhana Net Worth, Salary, Career, endorsements, monthly income, family, age, boyfriend, and other Personal Information in Detail.
Why does HN have a negative reaction to ChatGPT? It has barely made it to the frontpage, and now we are already at "ban it". Is it blockchain all over again? or is HN simply getting too old? And what does flagging mean in the end?
> A stocks worth is determined by supply and demand

That's a tautology. It's like saying the price is the price.
That is not that much of a problem, is it? Any annoying American anti-science wingnut (and what about non-Americans, are they not annoying?) is easily blocked so in that respect not that much has changed. The widening of the Overton window will bring in more of those who previously were censored but that does not make them all - or even most of them - anti-science wingnuts. They just hold opinions which hitherto were deigned off-limits on ideological grounds. As far as I'm concerned this should improve the quality of the discourse instead of diminish it since ideology tends to be more of a hindrance than a help there. That is what the scientific method is about after all: careful observation, applying rigorous scepticism about what is observed, given that cognitive assumptions can distort how one interprets the observation. I want my observations to be scrutinised by those who look at things from a different perspective because they may see problems which I'm likely to overlook. The opposite is true as well, I will see holes which they are likely to overlook.
Thank you for this hard line stance against AI.
4. Years of living as a criminal, constantly afraid of getting caught, has taken a tole on his psyche. He's now starting to act in a self-destructive manner, not rationally in his best interest.
Yup, doesn't rhyme for me, either, if I ask for rhymes or poetry in Russian (but I don't think it'd rhyme even in English).

I think that makes sense if the supermajority of the training data was in English - it'd make it heavily biased towards that by default. So even when it speaks another language, it still "thinks" of the words in terms of questions like "how it sounds". I suspect it might be possible to craft a sufficiently detailed prompt to work around that.
Many people have tried and liked Linux Mint;[0] the 'Cinnamon' version has been popular with Win-expats.[1] For that distro Nvidia is sometimes a problem, but Mint has an active and helpful online forum (with several savvy experts). You might take a look at that.[2] You can also look at Distrowatch (right column) for popularity and reviews. [3]

I've tried the other stuff, returned to Mint 6 years ago and stayed.

[0] https://www.linuxmint.com/]
[1] https://old.reddit.com/r/linuxmint/
[2] https://forums.linuxmint.com/
[3] https://distrowatch.com/
It’s too dim and too low contrast for me when I dial it down and leaves afterimages when it’s enough. It is a personal thing.

Also, for programming I’m using not dark nor bright mode. Something like #ddd on #444 on well-calibrated settings. Almost all sites which implement dark mode are much closer to #neutron_star on #black_hole than that, so I hate them when they fail to follow an OS setting.
I mean it depends also on the type of looking you are doing. When I write actual prose the way I have to focus on text is different than when I code (which requires a more two-dimensional focus). P
For me personally I am fine with black on white on the former while I prefer dark mode on the latter.
The reason is that the underlying matrices are rank deficient and the calculation gets numerically unstable to impossible, if you don't vary all kinds of degrees of freedom in the motion. Just changing one axis is not enough. If you look at 3D reconstruction image sequences from around 2000, you get motion sick from looking at them, because they made sure to always also vary rotation and translation in more than one direction. One video with some explanations I found:

https://youtu.be/AQfRdr_gZ8g
Congress can barely agree on a debt ceiling without playing football every year.

Having them vote on the price tiers of postal service package weights or Amtrak route schedules seem like a surefire way to bring the management of every public agency to a standstill.

In fact, the only example we really have of our congress being in charge of setting rules for a public agency is the tax code— and its a mess of carve-outs, loopholes, stopgaps (AMT minimums?) that most lay people need to use a certified professional to simply perform a required function ever year. And it’s consistently subject to political football, drastic policy changes based on whatever party is in power, and core issues that congress was originally supposed to solve by running it (like supposed to balance how much money it brings in against public expenses) are often ignored anyways.

The point of a republic is not to put every decision to a vote, but to elect people we trust to be in charge— which includes who they appoint to run agencies, etc. In fact, that’s where most of the president’s power Tiber policy comes from— and it makes sense why, since he’s the only person in our government we all have a say nationwide in electing.
You have not seen them in part because of labour costs. Their existence seems to correlate with that.
Do you have any pointers to how to do this? I have a dual-boot Win7 machine I would like to have run Windows as a VM in Linux, to keep the proprietary executables I need for work running with a smaller security footprint.
I couldn't see any episodes at that link, but https://www.peerlessdad.online/ worked for me.
If you took the time to read The Economist, it would be clear that culture is well understood. In fact, a section titled “Culture” features in every issue. More broadly, I would go so far as to say that topics of a socio-cultural nature are de rigueur, without which, The Economist would surely be reduced to a shell of its current self.
So.. the metaverse shall be written in Verse? -
Would Shakespeare approve or die in disambiguity?
That sounds very wrong.
Not a physicist, but light does not interact with magnets, or you need to get into the superconducting strength levels before it does.

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

It seems the optical rotation happens due to molecular structure of specific materials.

Edit, found this: https://en.wikipedia.org/wiki/Faraday_effect

So a specific material plus magnetic field is needed. But still not sure how strong of a field is sufficient.
I totally agree, and that's one of the reasons I'm not using it for meaningful communication (e.g. HN comments, among many other things).

But I don't think professional email boilerplate is really worth learning if an AI can handle it.
If cheap credit is at an end I can see a lot of small companies and hobbyists losing free-tier services. I don't know how companies like Gitlab can give away so much functionality for zero money. One startup I worked at operated for years on free tiers and spent nothing on version control, CICD, CDN, remote access, authentication, email, chat, video conferencing etc.

I don't want that dream to end, of course. I make use of free-forever services. I just don't see it lasting if we get to the end of cheap credit.
We had a similar situation, though it was just a snapshot. We found out they were hosting using S3, and filed a DMCA request with AWS. It was taken down and hasn’t returned.
Ahhh I just did the same thing :)
when you skew the incentives in the economy such that people focus on developing skills that are based on artificially juiced things that aren't actually that valuable (see Axie Infinity) it's bad for folks' livelihoods long term
As the only PC owner on my group of friends, it was always a joy when we got together for gaming parties/demoscene stuff, and I could hack away on their Amigas.

So yeah, the article has a bit of revisionism there.
There are a couple of strong periods in that list, but comparing, say, the 50s or the incredible run from the early 70s to the 80s against the contemporary period makes it look like children took over the ticket booking in recent years.

Even the family films back then seem to have had an artistic depth and cultural resonance beyond the empty spectacle and brand familiarity that dominate the present hits in the list.
> Like strict:, everything gets evaluated in the end

> Like lazy: functions can be called before the argument has a value

FYI, jq is just like that. In jq in `def f(g): ...;` `g` is a function value that will be applied to some input of `f`'s choice, and `g` is not evaluated unless `f` invokes it. The actual argument to `f` will be an expression which is wrapped in a closure named `g` while `f` is executing.

Lazy evaluation really is just hidden closures.

Lazy evaluation raises questions like:

How obvious shall the syntax make it that
you will be passing a closure instead of a
value?

Closures of dynamic or indefinite extent?
Can you choose which? How intrusive in the
syntax is that choice?

Does the use of lazy vs. strict infect
callees?
I.e., if I define a function `f` of one
argument of type `T`, must it be able to
take an argument that is a closure that
produces values of type `T`, or must that
be declared separately?
If the latter, does that mean I end up with
two `f`s, one which takes a value of type
`T` and one which takes a closure that
produces (a) value(s) of type `T`?
If so, does that happen automatically or
must I request it?
If the latter, what is the default, and
what happens if some library I want to use
one option doesn't provide it?

Finding a happy medium with some flavor of lazy evaluation but also which doesn't make it hard to understand the performance considerations of it is just very hard.
It's not that bad (this was situation some time ago, might be even better today):

Orange does support IPv6 on FTTH and DSL (do not know about mobile network); they use DS lite and allow user port mapping for IPv4 (!), provide /56 by default. They didn't migrate existing customers, they just started with new ones (2016 for DSL, 2018 for FTTH), which is reasonable. There's also an issue with IPTV service, which runs over IPv4 multicast, so new customers with TV service (or those who ask explicitly) get IPv4-only anyway.

UPC (Liberty Global) has exactly the same issue as the Czech one: DS lite and you get /64 only. It is the same design, shared by all UPCs, (the Czech one is just a recent acquisition from them by Vodafone).

Slovak Telecom "is planning" (since 2020). TBH, I would expect ST to get rid of PPPoE on FTTH first ;)

Swan supposedly supports IPv6 now, at least in their core. They claim IPv6 support in their materials (at least in those communicated to business customers).

Note that ST/Orange/O2 are not WISPs; they are mobile networks. With WISP, the understanding is that they would use wireless radios like Radiolan does (i.e. Radiolan is WISP).

> I'm less than 10km behind the capital's outer borders, yet I have a huge problem getting FTTH ran here.

This is common and not that surprising. If you check availability for the FTTH in the capital's city center, you will find that the situation is the same (or similar: chances are, that the end of the street is not connected). It is residential areas with high density that have the good coverage.
It would be relatively trivial to write a script pretending to be a fast typist.
That's what I am doing with finclout. The noise on Stocktwits, Twitter, LinkedIn, etc is just way too high.
Hence, offering a value adding app + the social component is where its at. IMHO.
Straight from the source: https://www.belastingdienst.nl/wps/wcm/connect/en/income-in-...

Summary: https://en.wikipedia.org/wiki/Taxation_in_the_Netherlands#Bo...
The temperature isn't as important as the rate of change.

> Also because humans have existed in all sorts of environments from tundras to deserts for tens of thousands of years with stone-aged technology

The abstract perspective of some humans surviving somehow may not be as comforting as you think.
The only challenge is a proper description. Some comments go by "Here you go: <link to pdf>" without much description of its content. But it is a good idea. I will try to figure out something.
Using Zig for Advent of Code
How big of a problem/pain-point are fake Amazon reviews for you?
Hi HN!
I'm a first time founder who's set out on a mission to help eliminate false reviews from Amazon by building a social rating and review platform that connects consumers with trusted influencers. Fake reviews cost Americans 0.12 cents on every dollar they spend, which is 10 cents more than what NASA gets.

I want to know if any of you guys have had problems with fake/paid for reviews on Amazon, so I can be sure that i am solving a problem that needs attention.
I am available for fulltime job. Somewhere I can reach you?
Born in the 80's I see. Complaining that people born in the90's have seen less than someone born 10 years earlier.

There are people born 20 years before you that have seen 2x as much.
The dudes on the Perestroika screenshot looked eerily familiar. After checking MobyGames [1], it dawned on me that Nikita Skripkin, the author, later founded Nikita - the first video game company in Russia [2], the logo [3] of which used to feature a dude from Perestroika. The more you know!

[1] https://www.mobygames.com/developer/sheet/view/developerId,2...

[2] https://www.mobygames.com/company/nikita-online

[3] https://www.mobygames.com/company/nikita-online/logos
> Nowhere better to put their money

Same could be said about stock buybacks. In principle they're the same, only one has better tax characteristics.

> Rather than investing into itself.

Why would a mature business continue to invest into itself perpetually? What's in it for the investor?
> It is clearly anecdotal [1] at the very least to everyone else that reads your comment. It is also clearly insufficient to draw any scientifically valid conclusions.

You are simply repeating something enough that you believe it to be true. You are misinformed about the meaning of the word anecdotal [1] and appear to be playing word games between "anecdotal", "anecdotal evidence", and a misunderstanding of what I wrote.

> It is also clearly insufficient to draw any scientifically valid conclusions.

What is the "it" in your comment? An experiment that someone performs is not anecdotal. [2]

[1] https://www.merriam-webster.com/dictionary/anecdotal

[2] https://en.wikipedia.org/wiki/Anecdotal_evidence
If you want a newer kernel on Ubuntu, consider installing a third party one. XanMod Kernel works great for me.

https://xanmod.org/
Another option would be to use a service like Cloudflare, which offers protections against scraping and other malicious behavior. This can help prevent the proxy-mirror site from being able to access your site's content.

https://blog.cloudflare.com/introducing-scrapeshield-discove...
Yes, ALL tech eventually gets use for good and bad. It follows human will.

Even in its current state, people are figuring out how to use it for their purposes. There's no need to train it or get any more info on how it works. What we see and get is enough.

I suspect that in a few years from now the internet will be flooded with AI crappy content. I wonder how that's going to influence future AI? Since, the future models will be trained with content created by AIs.
I guess, that is.. very much a perspective thing.
I think that there's a real risk that "information becomes useless" in the AI era. Neither text, speach/sound, images nor videos can be trusted, and it's far toi easy and rewarding for unscrupulous actors to use AI to put out fake/biased news/comments/opinions/media.
Tim's great. Why is his face on the slide though?

:)
>at no cost to government and academic researchers,

I really don't know why you try to change history, your own Wikipedia sentence says that it was just free for gov and edu.
Yeah, and this is kind of a baffling oversight considering the value of franchises is well understood. There's even a table on Wikipedia:

https://en.wikipedia.org/wiki/List_of_highest-grossing_media...

Edit: I don't know what happened to this article - it used to list a LOT more Japanese stuff - Bleach, Naruto, Pokemon, Mario easily dominate stuff like the MCU in terms of value.
The site could do with some text explaining what it does, who operates it and a privacy policy etc. rather than just starting off by immediately asking for permission to access my Twitter account. Looks as shady as ... as it is.
Obviously not, if nobody was willing to buy the test suite for their internal forks.
Inherit. But the 3 year window suggests it'd be more feasible to marry well.
I have Cloudflare at the front already. The issue is that they are not actively scraping the content but rather mirroring it on demand.
Binance was partly responsible (rightly or not) for triggering FTXs collapse. Edit: Triggered, not caused. He controlled the timing.

Doing so without having their own house in order would be suicidal. I'm not saying they are safe. Just that CZ is either much happier he can deal with a "bank run" or crazy.

Does anyone know why it is so difficult for companies to provide audits? It seems like it SHOULD be very doable for them to get PWC or similar in, show them all the deposits and all the assets, do some spot checks on individual accounts, and get a meaningful bill of health?
> OMG didn't expect to see the "I know this is true and I don't need researchers telling me otherwise" argument here.

And, you didn't see that here. That you would even think that shows that you didn't read what was written.

It is ridiculous to wait for what others say about whether dark or light mode strains one's eyes more, since each person already has a pair of eyes to test what works for them.
They are not well suited to set policies under any regime.
I am an employee of a well known Fortune 500 consulting company, but definitly not Microsoft, better luck with your search next time.

Microsoft is a company, there is no such thing as honour for business, only money and profits.

Same applies to dumb quotes like "do no evil" and similar.

You're right, Windows isn't the main target platform for AAA game studios, Playstation, XBox, Switch, iOS and Android are the ones briging big bags of money home.
>No, it's the same. I'll just switch to English.

No it's not the same. My German girlfriend is consistently asked in Germany where she's "really from" despite being born there and living there her whole life (and her parents too!). That would be scandalous in my country, and the US too. The intolerance of imperfect grammar that can realistically only be attained by natives is adjacent to this issue. It's naive and simplistic to just state all Western countries are the same in terms of social progress. The English-speaking and German-speaking worlds are not the same.

>Das ist kulturel bedingt. Duolingo hätte jedenfalls nicht viel geholfen.

For sure. German culture will either change of I am sure that these waves of immigrants will not integrate properly and there will be strife. One of the benefits of immigration I hope is that Germany will change and become a friendlier and less inward looking society.
The anchor point on the moon will be fixed. It's the counter weight at L1/L2 that will drift and will need some (small, according to Wikipedia) correction.
Fellow Internet human, I agree with you completely, there must be dozens of us. I wonder if I am just becoming a Luddite, or people have no idea whatsoever what will this unleash on already frail social fabric of the Internet.

I wonder if we've reached a singularity point where you cannot be sure you are engaging with a human anymore and it's going to be instrumental in the demise of the net. First, it was the big corporations that created a soulless place, then it was the naive, reckless technologists that killed the little of humanity that remained. Thanks to them, we will soon have to present real IDs to access some websites.

I am in the peak of my career as a software engineer at 35, as many Millenials I've grown during the best years of it, and now I'm considering a life away from what was once a bustling bazaar of human discourse, now it's a void of text, images, rage and little soul.

If the "Dead Internet" is just a conspiracy theory, we're running towards it at breakneck speed.
> Enter your bank account number and social security.

Really? That would be a 100% show-stopper for me. They absolutely don't need to know such highly private information.

I'll stick with cragislist and paying cash, which is how I've bought every car I've bought in the last ~16 years.
I think the difficult part of this question is – what percent of false positives are we willing to accept in the pursuit of deleting bots?

I think setting up some barriers to entry/usage is worth looking into. I wouldn't mind paying $5 to create a throwaway account, and that might be enough of a barrier to block most spammers.
Back when GPT-3 came out, I wanted to understand how it works, so read the papers and made this post:

https://dugas.ch/artificial_curiosity/GPT_architecture.html

I hoped it would be simple enough for anyone who knows a bit of math / algebra to understand. But note that it doesn't go into the difference between GPT-3 and ChatGPT (which adds a RL training objective, among other things).
Overloading the Lambda Abstraction in Haskell
OP here! I just found out about about this technique last week and it looks quite important for any EDSL designer out here. The post is archived here, in case my site goes down: https://web.archive.org/web/20221212080641/https://acataleps...
Very surprised to see a comment about Peerless Dad on HN, and it being top comment. Huge fan of the series. But surprisingly, I've found the spin off series Administrator Kang Jin Lee to be even better. Peerless Dad has suffered a bit from trying to weave too many threads simultaneously which takes away from the focus on the main character. As a result, it occasionally struggles to thread the needle, especially with the politicking subplot. Administrator KJL starts with an incredible premise (What if you took a high functioning autistic amoral sociopath and tried to teach him how to blend in with normies) and has kept building on that premise to some really good shit. IMO it hasn't suffered any of the same inconsistencies of Peerless Dad. Still love PD though.