skysight-inc/HackerNews huggingface dataset:
How about alternatives for Acrobat?
Yeah good point. I just got to lazy to import from midjourney into Gimp. And switched back to PS. I hope the quality gets better with an update of PS.
Generative AI Will Change the Way You Use the Web, from Search to Shopping
Note: Those ones I saw were all used, no new ones listed in your area.

I'm a big Audi fan here, who for a variety of reasons moved over to Tesla. Among others, I used to have a B6 variety S4, and it was a thing of beauty. 40v engine was like a German clock. Nose heavy, but still fun on the track. Ran into an RS4 with the aftermarket supercharger at the track, quite lust worthy. They are very fun cars, for sure see if you can get in the seat of one.

(Mostly I moved away from Audis because I was spending so much in maintenance. My A8 had $10K worth of toys that needed repairing (phone bluetooth, a couple door handle buttons, steering wheel motor, slow leak in the air suspension, etc. Nothing that kept it from getting me around. And that 40v engine I knew if there was ever a problem it was going to cost more than the car was worth at that point. I had a throttle position sensor that left me stranded a couple times and put the fear of the German road gods in me :-)
If you want to see how some very simple notations greatly simplifies some math, check out J. H. Conway's proof of Morley's theorem.

Background: Morley's theorem is a non-trivial theorem in planar euclidean geometry stated in 1899 (first proof appeared 15 years later). The proofs are not easy. One can use complicated trignometry identities to prove it. Even the "simple" proofs are sometimes quite involved.

Conway introduced some notation and almost trivialized it. The notation he introduced was just a* := a + 60 where a is the degree of an angle. No one would believe this notation can do anything good, but with them (and some other insight) Conway can explain the proof in just a few sentences! (One might think anyone who understand that the interior angles of a triangle will always have a sum of 180° can come up with this simple proof, but that just didn't happen for 100 years until Conway revealed it.)

See page 3-6 here: http://thewe.net/math/conway.pdf
From a link to A Few Notes On The Culture[1] in the discussion on Iain M. Banks’ Why the Culture Wins, from a couple of days ago:

> The market is a good example of evolution in action; the try-everything-and-see-what-works approach. This might provide a perfectly morally satisfactory resource-management system so long as there was absolutely no question of any sentient creature ever being treated purely as one of those resources. The market, for all its (profoundly inelegant) complexities, remains a crude and essentially blind system, and is - without the sort of drastic amendments liable to cripple the economic efficacy which is its greatest claimed asset - intrinsically incapable of distinguishing between simple non-use of matter resulting from processal superfluity and the acute, prolonged and wide-spread suffering of conscious beings.

> It is, arguably, in the elevation of this profoundly mechanistic (and in that sense perversely innocent) system to a position above all other moral, philosophical and political values and considerations that humankind displays most convincingly both its present intellectual [immaturity and] — through grossly pursued selfishness rather than the applied hatred of others — a kind of synthetic evil.

…

> The Culture, of course, has gone beyond even that, to an economy so much a part of society it is hardly worthy of a separate definition, and which is limited only by imagination, philosophy (and manners), and the idea of minimally wasteful elegance; a kind of galactic ecological awareness allied to a desire to create beauty and goodness.

> Whatever; in the end practice (as ever) will outshine theory.

[1]: http://www.vavatch.co.uk/books/banks/cultnote.htm
My router is an Optiplex fx160. Been running for years. I had to upgrade the storage and add another NIC. Has a built in power supply. I've never managed to run a Pi for this long, even with a decent power supply.
I have a house in NH that gets plenty of sun in the summer but uses barely any energy. Then, in the winter it requires a ton of energy to heat the house, but gets barely any sunlight. My dream setup would be to have solar panels that then use the excess solar power to generate and store hydrogen, then in the winter the hydrogen could be burned directly or mixed with propane for heating.

To have batteries storing the excess energy needed to serve the house’s energy needs for the entire winter doesn’t seem like it would ever be practical, but with more advances in Hydrogen tech I’m hoping it will open up more possibilities.
you just made me think of hysteresis, and then realize that's an ancient Greek word somehow descriptive
We did include both, but we either had to make an account under one of our names, or the check had a name that didn't match on another spot (it was quite a while ago). Despite the IRS having our filing records, they couldn't match it to the payment. It's really not a hard problem.
This is the correct solution.

What I see a lot of is people trying to cram all sorts of shit into a Pi and expecting everything to work properly. I actually wrote a fairly small event-driven kernel for AVR parts a few years ago called XOC "exec-or-communicate" which could do small real-time tasks easily (combinational logic, state machines, interrupt handling) and delegated complicated ones to a host machine over virtual serial port. It was used for a metering system I developed. The AVR side could withstand a complete host failure and reboot.
Don't they still collect wild bats for food in China?

If so, it seems a bit misguided to be taking issue with BSL-this-vs-that handling wild bats when BSL-fuck-all members of the public are still using them as a food source.

Pre-COVID it was already well understood that bats are viral reservoirs. It didn't prevent wet markets from selling wild bats. The labs are of focus due to GoF, in lieu of GoF there's already that level of exposure happening in the Chinese food supply.
It's interesting that this came out the same week as Derek Lowe was discussing the problem with some of the most easily discovered scientific frauds (crystal structures).

https://www.science.org/content/blog-post/faked-crystals-and...

Since many of the journals (much less authors) don't seem to have an incentive to correct the record, perhaps journals need to be banned, if they can't police obvious frauds.
From my consulting experience, I can say that there is certainly a custom type of relationship you can build with certain companies where the CEO/management are willing to think outside the box on hiring. I'd say those opportunities are relatively rare compared to the majority that are trying to hire within the typical 9-5 framework.
I think we could start by requiring mens rea for any felony offense.
Unless you're in the EU, or some place that also has laws against it, how is it not?
Slightly less annoying than 48 bits, too. Good points.
GP is totally right to point to you that it hasn't been proven it wasn't a lab leak either.

Your burden of proof would make some sense if, of all the places in the world, the outbreak didn't happen near a "leading" lab in GoF research on bat viruses.

I mean: if people were to die due to irradiation near some uranium-enrichment facility but there was no proof that any radioactive material leaked, the reasonable stance would still be that some fuck up happened in that uranium-enrichment facility.

People would have to proof it was a lab-leak if the outbreak happened in some city where there weren't any research done on viruses.

But as it is an undisputable fact that the biggest pandemic in modern history happened due to a virus outbreak beginning in a place exceptionally close to a lab doing research on similar viruses, the burden of proof is on those claiming it's not a lab leak.

Moreover it's a known fact communism uses propaganda as one of its most powerful tool so nothing coming out of chinese officials can be trusted.

You want to point out it wasn't proven it was a lab leak, which is true. But people can point out it wasn't proven it wasn't a lab leak either. And that is totally on-topic.
The effervescence of being is not to be taken lightly.

Perhaps you should reconsider.
Are there any details about their tech stack you can share? I know they're using Java (there were pages ending in .jsp when I filed my taxes through them) but that's about it.
What do you even mean by vanilla wordpress?
Get a hosting service with a DB for a couple bucks a month, install wordpress, do whatever you want with it by following the wonderful documentation that is anywhere on the internet.
What else is there to talk about?
Building a Japanese Kanji Flashcard App Using GPT-4, Python and LangChain
Can AI Help Explain Bankruptcy Law?
I understand. The argument here is not that we don't need less petroleum use. The argument is that we are accelerating a reduction in petroleum use while still growing the economy, which implies that it's perhaps not true that we need less manufacturing all over the world.
Is it possible for mobile phones to directly exchange 4G/5G signals with each other, eliminating the need for conventional antennas and networks? 4G signals can cover distances between 2 to 4 miles (3 to 6.5 kilometers). Smartphones are probably the most spreaded pieces of hardware available to serve as p2p network nodes. Such a system would offer robustness and decentralization, especially in urban environments with high population density.
Llama2 12 Ports Extensive Benchmark Results on Mac M1 Max
Legit can't wait to generate images even faster.
As an addendum: would a global middle class person be able to afford playing this modified-for-Earth Azad?
ChatGPT thinks it might be Paul Lockhart's essay, titled "A Mathematician's Lament".
It did improve my blocklist however
There is an helm chart: https://github.com/iv-org/invidious/tree/master/kubernetes
True. That's good feedback. I was only going off of my experience as a developer and what I heard from other developers when I originally pitched this product to them. However, I do agree that developers could also benefit from it.
The short answer is no.

The long answer is also no, but maybe eventually yes.

This is like a raw point cloud from a 3D scanner, but arguably even worse. A raw point cloud can be transformed into a solid object representation with enough work, but it's often easier to just re-draw the object by hand, cross-referencing the scan to make measurements when needed. With enough AI magic, maybe someday it will be possible for this to automatically work reasonably well, but not for the foreseeable future.
Mining has a very long history of finding more of a resource when more became in demand. I'm sure they will find more lithium, and invent more creative ways to mine difficult deposits we already know about. It's usually a bad bet to bet against that. Exhibit A is "Peak Oil," which was that oil supplies peaked in the 70s and the world was going to run out of oil.

Side note, I wish I knew how to invest in these kinds of realizations so I could actually make money on them instead of just rambling on forums, lol!

Queue "it's already priced in" in 3, 2, 1...
All solid advice, though I mostly prefer to use the Zero W-s, which need less power, and to boot off a decent sd card into the 'overlay filesystem'[1] which is RAM-only, so writing logfiles etc. doesn't wear out the sd card (I also use 'high endurance' sd cards intended for dashcams etc. which are a little slower but theoretically last longer). I have a couple of Pis that have been running for years this way, no probs.

1: https://www.raspberrypi.com/documentation/computers/configur...
Some people are so privileged they think the police do nothing, the prisons are only filled with the wrongfully convicted, and crime isn’t really a problem.

That being said, I’m all for attempting the experiment, preferably far from me.
The difference is that you'd at least try to compile the alleged exploit before disclosing it.

The usefulness of AI is inversely proportional to the laziness of its operator, and such a golden hammer is surefire fly's shit for lazy people.

But totally, actual pure gold in responsible hands.
You may also consider a less criminal MC, but generally bikers are great security. I ride with a Guardian Riders (https://guardianriders.com/) chapter president, and he's often pulled in for private security at massive local events. They look intimidating and don't cause trouble.
That's gold! Reminds me of the UKG Horse Race:
https://www.youtube.com/watch?v=Hf-cHNC6hRU
>> I'm not convinced that [peer to peer] is as important as it is to refocus on control/ownership, intimacy, and moderation?

>I believe these are synonymous.

Not op, but I don't believe it is and while I would prefer more p2p in so many case onboarding issues brake it. My hope is more on federation now but still you see so many peoples complains on how Mastodon is not as simple as Twitter ...

But good luck in your projects :).
I see what you're saying, but his point seems to be, to me, that the "ACTUALLY!" crowd enjoy pooping on the display he's referring to as being something of an egregious anachronism, but in his experience (professionally and temporally relevant to the link discussed) that isn't the case.
M600 idles around 5-8 watts. If you spank it hard it gets up to 12W. That has a 500Gb SATA SSD and 8Gb of RAM and ethernet.

Note that the M600 does not have any active cooling. The entire unit is a big heatsink. The thing will run as a headless network computer with just the power supply (a proper Lenovo SMPS brick) and an ethernet port connected.
> Too often, I think teachers and texts gloss over these notions instead of plumbing their philosophical depth and implications

I have a few questions:

What level of teacher?

Are you a maths teacher/teaching academic?

My understanding of Maths education in the west is that they essentially spend the whole time attempting to get children to the point where they can do precalc and that any attempt at reform is eventually defeated by conservative engineers running a concerted political campaign to convince the voting public that set theory and category theory are a leftist conspiracy.

My experience of university mathematics was that set theory was assumed knowledge (fair, it has managed to stay in the curriculum), same with category theory (lol).

I would say that if it weren’t for the rise of the computer and the prevalence of relational databases in the late 20th C they would have managed to cut all non-precalc out entirely.
+1 to codecrafters. I signed up after seeing this post and the folks behind it are already engaged and interested in feedback, a good sign!
You can try, invidious support old devices.
Agreed, one of the API's that has undergone superfluous changes that are hard to reason about. My favorite one is `service.stopForeground(...)`. It used to take a true/false which meant either remove the notification or not. Such control coupling is a questionable design decision in the first place, but then the API was morphed to now to take a tri-state flag that, from what I can tell, means essentially the same thing as the old boolean flag, but let them avoid fixing a bug in old behavior. For over a decade, it seems that no one has stopped to ask why notifications and service foreground state are coupled so in the API in the first place.

[0] https://developer.android.com/reference/android/app/Service#...
[1] Control Coupling - https://en.wikipedia.org/wiki/Coupling_%28computer_programmi...
It's called experience. Most of it negative.
> Kolmogorov discussed this in loving detail, and made many beautiful points along the way, e.g., that the invention of the equals sign helped make possible notions such as equations (and algebraic manipulations of equations).

And then programmers came along and mangled the mathematical notion of the equals sign with the imperative notion of assignment. And here we are. Using = for assignment when we ought to have been using : instead, if we were to rely on people’s intuitions from reading and writing.

Which of course is difficult now that : has been co-opted by type systems.
You have to convert them and you need to adept the model loader in your tooling.
That’s a big caveat. Inflation is 4-5% officially, bonds are 7-8 ish maybe more for real estate investment. But real estate prices are falling or flat. If you suddenly need to earn even 6% off a house you need to rent it for quite a bit. It might make sense still at the low end (under 250k) but a 500k property needs to rent out for 2500a month to break even. And that’s not including taxes, maintenance, vacancy, admin, and transaction costs at sale. House prices need to come down for this to be a profitable venture again. The bet is that real estate prices will rise to new highs faster than inflation or at least comparable assets. If that doesn’t happen then you lose money
Just used FreeTaxUSA this week for the first time. Crazy good UI. Highly recommended.
I hope the next step would be to tax me and let me decide to dispute if I see something not right. Most of us working with a W2 will have our tax filing simplified and cheap.
At least you live in an awesome neighborhood
They are still extensively used in hospitals to transport specimens for testing and diagnostics.

https://www.swisslog-healthcare.com/en-gb/company/blog/how-a...
Probably the most vulnerable are new grads. They're not expected to produce value, and are really an investment. However, when making short term decisions, you cut investments that aren't known to pay off long term.
A bit of a contrast to this 6 months ago (“Mariadb.com is dead, long live MariaDB.org”):
https://news.ycombinator.com/item?id=35467243
AI Chips: Blast from the Past [pdf]
I would recommend DxO PhotoLab as an alternative to Lightroom:

https://www.dxo.com/dxo-photolab/

It's a perpetual license as opposed to a subscription. So far I have paid twice -- once for PhotoLab 1, and then once more to upgrade to PhotoLab 4 for some new features. I am still quite happy with how it's working.
A reproducibility index instead of an h-index would help I think, and having an independent body which holds research institutions accountable for a having low collective reproducibility index (per field). Funding should be tied to the reproducibility index.

Edit to add: some research is so niche that only one or two groups may be able to work on it due to equipment, resources or training/talent—in this case the independent body should be allowed to audit the results of such labs. Maybe scientists may game the index by saying "my competitor's results cannot be reproduced", in which the lab who this is claimed against may file a petition to the independent body to resolve the matter.
Can do that with iPhone with LiDAR
it's not a bug, it's a feature!

This might be a bit disingenuous but has any software in any car been worth the drive space it was installed on?

The untold amounts of complaints just on the software from various auto manufacturers is incredibly concerning to the point that I soon drive a car from the 90s into dust before I attempt to drive something with a lagging interface, or a complete screen failure leaving the car inoperable.

Some of the issues could be attributed to user error (working in IT I'm not stranger to that), but this push to screen everything is a huge step backwards in the automobile design philosophy.
left already
Entering summaries for a bunch of accounts is tedious too. I’m happy to upload pdf statements too, they could scrape those.
Piped also require JavaScript.
Potentially dyslexia on my part.
Transmitting it is not the only concern. Storing the history in a compressed format that allows fast reads is very important. GZIP needs to read the whole content at once, so incremental reads/writes — e.g. to implement undo — are expensive.
I wonder if I could use this to explore mathematics. I have been attempting to use existing LLMs, but results vary widely. I could imagine getting intuitions and insights about an equation, where the responses don't have to be watertight algebraic manipulations, but rather just deeply informed descriptions from several perspectives.
Glad to hear you are vibing with the concept. Let us know how your inbox decluttering goes.
> it saves me from human mistakes

Not me! FreeFillableForms is apparently the last piece of software in the western world that doesn’t save your progress as you go. I found that out the hard way about three days ago and immediately switched to freetaxusa.
I can't imagine this could work. Anything remotely serious will have some context switching cost associated with it, and the more random 1-hour commitments you have, the more time you'll spend switching between each. And on top of that you're leaving no time to get into the productive flow state. I also have serious doubts about developing any kind of competency in the codebase or the business on one hour a day. Twenty+ yoe here.
Yes definitely. The domain of "Pricing" things is a giant industry; i.e., the accounting and finance industry.
It’s a lot easier to make decisions when you have all the knowledge than when it’s split across multiple people.
ATX? PMC? APD?

I think I can maybe reverse engineer the meaning of two of those, but really you should use acronyms in full on first use.

xPD is often how Americans refer to the police departments, so possibly that with “A” being a city or state or similar. ATX I can now assume is referring to the same “A” in APD, leaving “TX”, so I assume Austin, Texas and Austin Police Department? It shouldn’t take this much effort and international geographic knowledge to read your comment! (And I’m still don’t really grok it, wtf is a PMC?)

I didn’t know what a full plate carrier was either, but I could at least Google that one ;)
> If COVID was human-made and not an animal-jump

These are not the only two options. An animal virus could be enhanced in a lab, then jump to humans, and then the “animal-jump” terminology is just a misdirection away from the lab work. “Human-made” as a term is a similar misdirection in this scenario, trying to make the human involvement claims sound overstated, again trying to point away from the lab.

I’m not saying you are doing misdirection, but I think some people framing it that way are.

I think it’s important to recognize the full nuance of what is likely in the middle, instead of just looking at highly unlikely and opposed extreme scenarios.
But people would have to buy them for this plan to work. And people won't because they will suck.
I do like "Rework" a lot! I'm curious if it might imply the concept of "redoing work."
You already answered it yourself. Neal's work was fiction. He had a story to tell. a lesson/narrative to convey. His intent "got in the way" of possible reality. Purely automated Primers didn't work simply because Neal didn't want them to in his story. There are no strong reasons as to why they shouldn't work. It's just human exceptionalism at work again.

The readers are not Neal. They may, as is their choice be far more concerned with the Primer's potential than with any narrative Neal was looking to convey.
Just goes to show hiring in house is no silver bullet
Still not as wild as the fact that while everyone was ridiculing Trump for instituting a space force, they have had a weather force, officially the "NOAA Commissioned Officer Corps", since 1917.

But in all fairness, the distinctions are all pretty arbitrary, I'm sure people were laughing as much when the navy spun off their weather stuff and when the army spun off their flying stuff as they do now with the air force spinning off the space stuff.
Thanks for the kind words. Let us know how it all goes. Happy safe cleaning!
Ask HN: How do you handle code completion derailing your train of thought?
As in the title. I've had to turn code completion off a number of times because I need to think rather than read what code completion is spitting out. Does anyone have an elegant solution for this? Or is the elegant solution just to turn it off when I need to think?