skysight-inc/HackerNews huggingface dataset:
I've started development of something similar for Clojure's core.async library, which implements Go-like channels. This is something I cobbled together to trace the origin of a subtle sporadic bug that would happen once every 10,000 runs in a program that makes heavy use of channels. I'm not really working actively on it, so it only covers a subset of the functions in core.async but I keep on expanding it, adding debugging support for functions every now and then when I need it.

It represents the flow of data between channels/threads as a sequence diagram using PlantUML. Today I implemented core.async/onto-chan! (it spins a thread that will take items from a sequence and put them onto a channel). Here's what it looks like:

https://pasteboard.co/VhvDroREOvOQ.png

It's especially useful in Clojure, as the experience with channels is not as polished as in Go (or so I heard): when a put or a take hangs, your only recourse is to sit and squint at your code. This tool will color them red, so you can immediately spot what's wrong. It also allowed me to spot a channel spaghetti plate I had not anticipated and wouldn't have remarked otherwise.

For now I've taken a "maximalist" approach which includes inspecting buffers, so it incurs a heavy runtime penalty that's only ok at dev-time (+ it keep tracks of the whole trace, so no flight recording in sight for now).

In the future I'd like to give it a proper interface (it's just a svg file with hoverable elements for now), maybe using constraint-based graph layout to lay out the sequence diagram using cola.js/adaptagrams or the sequence diagram from Kiel university Kieler project when it's integrated into the Eclipse Layout Toolkit. Thesis from the developer of this module:

https://web.archive.org/web/20220519080528id_/https://macau....
The Android App as well. I have a slightly older phone (Fairphone 3+) and it takes 10-15s for a song to start playing after tapping on it. Even if it's offline available. Didn't use to be that way. Also the app is basically the opposite of offline-first. Terrible UX.
That's the point, uniquely unsympathetic people get sentences that are about making us feel good for handing them out.

Add in Madoff's victims being rich and connected and you get 150 years.
The fact that a phone is a single point of failure for so much of your digital AND meatspace life is a terrible precedent, too.
This marks the beginning of the end of developer tools as a VC business play.
Insanely cool and I've been looking for something like this. Would this work for designing a PCB that communicates with existing hardware modules? For example I am working on new internals for BMW E30 clusters.
This doesn't make sense. The responses can be long.
That still sounds like much less pain and effort then if the worst case scenario happens?
For us this may like a walk in the park.

For non technical people there is a possibility their os don't have git, wget and c++ compiler (especially in windows)

This is just like dropbox case years ago.
Except when you will try to use Finder on MacOS. That whole thing is just a massive UX failure
People also probably used to be more fashion-conscious with having even relatively bulky bifold wallets in their front pockets. I carry basically a business card holder with significantly less on a day-to-day basis. Maybe $40 and likely about half a dozen credit card sized object things.

I carry a travel folder when I travel but my actual wallet is pretty minimalist. (Though just a phone wallet/pocket doesn't work for me. The Apple magnetic wallet I bought which I was also uncomfortable with depending on was 3 cards--no more, no less.
Like what? What contributions has ollama made to llama.cpp? It's not a big deal or problem. It just hasnt.

And they could have very, very, easily, there's a server, sitting right there.

They chose not to.

That's fine. But it's a choice.

The rest I chalk it up to inexperience and being busy.
That's true of pretty much anything made of particleboard though.
Show HN: Create a professional headshot using Stable Diffusion Foocus
> I come here because I want to talk about the unknowns.

Your knowns an are unknowns to some people and vice versa. This is a great strength of HN; on a whole lot of subject you’ll find people ranging from enthusiastic to expert. There are probably subreddits or discord servers tailored to narrow niches and that’s cool, but HN is not that. They are complementary, if anything. In contrast, HN is much more interesting and with a much better S/N ratio than generic tech subreddits, it’s not even comparable.
Theoretical computer science can be fun. But it can also be really annoying!

Around the time most schools were starting the 2014-15 school year I saw a post on Reddit in either a math or CS group from someone asking for how to solve a particular theoretical CS problem. The poster didn't say where the problem was from or why they needed a solution, but others quickly figured out it was from someone trying to cheat on the first homework set from COMS 331 (Theory of Computing) at Iowa State University.

No one helped and the poster deleted their post. I thought it was an interesting problem and gave it a try, expecting it to be a short but interesting diversion.

I didn't expect it to take too long because although I was not a CS major (I was a math major) I did take all of the undergraduate theoretical courses at my school and I got decent grades in them. That had been ~35 years earlier so I had forgotten a lot but the problem was from the first COMS 331 homework set so shouldn't require anything past the first week or so of that class, which should all be fairly basic stuff I would still remember.

I spent a couple days on it and got absolutely nowhere. Several times since then I've remembered it, thought about it for a few hours or a day and have continued to completely fail.

If anyone is curious, here is the problem:

Define a 2-coloring of {0, 1}∗ to be a function χ : {0, 1}∗ → {red, blue}. (For example, if χ(1101) = red, we say that 1101 is red in the coloring χ.)

Prove: For every 2-coloring χ of {0, 1}∗ and every (infinite) binary sequence s ∈ {0, 1}∞, there is a sequence

w₀,w₁,w₂,···

of strings wₙ ∈ {0, 1}∗ such that

(i) s = w₀w₁w₂ ···, and

(ii) w₁, w₂, w₃, · · · are all the same color. (The string w₀ may or may not be this color.)
I longed for more async communication when everything used to be synchronous. But now that everything is async, I miss being able to work with people in the same space. It just feels so lacking, and I often feel unmotivated. I guess it's the old saying of, be careful what you wish for, you just might get it.
Why? What is Detroits grievance with him?

I suppose a fair few 'detroit techno' artists are not from there.
I’ve noticed that everything at the top of Reddit is about how important screen time is.

I’ve also noticed how your standards for hangout buddies skyrocket when you spend time alone.

I think the lesson here is that we’re not getting enough good solitude, and chasing that situation with bad solitude, but I’m not sure what the line looks like yet.
I had been a paying customer since the month it came to the USA and used the app, desktop client, and integrations in other products. The old app and desktop was better, and the apps feature they had was really useful. I moved on to Apple Music last year.
The app is pretty simple, it draws a square that has the name of the user and a small biography around the face of the registered user. The latest update also allows users to add links to their profile so a user can add links from their social media accounts (Kind of like Linktree but instead of a QR code you use faces).
One of the reasons they insist on offshore is that there they can transport very large blades via ship --but building in water is way more expensive and maintenance is costlier.

In the continental US very large blades are difficult to transport (twists and turns on the way there) and there aren't planes capable of carrying such large bales to destination. I think there may be a start up trying to get one into certification.
There's been research done showing that people's view on how windmills look is most strongly influenced by how they feel about wind energy in general. I wonder if people in the Netherlands have disproportionately negative views of wind energy. As for noise, it probably varies a lot depending on how close you are, and the type of turbines in use so maybe it does bother some people (although not everyone feels that way https://www.theguardian.com/environment/2015/jun/26/minimal-...) but I know there's also a lot of fear around "wind farm syndrome" (https://en.wikipedia.org/wiki/Wind_turbine_syndrome) which I'd place in the same category as people worried about wifi and 5G signals (https://en.wikipedia.org/wiki/Electromagnetic_hypersensitivi...) making them sick and hopefully that can be overcome with education.
osdev would help. It's not a book but a website.
Free to Build: How to solve America's housing crisis (2023)
The behind your back part is probably referring to the Args payload bouncing through a heap allocation. It isn't explicit on the signature it's making an allocation. The function has no choice though unless you leave it up to the user to keep the payload allocation live until the thread terminates.
Realty is a good example of automation not resulting in lower costs for the consumer. For the longest time, a realtor had to, in person, establish relationships and trust with inspectors, sellers, buyers, financial institutions, and information was obtained through experience. They had to take their own photos and develop them, put up signs, and publish catalogs for people to find homes. Keeping up with meetings, phone numbers, and all the tasks in between was beyond a full-time job.

Today, websites, digital photos, AI, zoom meetings, and the Internet in general have made many of these tasks obsolete. You can connect with buyers, find inspectors, and get approved for financing on your phone. I can search for a house with a few clicks and instantly be connected to a realtor for the seller. It's incredible, the throughout for a realtor can be immense.

That's not to say it's easy. It's still competitive and difficult to step up in that industry. But all these efficiency gains in automation certainly aren't reflected in realty fees somehow.
> the iPad is still a gold standard product for tablets compared to the dozens of shoddy Android versions out there

iPad are the best versions of "tablets", if we see tablets as a frozen in time "large iphone" version of the concept. Android tablets perfectly fit the category and Samsung is the only distant competion (yet Samsung has Dex, which is increasingly showing its teeth)

But they're way behind in term of tablets as touch enabled computers. Chromebooks have seen more adoption as schools and orgs couldn't justify iPad's price, the top of the line is above what the iPad has to offer, and the Surface Pro took the spot of the North Star of the category, to use the article's metaphor.

So yes, I'd agree with parent, Apple could have made the "what is a computer?" marketing campaign a reality, but didn't have the courage to canibalize their mac line.
My friend, I fear you are a long way from the battlefront.

> Following your logic, if 10 “consenting adults” would like to form a “marriage”, we should embrace that as well?

You need to say something like "it's legal for 10 straight people to get married, but it's not legal for 10 gay people to get married." Then the extension would hold.

But saying that no people can marry 10 people regardless of whether or not they're gay or straight, that's still equal under the law.
Edgy? Are you watching the same mild lady make tame puns?

Granted clickbait is what YouTube algorithm demand.
> Legally they're even required to do what is best for shareholders

Been googling and it looks like that is not true.

At the very least, it should be obvious that "best for shareholders" can mean almost anything. Boeing's latest problems, Volkswagen's lying on emissions ... long term these have been decidedly bad for shareholders but probably some bean-counter though they would maximize profits at the time.
Taking a look, it has a ton of resources. Thanks!
That's what elon thought & got hate for.
I think people grossly overestimate the amount of real human beings embroiled in these online communities of niche collectivism outrage. Developers are not immune to this either, because they are chronically online and whether they like it or not, they're catching wind of the exact same volume of clickbaity activity.

Joe Rogan is notorious for this, as he vehemently believes every single thing he sees or hears from Twitter as being reflective of the state of the rest of the real world. This is because he, ultimately, is actually sequestered from real society,
operating in a tight little bubble of an elite privileged few.

And this is no different from other small, vocal, and ultimately isolated communities of people who spend all day together… Just online.

I live in a suburban part of Southern California, I deal with regular people of all shapes and sizes and ages and races daily basis in person. 99.99% of them have absolutely no idea about any of this nonsense. not a single thing from this article would even register on their personal radars. unless it was served up to them on a platter by which ever partisan news network they happen to check in with once in a while.

and don't even get me started on the fact that the vast majority of this Internet activity is ultimately bots, bored trolls, and paid schills.

also: why is this article focused on modern mass media? Simply look thousands of years ago at the original mass media mind prison called religion.
There are no prisons dedicated explicitly to those people, so I'm not sure what are you talking about here.
I'll paste my reply to another comment on this thread:

> I could guess that people that "think in words" are more likely to share their thoughts on social media, since they don't need to translate them into text/speech like people that "think in concepts"

So, maybe word-thinker are just over represented in "mainstream" social networks, and concept-thinker are over represented in engineering circles?
Since then the HQ has been moved to DC for better lobbying.
But that's what I would expect to happen. I don't see a problem.
Visual Studio App Center Retirement (March 31, 2025)
Maybe it's similar to BC, Canada. They're mostly hydro powered, so they already have clean energy that's fairly cheap. As a result, the economics for solar never made much sense.

However, with crazy-cheap panels and low hydro reservoirs due to climate change, solar now makes sense and it's appearing on more and more roof tops.
Because there is plausible deniability that it is not a kickback. You call it a vendor quality assurance fee or something.
Glad this did not turn into a tragedy. Too soon, of course, to know what caused this, but, if history is any guide, any learnings will get applied to make planes safer.
The problem I’m facing with storing roughly 600 million shorter PGNs is that the database is 100GB or so, and I’m grabbing thousands of them sort of at random. This makes the query IO bound, even though the finding the pages they’re on is virtually instant with the indexes. So a smaller database means less pages read when I do these large reads, ideally. I also have other ideas on ordering the database in a smarter way, but hoping this part helps.
This seems like a much better fleshed out exploration of this subject: https://monochrome-watches.com/why-do-clocks-and-watches-use...
It's kind of fascinating, because as you say, many of the capabilities are barely surfaced in the user layer yet. But the fundamentals are there.

Take a look at this Reddit post for example:

https://www.reddit.com/r/VisionPro/comments/1ba5hbd/the_most...

The user is pointing out that that the real fridge behind them is reflected by the surface of the virtual object in front of them. And consider on top of that, the fridge is not visible to the headset at that moment. It is captured in the 3d spatial model that was created of the room. None of this is a pre-rendered or rigged or specifically engineered scenario. It's just what the operating system does by default. So one app that is totally unknown to another app can introduce reflections into the objects it displays. This is just so far beyond what can happen in the Quest platform by any means at all. And it can only happen because the 3d spatial modeling is integrated deeply into the native rendering stack - not just layered on the surface of each app.
[1] also uses this approach.

[1] https://mitchellh.com/writing/nix-with-dockerfiles
It’s not the same. Seeing your friend or family member trapped in a small box is very different from having out with a low fidelity version of them playing mini golf or ping pong. Immersion and presence are things that you won’t understand if you refuse to try VR for longer than 5 minutes.
The reason that I heard was that it was easy to mass-engrave a single plate:

VIIIIX

For each clock, you make 4 of these, and split each block into numbers the following way:

V IIII I X

VI III IX (mirror the IX for 11)

VII II IX

VIII IIX

This lets you mass produce watch numbers with a minimum of wasted material.
> At game start, that will be an integer between 1 and 20 (16 different pawn moves, 4 different knight moves).

And offer draw.

And resign.

Just to complete that thought.
I think that used to be the case, but more and more often I'm seeing distributed wind and solar/storage reported as the cheapest way to add power generation.
I think there are two issues here. First of all, the freedom of speech issue has generally broadened to include all of government. Generally government can't ask a company to restrict speech, Even outside of a law
But there is more to the first amendment. We also have a right to communicate with the government. If that avenue is shutdown, it can be a first amendment violation as well.
I, and nearly everyone I've worked with, use Teams/Slack as async comms. Most of my colleagues are incredibly busy, so there's no expectation that we'll get an immediate, real-time, response. Generally, if real-time comms is needed, and the other party didn't respond via chat immediately, we ask "Can you jump on a quick call?"
I don't see how it follows from that. "Attach" seems very generic.

But I do see now, searching for that part of the info specifically, they mention

Peppy Peppers’ orders can be migrated by running SELECT FROM orders WHERE shop_id = 1 FOR UPDATE on Pod 1’s database

Yeah that's just having the tenant id in the table directly. Oh well!
As someone who is 40, single, and works remotely, I'd say the exact opposite.
2008 was caused by the confluence of irresponsible political AND financial decisions. Irresponsible and illegal aren't the same thing.
I wonder how much Roman numerals are even taught any longer. Maybe 5 years ago now I was traveling with a friend who went to a solid US suburban high school outside of a major city. Younger than me but certainly not young. And she asked me what a date written in Roman numerals was in the numbering system we normally use. I was somewhat floored.

Thinking about it though. It sort of is cultural/historical trivia. How many hours do you spend in school drilling how Roman numerals are constructed rather than teaching something else. I suppose it's nice enough for those who encounter them when traveling. But pretty far on the not-essential end of the axis.
Similar effect when they do a residency in Ibiza back in the 2000s and 2010s
I used it to workout. It’s much less boring and repetitive than doing normal cardio
*Nomad

And lame.
I think this is all a way of saying The Netherlands land is at a premium. Views and noise pollution are valued higher than cheaper electricity. The United States has over 200 times more land than The Netherlands, and only 20 times the population. The US has plenty of windy places with adequate infrastructure where selling electricity is valued higher than view/noise because no one lives within 30km of the windmill.
As it's become easier and more lucrative, you see more people crowding in to becoming a realtor, and they spend more of their time competing for clients rather than doing productive work for those clients.
This article is really not helping by labeling something like half of the US as bigots.

I actually believe that mainstream media is more balanced nowadays compared to a few years ago. I think that they've caught on to the fact that trust has eroded in recent years and are adjusting. However critics have not yet realized that.

Funny to get flagged by people who don't have anything to say in response by the way. Whenever politics are involved I take it as validation.
Apple TV+ Cornered the Market on "Prestige Dad TV"
It kills dickbars (aka sticky hover-over UI elements on websites), which term was coined by Mr Gruber of Daring Fireball fame.

https://daringfireball.net/linked/2017/06/27/mcdiarmid-stick...
This is the first I've seen of the Gay Agenda License -- huge fan!!

https://git.sr.ht/~ntietz/pi-compress/tree/main/item/LICENSE...
I collect roman coins, and they also used IIII themselves on at least a couple of types I can think of, and also VIIII instead of IX.
It's unclear to me when the (now standard) subtractive form became the standard; there are examples in Roman times of e.g. IIX for 8, and VIIII for 9, both of which would be non-standard today.
As a data point, the vm migration hangs aren't happening in testing any more. Looks like there really was a fix added to Proxmox recently.

Can proceed with more testing now. :)
I am so confused by his weird persona.

Obviously he has to be smart, you don't make a multi-billion dollar company/fraud without being incredibly smart, but doesn't that generally mean an acceptance of reality?

He seems so disconnected from reality most of the time, like he is mentally ill almost.
Explorations in creating a basic text editor
This makes so much sense. Research is compounding, even for failures to reproduce.
Scream test [video]
I was just jokingly pointing it out because it made my variable names confusing.
I remember when Wikipedia first became popular, there were a lot of warnings about how you couldn't trust the information because "anyone could edit it". I feel like, at least to my level of understanding whatever I'm reading about, it's been sufficient and I've never identified something wrong/inaccurate (except for perhaps recent news or recently debated political topics). This is the first time that I've seen that downside of Wikipedia, as I use it for understanding things like this and never would've known that the diagram I was learning from was wrong. Thanks for commenting this, it's good to know
Like (parts of) this sort of thing maybe?

https://youtu.be/BLmAV6O_ea0?si=OdPbwBXs6mOR5Xj2
I'm sure this will end well for them. I guess if you go out of business, you don't have to worry about running afoul of your choice of payment provider's requirements.

So far as I know, Gumroad is basically the artists' OF. Without porn, what will they really have left?
You can't just mass imprison your enemies because they made you upset.
I’ve followed her for a few years now sort of in horror as she’s become a YouTuber. She seems contrarian for the sake of it.
The latter. I don’t think it’s fair to say I was underwhelmed (I wasn’t), I enjoyed my time despite the feeling of how prescribed a lot of the parties/clubs/people felt (party enough like I do and you’re sure to come across this, it’s not unique to Berlin).

I just had this possibly _too_ high expectation of the Berlin techno club/party scene before I got there, and it just didn’t wow me like I had heard it would (despite having a great time and no issues).

Berlin as a city, however, exceeded my expectations..which definitely adds to my confusion on my overall sentiment towards everything
This is absolutely the psychosis of today and tomorrow. Just watching my own father in isolation in algorithm walls on twitter and Facebook is astonishing
That’s his act, so he doesn’t have to serve a full sentence.