skysight-inc/HackerNews huggingface dataset:
I setup Screenshot app to save directly to the Google Drive folder, so it's always available to me from any device. Used Dropbox up until last month before getting rid of the horrendous native client.

My downloads folder is effectively categorized as

AW - artwork, could be pics, videos that I create or download, further into monthly phone backup, jellyfin etc

SW - software, contains anything I've downloaded, specific folders for each caterory like 3D printing, setup files, repo code zips/model weights etc

PDFs - as the name implies PDFs only, mostly arxiv papers grouped by month-year folders & backed off monthly to phone & NAS

-----

Has worked like a charm for me for a while & very easy to take backups of my machine since everything essential is present within the Download sub-folders
seems like a scam website, promoting a scam crypto project "launchpad.xyz"
I don't know if they are affiliated or if it's just an ad in the header.
Nothing I said was untruthful.

The Taproot upgrade made the witness data discount from Segwit available to be used by inscriptions. This is what led to the explosion in BRC-20 transactions that are clogging up the mempool. According to this research, it's all coming from a single entity.
I'm not saying PGP or cryptocurrency because both of those have issues and the moment money is involved everything is foobar'd

But essentially allowing people to make "identities" via cryptography and then use a reputation system. Preferably by allowing people to follow/whitelist/favorite people across websites.

I like hacker new's method of making new people green. And I wish I could make it highlight the big names I recognize.

The problem with this is that nobody has figured out the distribution system for how we communicate the keys - IMO blockchains are the closest but it's so difficult to mention them because 98% of them are money-grabs. PGP/GPG has struggled so hard pypi literally removed support for it.

The second problem is that what will likely happen is sites like twitter will only allow very trusted accounts and never allow new ones - effectively locking you into one account.
> Although, trucks aren’t trains where diesel turbine electricity generation makes sense.

Contrary-wise in real world examples FedEX in the US first trialed onboard diesel turbine generated electric trucks back in 2014 and they've been a staple of the Australian (and other) mining industry for a good number of years now; that's on the order of a billion tonne per annum for a decade moved via means you imply only makes sense for trains.

You'll even find instances of hybrid onboard diesal off board trolly pantograph for gradient assist climbing in heavy haul trucks [1] from 2007 - although I admit that was an unexpected quirky find.

[1] https://www.australianmining.com.au/diesel-electric-haul-tru...
Can anyone explain why people are interested in tilings?
Hard to do that if the ID is tied to a hardware token and rate limited in silicon. For extra strength require biometrics to activate the token.
I agree, outside space in cities is too valuable to be taken up by parked cars. New multi family construction should have requirements for underground parking spaces with EV loading infrastructure.
> ICE cars should be banned from cities

> a city filled with parked EV cars is not very different

> Curbside parking should be abolished

> just park in underground garages

> walk the remaining 200m

I appreciate the humor. I certainly hope that's how it was intended.

The last part was particularly funny. I get it. Let's dig-up every city and build huge underground car garages --which require massive amounts of concrete, materials, digging, etc.-- generate monumental amounts of pollution and CO2 doing so. And then we park our electric cars underground.

And this is where you really got me: The requirement is to be able to walk 200 meters to every destination within a city. Brilliant! I mean, can you imagine the digging under every city on earth to build massive swiss-cheese networks of parking caverns every, say, 400 meters or so? What are we going to do with all the underground water lines, gas, sewer and, in some cases, power lines?

Yes, as a joke, it's really funny.
We can't do unit tests against a database with a known state. How do you think one does a unit test on hardware in an unknown state?
Mullvad used to have a "how to" guide for torrenting on VPN. But now it 404s: https://mullvad.net/en/help/bittorrent/

According to wayback machine, they deleted the page sometime mid 2021. Here's an archived version of the page: https://web.archive.org/web/20210513051214/https://mullvad.n...
India RBI chief flags governance gaps, stressed assets misreporting at banks
https://freakonomics.com/podcast/why-are-we-still-using-cash...
The Internet as a whole has become very elderly unfriendly. Even the iPhone becomes an unnavigable mess once you’re trying to help someone 70+ work with it.

And continually changing UIs definitely don’t help.
They wouldn’t have to be horrified if their employer was more open about its software. Is there even a legal way to run a Mac VM on non-Apple hardware?
Mine never lets me use the audio option. It says I have to complete the captcha.
Good luck hauling 100lbs of groceries through the subway.
It’s not an apples to apples comparison. Europe is much more population dense than North America so I suspect being a cell phone carrier in Europe is a less costly venture.
I'm currently in a conversation with hCaptcha's Support team that has gotten a bit Kafka-esque. Apparently, in order to sign up for the Accessibility option, you need to... fill out a captcha.

Fantastic. Good job.
Seconding reading Crafting Interpreters but writing with a different language. I took it as an excuse to hone my Rust skills, as well as learn the behind the scenes of the compiler. I don't think I would have learned nearly as much if I didn't have to read a paragraph, stop, and then really thoroughly examine the ideas/assumptions behind it to ensure an accurate translation.

Another strategy I used was to look at the title of the chapter, then work ahead as much as possible to implement that. It really helped my learning process to naturally explore the problem space myself, then read through and see how my naive attempts compared to a more seasoned implementation. But as the parent said, ymmv!
So now we are up to three SBCs plus the PineTab-V using the JH7110 SoC, which is kind of somewhere between Pi 3 and Pi 4 as long as you don't need SIMD. Closer to Pi 4 because while the CPU is a little weaker the Pi 3 has never had more than 1 GB RAM, and both Pis have got worse I/O, including GPU.

I think pretty soon there will be multiple TH1520 boards too, which definitely beat Pi 4 in all respects, including SVE/RVV-class vector processing.

Both chips are a little short on drivers right now, but that will change within a few months.
Keep in mind that Crafting Interpreters starts with Java, but switches to C later on. If you want to write your code in a different language (which I did), don't choose either of those.
So, the downvotes and replies warrants a follow-up comment.

I support deterministic compilers due to deterministic builds. For a given input source code, compiler executable, and command-line flags, it should always produce the same binary, regardless of the time of day, random number generator, I/O, threading, environment, etc.

My refutation of the article is that he made it sound like a compiler is like computing Fibonacci numbers - here are all the valid inputs, here is how each one maps to its one and only correct output answer, so fill in the code to accomplish that.

Also in the previous paragraph he wrote:

> Because the most basic compiler architecture is standard, you have limited boundaries and degrees of freedom when designing one. This might sound restricting, but actually, it's freeing because you get to play in a predictable sandbox.
Set Up Clip on SageMaker for Inference
I think they work best in combination. The CPR can keep your brain alive long enough for the defib to arrive.
According to eastern wisdom traditions the self deserves attention.
Why would one use this over GNU Cash?
It cost you (assuming an average taxpayer) less than 20 bucks and is the only way humanity will get at a specific kind of knowledge.

But more importantly you aren't subsidizing it, you are paying for it outright. Subsidizing would suggest that there is some other revenue stream, whereas this kind of research would simply not exist without taxpayer money.

You are subsidizing oil, you are subsidizing solar, you are subsidizing medical research and satellite launches and weapons research. You are not subsidizing fundamental research.
When D showed up I really wanted it to become mainstream language. Unfortunately it did not.
My previous understanding was that gas turbine trucks have been tried out, but not electric ones. But thanks for the correction.
1. Its fairly pure math that you can see

2. Its important in technology and science (e.g quasi crystals).

3. They have an aesthetic some find pleasing.
I agree. You can also go to to github.com/torvalds/linux click on code -> Download zip and have the Linux Kernel.
I’m not sure what having ChatGPT write it for you would give you. Maybe 10,000 hours of frustration after you realize how far from the mark you really are?
Old certification invalid dialog was terrible. I believe most people just ignored it. https://cdn.appuals.com/wp-content/uploads/2018/11/identity-...
OP here. Definitely! Both of those are important too, SSB especially, it's been around for so long. Plus Rabble has been vocal in fediverse and Bluesky development and now actively building Nostr stuff.

(And I'm actually all for multiple protocols, especially right now when we're still fairly early in the space's mainstream growth. Much better to experiment with lots of different ideas now while we still have a bit of breathing room!)
Make an AI good enough to solve captchas, to make the world use your retina scanning blockchain. Ok its starting to make sense.
What does efficiency or finesse have to do with it? Motorocycles still exist despite needing a global supply chain and looking blocky and chunky. An intelligence that needs a datacenter and a multi-megawatt power supply could still exist.

> "average latency between compute regions goes up."

This Google'd article[1] says a brain could have 20mS of latency from front to back. We can ping over a hundred miles in that time with today's packet switched public networks, and light can travel 3,750 miles in that time. That's enough space to make a big 'brain' computer.

> "Then comes the problem of heat dispersion"

Biological brains have to stay alive, and have to be energy efficient because food can be scarce. Computers can be cooled with liquid nitrogen[2] without dying, or be under the ocean, in the Arctic, in space, even assuming a superintelligence couldn't come up with new architectures or new cooling methods. Infinite growth, or growth up to the upper bounds of theoretical physics is unlikely, I grant you that, but (assuming it can be done with computers at all) there seems to be a lot of room for a lot of growth.

[1] https://discoverysedge.mayo.edu/2023/03/09/understanding-the...

[2] https://www.pcgamer.com/overclocking-a-cpu-to-7-ghz-with-the...
Was it really worth expending the energy to backseat moderate this?
> "During the course of our supervisory process, certain instances of using innovative ways to conceal the real status of stressed loans have also come to our notice," Shaktikanta Das said during his inaugural address to directors of banks at a conference organised by the RBI.

> Das did not name any bank. Instead, citing examples, the governor said that supervisors had spotted some instances of sale and buyback of stressed loans between two lenders, structured deals with good borrowers to conceal stress and disbursement of new loans close to the time of repayment.

It is amazing how the banking industry goes to such extents to conceal weaknesses in their balance sheet. When enough critical mass of banks do this, we get systemic failures like bank runs.

The only silver lining is that the RBI (India's central bank) caught this as part of their regulatory/supervisory activities.
Daily Stoicism Quote
“Generative AI, large language models and recommender systems are the digital engines of the modern economy,” said Jensen Huang, founder and CEO of NVIDIA.

Are they really?
Personal history.

"Many" is relative. We are talking about a fraction of a percent of the general population, but if you are looking specifically at the population of people who have some form of long standing heart disease, it's not terribly rare. I don't work in cardiology specifically, and even so I encounter one or two patients a year who have had an ICD placed for reason #3.

Persistent risk factors include things like or overgrowth of muscular heart tissue (which has dozens of causes, but the most common is severe, long standing coronary artery disease) or scarring of the heart after a heart attack.

Persistent risk factors are not rare at all. The thing is that most people who fall into bucket 3 also fall into buckets 1 or 2. So in an ideal world they would have already seen a cardiologist and had an ICD placed before they ever had an episode of SCD. And of course many of those who do have SCD don't survive long enough to have an ICD placed.

If you are interested in reading more, you can search for "secondary prevention of sudden cardiac death" or "secondary prophylaxis of sudden cardisc death." There are some good review articles available online.
But in a multi-step pipe, that’s still asymmetric and to me, less natural as a result.

cat f | grep nameserver | otherproc…

…is more consistently compositional.
>about 5% - 15% of the population becomes nauseated.

That's just those who can use VR at all. Three members of my immediate family can't because of eyesight issues, including one who's blind in one eye. According to the Quest manual, I have a condition that means I should contact a doctor before using it.

If I worked for a company pushing this, I'd have a hard time believing any claims they made about supporting diversity in the workplace. Masses of people won't be able to take part in a society that depends on VR for communication and collaboration.
it’s always been a naughty pleasure that Matrix uses sigils both for ‘mainstream’ user IDs (@user:domain.com) and room aliases (#room:domain.com) as well as more developer focused things - $ for event IDs, ! for room IDs: https://spec.matrix.org/v1.7/appendices/#common-identifier-f...

I have a bad feeling this is due to me doing too much Perl as a child. But folks don’t seem to complain about it, especially since we also sprouted a proper URI scheme too.
Sigils are why I gave up learning PERL. Everything I learned had a half life of 10 minutes.

I haven't programmed C in a decade, I still remember most of it.
This trick would not defeat GPT-4
For some additional context, this came up for me because some other team had snuck verbiage into our style guide that mandated things like this instead of traditional initializers:

void foo() {
if (auto [a, b, c] = std::make_tuple(x, y, z); true) { /* [...] */ }
}

Yeah you can still read this, but it's stupid to support constructs creating scope, doing control flow, and initializing arbitrarily many variables simultaneously (which may invoke constructors of their own). The relatively minor benefits to things like iterators are not outweighed by the burden of supporting this stupid code.
Adding more evidence to the pile, here's a red-tiara version on the Vatican's own website from a page last updated in 2001: https://www.vatican.va/news_services/press/documentazione/do...

and the WaybackMachine confirms it's been there since at least Jan 2002: https://web.archive.org/web/20020112222602/http://www.vatica...

edit: Also the very first version of Wikipedia's Vatican City flag uploaded in 2005 also had a red tiara! It only stopped being red in 2013: https://commons.wikimedia.org/w/index.php?title=File:Flag_of... (look for the 1st upload in the history)

(side note: the Vatican keeping the same URLs up for 2+ decades is a refreshing change of pace!)
Have you heard what happened to the US car industry in 1990-2000s? The loss of trust from their customer base. The loss of market share to the Japanese car makers. The demise of Detroit.

Certainly something was wrong with the entire industry, and nobody seemed to pay enough attention, at least among its captains.
Not having charging at home would make me not want to own an EV. The constant management of battery charges with the possibility to do permanent damage when charge gets too low would just be too much of a hassle.
I agree but posting this article is looks good for me.
I believe it has to do with setting cookies on every possible domain that the single sign on could be used on. I hate it and it sometimes breaks.
from the websites themselves actually.

with a VPS as your vpn, reddit/google/facebook/whatever all see you from a single ip, one that might change even less then your ISP's, all of your alternative accounts will all share this ip as well, and 0 other people use that ip address. basically data collection and alternative account identification becomes dead simple because your ip is basically your universal id.

you stand out as an individual, part of the "security" with things like mullvad is that you share that ip

security in depth of course, fingerprinting and stuff still exist, but if you have such a clearly unique ip address you have 0 chance
Fluoride increases precipitation of calcium onto tissues. It's very straightforward. Some parts of the brain are directly exposed to the blood and get easily calcified. In particular, parts of the brain associated with regulation of circadian rhythm are known to get calcified in the presence of higher fluoride. This has been known and understood for a long time.

I'd like to take this as an opportunity to voice frustration with "rationalist skeptics", who for the longest time have ridiculed critics of mass water fluoridation. Maybe it's because they're really into the comforts of orthodoxy moreso than skepticism?

Using bullying and ridicule to reinforce unfounded scientific/medical orthodoxy in the name of "skepticism", or even in the name of "evidence" that you don't have... It isn't scientific no matter how much you'd like to believe it is.
The SLS is operating as designed by Congress - shovelling very amounts of money to the ex-shuttle contractors and their workforces.

Any actual flights are a bonus.
Economic impact of no-dns-resolutio.nz?
I decided to isolate myself from the news for my mental health
This is very interesting and couldn't have come at a better time for me as I am recently self-employed and I'm having to figure out bookkeeping for myself.

Quickbooks blows my mind in how poorly designed and overly complex it feels. I would only use it if my CPA requires it and even then it would still feel like pulling teeth.

The main thing for me is as a real estate investor, quickbooks doesn't seem designed for me. It feels designed for a large enterprise with accounts receivable and with multiple products. I don't have any of that. I just have some basic revenue and expenses that I need to track, track my mortgage remaining, and understand cash flow as well as profit and loss. I don't know if BigCapital handles this, but I'm just glad to see a new open-source alternative to quickbooks.
I've had an LLM generate a typo before. Definitely not a metric to gauge by.
Perl's regex handling. That's the one I miss in whatever other language I program in.
To be able to match AND get the matched substrings out in one line, makes this really succinct.
We use Workers with AWS Lambdas when a container is required.

https://github.com/aimoda/cloudflare-worker-to-aws-lambda-fu...

We don't have this in any public example yet, but here's our simple trick with Workers on how to bypass needing to pay for Amazon API Gateway or CloudFront but still get routed to the nearest AWS location:

1. Add add Lambda Function URLs as records in a latency based record on Route 53. (Lambda Function URLs do not support custom domains, so you cannot use this record directly.)

2. Have the Worker do a fetch to `https://cloudflare-dns.com/dns-query` on the Route 53 CNAME to discover what lowest latency Lambda Function URL hostname is.

3. The Worker can then fetch the Lambda Function URL using the discovered hostname.
A review of the Duolingo app after losing a 336-day-streak
Tilings are easy to understand and relate to... you can tile your bathroom floor with them for example. Despite that superficial banality, it turns out that it takes a lot of mathematical cleverness to construct and analyze them fully. This particular result is one that people have been chasing for decades and has involved some of the smartest mathamaticians in the world, including Conway and Penrose.
> You're basically saying "Look at this polynomial problem and this other polynomial problem, if we combine them in a natural way, suddenly it becomes exponential?". My point is that your intuition is wrong.

Yes, but that's not the only thing I am saying. Look more closely at what 2XSAT really is - it is basically a 2SAT transformed on an affine subspace of Z_2^n. You claimed that the complexity of 3SAT comes from 3 variables per clause, and not only two, as in 2SAT, but here I am showing an NP-complete class that has the same property as 2SAT!

We can also restate 2XSAT reduction in this way - the only clause you need to have to be NP-complete is a clause that looks like (A XOR B) OR C (for arbitrary literals A,B,C). As you can notice, this clause already has the property of 2SAT clause (it forbids 2 combinations of A,B,C out of 8) rather than of 3SAT clause (which forbids 1 combination of A,B,C out of 8).

I think you're actually assuming the conclusion, if you think that because something gives rise to "universal computation", then it must be difficult. But that's possibly silently assuming P!=NP.

Still, the main point that 2XSAT reduction brings (at least to me) is that it hints that there is a clever generalization of both algorithms for 2SAT and XORSAT that runs in P (and if it doesn't, it will at least explain more clearly what the issue is). So that's my strategy, I am generalizing the proof of 2SAT to handle what I call generalized literals, XORs of any number of variables, i.e. linear equations, rather than simple literals.

> Or you could have combined some different proportion of XOR clauses to the 2SAT instance to see how quickly it becomes intractable (or if it stays tractable).

I don't understand this paragraph. I am not sure how I would measure whether a particular instance of 2XSAT is tractable or not. (I think they are all tractable, but I am still working on it.) I think the "hard" but satisfiable instances in 2XSAT have a really small dimension of affine subspace defined by XORSAT portion, and weak enough 2SAT portion to disallow all solutions.

> FYI, there's a lot of work done for NP-Complete phase transitions.

I am really not into phase transitions, but I think 2XSAT being NP-complete could explain them pretty nicely. I think most of the observed behavior comes from XORSAT portion dominating hard but satisfiable instances. AFAICT XORSAT exhibits similar phase transition, where there is only relatively small number of low-dimensional solutions to a random instance of XORSAT - either they have many solutions or the system becomes unsolvable. The only difficulty in analysing this is that 2SAT portion of 2XSAT, if it is dense enough, can also contribute to XORSAT portion (by forcing some variables to be constant or equal).
Rust is still rebuilding from when the entire moderation team resigned. If everybody resigns again Rust governance will have to start over yet another time.
How to Stare at Your Phone Without Losing Your Soul