skysight-inc/HackerNews huggingface dataset:
Thanks for sharing! I like to look at this example inside the debate of if mathematics are invented or discovered.

> That is how Whitehead and Russell did it in 1910. How would we do it today? A relation between S and T is defined as a subset of S × T and is therefore a set.

> A huge amount of other machinery goes away in 2006, because of the unification of relations and sets.

Relations are a very intuitive thing that I think most people would agree that are not the invention of one person. But the language to describe them and manipulate them mathematically is an invention that can have a dramatic effect on the way they are communicated.
Totally. I’m being sarcastic. :)

I’ve worked in the ID space and know how the parts work together. When I found myself widowed and having to get a passport for my son, the process of getting a replacement social security card for him was incredibly onerous. 3 different visits! Mind you this was to get a replacement cardboard card - getting survivors benefits is a simple phone call.

Multiple visits is a barrier for folks without paid time off. Physical documents is a barrier for folks without unstable housing or noncustodial parents.

It’s interesting that all of this bullshit is required to exercise your right to vote. But we have the minimal possible controls on the right to bear arms in those states.
I think most people would disagree with that premise
> They reveal a blowback effect caused by forcing vast numbers of ships to operate in the shadows.

As if the Russian ships had no choice in the matter.

There's a distinct pro-Russian scent on this article.
Hmm... If we are removing CO2 at that rate from some place, then the concentration of CO2 in local atmosphere will drop. It will create a gradient so CO2 will start moving toward us, but what the maximum rate of CO2 diffusion? Wouldn't it impair our ability to miniaturize the ocean filled with diatoms as a CO2 absorber?

Though probably one can try to create an artificial wind, blowing CO2-free air away so CO2 could move quickly into the freed space.
The actual problem is that we were made early enough to begin to understand the full scale of it, but we're still not mature enough to go out there and explore it. Therefore, you can reason that now is the right time to get behind anything that pushes us beyond the Earth.
This has been my experience.

There's a friction, between delivering the highest reasonable Quality, yet also allowing the initial users to provide feedback, and helping us to adjust the UX.

I deal with that, by using what I call "Constant Beta." My projects are designed to reach "beta" (or betta), as quickly as possible, so people can start actually using them, even if incomplete. Since I write Apple stuff, I can use Apple's TestFlight. I tend to start using it very early in the project, and there's often hundreds of releases, by the time it actually ships.

I have found that users will almost never provide feedback, no matter how easy I make it, or how much I beg, so I need to infer their usage, via requests for help, or features that I can tell are being used/not used.

The stuff I write has extremely strict privacy requirements, so I often can't collect metrics, or have to anonymize the shit out of the ones I do collect, so there's a lot of tea-leaves-reading, in my work.
awesome. thanks for sharing
SiFive HiFive Premier P550 RISC-V Development Board Update
Lazarus would be a horrible place for that kind of thing. It would destroy a nice, relatively untouched spot of nature that’s got a lot of biodiversity.

Singapore does use islands for this kind of thing, but this would be better placed on Jurong Island (which is already entirely industrial) or perhaps Pulau Tekong (which is currently for military use only). Alternatively, land reclamation is not unknown to Singapore, and there’s already big land reclamation plans underway in the coming years.
First I've seen this, but also: this feels like a slightly long-winded explanation of what we're actually trying to achieve through improving efficiency and such through software, right?

Make things easier and improve productivity, because we humans can do more with technology. Especially relevant in the current AI dialogue around what it's going to do to different industries.

> Consider an HR platform that automates payroll and performance management, freeing up HR staff from routine tasks. HR teams will need to justify what they do the rest of the time...

This quote, though, is one I'd like to further mull: added software complexity that is the result of job justification.
Ghostty has my daily driver for a good while now, I’ve been super happy with it. It’s been especially fun watching Mitchell deftly build a community at just the right speed for its development stage. Thank you for all your hard work and responsiveness.
Prompt Vault – AI Assistant
Hey folks,

Have created a AI assistant which has the capability of several foundation models from various providers such as OpenAI, Google, Meta, Cohere, Anthropic and Minstral.

Please use the tool it is free and committed to keeping it free. Please share your valuable feedback.
I agree. Fail only applies when talking about losing your ability to house, cloth, and feed yourself (and your family). Otherwise, it is just play-acting at failure.
> Why isn't the surface smaller then? Probably something inside is pushing out?

Hoberman spheres expand and contract via forces that act only along the structures that make up the surface, and this is a simple classical object. I don't see why a more exotic physical object like a black hole couldn't only have properties defined by its surface.
Yep. Zero of those "closer" neighbors have umpteen thousand square miles of nearly-uninhabited desert handy, to easily build solar at scale.

Plus - if it worked well enough, Singapore might do a major expansion. And sell start selling solar power to their closer neighbors.
"I spent way, way too long" sounds like a lot more than "a couple minutes" to me.

My point is that there is no research cost for buying outright. You just buy the phone and then you pick whatever service and plan you want. If I have to spend significant amounts of time penny pinching on "deals" and contracts that probably means I'm trying to buy something I can't afford. Moreover, this tendency definitely leads to _more_ spending in the long, not less.
Hey this is pretty cool! Have you thought about putting it online? I've occasionally used tools like Adobe's color scheme finder, where you upload an image and it suggests a fitting colorscheme derived from the photo. Though honestly theirs doesn't perform too well.

Yours looks like a nice improvement.
Public opinion alone won't save democracy – Science
I've been daily driving Ghostty for over a year now, and have been a somewhat regular contributor. As a TUI library author, I've worked with several terminal authors on bug fixes and implementing features - Mitchell is among the nicest to work with. Happy to see this project launch as 1.0!
It would seem to only make sense economically if Australia was paying for the majority of the costs.
This was one of my original views, but I've since changed my mind. I agree in the sense that one of the few times you'd need pure memorization is for testing.

However, the top comment from a recent article here [0] put it into perspective. For a lot of people, regularly being reminded of the fundamentals helps them overcome whatever prevents them from grokking something from the outset. For really difficult concepts (something that varies for everyone), I believe that regular memorization and repetition can help you learn over time.

[0]: https://news.ycombinator.com/item?id=40167163
What occurs to me now is that with a proper SELinux configuration you do not even need per-user /tmp, you can use the old /tmp for all. It is still motivating to look into PAM, but perhaps also motivating to learn more about SELinux that I've also put off.
Phone modems (software + hardware) are very expensive to develop and only inexpensive to purchase because of the staggeringly high volumes and the fact that they are highly integrated.

This is the main reason why the number of suppliers as massively dwindled: Large upfront investments are needed and only recouped if you manage to sell 10s if not 100s millions of units.
This is classical, Euclidean thinking and doesn't necessarily apply to exotic objects.
I've used the Paho APIs in Python, C and C++ and moved on to not using any of these APIs. Where possible I use mosquitto_sub and mosquitto_pub to support the protocol and then just read/write standard input/output. It's not a matter of bugs (though I have encountered at least one) but rather it's just easier to use a program that's been written and tested to manage the connection to the broker.

The only place where I was unable to do this effectively was with the last will and testament message (and I might not have tried hard enough.) It also doesn't work with microcontrollers that don't run something like Linux.
I have a tool [1] that is tackling some of the same problems in a different way.

I had some core views that shaped what I built.

1. When doing data manipulation, especially initial exploration and cleaning, we type the same things over and over. Being proficient with pandas involves a lot of recognition of patterns, and hopefully remembering one with well written code (like you would read in Effective Pandas).

2. pandas/polars is a huge surface space in terms of API calls, but rarely are all of those calls relevant. There are distinct operations you would want on a datetime column, a string column or an int column. The traditional IDE paraidgm is a bit lacking for this type of use (python typing doesn't seem to utilize the dtype of a column, so you see 400 methods for every column).

3.It is less important for a tool to have the right answer out of the box, vs letting you cycle through different views and transforms quickly.

------

I built a low code UI for Buckaroo that has a DSL (JSON Lisp) that mostly specifies transform, column name, and other arguments. These operations are then applied to a dataframe, and separately the python code is generated from templates for each command.

I also have a facility for auto-cleaning that heuristically inspects columns and outputs the same operations. So if a column has 95% numbers and 1% blank strings, that should probably be treated as a numeric column. These operations are then visible in the lowcode UI. Multiple cleaning methods can be tried out (with different thresholds).

[1] https://github.com/paddymul/buckaroo

[2] https://youtu.be/GPl6_9n31NE?si=YNZkpDBvov1lUYe4&t=603 Demonstrating the low code UI and autocleaning in about 3 minutes

[3] There are other related tools in this space, specifically visidata and dtale. They take different approaches which are worth learning from.

ps: I love this product space and I'm eager to talk to anyone building products in this area.
LOL, this is the most crazy stuff I've ever read.

Since all addons are disabled on the system pages, you come up with a lunatic analogy that means absolutely nothing. "Imagine that...". What addon, if any, works on firefox system pages?

Vimium always works... what low speed connection do you have for being unable to load any page in a fraction of a second? Beside that, I often use jk or whatever before the page is completely loaded.
Not really sure what makes this a "paradox"?

Seems like a lot of words to say that, when you deliver the features users want, then they will continue to want more features. (And all these features keep making users more productive/efficient, so it's a good thing.)

And, of course, more features means more software complexity.

But I'm struggling to see a paradox here, or even what's supposed to be the novel observation.
That’s part of what C does, but it’s not the only thing.

Assembly adds mnemonics and a logical structure to machine code.

C largely does the same, but adds a cross-platform abstraction, mechanisms for organizing and sharing source code, a standard library, and various other things.
No outages like that here in Perth either.
There are multiple "accredited organizations". Most seem to be copyright trolls that now get a semi-official status in law enforcement.

https://digital-strategy.ec.europa.eu/en/policies/trusted-fl...
Why Techies Leave Big Tech – By Gergely Orosz
This is actually a general problem with the SWEBOK: it isn't an engineering body of knowledge. It's a set of management practices like the ones you describe. It doesn't steer clear of those issues, at all.
> added software complexity that is the result of job justification.

I have found that some folks like to be "high priest gatekeepers." They want to be The Only One That Understands The System, so they are indispensable, and it also strokes their own ego.

If possible, they might customize the system, so they are the only ones that can comprehend it, and they can often be extremely rude to folks that don't have their prowess.

I suspect that we've all run into this, at one time or another. It's fairly prevalent, in tech.
Anyone have a sense of how much money/electrical power is being spent to discover these primes? I'm not about to argue for bitcoin calculations over this, I'm just curious how it compares.
Maybe not as extreme but I also always took great care of my hearing, wearing protection whenever I went out dancing when I was younger and never turning up my music to be nice and loud like my friends did in high school. Now in my mid 30s I have stress-induced tinnitus. Oh well.
This is something I constantly struggle with. Its fine for some generative sales, marketing language but for data analysis wearing the risk that the output is even 0.1% wrong is not an option for many.

So you end up checking what the AI does which negates the productivity argument entirely.

Curious how others deal with this dilemma
Bose made a product ~10 years back called Hearphones which were far more capable than what Apple is doing here.

IIRC Jabra earbuds have had "hearing aid" features for years. They, unfortunately, don't help with single side deafness the way the Hearphones do.

Apple isn't doing anything groundbreaking here but they are doing it at a very competitive price. The airpod features also do not help with single side deafness. :(
And So It Goes – Kurt Vonnegut's GHQ
You're being downvoted but this is correct. The entire concept of "state's rights" was always a facade when it comes to abortions. The end-goal is restricting choice as much as possible, and in every way you can. Virtually no republican's support people travelling to blue states for abortions due to this. The issue of abortion has been rife with dishonesty for as long as it's existed.
Can I click on paths to have them opened in my editor of choice? That's the killer feature that always brings me back to iTerm: clicking on paths in the output of various command line tools to directly jump to the line in e.g. source code.
The greatest trick Bezos ever pulled was convincing us to use the cloud for strady-statw, predictable loads
> how long will it take us to colonize the galaxy

The Milky Way is 100,000 light-years across. So at least that long assuming we can ever attain near-light-speed travel (unlikely). And due to cosmic inflation, many other galaxies are receeding at faster than light speed, so we could never get there.

There could be a lot of intelligent life (as intelligent as us, maybe more so) that can never realistically travel beyond their local star systems, and we'd never notice them.
The don’t. In most, they ambiguously say draw a line “around” a letter or number. What is that? A circle?
Looking forward to this! Had been lurking in the discord for a while but never talked much so I never was able to get a beta key. The Terminal Inspector seems super cool and is what I'm most excited to try out. Seems like it'd be really useful for Bubble Tea [0] apps which I've been having run writing.

[0] https://github.com/charmbracelet/bubbletea
And 1x1=2 according to Terrence Howard
Finally. I've been idling in Discord a long time, failing to get into the private beta.

I'm excited to try it out.
Sorry, I did misunderstood. I apologize and thanks for the clarification.

I didn't realize Civet is indentation-based like Python. That isn't so bad.
> Which is why my password manager has zero integration directly with the browser, or anything else for that matter

The ideal amount of integration is actually non-zero. Manually copy-pasting passwords makes you susceptible to URL phishing, unless you also consistently copy from the browser URL bar into your password manager.
weird, the body doesn't load for me
Why would I not reply?

Edit: If ‘Tostino’ wants to intentionally troll, that’s sad, but that doesn’t imply another user has to do this or that…
Only if memory gets low, otherwise it'll stay in RAM and give the benefit GGP intended. IIRC tmpfs data shouldn't be evicted to swap just to allow more room for cache, or if an app requests a large chunk of memory but doesn't use it, just to allow more room for application pages that are actively in use.

Normal case: tmpfs data stays in RAM

Worst case: it is pushed to swap partitions/files, which is no worse than it being in a filesystem on physical media to start with (depending on access patters and how swap space is arranged it may still be a little more efficient).

It isn't quite the same as /tmp being on disk anyway but under normal loads in cache, because the data will usually get written to disk even if only ever read from cache and the cached data from disk will be evicted to make room for caching other data where tmpfs data is less likely to.
Because you’re interacting with another human being who is there helping you. I’m guessing you’ve never worked retail/service before. People treat retail/service workers like shit all the time. To wear an AirPod while ordering is another distancing layer that dehumanizes the other person.
Excited to try this! Hoping it is fairly low-configuration; a lot of the iTerm alternatives seem to require more configuration than I care to do in order to make them look halfway decent.
Thank you, it's an interesting read, because on my own, without the explanation this will have been over my head.
JetBrains classic UI, now available until at least July 2025
I both hate you and am very scared that you're actually telling the truth.
I'm super glad they did this without GM mosquitos. It shows you can treat human diseases without engineering the ecosystem.
I love this idea. It's simple, effective, and the UI is great. The account creation process is such a relief. Editing and saving trips is delightfully fast. A few suggestions:

* When adding an activity (or route), I instinctively look for a button at the buttom that says "Save activity". And possibly one that says "Cancel". Right now it's immediately saved and appears on the itinerary. That might be faster, but it leaves me feeling anxious about state.

* The ability to share a Trip with others and even to allow collaboration would be a game-changer. Might require you to allow people to view/create/edit Trips with a "guest" account.

* It would be amazing if there was a way to automatically generate driving or public transport directions and have the Activity and Route both added into the itinerary.
Mark Cuban is an interesting in-between case. But yes, you have shown that wealth doesn’t do it; but wealth and an appetite for publicity (especially for wealth-related attributes) seems a solid predictor.
Great, now I’m fully confident that humanity is on its road to maintain existence over all the struggle cosmological challenges might throw at it. It might do so in the form of an intergalactic bureaucracy though.

Now, please don’t disappoint this bright new hope, go back to your work while I sit down in my sofa watching that prophecy happening.
from https://blog.jetbrains.com/idea/2024/10/bridging-the-gap-bet...

Sounds like they have realised the extent of this massive fuck-up.
My AirPod pros gave me / exasperated my existing tinnitus when used with noise cancellation
Its not really that we know better. We known more and we know there is more of a trade of than was assumed then.

But to know better would mean we would have done anything different back then. If the choice is a silent spring (hyperpole, but okay) or dead babies from malaria in the US, no politician is going to align with the "I support dead babies party" and nobody is going to listen to those who do.
The new intern or you in a year reviewing your own code.
The only intelligence on earth capable of being equally curious about all things, of not needing to discriminate and focus only on preferred subjects, is the artificial kind of intelligence.

The rest of us don't live long enough compared to our reading speed.
I don't think it's genuine to make the argument that restricting rights is A-OK if the people who would be negatively affected are a small enough group. I'm assuming you couldn't articulate what the "cutoff" would be even if you wanted to, and if you could I doubt you could defend it.

I mean, why stop at 0.2 percent? Why not hurt even more people? Is 0.2 percent a magic number?
Since Typescript I wanted a Coffeescript with gradual typing. But I'm not sure if Civet isn't going to far into foreign syntax and shorthands for many things.

It probably won't share fate of Coffeescript. It won't get popular, influence TS and JS and fade into obsurity due to mostly fulfilling it's goal. I'm afraid it won't get popular enough to do that.
Fortunately I own my firewall. Though mostly I'm talking about linux machines that I own and control the software on.

Though I fully understand I'm in the same camp as oppressive nation states. But until my kids get older I'm in charge, I need to set them up for success in life, which is a complex balance of letting them have freedom without allowing them to make too many bad decisions. Not getting their homework done because they are watching videos is on bad decisions I'm trying to prevent.
Tog's paradox is the main reason why I suspect that generative AI will never destroy art, it will enhance it. It allows you to create artworks within minutes that until recently required hours to create and years to master. This will cause new art to emerge that pushes these new tools to the limit, again with years of study and mastery, and they will look like nothing we've been able to produce so far.
Can it connect to a serial port? I need a terminal to connect to a UART on embedded devices. This should be basic functionality on any terminal, but many don't seem to have it, they're just fancy local shells.
It was a wonderful idea that got 90% assimilated by the underlying language thus becoming successfully obsolete.
I think there are people that have intentionally swallowed some tapeworm eggs for a similar reason to this.
WhatsApp introduces contact storing directly within the app, teases usernames
What makes it a "paradox," is the classic Waterfall model that most companies (even ones that say they are "agile") use for development.

In Waterfall, the design and requirements are "one and done." They are not supposed to be revisited and iterated.

Once we have gone past "thresholds," we are not supposed to go back, without many staff meetings and begging to Higher Ups.

I have found that I need to make my entire product lifecycle iterable. I need to have a "done" state, so that I can get something out, and that needs to be extremely high Quality, but I also design my projects to be re-entered, and re-implemented, with the expectation that I'll be rapidly jumping back in, and making fairly significant changes (not just bug fixing).
If you don’t understand the code code completion becomes cargo cult programming.