skysight-inc/HackerNews huggingface dataset:
Really? It doesn't seem to me like much Intel-written software has been key to x86's success. The things I can remember from Intel are compilers, performance analysis tools, and threading and math libraries. But none of them were must-haves, or differentiated x86 chips from competing CPU architectures. Most of the software that made x86 successful came from third parties.

And more recently, the reviews I read of the Archmage graphics drivers didn't make it sound like Intel had understood the importance of the software that was essential to a pretty big hardware release.
I use Spaceship now for everything, which is actually Namecheap but cheaper.
"Hum," a new novel by Helen Phillips, addresses this question precisely.

The premise: A woman who's not well off financially after losing her job signs up for a study in which an advanced robot surgically alters her face ever so minimally so as to use her as a test case for the company's state-of-the-art/bleeding edge (sorry) facial recognition software.

She signed up because having become unemployed with no prospect of future employment, her husband's job as a gig-handyman which is mostly pest control and pays terribly, and two young children, she fears being evicted from their apartment.

The study offers a huge payment in advance, enough for their family to live in comfort for 10 months without any other income source.

One problem soon becomes apparent: in altering her appearance ever so slightly, her family and everyone she knows are taken aback: she look just like she used to, but somehow not quite: the study is intended to see how surveillance video handles faces in the uncanny valley — by creating them.

NO — I have not ruined the book if you're thinking about reading it: my introduction above happens early on, following which the story explodes in unexpected, compelling directions.

This book is beautifully written: it's sci-fi, the sixth book by a highly regarded and awarded novelist.

Read the first 19 pages (of 244) here: https://www.amazon.com/Hum-Novel-Helen-Phillips/dp/166800883...
Last week I searched for an email in Mail.app. It was right there on the screen and it couldn’t find it. It also fails to display or even list some attachments.

This is unacceptable to me. Yet I keep using it because I dislike Gmail’s web interface and my Vim imap setup is not really usable yet and probably never will be.
Yes, we can help you do this with ShieldPay.

We've helped onramp a seven-figure USD to stablecoin and then offramp directly into their bank at that fee.

We're licensed, backed by a16z CSS, Kraken, YC founders. Feel free to email me at isaiah@getshield.xyz.
Also not OP but adding my 2c.

I tried many python frameworks but the lack of customizations and observability limited the utility. Now, I only use Instructor (Jason Liu's library). That, and concurrent futures for parallel processing.
They really aren't. My house is a 1250 sq ft 4 bedroom house. It gets comments from friends and family for being relatively large for a 4 br here, since the norm is 1000 sq ft for a 4 bedroom. Similar style houses in the US seem to be about 2000 sq ft from a property search.
Companies really looking for any reason to justify layoffs.
AI Agent Backroom Simulator
Made a simple llm backroom simulator. Give the AI agents a name and personality and then watch them get lost talking to each other.

Its a lot of fun. you can setup rap battles between random two people, make gandalf and terminator debate the meaning of life. etc etc. Be descriptive in your character details. Give some sample messages on how you want it to respond etc. Give very strict do and donts.Currently its bring your own key.
Shoot, maybe someone edited something, but I don't see anyone else in this conversation using the terms "instruction tuning" and "instruct models"?
Personally, I would suggest trying out GrapheneOS on a modern Pixel before going to iPhone. They remove 80% of the Google annoyances and have a very good security profile compared to anything rooted and most custom ROMs that don't bother with relocking the bootloader.

You will still fail to pass device verification, but that doesn't really matter to me. I don't use tap to pay (that's why NFC credit cards are for) nor play any mobile games that actually care.

I could not imagine using a stock Samsung ROM personally, but to be fair, it has been years since I tried. Maybe I'm still just too burned from the bloatware of the early Galaxy days.
SPOILER

The statement translates to:

∀x ( IsAHatOfMine(x) => Green(x))

That's just equivalent to

∀x (~IsAHatOfMine(x) ∨ Green(x))

by the definition of implication (it's only false if the antecedent is true, and the conclusion false).

The negation of that is (by repeated application of De Morgan's):

~∀x (~IsAHatOfMine(x) ∨ Green(x))
∃x ~(~IsAHatOfMine(x) ∨ Green(x))
∃x IsAHatOfMine(x) ∧ ~Green(x))

Thus, the liar has at least one hat, that, furthermore, is not green, so A) [EDIT: but not D - I misread it].

In ordinary English, the meaning of the original phrase, thus the answer to the puzzle, is different.
We need some disruptive movement here, it can't be like that forever. I'm 44 now and waiting for many, many years already for open sourcing everything that is needed to get android phones running native linux as main and only OS with support of all devices on board. I want single device for my daily desktop, VR and phone tasks. I don't need 3 separate computers for these. And I want to HAVE MY FREEDOM with MY DEVICE. And lastly - would give my middle finger to everyone trying to charge extra for this freedom, it is not a slavery with option to buy yourself off.
100%. Severely reduce outsized executive pay and investor profits, and only let people work half as much. Everyone gets a 3 day work week. Company can now hire almost double the amount of people if they want to stay open :p

Or, excess profit goes into a universal basic income type fund.

Either way, relying on everyone having a job is not a long-term solution. There simply aren’t enough actually good jobs, and expecting most people to work shitty jobs isn’t great.
True, but "programmer's intuition" is because most programming languages are more or less based on formal logic so they agree with the formal logic interpretation even if many programmers have never studied formal logic.
And isn't .io on borrowed time, since the country will soon no longer exist?
> In formal logic, if you have no hats, it is true that all your hats are green.

But told by someone who cannot make a true statement.
Brooke 25/30-HP Swan Car
Because it hasn’t jumped to humans yet.
Fascinating the fake plant appearing in the tech review video.
This is even what I expected, but I majored in math, so maybe that biased my response.
Cloudflare 2024 Year in Review
Cloudflare Blocks Pirate Site URLs "For Legal Reasons"
Ok, but this article isn't saying anything you are arguing against.
Unless you meant to reply against a comment.
Which leads to a funny fact that if all elements of the set S satisfy proposition P it doesn’t necessarily imply that some elements of the set S satisfy proposition P.
I see. Yes, I will admit that I see the context as being perfectly fine.

It started as a misguided comment that takes a tongue-in-cheek statement but believes it is unironic, followed by a comment saying it was tongue-in-cheek, there is some truth to it, but that truth is hard to believe, and then finally PeterWhittaker's comment, which argues that it should not be that hard to believe after all.

All in a thread that is mostly about Rust.
I might actually buy one IF that's the case.
This is a book about actual microprocessors you can tape out or buy.
No, sadly it's not. These are private companies.. if you write to them and tell them to take a site down for "reasons" and they think the "reasons" are good enough, they'll do it.
I made a tool for looking at a live feed of labels, github.com/1ipod/yabi you have to put your user and password in the python file, hopefully I'll be adding some stuff soon.
*Fair warning -- I LOVE Obsidian.md ; not an evangelist, per se, but it's a great tool.

Free and practically future-proof ( all markdown; some extra flavor markdown but that's optional, extensions anyone can build in javascript )

Macros that help me do redundant things with a keystroke, a calendar that automatically populates with my custom template when I click on the date ( could set it to do it when I log in every day but not always in My-Day mode.)

I pay for replication because it supports the devs -- you can customize replication yourself with existent tools --- dropbox, syncthing, etc.

If you're an author, there are tools that make it more Scrivener-like. If you're a TTRPG player, there's tutorials on importing rules, rolling dice and autogenerating from tables, etc.

Anyway, I thoroughly recommend
Disney and Universal license and even sell Funko in their parks. But what you did discover is why some are bobble heads.
For added safety, you can even sear the outside of the cut, then trim the seared part before grinding the rest.
In conversational language, "All my hats..." implies that the speaker has at least two hats, which theoretically means that the sentence could be a lie from them having exactly one hat (even a green one). However, in practice, I don't think anyone would actually call that a lie. I think we treat the "I have hats" part not as part of the sentence itself, but more as an underlying premise.

You could have a similar situation in pure logic or math - if I were to say "the largest prime number is odd", is that false? Or something else entirely? (This is what Hofstadter calls mu, from a related concept in Zen.)
More generally, the puzzle is kind of stupid -- not as a puzzle, but as a representation of life -- because speakers do not speak according to the rules of mathematical logic. That doesn't make them liars, it just means they don't agree about the ground rules.
Show HN: Pensive – AI mental health coaching backed by science
Hey HN! We turned proven practices (from CBT, DBT, Stoicism, and more) into guided 5-minute conversations with a personalized AI coach.

Traditional care is broken: expensive ($200/hr), inconvenient, and often unavailable when needed most. Whether you're in therapy or not, most of us can significantly enhance well-being with evidence-based practice.

Pensive leverages research-backed techniques and thousands of years of wisdom—from CBT to Stoicism—to train your mind in a short daily chat.

Key features:
- Voice-based: Hands-free, natural conversations
- Accessible: Practice anytime, anywhere
- Personalized: Adapts to your mood and needs
- Research-backed: Uses proven therapeutic techniques
- Cost-effective: Quality coaching at a fraction of the cost

You can try our free (no signup, no download) exercises here: https://www.pensiveapp.com/web-demos
Or download the app: https://pensiveapp.com/

Would appreciate any feedback!
You can use "remote hands" service to some extent. For example: http://www.he.net/tour/Fremont_2_220_Remote_Hands_Service.ht...

You could leave a stack of HDDs and other consumables in your server cabinet for them.
This is an awfully political thread. It might be helpful to distinguish between capital-A “ART” and professional “art” — like animators, illustrators, UI designers, etc.
See my comment up top re: plastic surgery that alters your face.
Good, they terrified me as a child. Really uncanny valley territory.
Thanks for pointing to Glicol; this is amazing; looks like some kind of marriage of Chuck and Faust; or to which other language would you compare it?
Just looked around a bit on the sites, but didn't see a language specification. Can you provide a hint, please.

Is this some kind of master or PhD work, or just a hobby project?
Parsing millions of URLs per second (pdf)
The exterior of a cut can be seared and then trimmed off to get a safe chunk of raw beef.
True. But if a country works for rich foreign visitors and not for less skilled locals, that's rather an indictment of the country, isn't it?
Show HN: Postiz – open-source social media scheduling tool
Global AI Vibrancy
Not D), because it says "The liar has at least one green hat." which isn't implied.
I can second this. Here in Brooklyn there was some big woop made about the local Chuck E Cheese getting a trampoline floor, seemingly a direct reaction to the arrival of these giant trampoline parks. We went to take a look and it was pretty sad, a tiny little area that had a time limit for each kid to manage demand.

But like you say, they're stuck. There's a great (I mean, relatively speaking) trampoline park in the city but it's out in an industrial area where they could easily find a space the size of a football field. The Chuck E Cheese is in a shopping mall and clearly has no extra space to use.
I never liked this type of puzzle. It is not formal logic but more about the idiosyncrasies and conventions of the English language. I put this puzzle on par with Agatha Christie’s murder mysteries. It requires a suspension of disbelief and logic to be believable.

Someone who always lies means in the purest sense means you cannot trust anything they say. Even the word “hat” could mean they are talking about their pet cat that they like to carry on their head.

What the author would probably say is “All my hats are green” means the liar is either lying about All or Green. Either all their hats are some other color or only one hat is green. This means you have to assume the liar has a hat. How do we know that?

We only know that because of similar puzzles that came before. In other words this is not logic but more pattern recognition.
Improving Linux networking performance with io_uring and memcached
or

"You can give me the loan, I don't own any companies that have less than 1 million in assets"
Probably growing plausible-seeming accounts for later use in astroturfing.
I would guess that, like technical debt, churn is something you can have both too much and too little of. Stagnation also has a cost. When I work with teams that have had the same members for a long time, it seems that they've always lost their edge. They get attached to their existing code, and resistant to making changes that might require major alterations to it. To the point of pushing back hard against new business goals.

I think that from the business folks' perspective, you might say they're no longer playing to win, they're just playing to not lose. Which, in many portions of the tech space, is a recipe for inexorable decline.
Engineering Software as a Service (pt. 1 and 2)[0] had some of the all-time best ROI regarding time and effort. This is the same course that they taught at Berkeley (recordings from the classroom). It was excellent.

It was exceptionally well done, and taught me things I still cherish to this day. Assignments were graded by automated tests, which is always nice. They provided a VM for a more hassle-free workspace setup.

Unfortunately, it has been discontinued, and I doubt that it can still be followed due to dependencies going out-of-date.

Maybe somebody can weigh in with a more recent course that offers a similar experience.

[0]: https://learning.edx.org/course/course-v1:BerkeleyX+CS169.1x...
Three-quarters of Earth's land became permanently drier in last 3 decades
I've subscribed to her channel for a long time, and my impression has been that she loves these kinds of things (otherwise why keep exploring the space?), but she finds it interesting and potentially productive to talk about the flaws, as a way to strive for better. It's like she's acting as an editor to an author--sure, editors are technically criticizing, but they do so intending to improve the original.
What kitchen screws teaches us about code comments
Slack is far from plain text: https://api.slack.com/block-kit/building
Thank you for taking the time to write this. I don't have any formal training in the field but it matches my intuition and I am surprised, astonished even, to see this explanation so far down.
I agree for A), by why D) ?
you are in luck then, they just cut 1.0 4 hours ago =)
It is not ERTS / BEAM. Acton has its own run time system. Acton code is compiled to C functions, so the execution of functions look quite different between BEAM and Acton RTS. Acton has a Pythonic syntax but is NOT Python, so there is no GIL - quite the contrary, the Acton RTS runs actors concurrently.

I'm afraid that Acton in itself won't teach "how to architect systems on actors". I do wholeheartedly relate to the challenge. It's not easy to switch and think "natively" in a new paradigms. Go try it out, do Advent of Code in Acton and see how it feels ;)
The machinery of mathematics goes arbitrarily deep. I think the interesting thing here is that with relatively little training you can start to compute with these numbers, which is definitely not the case with analysis on distributions.

Or put differently - here you can kinda ignore the deeper formalities and still be productive, whereas with distributions you actually need to sit down and pore over them before you can do anything.

That said, I'm curious why infinitesmals never took off in physics. This kind of quick, shut-up-and-calculate approach seems right up their alley.
Popular Python AI library Ultralytics compromised with a crypto miner
Stories – For Your Circle
I don't use a single cookie in my landing pages or product, but I still have the cookie banner because so many of the marketing tools track through cookies.
I thought A. ChatGPT said E. ChatGPT o1 said A.

Also, the novel referenced (Intermezzo) by Sally Rooney is quite good. It makes a few references to analytic philosophy, mostly Wittgenstein. It concerns two brothers whose relationship has broken down. One of them is a "wordcel" and the other is a "shape rotator".
Project Gold – Blender Stylized Rendering Showcase [video]
Semaphore UI – Modern UI and Powerful API for Ansible, Terraform
There should be consumer protection laws in place that require AI companies to record every result their tools produce. Then when some trash human submits the AI output to a bug tracker, forum, etc. with a negative impact on the victim website, they can submit a claim to the AI company for a $100 million payment due to the inability to prevent the tool from being used improperly.
Yes indeed, assigning really turns into an await on an async value. You can explicitly write it as

a = await async remote_actor.foobar()

So the local actor goes to sleep, awaiting the remote, then the RTS notices the returned value and place the actor on the readyQ for execution, thus waking up from the await.
Yeah that was the most interesting part for me. Something only MKBHD himself would probably notice. We need some mechanistic interpretability research to tell if it's using MKBHD as a reference when generating that plant.
You don't write 1+2+3, but (1+2)+3?
Blood letting is occasionally the right treatment, for example for hemochromatosis.
Nyxt is basically a front-end to the Big Tech web engines, yes, but one that (I think sincerely, from my not-overly-technical standpoint) attempts to re-empower the user.

I didn't understand your original point about needing "a modern web browser" with "a simple language" (I'm not sure it was clear, by itself...), but I read your other comments, and I understand your point better now, I think.

I agree that "open source" itself is absolutely not enough, and that another prerequisite to fighting for practical computing freedom is to have "human"-sized tools. Fully on board with that (I wonder if you've seen the malleable systems forum, actually...).

I think Nyxt would love to provide that, eventually, and are trying to fight that fight, on a stacked battleground, in an imperfect world.

For example, gopher and gemini are supported. And they're trying to support different renderers. They're trying to make the browser fully configurable and programmable as far as they can, in spite of the shortcomings of the web.

Tell me if this is completely beside your point, but in case it helps you in seeing what they're about, have a look at:

https://nyxt-browser.com/article/command-line-programs.org

Or, much more technical, too technical for me, and it's a bit dated so the exact design might have changed, but maybe you'll get something from the overview nonetheless:

https://nyxt-browser.com/article/technical-design.org

Maybe that's not enough, and you think the solution has to be more radical, but I don't know what it would be, other than a new set of networking protocols comes along and somehow supercedes the ones we have now. Which could happen, I don't know, I'm only still only learning about the ones we currently have :D

Also, have you seen surfraw? Or do you have examples of the kind of thing you'd like to see being attempted in the wild? I'd be curious to see them.

p.s. I responded to a point you made 8 days ago about email in a different thread [https://news.ycombinator.com/item?id=42287607] and thought I'd say to you here in case you'd be interested in elaborating over there!
> If you take your law seriously, (...)

Hyrum's law is not mine. It's a statement of fact that goes by that name already for a few decades and is noted by anyone who ever worked on production services that exposes an interface and is consumed by third parties.

> (...) this is irrelevant because the surface of abuse is on the same scale of practical infinity, so it doesn't matter that one infinity is technically smaller.

It really isn't. JSON does not support comments, thus they aren't abused in ways that sabotage interoperability. The only option you have is to support everything at the document schema level. You can't go around it.

> For example, based of the example in the quote: you could stick those directives from comments info #hashtags in stringy values, (...)

Irrelevant. You're specifying your own schema, not relying in out-of-band information.

That's exactly how a data interchange format is designed to be used.

There is no way around it. If you understand the problem domain, the fact that leaving out comments is an elegant solution to a whole class of problems is something that's immediately obvious to you.
I feel like I'm losing my mind, why are so much resources poured into quantum computing? Every use case I've ever seen cited are always hand-wavy stuff like "finance", "ecology", "chemistry". Throw in "Quantum AI" now also, whatever that means.

This chip still has an error rate of 0.15% for two-qubits gate, and the average connectivity is only ~3.5 qubits. Meaning, if you want to apply a CX to two qubits that are 10 links away you get an error rate of 1.5%. For this most basic of operation. This is like if everytime your computer did a NOT gate there was a 1.5% chance it didn't flip.

No useful applications, even theoretically. Hardware that is still decades away from anything remotely capable. Am I insane or is the world insane?
I love Starlark. I was a major implementor of it at VGS (the repo is open: https://github.com/verygoodsecurity/starlarky). It had unique distinct features that made it much easier to control and sandbox than many other languages out there.

I even built a codemod library that does a very basic python -> starlark so that one can develop using python ecosystem libraries and just copy & paste into a secure execution environment. It was a huge success at my last company.

I'm very thankful to Laurent Le-brun and Alan Donovan -- both of whom are exceptional engineers that I learned so much from. I thought I was skilled but both of those individuals are just on another level.
Oops, you're right! I was very sleepy when I typed 2001.
I think the writer here is resisting Kafka's message.

In a classic adventure, the hero fights bravely against the odds and succeeds. In Kafka, the hero fights bravely against the odds and fails. Like Camus, Kafka finds vitality (not hope!) in the impossible struggle.
...but Python is obviously typed. It has types. In fact everything has a type, and even the types are of "type" type. It has type errors. Saying it's "untyped" invokes a wrong impression. Your usage is very non-standard in programmer circles.

What's wrong with universally understood and well defined concepts of "statically" and "dynamically" typed languages?