skysight-inc/HackerNews huggingface dataset:
independently of ZFC, can your statement be mathematically proven in a reasonable alternative axiomatic system?

Also, I am aware there are non-contrived statements that are can't be proven in ZFC such as https://en.wikipedia.org/wiki/List_of_statements_independent....
I'm only claiming that the incompleteness theorems only find contrived ones, and that for the non-contrived ones humanity has found, it is NOT that they are mathematically unproveable, it is that ZFC is not enough.
My experience a few years ago was they did a repair, out of warranty. It didn't work, so they replaced the mainboard and two other components for no additional cost. That was an excellent experience.

Unfortunately, I can't use the new Macbooks. Looking at the screen for more than a few minutes gives me a headache. (Even with adjusting many different settings.)
> But why are people still reporting benchmark results on VGG?

It makes me feel like i’m missing something! Is is still used as a backbone in the same way as legacy code is everywhere, or is it something else entirely??
If you use your free speech to say to a project veritas "operative" that there's no way they're a project veritas operative, you probably deserve to get fired for sheer stupidity at the very least.
There's absolutely a lot of "graphics" terminology that spills into GPGPU. For example, texture memory in CUDA :) The reality is that GPU's, even the ones that can't output video, are ultimately still using hardware that largely is rooted in gaming. Obviously the underlying architectures for these ML cards are moving away from that (increasingly using more die space for ML related operations) but many of the core components like memory are still shared. It boils down to the fact that at the end of the day they're linear algebra processors.
There is no evidence about the amount of spread through wildlife apart from evidence that it does happen. So you were just talking about evidence-based distinctions about some unrelated claims?
I withdrew everything from Gemini Earn since I have no idea whether Genesis Trading, who borrows through Earn, would survive a significant loss of USDT peg.

USDC on Aave, Compound, or Curve all seem much safer.
Almost every greyed out comment I've ever seen is garbage.

It's either rude or offensive, an obvious bad faith take on its parent comment, or is just plain spam.

It is incredibly rare to see a greyed out comment and think "wow that guy got downvoted just because people disagreed with them", unlike reddit.
If you're wanting to use Elixir, it's not going to be nearly as mainstream as, say, Node, but fly.io has support for Elixir apps (to speak of cloud), and I think there's some cool stuff going on in Elixir myself.

Of other note is that Erlang seems to enable folks that use it to punch above their weight class when it comes to running services internally and such.

Serverless is far from the only valid way to run things these days.
Pumping desalinated water up to Sierra Nevada reservoirs would take a hell of a lot of pipe. We use canals and rely on gravity to move water, today.
That is odd that he would be involved with auditing duplicate domain names. You'd think FB the company would of done the snatching, not Mark Zuckerberg. neat.
As a side hustler, even with pass-through taxation, you will still have to pay the self-employment tax (15.3% of net earnings) on top of taxes at your federal and state tax bracket. However, side-hustle money spent on qualified business expenses, is not taxable. (Tax people please chime in.)
You're right! I've missed this.
Searching for “how to fix a flat tire” gave me good results, at least better than the crap the OP got :)
Yes, it matters - a writing assignment would be graded on writing quality and style. I would assume the writing professor is not a tire changing expert. You're there because you don't know how to change a tire, so there's no way to know if the information is correct.

It's certainly better than nothing but there could be specific gotchas for your situation. Most common would be needing certain tools or techniques for your model of car. It'd probably be best to either look up the manual for your car online or find a youtube video for changing the tires for your model of car.
Oh ok, that's interesting! Probably a step to far for me, but I love the concept
>engineer saying that software solutions outside of the Serverless ecosystem (FaaS, DB, etc) is "the new legacy"

It's complete blindness to the reality. Trusting one single provider for your whole service (often not even completely opensource) is the same trap as Windows or Oracle in the 90's...just worse (because not on prem)...but hey history repeats itself ;)
How does real world Python performance compare with Node.js these days? Anyone have recent experience with the semi-latest?
Typo in your title. It's the etymology of "to prove dough".
Real assets + crypto... 10+ trillion dollars market by 2030
Amazing! Do you have any plans to go beyond strawberry picking?
I'm a (paying) Mailfence customer as well, and use it as a destination sync backup of my primary domain using imapsync, encountered a similar problem so opened a ticket to Support.

The general problem is that Mailfence has what I guess you could call DDoS protections in place and opening too many simultaneous IMAP threads trips their defenses. I have my ~/.mbsyncrc set to only use one thread when writing to Mailfence to avoid tripping the trigger and it runs like clockwork now (cron timer doing IMAP sync writes from the primary). $0.02, hope this helps.
> The difference between then and now is that interest rates are blasting through the roof along with inflation.

The effective federal interest rate is 0.33% today. It was 2.4% before COVID...
it's "worse" in a sense because a lot of these ghost surgeries are in the plastic surgery field where people specifically go to these clinics and pay more for a certain look or outcome. having an experienced resident attend to u vs the attending is a bit diff in general surgery.

terrible analogy, but imagine you pay six figures to some agency to produce your site, introduce you to the team of designers who will be handling it, then they go and source it out to fivver or something lol. could be fine, but that's a complete bate and switch.
Considering pretty much any "enterprise" deployment of Macs uses an MDM like JAMF ( and IIRC even Apple use them and recommend them), i highly doubt that. There were some very limited features in macOS "server" when i last looked into it a few years ago, but it required sticking a Mac Mini somewhere ( which is not "enterprise" in any sense of that word) and was extremely limited compared to "real" MDM solutions.
A hydro power reservoir doesn't need a watershed, so can have overwhelmingly less ecological impact.
Any idea what the exact issue is with the screens?
Check out the #buildinpublic hashtag on Twitter. You’ll find many good examples.

Also Indiehackers.
Are you asking if Java is unfashionable enough for it to be seen as a legacy niche- like COBOL or 4GL? Just because it’s out of fashion doesn’t mean isn’t crowded…
Is it intention that the frontpage go.masterschool.com address has a wrong link to their webdev course? Go.masterschool is their top google ad. Potentially a funny way to prescreen applicants, ha.
Exxon is rated top ten best in world for ESG, while Tesla didn’t make the list
> I would be willing to bet substantial sums of money that Google tracks metrics for these alternative results and has concluded that they add value to the user.

And I would be willing to be substantial sums of money that any metrics Google has with respect to "adding value to the user" are actually more directly track "adding value to the business".
This was the case with ADATA.

They had a lot of SKUs (6) for one part, and despite on paper some of the numbers being lower, and in synthetic benchmarks the drives performing differently, some of the “slower” parts actually performed better than the original reviewed/released samples.

This doesn’t excuse what some people consider bait and switch. But it’s more complicated than many outraged gamers made it seem.
>the faster you work the more work you get.

It took me about 2 months to learn this after getting my first job. Nowadays I intentionally add minor bugs that turn up during demos so I have stuff to "go back and fix" later.
CBOR-based Serialization for Linked Data:

https://digitalbazaar.github.io/cbor-ld-spec/

RDF Binary Encoding using Thrift:

https://afs.github.io/rdf-thrift/rdf-binary-thrift.html
I remember when the NYT propagandized for the Iraq invasion. Anyway, I have no aspiration to prove this point, you can believe whatever you want to believe. But at least believe that my impression is not unique in this respect.

We all, everyone here in the HN comments, went out of our way to write comments and replies on the internets. It's actually not that hard to type stuff. At the moment, I've got too much free time on my hands.
What I don't understand is that the verbatim option still exists, it just doesn't seem to do anything. And quotes don't seem to work anymore either. It's all very insulting.
Skilled developers are in demand, but the market is _flooded_ not only with low-barrier-to-entry applicants that can't even do the basics but also beginner programmers with constructed work histories that can masquerade a lot better and as a result require more time to see through and filter. This state of affairs is also rapidly getting worse..

If someone entering the field now has nothing (e.g. CS degree from a good university, high-quality projects), to help him raise above this noise, it's a fool's gamble.
It looks like this pay-for-play method is going to have a chilling effect on any developer creating an alternative Gmail interface. Same with removing IMAP.
I get useful results from google for the same query

First result is

https://www.outsideonline.com/outdoor-gear/cars-trucks/how-t...

2nd, 3rd, and 4th resultsa are videos

5th is wikihow (which by the way IMO is often a really bad site. There is lots of junk content on wikihow)
It's a third party app. It's also the difference between trying to click a small button versus using a swipe gesture. You still have to write the reply. Not sure what your gripe is here, I'm talking about how their UI is more friendly towards mobile users.
Good news for anyone deploying to Graviton too
here are the basics

https://www.investopedia.com/investing/how-interest-rates-af...

I think the dynamic for private (VC) money and public markets are different

VC money will dry up as endowments look to shift more money into safer asset class when interest rate is high

public markets company valuation models change with interest rates changing. when rate is close to 0 investors are willing to buy asset with a very long term view for expected future profit (say 10 years). when rates go up that time frame shortens since opportunity cost of buying that stock today is now much higher.
Bottoms up works really good. It needs to always be understood that bottom tier OKRs don’t always directly tie to higher level OKRs and that is okay.
The Court is ignoring science
I see the majority of these grant styled competitions as just this, hackathons. Besides the prestige involved the majority of these inventions often prove to have little to no value to often not even doing as advertised. The way we incentive academic funding and research is backwards and often more than not broken at its fundamental core. It's compelled further due to these research rings broken into their own hierarchical technocratic groups.
Yes, but f-droid et al cannot update in the background. That's a problem.
Just for comparison, I work at a Non-FANG (SWE >10 years) in a expensive COL area and I make less than half that.

I say, you take that offer.
> Does anybody actually use this network anymore?

Why not? It's still good for simple classification tasks. We use it as an encoder for a segmentation model in some cases. Most ResNet variants are much heavier.
We made a social language learning app for African languages
@dang, can this thread and the following be merged. They are the same article both on HN front-page.

https://news.ycombinator.com/item?id=31421961
Africa is the most linguistically diverse continent on Earth, with over 2000 languages and billions of native speakers. Despite recent advances in online language learning, there remains no major education platform that supports more than one or two African languages. We, the Mandla Team, have decided to tackle this issue head on. Mandla is an e-learning platform that aims to: 1. Teach African languages. 2. Build an African language database to improve translation models. 3. Preserve Cultures. Our entire team is composed of first generation African immigrants from Burkina Faso, Ghana, Nigeria, and Kenya. Growing up, we each faced the problem of wanting to improve our fluency in our parents’ native languages and not being able to find any quality resources to do so. And it wasn't just us; Many of our peers were facing this same problem as well. In our quest to improve our fluency, we discovered countless Instagram pages, YouTube channels, and reddit forums dedicated to learning different African languages, but still no quality gamified online platform. Mandla solves this problem. We launched the beta versions of our iOS, Android, and web apps in December 2021 with support for over 15 of Africa’s most spoken languages and have quickly amassed over 50,000 users.
OKRs are a tool that barely competent psychopaths reach for. Possibly they work for other use cases (sales?) where everyone's a psychopath. The high functioning psychopaths don't need such ineffective tools.
I feel like that'd be the least bad reason to buy it.
Polygon Funds
The pandemic’s true health cost: how much of our lives has Covid stolen?
Musk wars with Twitter over his buyout deal
I think they only look to opinionated if you happen to primarily know and be familiar with Unix's opinions. :-)

I personally was not.

Unix was the about the 8th OS I learned when I was in my teens, and I still find it highly "opinionated" and not very comfortable to this day.

Not everything is a file, it only pretends that. Lots of things aren't.

Some things are case-sensitive, unless they're not.

Files don't have extensions unless they do, in which case they might be critically important, or they might not.

Programs communicate over console IO and pipes, unless they don't.

Command line switches can be a letter or a word or a phrase, might have a minus in front, might have two, might have none: do ya feel lucky, punk?

Standard UI? Don't make me laugh. It's as bad as DOS was in 1987.

It's a mess, and every successive version is worse not better.
Most of these tech companies build business models around giving away money, with a plan of eventually making a profit. They are affected by interest rates because the higher interest rates you have today, the more attractive it is to have money today instead of tomorrow. Interest rates available today are the discount rate for those future cash flows (profit).
I could never figure out how to deploy nomad in a production environment. Between Consul, Vault, and all that, it seemed way more complex than kubernetes.
Downvotes....LOL. I forgot how much it upsets people on HN to take issue with Apple in any way, shape, or form.
so my takeaway is that the best sites were written in the 90s and still out there with the right search incantation :)
Dev should publish TC via Fdroid.
I always check for Fdroid versions first.
Fdroid are more honest about app perms and policies than Google are.
I get so irrationally mad when I see self important people backed up into travel lanes like this without a care in the world for the danger that may pose.
> Over 40 Dutch multinationals and other large companies pledged to no longer avoid or evade taxes by singing the Tax Governance Code drafted by entrepreneurs' organization VNO-NCW

As long as they're singing they must be happy about it!
This is why I prefer to work in startups. The objectives are more paying customers, more retention, and (for later stage companies) at a lower cost. If you're not doing something that moves the needle on those things in a startup, you're working on the wrong thing.
Web3 is a loosely defined trend and every person has different expectations for the changes that web3 should bring. Here's what I personally think web3 can do to change the internet for the better:

- Increase proportion of consumer spending that goes to creators (Apple, YouTube, Spotify, etc have egregious take rates from 20-50%)

- Create new business models where incentives are aligned. Take a look on HN at the weekly threads about poor Google search results. Subscriptions and micropayments are a no-go for services like Google search. It's time for a new business model for these services and web3 provides the framework to experiment with radically different business models.

- Permissionless (and decentralized) finance: if you live in the US/Canada/UK/France/Germany/etc then this might not be much use to you. There are dozens of countries that can benefit from permissionless access to banking.
I'd say that there has been quite some sharing between both back and forth. Evolutions in compute stacks shaped modern graphics APIs too.

Texture units are indeed a part that is useful enough to be exposed to GPGPU compute APIs directly. The "shader" term itself disappeared quite early in those though, as did access to a good part of the FF pipeline including the rasterisers themselves.
FYI that website is hijacked by a hostile ad (ironically for an ad blocker) when accessing it from my iOS device, making the page inaccessible due to HTTP redirects and whatnot.
Nuclear power is, as always, overwhelmingly more espensive than the alternative, solar. We have a great deal of desert in California, with plenty of sunshine, and evaporating only when the sun is out is fine.

You wouldn't even need enclosed evaporation containers; let the wind carry the moisture to the mountains, raining into existing reservoirs.
> worry primarily about patch management

Don’t the OS and app prompt for their own updates these days?
Ask HN: What's the oldest publicly-available repo with different versions?
What is the oldest collection of code out there, including different versions of the same project, where someone could access it and compare the changes between versions to get a sense of what changed?

By publicly-available, I mean where it is made available for anyone who requested it to somehow access it (e.g. from the internet, from a library).

With "repo," I'm not imagining it using version-control software per se, just that it could be compared and clearly show some kind of iteration of the same piece of code.
That might be true. But I think a good reader, such as a news anchor or a voice actor, will know where to put the emphasis and the pauses, in order to help the listener along. It's value-adding. I think most people who do it professionally will have this capacity.
Is it the reflectiveness ? Reflective screens really strain my eyes, compared to matte screens and I haven't really found a "solution" besides just to use an external matte screen with my company-issued MBP. It sucks when I have to use it on itself when on the road ( due to the screen, the touchpad i dislike and which can't have a separate scroll direction, and the keyboard layout which is different than my regular keyboard just enough to be annoying).
Depending on use case: podman
IMO people represent what they know.

People also overestimate what “the new” is, constantly. Otherwise, PHP would be dead by now rather than flourishing.

Serverless is essentially PHP in CGI mode, with a lot of marketing behind it. There are certainly places where it’s beneficial.

Servers and databases are not going away anytime soon. They are simply too effective for what they do.

The “everything is legacy crowd” hasn’t been correct about almost anything in my lifetime. Mainframes are still going strong. SQL databases are better than ever and the NoSQL crowd has largely died out.

90% of the cloud ecosystems of today are just doing what Java app servers were doing in the late 90s.

Erlang and the BEAM offer a set of trade offs that happen to be ideal for a lot of server based use cases to make hard things really simple. Probably not going to take over the world but if it fits what you do you probably won’t want to go back.
(2020) and more recent stuff since then, c'mon.
Ruby is more fashionable than Java web development. PHP is more fashionable than Ruby. Go is miles more fashionable than PHP. Python is more fashionable than GO. These change as Ruby was way more fashionable than PHP 10 years ago. Golang was way more fashionable over Python 2 years ago. PHP was more fashionable to Python 15 years ago.

Java is still fashionable because of android development.
Maintaining and extending legacy code is, in many ways, orthogonal to its underlying language.

You can make a 2x2 matrix with "legacy code quality" on one axis, and "language percieved desireability" on the other axis.

You can make truckloads of money, earn much respect, with nearly zero negative ageism, in at least one of those quadrants.

"Building new" versus "maintaining existing" are different mindsets, and often a choice.

For older people just getting started, "maintaining existing" is often the wiser first decision. From there, the particular mix of language and tech stack count, and often the more obscure the better.

Find a good niche.
This is my experience as well. Few years ago I was tasked with setting up a couple minis for our new mac management. Took me ~2 hours to determine it was garbage and find a 3rd party solution. A quick search and I see Apple purchased Fleetsmith in 2020 so maybe that is integrated now?
This comment proves the author’s thesis, which is “The culture is ageist so you probably won’t stand out using the same skills as the newer devs or companies. Find an obscure, unsexy, perhaps almost obsolete niche and specialize because the kids or mid-career engineers don’t even bother with those jobs.”

Now if only there was a way to monetize a COBOL or ABAP channel on Youtube, hmmm…

*Edited for clarity
I'm not sure where the industry is going but the innovations around LiveView are really convincing (I'm using LiveView in my work).

Some great innovating Elixir projects:

Oban: https://getoban.pro/

Oban Demo: https://getoban.pro/oban

Livebook: https://livebook.dev/
Note that this "OAuth2" support is only for gmail. OAuth 2 is not really an open protocol like OAuth (1) was. It's just something the megacorps shoved down the IETF's throat and every implementation is different enough to need different software. OAuth2 is not good for the health of the internet and will lead to even more lock in.

When Google disables imap at the end of the month for gmail (only allowing OAuth2+imap, which is not imap) that's the end of gmail for me.
Considering lightning came way before USB-C, I understand why Apple is reluctant to change over. It's not just the cable e-waste, think of all the lightning accessories that won't work anymore. (Same as when they went 30-pin -> Lightning)
Twitter board says it will 'enforce the merger agreement'