skysight-inc/HackerNews huggingface dataset:
I don’t think clearing a notification on the watch affects the phone, but that’s not actually bad for me. Since I can’t reply from a Pebble anyway, having the notifications still on my Lock Screen is helpful so I can immediately reply from the phone.

As I mentioned in another comment, the inability to reply from third party watches is a bummer.
> It seems like everything that could be done with software has been done.

This implies you think selling something "new/different" will be easier to sell. But that might not be true.

- Competition is good because it validates the product/service. It means there is a market and people are buying already.

- "New" things will also have competition (in a different form). Your prospects will likely already have a product/method for accomplishing the thing your product/service provides. For example an air conditioner doesn't just compete with other air conditioners. They must also compete with other ways of cooling like fans or even water.
There are still opportunities for us SWEs even with the advent of chatGPT. Heck, lots of businesses are just an IG page + Google Sheets.
The microsoft hardware and OEM devices that MS sold directly were historically THE ones to buy because they were optimized to show off Windows, so no crapware, good drivers, limited BS. I don't know when that changed, but it has.

>> are packed with features that business customers have been requesting

This is a total lie, unless they're referencing THEIR customers trying to sell you all this shit. The developer story from Microsoft is as good as it's ever been, but the consumer side just sucks. As a historically Windows developer who now does most of their work in .net core or totally outside the MS ecosystem, but still plays the odd triple-A game I don't know what to do for my next computer.
If one film about people living near an airport isn't enough, I can recommend an Australian film The Castle (1997). It's a comedy, total classic.
The alternatives to "awful" include adjectives other than "good".
But then they stand their ground when wrong too.
Or alternatively don't give humans so much credit. All they appear to be doing in predicting what they should do/say/think/perceive next.

https://www.astralcodexten.com/p/janus-simulators
What is your preferred example for teaching a beginner to use recursion?
Backprop is just applied calculus. People simply didn't think about using it for neuronal networks yet.
While all those pointing out that 8GB of RAM was mainframe stuff in the 90's are absolutely correct, I would offer that the software bloat between 90's software and modern software does make the _experience_ roughly comparable.

Except for the built-in HDMI video and the seamless plug-n-play networking that is...
Not all of that. Railways are relatively quiet and very useful, someone living near one will might well use it very frequently.
Interesting that the word 'humility' does not appear in the article, but it seems to me that is what the article is about.

No matter how you explain the world to yourself, I think you need some humility to recognize that you do not have a complete understanding. Humans also need faith to function, but not too much, or it's too easy to stay wrong and too easy to dismiss the idea that other people can have a valid point of view that disagrees with your own point of view.
Yeah but compare the San Diego metro area just a little south and it’s overwhelmingly full of green space. I live in SD proper and there’s several open space parks within walking distance that are measured in the square miles with tens of miles of trails each, not to mention the recreational parks in every neighborhood and kids parks that are every few blocks. The suburb cities in the county have even more open space and the center of the city has a large central park as its primary feature.

YMMV significantly depending on the specific metro area. The suburbs of Seattle like Bellevue and Richmond were like that too - full of large parks and natural reserves everywhere.
s/plans/desires/
It is, but in the last 20 years of visiting now and then, it is much more built up on the way "into town" - it used to be that you'd pass that hellhorse and see nothing for 40 minutes but a sign telling you not to stop for prison hitchhikers.

Now there's tons of developments - which is always a problem for these airports. I remember when SEATAC was far outside the city and everyone hated it, now it's crammed in the middle of the Seattle/Tacoma metro area, which is all one big blob city.
At work, I use a few different ones, but primarily VMWare and Hyper-V. At home, I don't use any.
While you are not wrong, crypto is not what this is being compared with.
Thanks for the easy steps, they say my data should be removed in 30 days.
Id imagine its going to be a global phenomenon, global warming, dwindling resources leading to more wars. Not sure how we can infinite growth our way out of this
https://archive.ph/fmGjC
And check the disk space being used under "Clean up leftover tool directories..." There was about 39GB of stuff from older versions on my Mac
I knew about hexagons but not about R-trees and Hilbert curves, and then combining the two. Even though that was an inbound content article, it was at least informative.
The other problem was that the legislature restricted the commission of where they could look for a new place, it had to be less than X amount of people and other restrictions.

In theory there was a good place for an airport if those restrictions were removed
Like any propaganda, it is not pointless. You _must_ underestand than _only_ those countries will use the data to do harm.
FAANG will only use the data to improve their services. /s
Thanks! But just you wait… the really insane stuff isn’t even public yet!
Articles like these makes me want to read English translations of writings where Chinese authors and journalists have described the USA in the same style. I wonder what details and observations they would compose their story of.
Ahh… interesting; something I can purchase today with perfect foreknowledge that it will hurt me very badly in the immediate future. Essentially identical to a vote for Trump, then.
KeyDB: A Multithreaded Fork of Redis
> But of course, every neuron in the brain is bafflingly complex and we still don't know or understand how that complexity manifests itself in thought and intelligence.

Indeed.

Biophysics of Computation: Information Processing in Single Neurons challenges this notion, using richly detailed experimental and theoretical findings from cellular biophysics to explain the repertoire of computational functions available to single neurons. The author shows how individual nerve cells can multiply, integrate, or delay synaptic inputs and how information can be encoded in the voltage across the membrane, in the intracellular calcium concentration, or in the timing of individual spikes: https://www.amazon.com/Biophysics-Computation-Information-Co...
Allow only short distance deliveries by truck
The UN, in general, is pretty impotent, especially for purpose which it was created. However, this kind of stuff is exactly the kind of thing that it has successfully done in the past.
> suspect the GP point was that "brutal" feedback tends to flow downhill within an organization.

At companies with a strong feedback culture, critical feedback tends to flow in exactly the opposite way you describe: it is directed upwards…
> but I've moved on to "genuine" retro hardware with the new crop of machines like CX16, Mega65, or my personal choice, Agon Light.

I just wish these would move on from the same crop of retro CPUs (z80, 6502, maybe 8080) and clone VDPs on FPGA. I want a retro-style 2d/blit-based machine, but with more advanced hardware. Maybe a Cortex-M, z8000, 68000, low-end Risc-V, etc. Still give it BASIC in a boot ROM, but some more 90s style headroom to grow into.

I guess what I'm saying is, I totally get that all these people grew up on Commodore 64s and are trying to recapture that magic. However, the Amiga/Atari/BeBox/etc hacking days shine way more with me.
Bring Back Fun – By John Cutler
I'd rather we just stop funding, but at least there's some restrictions imposed here.

I'm completely against financial systems controlled by governments, but to me there's some silver lining here.

The more the US attempts sanctions like this the more people will work to abandon legacy government controlled systems. And, if sanctions are gonna target anyone, I suppose settler opportunists like these are a good target.
I don't care about the aggregate: I only care about me and my machine here.

> The expected case after surviving a hundred hours is that you're likely to survive another hundred.

That's exactly right. I don't expect to accrue another hundred hours before the new release, so I'll likely be fine.

> Which is a completely useless promise.

Statistics is never a promise: that's a really naive concept.

> at reasonable time scales for an OS

The timescale of the OS install is irrelevant: all that matters is the time between when the bug is introduced and when it is fixed. In this case, about nine months.
Nothing about what you’re saying actually deals with this non-obvious limitation of chain-of-thought:

> Examples like this suggest that transformers wouldn’t gain much from using just a few intermediate steps. Indeed, Merrill and Sabharwal proved that chain of thought only really begins to help when the number of intermediate steps grows in proportion to the size of the input, and many problems require the number of intermediate steps to grow much larger still.

This aligns with my experience: GPT-4 can only break down “simple” problems when prompted to solve step-by-step. In particular, if the actual steps need to be broken down further (O(n^2) complexity), GPT-4 can’t handle it reliably - it will break a tasks into steps but it struggles to break subtasks into substeps even if it otherwise can solve the subtask with CoT prompting.

CoT prompting works for simple O(n) computations because it prevents LLMs from blindly guessing the answer, but they are theoretically (and IMO empirically) incapable of breaking any O(n^2) problem down into O(n) separate O(n) subproblems. Needless to say humans are quite a bit smarter than that. (so are mice!)
The pain evident in his life story seems to shatter the very assumptions of language even.

I read in that sentence something of the nature of "Humans can't even plumb the depths of 'existence' with surety to understand how to bring that idea to a superseding and underlying ever-being of a God"

Tillich would overload the semi-colon in C.
And Vatican has population of 524... With Rome's metropolitan area being 4,3 million... But maybe that is stupid comparison.
I agree but it doesn't matter either way if donations are a tax write off.

In some cases these are write offs with no personal benefit but in some they are just shifting the money to a place where the user still has complete control. I am ok with throwing the baby out with the bath water here. I want churches, billionaires, school endowments, and everyone else to pay taxes like everyone else.
This is a much better post than the one that preceded it. Still...

The biggest problem with people's attempts to wrap their heads around Git, its awful UI notwithstanding, seems to be an insistence on thinking of it foremost in terms of the experience of running any given command. I.e., trying to understand it from the outside in. Indeed, it's awful UI certainly hurts the process.

Git's the stupid content tracker. Take a work consisting of a bunch of files, snapshot them, then create a new work (consisting of a lot of similar files, to be sure, but where others differ in some way). Git concerns itself with both of these collections as collections. It's true that it's got all this "branching" imagery, but that's an attempt to describe the relationships between the collections from the metadata attached to each one (collection 0ffcd473 calls collection f7d0c770 its parent). The branches are synthetic, imaginary. Not a lot different from a family tree or the "branches" you would get if you started mapping out the provenance of religious texts copied from another but each with their own copying errors (or deliberately editorialized content). The branches aren't really there—they exist as an aide for the researcher. The only real difference is that Git actually has explicit metadata, but still, the branches aren't there.

Focusing on Git's on-disk representation or other internals misses the point. The main thing is getting the files in the collection you're putting together right now to look the way you intend right now. Everything else is recordkeeping. (At least it should be—anything (whether it be a given tool, workflow, etc) that depends on it being any more complicated than this is fundamentally broken.) Git's whole deal was about being an alternative to manually futzing around with tarballs and/or multiple directories of source code sitting next to each other on your disk. (It's still that, but with a somewhat involved—but not very interesting—deduplication scheme in userspace. The other details are even less interesting than that.)
This is wonderful! If you want to go deeper, I highly recommend the textbook "Molecular Biology of the Cell". I discovered it in a bookstore 20 years ago and it consumed me for months. Every paragraph was a revelation. After hearing me speak in awe of this book for years, my wife recently bought the latest (7th) edition, which we're now reading together and I'm still mesmerized. Nothing compares to the astonishing complexity of a cell.
> Phone-based WebAuthn systems are immune to that

Do they assume the OS is locked down and secure?

I mean, clearly if someone has a remote desktop view for my machine, then they can act as me, including any check for available hardware. The same should apply for a phone, yes?

If so, that sounds like my bank will never formally support running on a PinePhone or other user-inspectable/modifiable system - they will simply say they require a full chain of trust for the OS.

I'm glad the (relatively) open arenas of macOS and Windows existing, and that people have 10+-year-old machines, forcing my bank to support alternate login methods for less-trustworthy systems.
Companies are not allowed to leverage their dominant market position in one market in order to gain an advantage in other markets. If you dislike monopoly and antitrust laws, go vote against them.
The problem of global warming is one of too much resources, not dwindling resources. There's too much accessible fossil fuel.
Yes, when the government fixes prices at below the market price then that tends to cause shortages.
The US has 14 of the 35 busiest airports in the world.
Europe has 6, if you count the UK/Heathrow.

If you discount Heathrow, Europe doesn't even have one in the top 10, whereas the US has 5 in the top 10.

The airports are different because the traffic volume is different.
China is at a crossroads like plenty of other countries that hit a similar point in their developmental cycle.

The Eastern Bloc in the 1980s-1990s; Thailand, South Korea, Mexico, and Malaysia in the 1990s-2000s; and Turkey, Brazil, Venezuela, and Russia in the 2010s all hit a similar hurdle when low hanging fruit reforms were done, and systemic reforms were needed.

Some, like South Korea and Poland, did those reforms and reshaped their entire economies.

Others like Malaysia, Hungary, and Turkey did some piecemeal reform but never any systemic ones.

And others like Mexico, Russia, and Brazil basically stood still and lagged behind.

China's trajectory for the rest of the 21st century will be decided by the choices policymakers in China will make this decade.

Also, people should NOT feel schadenfreude about the current slowdown of the Chinese economy - similar slowdowns in Russia, Turkey, etc lead to a much more aggressive foreign stance adding fuel to conflicts in the Caucasus, Ukraine, Syria, South Asia, Sahel, and the Maghreb.
Has anyone found any basic specs (e.g. around battery life) for the 01 Light device?
RECA – Radiation Exposure Compensation Act [pdf]
Yes - there's a bunch of building techniques for resisting uplift forces.

Florida building code has been improved over the years with features to resist shingle detachment, roof uplift, and speed drying of the roof after water ingress to prevent mold.
In Europe, the governments already pay the Libyan coast guard and Turkey to stop boats from landing in their continent, and the liberals there (I count myself as one) look away as if it's not happening. The Greek and Italian coast guards also act dumb and ignore may days from sinking boats in their waters.

Yeah, the article only mentions that climate migrants will be in the US/Europe and will cause conflicts, it doesn't talk about the rise of insular/fearful right-wingers voting in their people, who in turn will not be shy about shooting people based on the color of their skin. E.g. Italy already has a right-wing populist government.
Sounds cool, but my bookmarks are too valuable to save on the servers of someone I'm not paying a subscription to :-x
How to Spot AI Fakes (For Now)
To be clear — many of us worked at FoundationDB, and we were certainly inspired by the testing technology we had there. But Antithesis is built from scratch, and WAY more general and WAY more powerful than the FDB simulator.
In 2022 (according to Statista) there were around 500 million passenger-flights, compared to the 800 million in the US. Accounting for population differences, that means that Europeans fly around half as often as USAians. Yes, that is less, but it is still a lot.
Corrected and clarified. Thank you!
I am building a major open-source package around redis.

This kills it.

AGPL, I could go with. AGPL/proprietary dual licensing works well. There's an open ecosystem and a closed one.

Non-free is a non-starter. It's no longer GPL-compatible. EVERY project under the GPL using redis now has a potential legal liability from (what's looking like) a sleazeball company.

Now I need to figure out if I should move to a fork or switch to a different package. Fortunately, I have a nice key-value store abstraction, so it's easy to switch.

I expect distributions like Debian, and Ubuntu by proxy, will move away from having a redis .deb as well.

The damnable thing here is the dishonest copy: "In practice, nothing changes for the Redis developer community who will continue to enjoy permissive licensing under the dual license."
Is it better for a species to live in often poor conditions or to not exist entirely?

if those are the two choices, then i'd prefer the later.

but isn't there a third choice? to raise chicken in good conditions?

i suppose maybe that doing so would reduce the amount of chicken we can consume, and also raise the price, but i think that is preferable to letting them suffer.
Florida had a huge problem where unscrupulous lawyers and roofers would go around to homeowners and say "We can get you a new roof for free!". Homeowners would sign over their negotiating rights to the lawyer/roofer, they'd sue insurance saying that a roof was needed, and so the homeowner would get a new roof and the lawyer/roofer would get a nice profit. This is very costly to insurance, and I think last year the legislature passed a law forbidding this method.
Show HN: Leaping – Debug Python tests instantly with an LLM debugger
Hi HN! We’re Adrien and Kanav. We met at our previous job, where we spent about a third of our lives combating a constant firehose of bugs. In the hope of reducing this pain for others in the future, we’re working on automating debugging.

We’re currently working on a platform that ingests logs and then automatically reproduces, root causes and ultimately fixes production bugs as they happen. You can see some of our work on this here - https://news.ycombinator.com/item?id=39528087

As we were building the root-cause phase of our automated debugger, we realized that we developed something that resembled an omniscient debugger. Like an omniscient debugger, it also keeps track of variable assignments over time but, you can interact with it at a higher level than a debugger using natural language. We ended up sticking it in a pytest plugin and have been using it ourselves for development over the past few weeks.

Using this pytest plugin, you’re able to reason at a much higher level than conventional debuggers and can ask questions like:

- Why did function x get hit?

- Why was variable y set to this value?

- What changes can I make to this code to make this test pass?

Here’s a brief demo of this in action: https://www.loom.com/share/94ebe34097a343c39876d7109f2a1428

To achieve this, we first instrument the test using sys.settrace (or, on versions of python >3.12, the far better sys.monitoring!) to keep a history of all the functions that were called, along with the calling line numbers. We then re-run the test and use AST parsing to find all the variable assignments and keep track of those changes over time. We also use AST parsing to obtain the source code for these functions. We then neatly format and pass all this context to GPT.

We’d love it if you checked the pytest plugin out and we welcome all feedback :) . If you want to chat bugs, our emails are also always open - kanav@leaping.io
Looks like the source code is all public, so self-hosted is probably an option: https://github.com/vasanthv/webtag
And in that sense Tillich isn't that far from, say, Aquinas, who is consistent about asserting that existence is not a "real" predicate and that God's existence is outside of the world and outside of space and time.

You don't even need to squint that hard to see a commonality between Tillich's notion of discussing God symbolically and Aquinas's notion of doing so analogically, not to mention the contrast between finite humans and an infinite God who is beyond understanding. And not to mention that apophaticism – the idea that positive knowledge about God is impossible – has been a feature of Christian theology since the beginning.

So much of this can be taken in ways that not only aren't outside the bounds of Christian orthodoxy, but also align with more sophisticated Christian philosophical understandings of God.

That much, of course, is not why Tillich is controversial!
I'm not part of that industry. My impression has always been that artists from big labels get most of the money. The not so popular ones are probably not getting that much since they likely get worse deals.
IIRC, wasn't this originally also the case for Lisp?
(disclaimer: this is coming from a guy who is very embarrassed to have put any money into cryptocurrency and I do think it's stupid now).

I mean, if you were buying crypto shitcoins expecting to make a quick buck, then obviously yeah that's pretty scammy and not comparable to a pension.

However, the way companies like Gemini/Coinbase/FTX/Kraken operate, they treat certain coins like they're a long term investment, like digital gold. I bought into GUSD with Gemini Earn because I believed the bullshit that it was FDIC-insured and was paying ridiculously high interest in the process, and that the funds were backed up one-to-one with regular US dollars.

Was I stupid for believing that? Yeah, sure, I don't dispute that, but I think that's a little different than a claim of "MAKE A MILLION DOLLARS RIGHT AWAY WITH DOGECOIN AND BOREDAPES!!!1!!". The brilliance of the GUSD Gemini Earn scam was that it was good interest, but not necessarily "too good to be true" interest. I think it's a less-obvious scam, at least, and the way it was marketed was acting like it was competing with savings accounts.

I don't have a pension, but there are plenty of investment-retirement things in the US, and it's not like it's impossible to have scams on the regular stock market. Hell, the ETF that I buy most often is VTI, which invests in every publicly traded company, including but not limited scammy penny stocks, or even non-penny-stock scams like Nikola.