skysight-inc/HackerNews huggingface dataset:
> thought we were discussing science here? Get out of here. Go read some Hume

It's pointed phrasing, but it works. When we have overwhelming evidence for a phenomenon that has solid theoretical foundations, it's fair to say it's empirically proven. Not absolutely or mathematically proven. But if you've read Hume or even Popper, you already know that.

The core point remains the case: a lot of economics is uncomfortable for some people (there isn't a strong partisan leaning to this tendency, in my experience) and so they come up with elaborate arguments for why that evidence should be discarded. The top comment illustrates this [1].

[1] https://news.ycombinator.com/item?id=42408895
log(x^2 + 1) + sqrt(x) + x/exp(sqrt(4x + 3)) < Cx.

I don't get why this is true. If C is 1 and x is 2

log(x^2+1) sqrt(2) + x/exp(sqrt(4*2 + 3)) is not less than 2.
You ever thought about doing Drupal stuff? https://jobs.drupal.org/

It's the one stack I personally would never ever want to work in again, but despite that (or maybe because of it?) they seem to always need help.

Just make sure your sanity meter is sufficiently high before you start... it'll go down a lot.
We've already sent probes to Mars. There's no reason to send people other than to show we can. It's extremely uninhabitable...like Antarctica is a paradise in comparison with water, air, and a lack of radiation. We have nowhere near the technology to terraform Mars either. I guess you could dig someone a cave and send them some nuclear batteries and a bunch of prepackaged food, but what's the point?

Elon is an oligarch plain and simple. SpaceX is impressive, and I'm a big fan of NASA's research, but let's look past the marketing of him trying to save the human species or whatever.

I do think humanity may have to settle another world (or move to a post-biological existence where we can just park our satellite brains around a star for energy), but this is going to take a lot of scientific advancement over many centuries. Elon's plan would make a lot more sense if Mars was an Earth 2.0 and we just needed to move a bunch of people there, but it's not and even if we do find something really close to Earth with JWST, it would take centuries to get there. In short, our best approach is to save the planet we already have and continue funding scientific research.
Reminds me a bit of Chile’s Project CyberSyn room. [0]

[0] https://en.wikipedia.org/wiki/Project_Cybersyn
The younger docs seem more amenable but there still seems to be a ton of electronic paperwork for the benefit. That said, my "community hospital" got bought by one of the two big systems in my area and, from a patient standpoint, things like prescriptions and labs especially seem much more automated than in the past.
The cable management of the Trefolo. Would be nice to be able to run it along the back of the stand would make it more elegant and minimalist.

Links to reviews by known coffee reviewers on YouTube would help.

Definitely considering the grinder as I’ve been frustrated with the retention of my DF83.

Also, I hope it was designed for serviceability as well since everything breaks eventually.
Show HN: Imposter Attack – Among Us-themed infrared game made with ESP32
I love using alt-space for popping up PowerToys Run as a quick and dirty calculator. I guess I can use Copilot as a hallucinating calculator, but it sure seems like overkill...
I am not looking it up, but there is ample evidence available that Trump, in line with narcissistic autocratic behavior both wants praise, but thinks the flatterer is weak and not worthy.

This move by Zuck is too far away from normal lines of power and influence he operates in, it will be seen a desperate and weak. Zuck cucked himself.
Yes, sadly I was not rich enough as a kid to own an Amiga. By the time I could have afforded one, it would have been more for the novelty of having one than something practical for me to spend money on.
HyperDX (YC S22) is hiring engineers to build open source observability
Remote SSH Access Without Static IP or Domain Name
Exact numbers are easy to measure but not the only way to measure something. Data-driven is the new statistics but 10x worse because it has more sources of obfuscation, and bean counters (including super “smart” and analytically minded) obsess narrowly over models. Add ML/AI and you got an order of magnitude again.

There’s an impedance mismatch where we have enormous amounts of useless data and a small amount of useful data. Best we can do is use and create more of the useful data instead of obsessing over P>.99 on something useless that will be misinterpreted anyway.

The problem, in my view, isn’t qualitative per se, but rather unfalsifiability. Ideology is when the solution is always more of the same no matter what the outcome is. Communism/socialism and neoliberalism all fall in this category. I believe this holds true if you go more academic into Keynesianism and say Chicago school - models that have become truisms to their followers.
Hey, thanks a lot! I updated the post. I have kept a low profile hence no social / traces online except the website for now. Next year i'll dive into this full-time and will definitively work on social media and growing the platform. The business has a different legal name, but will change it in due course. Have a great friday and thanks for reaching out, I really appreciate it!
A man who lived with no brain
I agree—the complaint seems trivial. You could frame it as: Oh, how mundane—so many homes now feature open floor plans that let more people enjoy sunlight and fresh air, with well-lit spaces, functional plumbing, antibacterial stainless steel fixtures, easy-to-clean hygienic floors, cheap yet comfortable furniture, and the charm of indoor plants. What a bunch of hipsters.

If raising the standard of living for the majority results in some uniformity, so be it.
> However, my understanding is that the incompleteness results apply to only recursively enumerable axiomatic systems. I can find references for this.

That's a matter of semantics as to what you consider the first incompleteness theorem to be precisely (of which there are several variants). Gödel's proof itself doesn't directly work for second-order logic. But the statement "if Γ is some axiomatic system that satisfies certain conditions, then for any sound proof calculus there is a sentence that isn't provable from Γ in this calculus" is true in second order logic too, it's just that the "failure" happens much "earlier" (and is in some sense obvious) than in the case of FOL.

> PA_2 is not such a system and as such the Incompleteness Theorems don’t apply.

I'm really not all that familiar with second-order PA, but it is my understanding that the set of its axioms is decidable. It consists of a finite collection of axioms plus one schema (comprehension axiom) which is valid when it's instantiated by any given sentence - but deciding whether something is a valid sentence is easy. Therefore, what you quoted applies to second-order PA too.
It is, and that talking point is listed on united24media.com. But this subthread, where someone was accused of watching RT, was about the events leading up to the Maidan uprising.
Nice, quick work!
It's the quietest electric grinder I've used but I didn't want to diss any competitors in particular! It has a nice low rumble for probably 45 seconds grinding a single dose. I think the noise level is helped by the fact that the motor is completely enclosed by the heavy stainless steel burr, which basically eliminates its noise, and the fact that it spins slower than other grinders because it has a larger grinding area.

It is easy to say the espresso machine is the quietest because basically everything else uses the same pump, which is way louder and more annoying than ours, but grinders are much more variable not just in terms of noise level but also how annoying the noise is.
Not an expert in chess, but I heard that the uniqueness in openings were an interesting characteristic of the match. Can someone explain this to me?
Social “science” is anti-critical thinking. The scientific method is not used. Studies cannot be replicated.
If you're the type that likes to optimize or solve problems perfectly, it's easy to get into a situation of feeling overwhelmed by the scope of choice and scope of the problem space, so it's best to just accept imperfection and avoid thinking too hard for your first 3-5 playthroughs (accepting you'll likely lose/die), and -then- be more strategic or pre-optimize if you wish to. That or lean into roleplay for your decision making and always just immediately choose what the character/archetype you're imagining would choose, even if it feels suboptimal.
I think we are very much on the same general page!
I came here to find/make this comment.

This is pretty much the argument on why LLMs do not perform "reasoning" in the same way we do.
It's totally reasonable, and is also the exact sort of guidelines I would want to establish if I were the maintainer of an open-source project.

However, I think it's amusing that the website lists all of these cool reasons why someone should use Web Origami, and then the repo more-or-less says "here's all of these rules you should abide by if you want to even CONSIDER using this project". One page is meant to draw users in, the other to fend them off.
I always did Alt-Space, M to select Move. Of course, this was easier to know before they hid the underline cues by default so you'd know what hotkeys were what :)
Caves of Qud 1.0 is out as of a couple days ago. It has a built in Tutorial now, and lots of UI improvements (though I pine for Nethack feel it started with). They have a publisher, Freehold Games, and their first DLC. I suspect the push to 1.0 was a good ting in terms of recognizing that they can make the came more accessible?!
Show HN: Open-source AI tutor with a persistent dynamic lesson plan
I wanted to experiment with LLM tutoring for my kids, but ChatGPT etc. doesn't have a good enough memory or ability to add long-term learning goals. So I made a LLM wrapper that runs locally with a web interface and uses memory files in the background to manage a dynamic lesson plan and details about the student's preferences and learning style.

Screenshots at https://github.com/MGensheimer/seneca-tutor?tab=readme-ov-fi...

The memory is stored as text files and it's fun to see the lesson plan get updated over time.

It's a quick install on Mac or Linux. Uses Python and Flask, and you'll need an Anthropic API key.

Would love to hear any feedback or how you used it!
I'm surprised nobody has mentioned the International Building code. There is a reason everything is starting to look the same, safety, building code, access to this information and globalization all play a part.

If you perform a surgery a certain way and it proves to be cost efficient with great results, other surgeons will study it. They no longer need novel or different ways. As information spreads other surgeons do the same thing. That treatment now becomes standardized across the globe.

Same thing is happening to cities. Additionally, often top firms will work on projects globally.

Another interesting example is Hyundai/Kia/Genesis. They hired a lot of German talent. Their car designs are extremely popular now and resemble German cars. Elantra N has been designed under Bierman, who worked for BMW on the M division. Now, the Elantra N is an absolute bargain that can compete with more expensive cars on the track.
That is a wildly generous interpretation of his behavior and motivations.
Sam Altman and Jeff Bezos are the latest billionaires to donate $1M to Trump
The problem with X is that it maximises the window... for now.

If you restore it again, it flies off screen again.

Your method is how I do it (modulo using M for move, rather than reaching for the cursor keys.)
I would really recommend having a reviewer take a look, or at least include grind analysis yourselves.

Love the idea of a new type of burr beyond flat and conical, but would like to see someone actually use it and scientifically compare the profiles.

I kind of doubt the line "it works for all styles" because even with flat / conical there are so so many different types and resulting taste / body profiles. It's largely a personal preference. So I'd like something like the chart lagom provides.

https://images.squarespace-cdn.com/content/v1/5b125642ec4eb7...
The most crazy unhinged game ever
Makes sense. Maybe we can use explanations that are hard to vary instead?
I go all the way back to the introduction of the original Microsoft ergonomic keyboard and variants of the time. Watching a few hundred graphic artists grapple with this problem over a few years was a real education on the topic. They tried everything, from wrist braces to every type of keyboard and variant available. I remember one guy even resorted to taping the pen for his digitizing tablet to his hand in order to avoid having to grasp it for 12+ hours per day. Another guy taught himself to use two pens with the tablet to be able to alternate and relax one hand while continuing to work.

All of it, I concluded, at the end of the day, was just nuts. What they had to do was to both exercise and take meaningful breaks every couple of hours or thereabouts.

I need to go back and document my custom desk design. The approach I took worked very well.
She represents the potential of an endemic threat to capitalism, so of course the state has to make an example of her to the rest of the proles.
What’s the source of limited supply of doctors meme? Is there a good rundown somewhere?

Because anecdotally, among my friends, I’ve never known someone to not make it through the system to practicing medicine who wanted to, but I do know several who persevered despite being real idiots. I don’t see how opening the pool wider would lead to better care.
I am making AI Sales and Funnels metrics tool in Sheets
As a sheets Nerd myself I am always do traffic calculations, analysis in Google Sheets. But noticed that my process gets messy. I tried getting away from sheets to other tools, but either I forget after sometime to check them or bills get too high, because sometimes I just want to calculate potential at least before launching something serious.

Am I nuts to create this solution in Sheets rather than standalone product?

Also I am tired of guessing what numbers mean so I incorporate data analysis automatically. I was creating this for myself, but now thinking to launch to the big world also. What are your thoughts from landing page?
It does interface with blender. However, Garmen can't call their watches "Apple Watches" just because they can interface with Apple products. And they certainly can't claim Apple Watch as their registered trademark like OP ("BlenderGPT®").
Your claims just do not add up with my experience. I know Indians who graduated college in the US in the past 4-5 years that have received their green cards in the past year.
Cool project. 0.036 gigapixels of tiles
Lol, no activist is going to cause a nuclear event. It's just easier to accept that than the fact that we're ruining the biosphere.
In addition, the site claims BlenderGPT is a registered trademark ("BlenderGPT®"). I find this to be very unlikely.
There's disagreement about what exactly makes you a systems programmer, but dealing with the reality that memory is finite is definitely a requirement.

You need mutation or garbage collection (and systems programming is the kind of environment where that's not just "someone else's problem").
Ask HN: How does HN post ranking algorithm work?
I'm curious because a recent post with a lot of upvotes debating healthcare suddernly disappeared from my home feed

the post: https://news.ycombinator.com/item?id=42408925
This took a few evenings to make :)

Full source code is on GitHub: https://github.com/statico/imposter-attack-2024
I think the issue is 'could any other decision be made'.

In the computer analogy, if the 'run time' always arrives at the same answer, because that is the answer from the calculation. Then was there ever a choice?

I guess this and the other comments are really saying just because we have the illusion of free will from our perspective, just assume a choice is being made and roll with it. Don't get tied in knots about the question of free-will, we know we don't have it, but just assume we do in order to make our perspective work out.
Gauntlet AI – An intensive 12-week AI training - Automatic $200k/yr job
https://njbmagazine.com/njb-news-now/cargo-drones-to-deliver...

Not even as nefarious as that I don't think. The NJ and NY port authorities have an existing agreement as of Feb 2024 to allow for experimentation and buildout of drone-based last mile delivery systems. I think this is all a case of lazy/sensationalist journalists realizing that if they report "mystery drones" they get to write multiple content-free articles that will generate a lot of attention but if they do the investigative work they'll find a boring answer that costs them attention. Journalism in America being an industry that converts your attention into money.
> It sounds like it is not hard to make the decision. I made my decision and it is a no. This is a cool thing for people who want to try the latest concepts but don't worry about it being an already polished and integrated whole product.

I got to push back on this and align with the dozens of other comments being critical of the website. If I had the physical and budgetary space for it, I'd already be salivating at this point and wanting to hear more, polished or not.

But, the website is utterly lacking in conveyance of practical use and just dressed up in marketing design. While there is a disclaimer that the (device) design may undergo further revision, it's orthogonal to the fact that this completely kills any chance of an immediate, impulse buy (again, if I had the space). I would at this point be asking other buyers to post videos of it in use long after units have already been sold into the wild.

I do take my coffee somewhat seriously, with the consumption of fresh microroasted beans and a few prized pieces of brew equipment.
Yeah, I couldn't tell if the photos were real or were rendered images
I am yet to find a tool to unwrap/unroll macros, specially monsters like these:

#define loop(v,m) for(int v = 0; v < int(m); ++v)
#define loopi(m) loop(i,m)
#define loopj(m) loop(j,m)
#define loopk(m) loop(k,m)
#define loopl(m) loop(l,m)
#define looprev(v,m) for(int v = int(m); --v >= 0;)
#define loopirev(m) looprev(i,m)
#define loopjrev(m) looprev(j,m)
#define loopkrev(m) looprev(k,m)
#define looplrev(m) looprev(l,m)

JetBrains failed miserably on that codebase.
'not quite' doesn't cut it. The point is don't split up the discussion, which is over there. This one doesn't add as much to the arstechnica article. Share Karl's weird obtuse link-heavy writing style over there if need be.
Fwiw, in New York state, medical debt is prohibited from being reported on the credit report or from affecting the credit score. California has also passed such a law that takes effect soon.

New York's law focuses on prohibiting healthcare providers and related entities from reporting medical debt, while California's law directly restricts credit reporting agencies from including medical debt in credit reports.
Not sure why you're downvoted.

This is the most likely explanation. Hanlon's razor is not relevant anymore, it's actually the opposite these days.

People who don't want to see this reality are just polezniye duraki that further allow the corrupt people in charge to get away with it.

Slightly derailing the topic, one only has to take a look at US goverment budget for like 0.001 secs to see how deep this problem goes. There are invoices like $500 a piece for a fastener.

The duraki will come up to say "oh but that's probably a fastener that has to be created in space from the rarest material available to be used in an extremely sensitive physics experiment". It's not and you're making a fool of yourself. The real purpose of those fasteners is to get someone a new condo in Miami.

It's just corruption.
I don't quite understand the meaning of your comment, it reads to me like "one time people worried about something but their worries were unfounded" with the subtext/implication that "therefore we don't need to worry" - about this? Or maybe need to worry in general? Or is it just to feel a bit more optimism that not every doomsday fear ends up coming to fruition?
> your hello world script that has less than 3 segfaults, and leaks only a moderate amount of memory.

In Javascript, that IS art!
ThumbKey inspired Querty, that's cool I guess.
That is just not true and you are being unnecessarily hyperbolic. Even when i was learning/doing concurrency/multi-threading (using pthreads) long ago, i never got "into a world of random crashes and segfaults". It was of course challenging but not too difficult. You structure your application following standard usage patterns given in a good book (eg. Butenhof's) and then plug in your app logic in the thread routines. With some experience things get clearer over time and you begin to have an intuitive feel for structuring multi-threaded code. The key is to stay at a high enough level of abstraction appropriate for your usecase (eg. mutexes/semaphores/condition variables) before diving into compiler and hardware level intrinsics/atomics/etc.

A good book to study and get a handle on all aspects of Concurrent Programming is Foundations of Multithreaded, Parallel, and Distributed Programming by Gregory Andrews - https://www2.cs.arizona.edu/~greg/mpdbook/
Yeah, all his antics in buying/posting on Twitter and his pushing of the Cybertruck, BS androids, "hyperloop" etc are totally part of a grand mission in the service of mankind, and not the acts of an obsessive, socially mal-adjusted narcissist.

Gwynne Shotwell is more responsible for SpaceX's operational success than Elon will ever be, she's clearly done a great job of managing up and letting him take the "glory" he so desperately yearns for, but all he really provided was the initial vision and money. Not to understate that contribution, but his supposed "brilliance" is pure marketing. We've seen what happens we he actually gets meaningful operational control of a company (Twitter) and a product (Cybertruck), and it isn't good.
> There is no "I", that exists independently of the genes that "I" carry, that can be "benefited" at the expense of those genes

I disagree, because even if you were indeed merely the sum of your genes, natural selection works on a gene-by-gene basis, not on a full genotype basis. Furthermore, each of "your" genes -- unlike your genotype -- is not unique to you (that's the whole point of genes spreading; a successful gene is one that is carried by many individuals). Unless you clone yourself, spreading your genotype is simply not an option available to you whether you see value in that or not.

In other words, even if you believe you are no more than the sum of the words that constitute the sentence that is your genotype, natural selection does not work to spread that sentence but its constituent words. In fact, it works to spread only some of those words and against the spread of others. In a way, the genes you carry are in competition with each other.

> It is fundamentally impossible for me to act in a way that is not calculated to spread the genes that constitute me. Any behavior that I perform is the result of inclinations which have been programmed into me for the express purpose of successful reproduction. No other selection pressure exists.

That takes things way too far. We are not "programmed" by our genes, as seen in identical twins. But to whatever limited extent genes do "program" us, their spread is not necessarily dependent on you reproducing. That's the whole discovery of kin selection: because your genes are shared with others, behaviour that sacrifices you for the sake of someone else will also spread your shared genes in the population -- just not through you.