skysight-inc/HackerNews huggingface dataset:
I agree he seems quite disinterested in 'machine-oriented ATP'.

But he's a mathematician, not an AI researcher - they have different goals.

Many AI researchers are interested in creating tools that solve problems (or proofs in this case).

Most mathematicians find proofs interesting for the insights they provide, not just the solution output.

You could say Gowers is looking for meta-proofs that provide insights on proof generation. It makes sense for him to emphasise the symbolic logic approach of GOFAI, here.
It's still useful for uploading in a couple of decades. The more digital crumbs we leave, the more will be uploaded. Has anyone tried to fine-tune GPT-3 on their own comments?
Using the contact link at the bottom of this page is the best way to contact the moderators.
> Electronic computers have essentially been around for a century.

That's like saying cars have been around for more than a millennium, since the Romans and Egyptians already had horse-drawn carriages.

World War 2 spurred innovation in automated computing. Post-war, the first computers appeared. Still not enough for the famous quote from the 60s "i believe there's a world market for maybe 5 computers".
Whether or not that's an urban legend, in the 60s, that quote was not a priori ridiculous. And let's not claim that less than 5 suffices for "being around" (eg, animals considered extinct have later been found in such numbers).

Nevertheless, let's graciously say that computers have been around since 1960. That's 62 years; rather far short of a century.
Ooh, other people in this space - I remember seeing Timeliner a while ago while researching UIs for the backend I had built before starting on my own frontend [0]. Chronomize looks interesting (I used the macOS calendar for a while before outgrowing it, but still mostly maintain compatibility), but I'm curious how you'll handle certain UI things (like showing financial transactions, which generally have a date but not a time, or things like photo albums where I could mark off that an album existed but not link to any images within it).

[0] https://tylerfreedman.com/hindsight
$H is the price of the house in OPs post.
But the link they provide shows just that. Which I found surprising.
This instantly reminded me of several past situations I've seen. Another common miss is that "it" isn't something the company needs at all. Or in some cases, it's not a bad idea, but there are ten other unrelated ideas the company should be addressing first.
The Debian situation is kind of weird with their tooling maintainers opposing the merge and the distro maintainers trying to push the merge through. In true Debian style it started as a technical issue, but now it's a political one. I don't think we'll see the merge actually making it for all packages without issues for a while.

That said, there is a clear trend in distros to move to merge these directories and I don't see why not. There are some niche use cases for different partitions containing different binaries and such, but like all niche use cases you're going to need to configure those yourself.

The opposition's argument seems to revolve around "we always did it this way so we can't do it any other way", really. This is the stuff that led us to a world where the most popular distro now packages the standard browser in a Snap package.
What is the 'value' of Snowden to the US? In order to exchange him and trade for something worthwhile he would need to have a value. I suggest that the value of Snowden to the US is negative. Not even 0, but massively massively negative.

Putin would love Snowden to get on a plane, land on US soil and be met with the full SWAT squad and cuffed face down on the tarmac infront of the worlds media. They could even have the helicopters following the car down the motorway; cue logo, theme tune and hours back in America clock for the 24 hour rolling news coverage. We can then have a sham show trial and be sentenced to 1000 years or the death penalty for treason.

Every document being dragged through the courts, or even better a super secret trial would be one of the biggest propaganda wins for the anti-US part of the world, including but not limited to Russia, in the entire history of mankind.

The US doesn't want Snowden back, the whole saga is long forgotten and rehashing it is nothing but bad news. No President with a brain wants the problem, Snowden is literally a third rail, instant death to America.

I expect Snowden is well looked after by the FSB and kept safe, but not too comfortable in Russia.
I think it's only a matter of time before this becomes kinda mainstream, and reddit too will be 'optimized' like google.
Yes this comment.

Though it might be nice to see Godzilla IRL... at least until he/she squishes you with gigantic irradiated feet.
The source itself is commercial AGPL v3.0. I'm guessing that this was an accident so I opened https://github.com/quickwit-oss/chitchat/issues/42 to clarify.
Sure, not "literally" everyone – even I have read commentary which laid out pretty much what turned out to be likely afterwards. It just wasn't in any way a wide spread opinion.
> One aspect of entropy that I always find counterintuitive is that unlike mass, charge, etc. it is not a physical quantity. In fact, from the point of view of an experimenter with perfect information about a physical system, the entropy of the system is exactly conserved over time

True of energy as well. It can't be directly measured except as a relation between two states.
If you want to explore even more treasure troves, here is a bunch of other hardware-related blogs you'll probably enjoy:

https://www.bunniestudios.com/

https://spritesmods.com/

https://dmitry.gr/ (has some insanely huge reverse engineering projects)

https://n-o-d-e.net/

https://ch00ftech.com/ (no updates since 2017 though)
Crypto is a working example of "Not seeing the forest for the trees".

Any advantages of crypto are overshadowed by it's disadvantages.
I think the word "passive" doesn't mean what he/we think it means. I had thought it meant the opposite of active, where active is an adjective that implies "action", which means actively doing something. Writing dozens of books over many years for about $10k/book sounds like a long, hard, very active slog. Not at all what I would consider passive income.

Perhaps this should be called "My $160k side gig as a book writer"
Can I add feeds?
Here's an example up front that I think is pretty solidly mid-tier because it's easy to execute on and could potentially be a game changer for some people:

<idea>

Curated twitter blocklists, in particular a curated twitter bot blocklist. Twitter's got a relatively large bot problem, and increasing the effectiveness of your ads by ~8% (if you believe the estimations) by ensuring they got to real people.

One of the lynchpins of this idea is whether blocking someone on twitter prevents them from seeing your promoted content and I can say now that it does.

The idea itself

</idea>

If you have a hard time with coming up with ideas, get on this list and I'll send you some.

I thought that most people, like me, have an insanely large list of unvalidated ideas they'll never get to (even though they want to), and after talking to people it looks like that's not the case.

Took a break from customer finding & building last week to throw this together since it seemed like it would take a short amount of time (and I wanted to make a template for what I call prospecting pages[0] like this).

I'm not the first one to have this kind of idea of course, and certainly not the last but I know I'll never get to all these ideas and some of them should see the light of day outside my $NOTE_TAKING_APP.

[0]: https://vadosware.io/post/lets-call-pre-launch-landing-pages...
My point was that people who talk about blockchain typically refer to something other than a Merkle hash tree - they refer to a hash tree plus some consensus mechanism for trustless addition. I don't know of a term other than "blockchain" that can be used to refer to this concept.
Yeah, the Semantic Web at least tried to be actually useful!
Set alarm -> choose ringtone as custom alarm tone -> wait
Not salty, not seas.
Interesting. I wonder what would happen if they all left at once.
If you have root, what prevents you from remounting as read-write? That seems like an advantage for the actual live-cd over the "like a live-cd". It's physically read only.
With the difference that religion doesn't really affect the lives of everyone while these investor groups with trillions behind their back do very much influence policy.

Criticism of dogmatic religion restricting people was important several decades ago and still is in many countries. If you are living in a modern western country you are barking at the wrong tree. Or when was the last time a religion forced your hand?
Maybe I don’t get it. But it sounds like your entire (theoretical) business depends on you keeping a “secret”, and the moment you accidentally blurt out the secret everything comes crashing down.

If this is indeed the case then you need to question whether or not this is indeed a valuable business. An investor certainly will.
History does not end in 20 years though. Humanity will continue to exist for hundreds, thousands of years, probably more.

I agree with you that we don't need nuclear power to solve the climate change problem. But once we are done with that, we will continue to live. Research in new types of nuclear power will yield benefits, even if on a timeline that is beyond the target date for net zero emissions (2050 or so).
That would be immediately seen as Facebook charging people to be unbanned. That would lead to people claiming FB bans accounts to make money.
These problems (the desire to find peer-to-peer systems to transfer and record digital assets) predate blockchain/crypto.
I'm open to suggestions in general including VC fundraising if it is useful to others, but what I personally have in mind doesn't necessarily warrant (and is probably more effectively done) by a business already set up in the industry.
Its all semantics of course but what the article doesnt mention is flow. I cant think of another sea that drains into a river.

Edit: in fact the word 'lake' is derived from meaning to drain ('leak' is similar)
Vertex – GraphQL Service Proxy
I started making a reverse proxy a few days ago for downstream graphql endpoints and would love for people to get on board!
How do you keep your builds reproducible? I understand that once it's built, a docker image makes that specific build immutable and you can distribute it without worry. However, if you were to run the build stage again i.e. rebuild the docker image and redownload the python packages, without changing any package versions, the resulting docker image *may* be quite different from the previous docker image, even though you haven't changed a single line in the entire repository. This is because the dependencies of dependencies may change. So while this works for you, it's not a general solution for the community. Tools like poetry have solved this problem to a large extent.
Work and Non Work
> Either by moving here

That's one of the reasons I'm staying where I am.

> trying to move it there

Being that they straddle the US / Canadian border, it's legally much more difficult to mass pump water out of them. Probably the main reason it hasn't happened yet.
Jumping robot leaps to record heights
Web Scraping via JavaScript Runtime Heap Snapshots
Hey thanks! How do you envision checklists would work?
The scandal at Flutterwave, Nigeria’s fintech champion
If I didn't think it was a valuable proposal I would have no qualms sharing it to the world. Eventually if I get no where I probably will since I believe it's a good idea that should be implemented regardless.

No, my business is not reliant on being kept a secret, but my compensation is if I believe people will steal the idea.
I kind of agree, but at the same time, they only need to be written once and then he can 'sit back'.

Infact, they're written before any income so technically you could say he did a lot of work and can sit back now. Semi-Passive maybe.

The only 'true' passive income types I can think of is just inheriting a huge amount and having it sit earning interest ?
My thoughts exactly. Well, what did you expect when a super-geek like Scott Aaronson said he was going to create a meme? This is the definition of Milhousing.

[ insert pic of confused anime guy looking at a butterfly ] -- "Is this a meme?"
No, Scott, it isn't, but I hope you try again and someday succeed. :-]
Start with all the countries that sanctioned Russian billionaires are flying in and out of on their private jets for a list to start with.
I recently got this to get me started learning electronics... https://store.arduino.cc/collections/kits/products/arduino-s...
One of the best things I've ever bought.
>Think of a series of random bits that can be either 0 or 1 with equal probability. How likely is it that they are all 0 or all 1? Not very likely. There is exactly one configuration. How likely is it that they have a specific configuration of 0 and 1? Equally likely.

Well, there are only 2 states with all 1 or all 0.

But there are 2^N states of mixed 1 and 0.

Even if you treat the sets of bits as opaque items, and pick one from a bucket, I'd expect getting one of the 2^N - 2 configurations to be a far more likely outcome than one of the 2 remaining.

In fact, we could bet on it...
Human-language proofs for anything non-trivial are really just proof sketches, that's why you can't really meaningfully separate this into a two step process.
And he's probably pretty dam good at this, lucky and well connected. Articles like this imply everyone can do this which isn't true.
Irish DPC burns taxpayer money over delay cases
How to Boost Organ Donation (Without More Donors)
While this article is on offline testing with pytest we are also preparing a second one on continuous integration tests.
Okay. Well I'm in Taiwan and it's all no big deal. Certainly not a shitshow.
I did not get the argument (yours and previous commenter). Are we saying that this is a theft de-facto and we are ok with that (we are morally correct despite 30 yrs of illegal numerous wars of US and NATO nonetheless), or is the argument that this is not a theft (and morality has nothing to do with it)?

Also, China, India and whole range of non-NATO countries are paying attention to the unilateral (and as far as one can tell, illegal [no due process, no mandate, etc]) grab of financial as well as other assets. For this reason I called it "isolationist" (in a diffusive long term manner).
> nuclear power which are and have always been the safest and cleanest way to produce electricity

Definitely not. There's a good argument to be made nuclear power in the 'global North' is relatively safe today. At the same time you will be hard pressed to find evidence that nuclear power was safe in the past or is safe today in politically unstable environments.
Also, for another bit of comparison, there's 4.5 Billion metric tons of uranium in the ocean already:

https://www.osti.gov/biblio/6191296
The Gazprombank executive who left Russia to fight alongside Ukrainians
Would the energy used pumping the water from the quite low lakes, over the Rocky Mountains and Sierras to the west coast be less than a desalination plant?

Another option is just moving the water usage closer to the usable water.
Seas or not, I love the lakes and the land around them, in the 20+ years since I moved myself here they've taken over my heart. I'm from the aspen parkland of central Alberta; thin trees, dry air, small muddy leach-infested kettle lakes, big skies, poplar and birch land. When I was 8 we did a trip across Canada, and I remember us camping by the shores of Superior when a massive thunderstorm came rolling in, and it left a lifelong impression on me. When I was 16 I did an exchange with a family in rural Ontario near Huron, and the moment I saw the rolling green hills, the maples and oaks, the cyan waters of Huron lapping against the limestone, the heavy humid air, the wild grapes crawling on every fence, I was sold. In my early 20s I moved to Toronto for work, and I've been near Lake Ontario since. I'm an atheist, a materialist... but there's something deeply spiritual about the Great Lakes, powerful and intimidating like the ocean but more accomodating in their fresh water and the fact that massive as they are, they're more finite than the ocean. My wife participated in an archaeological dig down on some low flat lands near the shore, on a calm inland bay near here some years ago. The ceramic cookware, the copious fish bones, the arrowheads and fish hooks, it was fascinating how the lake has been giving rich life to people here for thousands of years; in fact so diminished now from what it was then when fish were more abundant.

They're pretty awesome, these lakes. I am not sure people who grow up next to them (like my kids) appreciate what they are in the same way?
A. Very low income comparing to 100s of hours invested per book.

B. Books about those framework are short-lived ones, given trends and versions are changing rapidly.

C. Not everyone are working for a vc funded or FAANGs, but one with such capabilities can definitely work for such.
Show HN: A Python Web Framework with Rust Runtime
The conventional wisdom here is that ideas are sellable because they are uniquely executed in a way that is both practical, cost effective, and solves a real problem.

Or, conversely, most great ideas seem great on the surface, but in reality, cannot be done in a way that makes business sense. Ive seen this a lot where great development practices to produce better code never seem to catch on due to business pressure, for example.

Taking at face value that you have a great idea, then your execution of the idea is the unique aspect that will prevent others from "stealing" it.

Or, from the other perspective, if the idea is so good and easy to execute that it can be "stolen", why doesnt it already exist?
Hi Everyone!

I wrote this blog to celebrate 200k install of Robyn. This blog documents the journey of Robyn so far and sheds some light on the future plans of Robyn.

I hope you all enjoy the read and share any feedback with me.
True. Their implementation of a video player baffles the mind too.
Fedora dev team starts to simplify Linux graphics handling
These companies are not viable so it’s inevitable they collapse and people working there need to know such reality.
The child.

Might be enlightening to read some Dewey.
One could argue it’s fairly hard to use an exploit to get root on a ro fs. One could also argue that protecting a system from an attacker with root privileges is a futile effort.
This is a perfectly good advice.

But my point is, note just how many separate bits of information you're looking at to make the decision. 4 threads on Reddit, 4 threads on HN, and you're already in the hundreds of different opinions! All of them coming from people you don't know, with different background, different learning style, etc.

Compare to going to a book store with ZERO external information, and picking the one YOU seem to like reading the most, without those hundreds of voices in your head.
The video in the tweet shows a big latency between the head movement of the operator and the head movement of the mech, I assume this is making the pilot rather motion sick.

They may benefit from using a 360 Camera and pan using software rather than have it actually actuate the head of the robot.
But we know several ways in which this way of thinking is incorrect. First, it is based on revelation, or the direct experience of one analyst with a handful of patients. We know that we cannot achieve any meaningful scientific conclusion for the broad topics you mention from this kind of data. Second, this way of thinking is averse to tests, and to the extent it has been tested, it failed. Psychoanalysis has been tested empirically, and it is simply not producing great therapeutical effects.

Your rather generous interpretation could equally apply to quantum coaching or any other modern fad that is clearly wrong, because even though we don't know everything, it conflicts with what we know.
Bonus, they'll be able to open future Apple devices with their gait + heart-signature!
You can achieve the same result on Firefox without any extention (and maybe Chrome too). To do so have use "Custom Keywords"[0], which kind of allow you to change the behaviour of your search bar.
For example, one of my keywords is "rd", and typing "rd my search" in my search bar launch a search on Google with "my search site:reddit.com".

I've seen people doing really cool things using these custom keywords and JS, I don't know if it is very practical but the possibilities are endless.

[0] https://www-archive.mozilla.org/docs/end-user/keywords.html
I don't think Gowers is trying to build a better theorem prover.

An AI researcher would be trying to build a better prover.

Gowers is a mathematician looking for mathematical insight.

This project's success would be based on how well it answers those fundamental questions he posed (i.e How does a human generate proofs, given no algorithm exists to solve the halting problem?)

The output might be more like meta mathematics, with insights provided by software, rather than ML software optimised for a goal.
Don't forget that Starlink satellites have a design life of 5 to 7 years, so some of the earlier ones will be getting close to half of this already. All satellites launched in recent years will have a well-documented plan for their operational life including the usual deorbiting process.
The problem is that entropy is a subjective notion.

It's a measure of our lack of knowledge about the state of a system.
They have a point.
If you do well with learning by reading, the US Navy's NEETS modules are well done:

http://www.compatt.com/Tutorials/NEETS/NEETS.html
After it's been diluted in the planet's oceans, I'm sure he wouldn't mind drinking it.
Or https://Remix.run
> Or, from the other perspective, if the idea is so good and easy to execute that it can be "stolen", why doesnt it already exist?

Not all businesses can be built from code alone, if mine could I wouldn't be asking this question. It's surely not impossible for me to build this from scratch, but the nature of it makes it an obvious second choice to hopping on board existing infrastructure. More of a regulatory issue than a talent issue.
It sounds like your perspective needs tweaking.

If you solve an important problem, then you should be on a mission to help people with that problem.

The basic steps are:

* Find people with the problem (email, call, ask for referrals)

* Ask for meetings to discuss the problem, if they have it

* Ask questions to understand the extent of their problem at a greater depth, and how it's impacting them negatively (there is no pitching, you just ask questions)

* Explain what you do and your solution for solving the problem, without going into details that might giveaway what you do. In lieu of how, demonstrate your understanding of the problem, empathize with the person with the problem, and explain what your process looks like for solving it at a high level (every step from the proposal and on)

* Ask if you can send a proposal for solving their problem. The proposal doesn't have to give away your process, although between this and the meeting they should be sufficiently convinced that you're a good candidate to solve the problem.

* Follow up until you get a firm answers

Solving someone's problem isn't about you or your pitch. It's about the other person and their problem and how you can help them.

Approaching from any other angle will be frustrating for you and the prospect because you'll be operating on assumptions, not information you've actually gathered.
Applied for Student Aid Online? Facebook Saw You
Messes, like everything else, are relative. If a thing crashes into Mars, and nothing around cares, how can it be a mess?
Because at these levels, it's not about what you can do, but how you manage politics.
From a technical point of view, most of these people are useless and a waste.
Where Do Research Problems Come From?