skysight-inc/HackerNews huggingface dataset:
> sunrise and sunset, which is obviously solar

Is it now?

I mean, yes the sighting of the Sun is a solar-related reckoning of time, but the solar calendar is based on the Earth's orbit around our Sun and the way that orbit changes the Earth's relative axial tilt in relation to the part which faces Sunward, yes?

On the other hand, a sunrise and sunset are not so much dependent on our orbit at all, but your particular latitude and longitude at any given point in time. Sunrise and sunset, in terms of orbital mechanics, aren't dependent on Earth's position in space or its orbit, but on the observer's position on Earth: where either the terrain/shadow obscures the Sun from our view or it doesn't. You can easily modify the phenomena of sunrise or sunset by traveling elsewhere, regardless of the solar calendar's season or our axial tilt.

Our solar and lunar calendars are reckoned by solar and lunar activity, and Earthbound Leadership adjusts those calendars so that they're calibrated to that activity. On the contrary, with our civil time fixed in an abstract 24-hour cycle and sliced up into 60-minute time zones (give or take), sidereal time is sort of divorced from clock time, and we rarely attempt, in modern times, to calibrate civil time according to the Sun's actual meridians at all -- but we do, in fact, find it necessary to compensate for variations in the Earth's rotation.

Ask any astronaut about sunrise and sunset, because for a satellite orbiting Earth, the Moon, or a probe which is traveling somewhere, those are alien or malleable constructs.
That's a scathing reply that seems unwarranted. If you start with the question "why isn't fire on the periodic table?" you might answer, "fire is a process" but if we probe slightly we can find that all the elements of the periodic table are processes and not static unchanging entities. That is the truth highlighted by quantum physics and the makeup of atoms. I'm not certain why you felt entitled to post a rude comment on my work bridging 2 disparate domains in a sensible and logical way.
The caching is atrocious and seems to not correctly restore our cache randomly in parallel jobs in the same run. It’s the worst CI that I’ve ever used.
To import the same German car into France the cost is (cough) 20%.

No, the cost to import is 0%. The 20% VAT you are talking about here applies equally, regardless of whether the car is imported, or (cough) French. Again, VAT is just a kind of sales tax, and you pay sales tax for all goods, imported and domestic.

To import an American car into France the same 20% is paid plus a 10% import fee for a total of 30%.

No. Importing an American car to EU is 10%, regardless of which country you import it to, and then it's 0% to move it between EU countries. As I repeatedly said, you pay 20% VAT on any car, imported or not. Often, you actually pay additional registration taxes on top of that. For example, to import a car to Poland, on top of 10% EU customs duty and 23% Polish VAT, on a car with engine over 2000cc, you'll pay additional 18.6% excise tax upon registration. So, a $25k Chevrolet Malibu imported from US will cost $38k to buy in Poland.

To answer your question about protection using the numbers above, companies outside the eu that want to compete at an equal price with an equivalent German car would need to do so with a product that is at least 10% cheaper.

Yes, EU does apply protectionist tariffs, but my point is that they are not German tariffs, they're EU-wide. Germany might benefit from these more than countries without car industries, but most large EU countries have substantial car industry. For example, Poland exports $40B of vehicles and vehicle parts each year.
Heat is the real killer for LEDs. Most LEDs sold for home lighting do not have very good thermal regulation, possibly as a planned obsolesence "feature".
This leads to a more fundamental observation.

That if unionization is so cleary net positive for most workplaces, then it wouldn’t need any sustained agitation campaigns in the first place.

As any company that unionizes would near automatically gain a huge competitive advantage.
HTML: https://developer.mozilla.org/en-US/docs/Learn_web_developme...

CSS: https://developer.mozilla.org/en-US/docs/Learn_web_developme...

JS: https://developer.mozilla.org/en-US/docs/Learn_web_developme...

They even have courses for frameworks.

React: https://developer.mozilla.org/en-US/docs/Learn_web_developme...

Svelte: https://developer.mozilla.org/en-US/docs/Learn_web_developme...

Vue: https://developer.mozilla.org/en-US/docs/Learn_web_developme...
Show HN: Journal – A retake on personal organization tools
Hi everyone,

I would like to share the IOS release of Journal, a personal organization app I have been working on. I like to think of it as a personal database.

I drew inspiration from traditional file systems which let you store and organize arbitrary data using files and folders. In Journal, instead of files, you store items which could be tasks & events (including recurring ones), notes, links or photos and we plan to expand support for even more data types and file formats in the future.

Organization is built around sections—a hybrid between folders and tags. Your items can belong to multiple sections and sections can be nested. It’s a nice experience having a single, flexible way to categorize data. It removes the constant mental debate: Should I use tags or folders? Should this go in A or B? Instead, you can organize things in a way that feels natural without overthinking it.

The app also includes built-in “mini-apps” like a calendar, diary, gallery and productivity dashboard. One experimental feature also introduced is called Momentum, it’s like apple rings but for productivity.

You can try it out on App Store: https://apps.apple.com/ca/app/makerlab-journal/id6739819051

PS: It's offline first but does require an account so we can sync your data.

Would love to hear your feedback!
While I agree with this, I don't feel sorry for the normies.

I don't consider those guys are leaders.

I run an extremely profitable company because most other companies in tech are not run by people who understand technology so it's very easy to make something substantially better than them and get lots of money.

I know a bunch of other people who are looking at this whole vibe coding thing with great interest and raising teams right now to systematically attack these vibe coded apps and either sell them security or make them pay.

As a true old-school hacker, at every point in time, you can figure out what the normies are doing. Both the users and on this side of the table, the people who are building software, they are both normies.

So I think those who really understand software and technology figure out an audience who are interested in high quality software and either give it to them for free or sell them.

Don't get distracted by what the normies are doing. They have always been fools.

Back in the day when I was involved with some of the old Swedish crew we learned really fast that script kiddies are everywhere and the majority are basically unaware.

For example, there are a bunch of people who claim to be on the left but still use Chrome instead of Firefox. They cannot give up their Facebook because it gets them good deals in their local marketplace. These people deserve the world that is coming to them. I gave up on them a long time ago. If you haven't I would love to know why.

For us hackers we will always find a way.
Can't comment on the China info, but I looked at the travel advice page for Thailand because I know more about living there. The advice seems badly out of date. The Thailand - Cambodia dispute and armed conflict over the Preah Vihear temple area got resolved over a decade ago. Bangkok has not seen large political protests in several years.

The Canadian travel advice page for the USA doesn't mention increasingly aggressive ICE officers or the recent detentions of Canadian citizens, or the anti-Canada rhetoric from the administration.
Isn’t this the way regulated utilities work?
you need to tweet at musk
Thank you, very helpful!
You don't think it's changed? You've been here about as long as we have. At some point you can't rely on it being a noob illusion if a place actually does change. The guideline is not a magic incantation that prevents it from never becoming false. Snarky replies used to be routinely downvoted swiftly, now they are not.
Not from what I've heard, see [0] for example

In 1993, Ukraine wanted to "dismantle only 36 percent of its delivery vehicles and 42 percent of its warheads, leaving the rest under Ukrainian control." Only US promising them more money got them to change the position.

[0] https://www.armscontrol.org/factsheets/ukraine-nuclear-weapo...
> It's like saying that gardening hasn't taken off because most people buy their vegetables at the supermarket. The IndieWeb doesn't need to "take off" to be valuable to those who participate in it.

I have a different viewpoint on this.

The non-independent web which is largely controlled by faceless corporations has never been bigger or more able to hurt the average person. Someone who gets locked out of their Google account today is at risk of getting their entire life turned upside down -- and they don't even get to argue their case via phone call!

Thus, fostering an independent web and making sure more and more people can build their presence outside of the BigCorp stranglehold can be said to be more like growing vegetables in wartime, similar to a victory garden [1]. It's more of a necessity than something that's great to have.

Sure, no one from the IndieWeb organization signed up for this mission. But they, along with things like RSS, Matrix, Mastodon, and the Bluesky protocol are the nearest glimpses we have of an open web that exists outside regulation-capturing trillion-dollar corporations. So I would entreat their leaders to be a bit more forgiving if critics express frustration at the difficult user interfaces.

-----

[1] https://en.wikipedia.org/wiki/Victory_garden
Ask HN: Software for Version Control of Documents
Hello HN community! I would love to know your software of choice for managing versions of documents, sheets and presentations.

If you love your current software solution, could you please share your experience about it?

I have created a version control software for documents too! Your valuable comments would help me add more features to it.

You can download my software for free from https://hideload.org
> But most jobs sure do seem pointless.

Do you include the private sector?

Why do corporations engage in this kind of charity? Do we need more competition?
https://archive.is/aTHR5
AlexNet Source Code
Here it is, the original developer quit in a long post. https://marcan.st/2025/02/resigning-as-asahi-linux-project-l...

My read is this is a case of a person taking on a huge project and burning out emotionally.
For anyone else reading this, librera reader + sherpaTTS are both FOSS android apps and can read anything librera can open on an ad-hoc basis, with no need to futz with files, just load your ebook bookmark and hit play.

SherpaTTS has a bunch of different models (piper/coqui) with a ton of voices/languages. There's a slight but tolerable delay with piper high models but low is realtime.
It is widely known and has been utilized extensively for decades because the junction is more efficient when cool. Running it at a lower duty cycle allows for higher peak current/light output.
Yeah I agree. On the spectrum of "copying" to "inventing" I concur this is more like "scaled down version" of the aerospace. Maybe "draws heavily".
Maybe they will find that 1.4 billion missing from Tesla while they're at it.
Some people got a career path like this, and in fact I either personally have or know someone who has experienced all of the things you're listing here as perks. I'd even say you likely get all that if you're in the 95th percentile of seniority and job stability among devs, or if we're talkin' about ten or fifteen years ago. Sounds like you're in one of those categories? Congrats. I'm not doing terribly myself either, albeit not quite that well. This always seems to be the argument. "How very privileged we are! Devs have so much going for us, we ought to be grateful! Clearly there is no reason we should collectively bargain." I dunno. I'm not into doing oppression olympics about my working conditions? There are still things that suck about how labor arrangements are in this profession, and this has become especially apparent during the recent multiple-year enormous layoff cycles in tech, and this is also indicative that we are, as a profession, perhaps losing some of the very scarcity-driven leverage that creates these conditions. Also, this kind of view really seems almost explicitly designed to buck solidarity with people who, in the same career path, don't have as many options as us, possibly because they are more junior or have nontraditional backgrounds or whatever. In fact, working conditions having high variance between devs for various reasons is one of the problems unions try to solve
I’m not arguing either side. Just saying that the meta discussion is a discussion that the guidelines try to discourage.

IOW, it’s not really relevant to the article, so it’s not promoting curious, interesting discussion.

So both this discussion as well as the snarky comments you’re arguing against are both not following the guidelines of trying to keep discussion curious and interesting.
I think the point made there was that the results you see will differ based on where you are in the world, on both search engines. Admittedly I haven't used Kagi so I'm not sure this is the case, but I believe that was the point.

Thanks to all who responded to the post though. I can see this answer in my results, just further down the list than most people are suggesting due to whatever targeting I'm receiving.
This experience is one of the reasons people love Phoenix LiveView so much.
Tone it down, you are right on the verge of committing a non-crime hate incident.
The act of being a vtuber where vtuber means "virtual youtuber". Essentially youtubers or streamers in general who don't show their face but instead use an animated character model that is controlled by the user's face and/or body.

Some fancier vtubers use mocap suits for this but generally it's done with phone or desktop based face tracking software. That then maps to control inputs for manipulating the rigged model.

Examples:

- https://www.youtube.com/watch?v=ELjB3xWC3F0

- https://www.youtube.com/watch?v=944BE6_Brks

- https://www.youtube.com/watch?v=kxKH3EsI4dM

- https://www.youtube.com/watch?v=e818LgnJ9rI
London's Heathrow Airport announces complete shutdown due to power outage
Could that become a problem with any electronic product made by US companies? If their government demands Apple, Google & Co. to remotely brick computers, phones, and tablets for whatever reason, why should I bother buying them in the first place?
How about direct control of human lives?

Therac-25.

Toyota unintended acceleration.

Tesla full self crashing.

Tesla software locks trapping people in lithium fires.
Thanks, this led me to the video on "Automated fibre placement technologies for aerospace applications" from the Bristol Composites Institute/Institution of Mechanical Engineers, which is really impressive and shows that this sort of process and carbon fiber layup in general has come a long way with robotics.
Ask HN: How to send and receive packets from wintun
I want to create my own tunnel using wintun, I went through wintun examples, I want to ask like is it a good idea to use npcap with wintun in order to send and receive data
Show HN: Penguin-rtl – Verilog equivalence checking locally in the browser
Hi HN! I made this little web app for formal equivalence checking of Verilog that runs totally locally in the browser.

I initially wrote it for myself to (confidently) rewrite clumps of combinational logic. The idea is that the same logic can be implemented in many ways, but not all will map optimally to FPGA resources.

This is also something I wish I had during my digital design class, so I'd be thrilled if a student found some use of it.

It’s powered by YoWASP, a WASM package of Yosys. Yosys is an open-source logic synthesis tool with extensive Verilog-2005 support and built-in formal verification capabilities.

Yosys also has some interesting work in verification for designs with sequential elements, which I’ll be exploring next. I’m also looking into SystemVerilog/VHDL support using plugins.

Happy verifying!
Assume there is a ground truth to all knowledge and it is finite. Above that is an infinite amount of recombination, remixes or transformations. Most of the ground truth has been uncovered in tedious small steps over centuries growing to a vast library. Now assume none of us can hold it in a single brain.
Just some time ago people thought a computer is a middle class woman performing calculations, tables of hard to calculate functions. Everyone can do these calculations on a phone, but only a few do them in their head, even less look them up in a table. Now the computer turnes into a cogigtator. It simulates a thinking mind, that holds more than a brain could. It allows an even wider populus access to this vast library in a simplified manner. Shouldn't this be an overall improvement?

Obviously the snake bites its own tail but eventually another snake will eat it whole.
The article provides no details to assess whether or not there was good reason, so this is really quite a futile overall conversation.
Scala, in and of itself, would have entire revolutions every year.
Don't alienate! Educate!
Counterpoint: it's super clear and easy to read on Firefox mobile. No popups or interstitial ads. Yes it's quite lengthy and there are many pictures, but you know what you're getting into with any long article like this one. This is exactly what I want for reading on mobile.
There is an ocean somewhere near Jupyter or Saturn.
Management should not be listening to technology advice from recruiters.
> _heimdall: We should be striving to build a world where people don't have to feel forced into meaningless jobs, not a system that encourages it.

> If meaningless jobs are important because its the only way people can make money to pay for all the shit we think we need to pay for, or because they haven't yet been offered the time and freedom to find their own sense of purpose, let's focus on fixing the root cause(s) there.

^^^ 100% yes! That! ^^^
Someday I’ll have enough “karma” to downvote things like this.

The agent should respect robots.txt no matter who is using the Robot.
Yikes!

Just gave this a try and it indeed does not work.

When I recently upgraded to the iPhone 16 I was cautiously optimistic that maybe Apple would finally deliver on some of the tech promises of a personal "agent" in my pocket. It seems that all we really got was a better voice transcription and slightly worse intent understanding.
There is a huge category of computer science problems that can be solved with the same algorithm (and a conversion). Graph coloring is probably the easiest of those problems to explain.
I’d be very happy if they could introduce disk encryption by default or maybe with a yes/no question during the installation. Because the current way to do it is a little bit to difficult and unsafe for me to be honest:

https://davidalger.com/posts/fedora-asahi-remix-on-apple-sil...
Presumably this is referring to him downloading one of many different data breaches that are out there, and yes, many of the services that have had their password databases leaked had terrible security practices. Couple that with password reuse across services by the victims and he'd be able to guess passwords for the services he was actually interested in based on the passwords he got from the data leaks.

Also, note that the article is probably misusing the word "encrypted"—you usually hash passwords, not encrypt them, and plenty of services will have used a bad hash function or failed to salt their passwords, opening them up to easy brute forcing with rainbow tables [0].

[0] https://en.wikipedia.org/wiki/Rainbow_table
iPhones were being stolen off porches right after delivery, and now we know how
A function like `closeFile` will consume the linear value but not produce a new linear value - it returns `Unit`. It does this via a destructuring assignment (For example, File would be a record type with a field named handle).

function closeFile (file : File) : Unit is
let { handle } := file; (* This consumes the file *)
fclose(handle);
return nil;
end;

A module will usually provide opaque types, with the actual definitions encapsulated by an implementation file, similar to how C and C++ do it. Users of this library don't know what is in the type `File`, so they're unable to use the destructuring assignment themselves - so their only option is to call `closeFile`, or the compiler will complain that the linear value is not consumed.

You can of course, call `closeFile` from `g`, and then it's fine to make `g` return Unit.

function g (file : File) : Unit is
let file0 := (* do something with file *);
return closeFile(file0);
end;

The compiler actually enforces this. If g takes a `file` argument and returns Unit, then it MUST call `closeFile`. Failure to do so won't compile.

For a real example, check how the RootCapability type is defined in `builtin/Pervasive`[1]. It's declared as an opaque type in the .aui file, along with `surrenderRoot`. This is all the user of the type knows about it.

type RootCapability : Linear;

function surrenderRoot(cap: RootCapability): Unit;

In the .aum file both the type and surrenderRoot are actually defined.

record RootCapability: Linear is
value: Unit;
end;

function surrenderRoot(cap: RootCapability): Unit is
let { value: Unit } := cap;
return nil;
end;

[1]:https://github.com/austral/austral/tree/master/lib/builtin
Thanks! I looked at MutationObserver and wondered about the example:

if (mutation.type === "childList") {
console.log("A child node has been added or removed.");

How can such changes occur to the DOM that aren't brought about by other code on the page? And if other code on the page brought them about, why didn't it also perform whatever the MutationObserver is doing?

Anyway, not to get too mired in details... I've done no front-end dev, but I'm building a mobile app that'll need administrative pages for me (or, hopefully, other staff) to use. Is there a "next-level up" front-end layer that provides convenience functions but still isn't a bloated framework liable to be obsolete?

I like to hand-roll stuff from the basics, by all means, but I already have my hands full with a back end and a client application.
I do love (1) the non-commercial and (2) the long form non-realtime aspect of the indie web but I still wish it was more accessible to other nerds, not just in tech. It’s also hard to search and to connect with people.

A lot of the modern features of you’re-the-product social media aren’t inherently bad. They’re just made into products designed for engagement, fomo and addiction, often with minimal human oversight (the algorithm finds our weak spots on its own). I think being 10-20 years behind the ”competition” in features is holding us back.
You're on the right track!

The length of the cycles mod 10^k is simply Euler's phi function of 5^k: 5^(k-1) * 4 (or a factor of phi(5^k); AFAIK it is always exactly phi(5^k), although I don't have a proof of this handy).

The length of the even subset grows roughly as 2.5^k * 1.6. To see why, consider that the length of the cycle grows by a factor of 5 when incrementing k. Each all-even-digit power mod 10^k leads to 5 numbers mod 10^{k+1} which all share the same last k digits - i.e. their last k digits are even. We can model the k+1'th digit as being random, in which case we expect half of all those new numbers to consist entirely of even digits (one new digit, which is either odd or even, and k digits from the previous round that are all even). Thus, when incrementing k, the number of all-even-digit powers in the cycle will grow by approximately a factor of 2.5.