MurphyA/hacker-news huggingface dataset:
by nunez | 2025-04-24 23:40:27+00:00
Didnt expect this to trend on HN. I used to travel every week for work and learned to used this and fly.faa.gov/ois to find out how long ground stops will be during delays for years.

While I'm on this soapbox: ExpertFlyer. If you travel once per month or more, it is ABSOLUTELY worth the $10/mo. They provide a lot of info straight from GDSes, somehow. Invaluable for rebooking and seat changes.
by 418tpot | 2025-04-24 23:40:59+00:00
Right, but that is still severely limited in my experience.

Like I can't bind these programs to run on keyboard shortcut (or I guess the mobile equivalent would be a button on the home/lock screen?)

I can't do basic UI-- even if I don't write a QT/GTK app sometimes I want to pipe to imv, mpv, present a list of options via dmenu/rofi, send a notification to dunst/mako via notify-send, copy strings to the system clipboard, write a script that calls wtype to emulate keystrokes, etc.

I don't have access to the whole filesystem too, right? Last time I tried writing a script in termux I couldn't access the photos my phone took.

One concrete example: I use music player daemon to play music throughout my home. On the phone the answer is to download an app that implements the protocol, but the app isn't great. Instead, I wish I could bind dmenu to open up when I press volume up for example that just shells out to mpc. These are the types of things that I like to set up on my desktop to get a really ergonomic experience tailored to my workflow, but on mobile I'm at the mercy of what apks are available.

I also haven't found any great solution for setting up a phone declaratively. On desktop I can use NixOS to codify my configuration, on mobile, flashing a new OS means pecking around settings/fdroid like a point and click adventure game for an hour to get everything to a somewhat usable state.

Perhaps this is all just user error and everyone else has figured out how to do these things, or they just suck it up and build their own android apps. But for me, this is really what I'm asking for when I say I want Linux on mobile.

> Plus, ART is open-source and works great for GUI apps.

This requires writing the app in java and building it in android studio, right? Is there an easy way to just compile an apk from a non-android project?

Also if I invest a lot of time in learning ART and building apps for android, I will have a much worse experience running these apps on desktop linux (for example under waydroid) which is where I spend a vast majority of my time.
by ChrisMarshallNY | 2025-04-24 23:41:28+00:00
It certainly can be (I'm obviously not the expert on the traits), but arrogance (think Steve Jobs) means that there's less self-doubt, and less openness to outside counsel, which is normally a Very Bad Thing, but, if your own counsel [vision?] is very good, then maybe not so bad.

In my time, I've worked with some top-shelf folks, who had many -but not enough- of the combination, to be mildly successful.

Most of the best were extremely ... er ... confident. Some, it came across as rudeness, but others, would politely accept your counsel, and then instantly feed it to the shredder, without you ever knowing.

I preferred the rude ones.
by tibbar | 2025-04-24 23:41:46+00:00
A reference to Larry Ellison as a lawnmower, perhaps? [0]

> Do not fall into the trap of anthropomorphising Larry Ellison. You need to think of Larry Ellison the way you think of a lawnmower. You don't anthropomorphize your lawnmower, the lawnmower just mows the lawn, you stick your hand in there and it'll chop it off, the end. You don't think 'oh, the lawnmower hates me' -- lawnmower doesn't give a shit about you, lawnmower can't hate you. Don't anthropomorphize the lawnmower. Don't fall into that trap about Oracle. — Brian Cantrill (https://youtu.be/-zRN7XLCRhc?t=33m1s)

[0] https://news.ycombinator.com/item?id=15886728
by vitaflo | 2025-04-24 23:42:49+00:00
The one I always use is literally "show number of NFC Championship Game appearences by team since 1990".

The only AI that has ever gotten the answer right was Deepseek R1. All the rest fail miserably at this one. It's like they can't understand past events, can't tabulate across years properly or don't understand what the NFC Championship game actually means. Many results "look" right, but they are always wrong. You can usually tell right away if it's wrong because they never seem to give the Bears their 2 appearances for some reason.
by techdude17 | 2025-04-24 23:43:20+00:00
Hi all - I've been working on my OS for about 6 months now and wanted to share it. This is Ethereal, my custom SMP-enabled 64-bit Unix-styled operating system! It follows a modular design and even supports USB and some basic (IPv4/ICMP) networking - and I'm just getting into the usermode parts!

I like to think that my kernel has a strong design but I know this forum is known for criticism and I would love to have some. Would love to hear anyone's thoughts.

Github: https://github.com/sasdallas/Ethereal
by NoboruWataya | 2025-04-24 23:43:22+00:00
Do you have a particular configuration or set of extensions you've been looking at? I mostly use JetBrains IDEs but have been trying to get a decent neovim setup as well. I followed some random tutorial and eventually got a decent setup working but it feels fragile and I'm not sure I could reproduce it if I had to. I am looking at AstroNvim now as a potentially more stable/reproducible setup.
by pelagic_sky | 2025-04-24 23:44:04+00:00
As a designer, I know some absolutely amazing artists who just hunker down and produce phenomenal art/designs and I am not fluffing here. As a climber, I also know of climbers who are at the best in the world level, but don’t post sends on IG or muck about in socially promoting themselves. It’s great to know that there are extremely talented people doing their thing and it’s not driven by leaderboards or social clout.
by pdfernhout | 2025-04-24 23:44:27+00:00
Maybe DNS for mail addresses is like a Post Office Box number? :-) https://en.wikipedia.org/wiki/Post_office_box

With 20/20 hindsight, if the FSF had used a P.O. Box number in the license, the license addresses would always be correct even if the FSF office changed addressed or (as now) was no longer maintained.

Of course, the cost of a P.O. box over 40 years would have added up to thousands of dollars and that is less money for FSF advocacy. And time spent going to the post office to check the box would also have taken away from advocacy time.

Another physical mail DNS-like idea is mail forwarding -- but it typically has time limits at the post office although not for private mail forwarders: https://en.wikipedia.org/wiki/Mail_forwarding "Private mail forwarding services are also offered by private forwarding companies, who often offer features like the ability to see your mail online via a virtual mailbox. Virtual mailboxes usually have options to get your mail scanned, discard junk mail and forward mail to your current address."

Although strictly speaking, these forwarding services are not quite like DNS (even if they do get at the idea of indirection). A true mail DNS would be more like a service you mail a post card to with a person's or organization's name and which mails a post card back to you which tells you what address to currently write to in order to reach that person or organization. (At least, if you write to that received address during some time-to-live window of validity of the address.) And I guess Encrypted DNS would be like you and the service using more expensive security envelopes instead of post cards? :-)
by jandrewrogers | 2025-04-24 23:45:07+00:00
The interplay of SIMD width and microarchitecture is more important for performance engineering than you seem to be assuming. Those codegen decisions are made at layer above anything being talked about here and they operate on explicit awareness of things like register size.

It isn’t “same instruction but wider or narrower” or anything that can be trivially autovectorized, it is “different algorithm design”. Compilers are not yet rewriting data structures and algorithms based on microarchitecture.

I write a lot of SIMD code, mostly for database engines, little of which is trivial “processing a vector of data types” style code. AVX512 in particular is strong enough of an ISA that it is used in all kinds of contexts that we traditionally wouldn’t think of as a good for SIMD. You can build all kinds of neat quasi-scalar idioms with it and people do.
by golergka | 2025-04-24 23:45:28+00:00
Input one image of a known military installation and one civilian building. Prompt to generate a similar _civilian_ building, but resembling that military installation in some way: similar structure, similar colors, similar lighting.

Then include this image in a dataset of another net with marker "civilian". Train that new neural net better so that it does lower false positive rate when asked "is this target military".
by kstrauser | 2025-04-24 23:46:00+00:00
> Do we feel so strongly about the heaps of paid IDEs that are completely closed source?

Me, personally? No, because they're honest about it. I use BBEdit and Nova frequently on my Mac. Those are as closed source as it gets. They never pretend otherwise, though. You pay your money and you know what you're getting. VSCode tries really hard to appear to be open source, as long as you're willing to ignore the million places where they aren't. (Python devs: are you using PyLance? I'm talking to you.)

And ironically, those closed editors seem to play more nicely with the ecosystem as a whole. Neither BBEdit nor Nova have ever tried to talk me into installing closed plugins, and the same plugins that work with them work great in Emacs and Zed.

If I go to one bar that charged $5 per beer, and another that gives free beer but makes you rent single-use mugs for $5, even though the end price is identical, the rental bar's going to annoy me horrendously. Just admit what it is and let people judge on their own merits.
by TheAlchemist | 2025-04-24 23:46:23+00:00
Not only in Canada but in the whole Western world.

Travel to the US, Tesla (which is very closely associated to Trump, via Musk) are already collapsing at an unprecedented speed. The only comparable period would be Covid lockdowns. The difference is that in 2020 this was expected to be somewhat temporary, even if the duration was unknown at the time, while this time is much more sentimental - it will take decades to unwind it. It's like trust - it takes a long time to build, but you can destroy it all in a second. And Trump did just that.
by WalterGR | 2025-04-24 23:47:28+00:00
Shells that use readline (such as bash) may have a history search feature built-in and on by default. Try pressing Ctrl-r or Cmd-r and see if a prompt pops up.

You can build your own workflow by hand by doing something like:

1. Turn on your shell’s feature to record command history.

2. Look into its feature set to control things such as how many entries it remembers, whether it remembers duplicate entries, and whether it timestamps each entry. (Don’t forget to restart each instance of your shell, if needed, for changes to take effect.)

3. Install a tool such as fzf that allows interactive filtering of arbitrary text. (Via Homebrew it’s `brew install fzf`. It’s likely something similar for other package managers.) These tools usually: read lines of input, prompt the user to optionally filter but eventually select a line, then just print that line.

4. Write the necessary shell script(s) / functions / aliases to do things like:

+ invoke the fuzzy-finder on the shell’s history file or a modified version of that file (for example, a modified version that excludes bash’s timestamp lines, or that joins them - perhaps in a human-readable format - with the command it timestamps.)

+ process the output of the fuzzy-finder tool (for example, to copy the command to the clipboard, paste it into the shell, or execute it immediately - which will necessitate things like removing any timestamps or additional notation added in the previous step.)

Step 4 can be easy as something approximating (I’m on mobile right now):

fzf “$HOME/.bash_history” | copy-to-clipboard
by ferguess_k | 2025-04-24 23:47:39+00:00
> With that in mind, we have reduced our operating expense and capital spending targets going forward, which I will discuss during our investor call this afternoon.

I wonder what this really means. Operating Expense = R&D + Marketing/Admin + Misc. stuffs.

> In addition, I have decided to make our formal Insights and OKR requirements optional. While it’s crucial for us to stay accountable for our results and receive feedback on our performance, I believe we can achieve this in a simpler and more flexible way. Along the same lines, we will cut back on time-consuming corporate administrative tasks such as non-essential training and documentation.

This seems to be an interesting take. For every company that I worked for, or are working for, the only direction when growth dies down is to introduce OKRs (if there is none), or flash the importance of OKRs.

> It’s going to be hard. It will require painful decisions. But we will make them knowing it’s what we must do to serve our customers better as we build a new Intel for the future – and I have great confidence in the power of our team and our people to make it happen.

Kinda reads like more layoffs, and potentially large layoffs. Maybe it is already ongoing as per my experience with large corporations.
by Wowfunhappy | 2025-04-24 23:48:47+00:00
I'm Tier 4 and I'm able to use this API and set moderation to "low". Tier 4 only requires a 30 day waiting period and $1,000 spent on credits. While I as an individual was a bit horrified to learn I've actually spent that much on OpenAI credits over the life of my account, it's practically nothing for most organizations. Even Tier 5 only requires $5,000.

OP was clearly implying there is some greater ability only granted to extra special organizations like the military.

With all possible respect to OP, I find this all very hard to believe without additional evidence. If nothing else, I don't really see a military application of this API (specifically, not AI in general). I'm sure it would help them create slide decks and such, but you don't need extra special zero moderation for that.
by cultofmetatron | 2025-04-24 23:48:56+00:00
reminds me of this video I found the other day https://www.youtube.com/watch?v=lcjdwSY2AzM&ab_channel=Verit...

if I'm understanding correctly the implications of Emily Noether's work, its an absolute travesty that she isn't famous in the same breath as Einstein and Feynman. Yet this video was the first time I had even heard of her.
by dharmab | 2025-04-24 23:49:09+00:00
There's a great doc on exactly how Zed handles syntax and intellisense-style completions: https://zed.dev/docs/configuring-languages

Debugging isn't in yet, but is actively being worked on and planned for public release before 1.0: https://github.com/zed-industries/zed/issues/5065, there's an active channel in their Discord discussing the development of the feature.
by bobxmax | 2025-04-24 23:50:33+00:00
Since any group of order 3⋅2n3⋅2n has ∣G∣≥3∣G∣≥3, it cannot admit a Cayley graph which is a tree. Hence:

No Cayley graph of a group of order 3⋅2n3⋅2n can have a unique path between every pair of vertices.
by Sohcahtoa82 | 2025-04-24 23:50:42+00:00
"I have a stack of five cubes. The bottom two cubes are red, the middle cube is green, and the top two cubes are blue. I remove the top two cubes. What color is the remaining cube in the middle of the stack?"

Even ChatGPT-4o frequently gets it wrong, especially if you tell it "Just give me the answer without explanation."
by potato3732842 | 2025-04-24 23:51:28+00:00
The vehicle proved to be equal or less rollover prone than the competition (especially the Bronco II which IIRC holds the record for the most rolled over vehicle) in actual service and per the stats compiled over the years by the NHTSA

So it really kind of begs the question what axe CR was grinding. In the lawsuit it came out that one of the writers managed to put it on two wheels incidentally not part of the tests and that they monkeyed with the tests they were running to try and replicate that.
by azemetre | 2025-04-24 23:51:58+00:00
uhh what? Social media has been a thing since the very inception of the internet. What did feel like a massive transition is the massive prevalence of corporatized social media.

I feel like if you asked the a random warez group in 2010 if they would purposely make a "business" friendly version of themselves on a social media site owned by Microsoft they would have laughed in my faces.
by scarface_74 | 2025-04-24 23:52:39+00:00
I’ve been married for 15 years so I couldn’t even fake a dating conversation. This is the best I could do with using GPT to simulate a casual business dinner.

I could see it helping me practice small talk if I were dating.

https://chatgpt.com/share/680acde9-e458-8010-b6f2-33c970a946...

For what it’s worth: I was naturally an introvert before I got into consulting five years ago. I had to learn how to do small talk and listen for cues.

Footnote #2: “CloudSync” is not a real company as far as I know.
by mikeyouse | 2025-04-24 23:52:49+00:00
We need a TRC from the IRS to accept funds from some customers… we applied for that in January for 2025 - the 6/8 week estimate is now doubled.. the phone number that used to dump you into a queue to be answered in an hour is disconnected now. The IRS is not going to be chasing down non-compliant companies in the near future.
by hayst4ck | 2025-04-24 23:55:48+00:00
Pedantically, it would be a second dimension, but I don't think that it is orthogonal, I think it's an aberration of the result of "truth as authority."

As the authority figure deviates further and further from reality, it makes them increasingly hostile to those who reason, but it also creates a cost to acknowledging reality. The cultists would have to acknowledge they were suckered or otherwise deficient. All those contradictions that were ignored protect their alternative reality because they represent pain that must be overcome. Without being willing to face the pain of being wrong and all those you have harmed through being wrong, you must stay in your alternative reality.
by CGamesPlay | 2025-04-24 23:56:52+00:00
You may be interested in copying some of the usage patterns from my similar project: https://github.com/CGamesPlay/llm-cmd-comp

Instead of being a separate command, I released a set of key bindings you can push that start the LLM prompt with your current command line, and if you successfully accept the suggestion, replace your command line with the result, bypassing the manual clipboard step, and making it so that the result goes into your shell history as a normal command.
by rahimnathwani | 2025-04-24 23:57:03+00:00
The US has three branches of government.

If you believe the NSF is independent then you are implicitly agreeing with those who claim there is a fourth 'deep state' branch of government that operates without accountability.

Separately: I cited the law that says the president can fire the head of the NSF. So I'm not sure why you'd conclude that any disagreement would be a problem for the president.
by Mystery-Machine | 2025-04-24 23:57:08+00:00
The components looks really cool! However, you're using dark pattern by tricking the user with "Login to access the code" button. After I've gone through the process of signing up and logged in, I still couldn't access the component code. The same button then said "Unlock the code". Clicking on the button takes you to the Pricing page where you can pay $50 to see the component code. That's a dark pattern.
by fr4nkr | 2025-04-25 00:00:23+00:00
My point about VSC is that brands itself as "open source" when Microsoft clearly intends for it to have a proprietary, tightly controlled ecosystem. It's not just RMS-unapproved, it's practically a lie. You can use it as a FOSS editor, but only if you are willing to accept a vastly subpar experience. Oh, and they've started cracking down on people using their proprietary VSC plugins in derived editors, too.

I expected it to be a little less convenient to leave Microsoft's beaten path. I did not expect it to be a massive waste of time. This is what I meant by futile. Not only is it apparently very brittle, it's missing large swaths of VSC's ecosystem. Hell, I don't even know if the extension I wanted is available on OpenVSX because it's still down!

If Microsoft hadn't openwashed their product, I wouldn't care nearly as much.

Besides, Emacs still provides a streamlined system for managing packages on top of being hackable. It even makes installing and upgrading packages straight from a Git repo easy. Sometimes you can have your cake and eat it too.
by spiritplumber | 2025-04-25 00:01:40+00:00
This was my experience in the "maker movement" in the 2010s. You may know me from OpenRov, RobotsAnywhere/CellBots, and the NAVCOM AI autopilot. But you probably don't.

Who got attention? People who spent 20% of their time making and 80% self-promoting.
by brucedawson | 2025-04-25 00:01:49+00:00
Google Maps' database contains nonsensically placed addresses of non-existent buildings. Worse, however, is that it also contains entries for real buildings that are mapped blocks or kilometers away from their actual location, leading to real-life consequences.

After two weeks of failing to fix the most significant error that I found I decided to blog about the issue in hopes of getting the attention of the Google Maps team, and also to share what I found.
by sillywalk | 2025-04-25 00:03:22+00:00
The Unisys Clearpath/MCP runs on Xeons, so I don't think there is CPU hot-swapping.

I don't know about physically removing a drawer, but on IBM Z, if there is a un-recoverable processor error, it will be shut down, and another spare processor brought on-line to take over, transparently.

I don't know how licensing/costs ties into the CPU/RAM spares.
by gdevenyi | 2025-04-25 00:03:29+00:00
> Homeschooling: where someone unqualified to teach every subject toughs through it and there are absolutely no standards

And if my wife and I are teachers? With postdoctoral degrees?

> > School choice: How we get taxpayers to pay for your kid's private and/or religious education

Seems a little more fair than the current state where I pay both taxes for public school and tuition for a private school. You do know that there's lots of non-religious people who want to take an active role in their children's education?

> > I'm okay with 1 if you admit that you can't teach your kids every subject, and get help where you can, but 2 is unacceptable.

I deny you. On both points.
by happytoexplain | 2025-04-25 00:05:03+00:00
It consistently amazes me how much other people seem to not give a shit about appliances/tools. Everything seems to be low-lifespan garbage or have a fatal flaw or be over-featured and inconvenient to use or have inexplicable design. It seems like even the businesses who are actually trying still have issues - like all generational knowledge is gone.
by trollbridge | 2025-04-25 00:06:22+00:00
What baffled me was - why on earth would you just come out and say that? It's kind of hamfisted and not entirely true either (the CPB had a board with members nominated by the President, amongst other government officials, although it's technically true that the CPB is a private institution, much like the Federal Reserve).

Finally found a recording of one of these:

https://www.youtube.com/watch?v=RL5zcOtwTjg

(This one just had the text, and not the voiceover.)
by jfengel | 2025-04-25 00:06:41+00:00
There are at least five different Mary's in the Gospels. She was not the prostitute, but the prostitute was also a Mary.

It is, as you say, a misogynist way to dismiss the many women who were important during Jesus' ministry and during the founding of the early gentile Churches. But the book sure doesn't make it easy to keep em straight.