MurphyA/hacker-news huggingface dataset:
by sails | 2026-01-03 06:44:43+00:00
Adding from Mac perspective, I am also keeping an eye on Linux. I’ve hit a wall with Mac window management, and find the operating system just gets in the way for professional use across multiple of their digital “desktops”. I have no useful way to isolate work streams, and would gladly move to something better.

The blocker for Linux for me as someone who wants some level of reliability has always been fiddling with low level config, but now with Claude Code, low level config appeals!
by gamblor956 | 2026-01-03 06:45:05+00:00
This website is absolutely nonsensical and I would not recommend it to anyone to understand how GAAP or IFRS accounting works. It might be useful for someone wanting to learn unicorn fantasy land accounting.

Double-entry accounting is basically checksum. For any transaction, the total in and out of all accounts involved in the transaction should be zero. If it's not, you have an error.

Conceptually, one of the hard parts to grasp and what many accounting students struggle with in the beginning is that in accounting financials, asset accounts have the opposite polarity as revenue accounts. This is because revenue is treated as an item that flows into Equity (in the famous equation Assets = Liabilities + Equity). The cash earned from a revenue-generating transaction is a (positive) asset, and so to balance it you need that revenue amount to be a negative somewhere in the books. This just affects the accounting financial statements (like the income statement or balance sheet; in the books both numbers would be entered as positive amounts in a transaction known as a "journal entry" in which you report the increase to one account and the offsetting decrease to another account.

Credit = money flowing out of an account or creating a new liability = decreases asset and expense accounts but increases liability and revenue accounts

Debit = money flowing into an account or reducing a liability = increases assets and expense accounts but decreases liability and revenue accounts
by drysine | 2026-01-03 06:45:49+00:00
That's not what happened.

"Against Soviet protests, the two English-speaking powers pushed for a heightened economic collaboration between the different zones, and on 1 January 1947 the British and American zones merged to form the Bizone. Over the course of 1947 and early 1948, they began to prepare the currency reform that would introduce the Deutsche Mark and ultimately lead to the creation of an independent West German state.

When the Soviets learned about these plans, they claimed that they were in violation of the Potsdam Agreement, that obviously the Western powers were not interested in further regular four-power control of Germany and that under such circumstances the Allied Control Council had no further purpose." [0]

[0] https://en.wikipedia.org/wiki/Allied_Control_Council#Incapac...
by rzerowan | 2026-01-03 06:45:53+00:00
I always find any discussions which do not adequately desrcibe the terms cuious. Thers a reason why academic articles usually stress on the 'term of art' to make exact what is being addressed and the scope.
Going forward as far as 'Democracy' i personally think not many countries can claim to have been/are one. If we are definig it as a system where the majority make decisions while minority rights are protected.

For one the US has only ever been aspirational to those ideals since its founding and objectively with Citizens united eventhat pretence has dissolved [1] and moving to out and out a collection of oligarchs that pay lip service to any democratic institutions/norms.

To bring it back to the article after WW2 , Japan has been basically run by one party backed by the US , which still holds veto over key military/financial decisions. Certainly if it was a democracy this situation could be changed by the vote (eg bases on okinawa) , that it persists shows the hollow nature of the derciptor.

What articles like this show is the kabuki theatre is incresingly being rejected by the deimos worldwide who are seeing through the tricks in realtime - hence the plethora of cencorship laws going live obstenively to tackle lewd images/terror etc.

[1]https://www.upi.com/Top_News/US/2014/04/16/The-US-is-not-a-d...
by utopiah | 2026-01-03 06:46:17+00:00
AphyOS? OK checking "Free & Open Source Software" cool... but no link to repositories on their Webpage, not a great sign. Found https://github.com/orgs/AphyOS/repositories but 2024 so clearly not the main repos, found https://gerrit.aphy.ag/admin/repos via https://aphy.guide/docs/developers/platform/source-code-mana...

So... FLOSS doesn't mean external contributions but did anybody review this, like security audit, submitting issues, anything? It's the first time I hear about it.
by some_furry | 2026-01-03 06:48:00+00:00
> Of course you omit the QR code issue in your response,

What? You mean a vulnerability that was mitigated in February of last year? In what sense am I obligated to comment on such a thing? You use the verb "omit" as if such an obligation exists. This is delusional rhetoric.

First you complain about tptacek choosing to comment about a tangent, and then you get upset that I didn't entertain your tangent. Pick a lane.

> just like tptacek tried to deflect in the other subthread after his Cryptocat objection was refuted.

I didn't see a refutation.
by compounding_it | 2026-01-03 06:49:11+00:00
7621 devices include hardware NAT. And anything Qualcomm in the recent past does. Most home WiFi 5 and above routers can do hardware NAT just fine. Hardware NAT allows for using cheap and old cpus for CPE. ISP hardware is a different story. Some decent routers that can do that which don’t cost a lot.

https://www.reddit.com/r/openwrt/comments/1lopamn/current_hi...
by fruitworks | 2026-01-03 06:49:56+00:00
> That's a non sequitur. I can have a both a firewall and a NAT. The two layers are better than one because at least my address is shouldn't be routable even if I failed to configure my firewall correctly.

You have two layers of indirection and one layer of security. If you failed to configure your firewall correctly, you would be better off without NAT because you would become aware of it quicker and not rely on NAT.

NAT doesn't really do anything other than address conservation because of NAT-punching techniques like STUN/TURN/UPnP, which are nessisary because NAT's features are bugs.
by stateofinquiry | 2026-01-03 06:50:12+00:00
I have the same confusion as you do. Note, I am not ignorant about Linux or MacOS. I ran Linux as my main OS from 2001 - 2015, still run it on a server. MacOS from 2015 - 2021. Since 2021 I am on Windows for my main machine (a laptop) and my gaming desktop.

Win 11 seems fine to me. I do see Copilot appearing everywhere. I don't see ads from MS at all, though- sometimes my vendor driver-management software asks me if I was to extend my warranty. Not Win11 fault, though. Start menu seems fine, phone integration is nice, OS runs very stable (in the very early days of using Linux 20y ago I marveled at how much more stable it was than Win98! That gap is gone now as far as I can tell).

My suspicion: I am paying for M365 (or whatever they call it now) and so they don't advertise it (or anything?) to me. I don't see CandyCrush or other random things added to my machine. All seems OK.

I've read that Win12 will be subscription-based. Maybe I am personally already there. For now, M365 offers me good value- I use MS Office and OneDrive. But if this changes I can see the equation balance shifting and I will then change platforms again.

TMI, I left MacOS because of Gatekeeper and the inability to repair hardware. Before that I left Linux for work interoperability and regressions I saw on my personal mobile hardware. Neither were "bad", really, I have experienced different trade-offs among the three choices I have used. For now, Win 11 is working just fine for me, with no fuss.
by alabut | 2026-01-03 06:50:49+00:00
I wish that were true but if ease of use is all that mattered, then micro.blog and other “Indieweb in a box” services would be as big as Bluesky, or maybe even at least as big as Mastodon.

The truth is that we’re social creatures and for social products, that means hanging out where other friends are already hanging out. It’s my personal thesis that no matter how matter how much we lower the bar to participate in the indieweb, fediverse, or other non-corporate platforms, it’s going to be inherently niche.

Which is fine. Small is beautiful.
by dwohnitmok | 2026-01-03 06:51:44+00:00
My other reply is so long that HN collapsed it, but addresses your particular question about how to create the mapping between finite-length strings and the real numbers.

Here's another lens that doesn't answer that question, but offers another intuition of why "the fact that there are a countable number of strings and an uncountable number of reals" doesn't help.

For convenience I'm going to distinguish between "collections" which are informal groups of elements and "sets" which are formal mathematical objects in some kind of formal foundational set theory (which we'll assume for simplicity is ZFC, but we could use others).

My argument demonstrates that the "definable real numbers" is not a definition of a set. A corollary of this is that the subcollection of finite strings that form the definitions of unique real numbers is not necessarily an actual subset of the finite strings.

Your appeal that such definitions are themselves clearly finite strings is only enough to demonstrate that they are a subcollection, not a subset. You can only demonstrate that they are a subset if you could demonstrate that the definable real numbers form a subset of the real numbers which as I prove you cannot.

Then any cardinality arguments fail, because cardinality only applies to sets, not collections (which ZFC can't even talk about).

After all, strictly speaking, an uncountable set does not mean that such a set is necessarily "larger" than a countable set. All it means is that our formal system prevents us from counting its members.

There are subcollections of the set of finite strings that cannot be counted by any Turing Machine (non-computably enumerable sets). It's not so crazy that there might be subcollections of the set of finite strings that cannot be counted by ZFC. And then there's no way of comparing the cardinality of such a subcollection with the reals.

Another way of putting it is this: you can diagonalize your way out of any purported injection between the reals and the natural numbers. I can just the same diagonalize my way out of any purported injection between the collection of definable real numbers and the natural numbers. Give me such an enumeration of the definable real numbers. I change every digit diagonally. This uniquely defines a new real number not in your enumeration.

Perhaps even more shockingly, I can diagonalize my way out of any purported injection from the collection of finite strings uniquely identifying real numbers to the set of all natural numbers. You purport to give me such an enumeration. I add a new string that says "create the real number such that the nth digit is different from the real number of the nth definition string." Hence such a collection is an uncountable subcollection of a countable set.
by zzo38computer | 2026-01-03 06:52:13+00:00
I had independently invented diagrams like that many decades ago. I had also made up a "matrix accounting", which uses a new accounting equation:

<BAL|FSV> = 0

(It is assumed that <BAL| remains constant but |FSV> changes over time.)

However, I think that both the diagrams and the matrix accounting are not really practical compared with the double entry accounting, but that does not mean that they are not worth anything.
by tjpnz | 2026-01-03 06:53:25+00:00
Got my (Japanese) wife to vote for CDP at the last election after years of complaining about the LDP as a non-voter. She managed to get a few of her friends out too by merely expressing her intention to vote - nice work. There was no change in government but the LDP were given a bloody nose. Whether that resulted in anything good remains to be seen (as a foreign resident I'm keeping a keen eye on it).
by alabut | 2026-01-03 06:55:00+00:00
That’s a good take and is underrated. It’s what has kept me from completely automating everything in favor of a semi-automated approach instead of doing the “spray and pray” approach of blasting everywhere.

Follow-up comments and engaging with others after posting is big too. People that “syndicate” without actually engaging on each platform are like some weird proselytizers that show up to a house party and hand out flyers to their own weird shindig without talking to anyone there.
by calmbonsai | 2026-01-03 06:55:32+00:00
FWIW, as a former NTSE, I abandoned Windows in the late '90s when, within a 2 year period they:

- Embedded IE making multi-version browser testing an absolute PITA

- Rolled out WGA and screwed up bulk-licensing and multi-tier/versioned licensing for cluster operations and emerging mobile hardware

- Allowed arbitrary code to be embedded in the registry
by rich_sasha | 2026-01-03 06:55:34+00:00
I think more broadly, we're (re?)discovering various weak spots in democratic governments, and all at once globally.

Ones that strike me include:

- Most crucially, democracy relies on an educated electorate, but access to really excellent education is minimal globally. This exposes democracies to disinformation and populism

- Democracies are not great at long-term investment and planning, due to the rapid election cycle and politicians needing to manage polls in ~real time

- We long relied on media as gatekeepers and curators of sound political analysis and facts, but a revenue race to the bottom means media now chase ragebait and owner politics instead

- The uncomfortable truth is that a lot of successes of Western Democracies happened when they weren't all that democratic. Anything prior to 20th century was really plutocratic at best, then there was a slow expansion of the vote, but even then, there simply weren't that many terrible options to vote for. Even an uneducated electorate can make a good choice when all you can do is choose between two decent options

- Not entirely related, but I think shift from values-based societies to consumption/hedonistic societies broke the unwritten contract of democratic systems, where you vote not for your immediate benefit, but for some kind of societal one.

As Churchill supposedly quipped, democracy still seems like the least bad option, but that shouldn't mean we don't discuss improvements. I don't really know where we go from here - pumping lots of money into education would possibly do it eventually - but awareness is a good first step to fixing.
by _mig5 | 2026-01-03 06:55:46+00:00
Dang! Seems strange.. I guess you are not using password-less sudo? (I'm interested to understand how Ansible itself works for you then too in such a setup, you have it prompting for a password when it invokes sudo?)

Yeah, I haven't been confident enough with Forgejo's federation capabilities yet to open up PRs/login etc. Maybe soon. Trying to avoid using Github and the other big providers if I can help it :) but I recognise it's a hindrance..

I'll happily take a patch and credit you, if you can be bothered, but I understand if not. Feel free to email mig@mig5.net
by tjr | 2026-01-03 06:55:58+00:00
I think that limitless programmer productivity is a questionable goal.

Extrapolating these numbers, perhaps Employee B is so skillful that, if B did use $2000/month, B could get not 5 features done but 100 features.

That sounds great as an isolated metric, but does the user want 100 new features each month? Does marketing want to advertise 100 new features each month? That sounds like quite a bit.

Or what if B spent $4000/month and completed 200 features? Or spent $10,000/month and completed 500 features?

The software product pipeline has never really had to consider this question too much, because it has usually been the opposite problem: planning to ship 10 features in a month, and only completing 8. Well, if we can now complete 100 features in a month... is that good? Do we actually want to ship that?

Perhaps some discussions need to be had, but there probably should still be some reasonable limit on how many new features to put into a software product in a given timeframe. And then, sort out expected engineering productivity to match.

But to the initial core question: I would think a company / department / team might have some overall monthly budget for AI tool usage. If one person uses more than another, I don't know it really makes sense to give extra cash to those who used it less. Like, if some engineer needed a $2000 compiler tool for their project, and another used GCC for free for their project, does the GCC user get $2000? Not sure things traditionally worked that way.
by culi | 2026-01-03 06:56:38+00:00
Not even in its founding. Federalist #10 spells out exactly the fears that Madison had about democracy. You give people full political power and they'll use it to redistribute wealth/land. So you need to give people somewhere to funnel their energies without rocking the boat too hard. Originally we weren't supposed to vote for Senators and the presidency was mostly conceived as a ceremonial role and the Electoral College was there just in case the establishment was ever too threatened by "democracy"
by inkyoto | 2026-01-03 06:56:41+00:00
My point is that static linking alone and by itself does not meaningfully improve binary provenance and is mostly expensive security theatre from a provenance standpoint due to a statically linked binary being more opaque from a component attribution perspective – unless an inseparable SBOM (which is cryptographically tied to the binary), plus signed build attestations are present.

Static linking actually destroys the boundaries that a provenance consumer would normally want due to erasure of the dependency identities rendering them irrecoverable in a trustworthy way from the binary by way of global code optimisation, inlining (sometimes heavy), LTO, dead code elimination and alike. It is harder to reason about and audit a single opaque blob than a set of separately versioned shared libraries.

Static linking, however, is very good at avoiding «shared/dynamic library dependency hell» which is a reliability and operability win. From a binary provenance standpoint, it is largely orthogonal.

Static linking can improve one narrow provenance-adjacent property: fewer moving parts at deploy and run time.

The «it depends» part of the comment concerned the FAANG-scale level of infrastructure and operational maturity where the organisation can reliably enforce hermetic builds and dependency pinning across teams, produce and retain attestations and SBOM's bound to release artefacts, rebuild the world quickly on demand and roll out safely with strong observability and rollback. Many organisations choose dynamic linking plus image sealing because it gives them similar provenance and incident response properties with less rebuild pressure at a substantially smaller cost.

So static linking mainly changes operational risk and deployment ergonomics, not evidentiary quality about where the code came from and how it was produced, whereas dynamic linking, on the other hand, may yield better provenance properties when the shared libraries themselves have strong identity and distribution provenance.

NB Please do note that the diatribe is not directed at you in any way, it is an off-hand remark and a reference to people who prescribe purported benefits to the static linking that it espouses because «Google does» it without taking into account the overall context, maturity and scale of the operating environment Google et al operate at.
Show HN: Griblet – Free browser-based GRIB file viewer
by itsangaris | 2026-01-03 06:57:44+00:00
I sail and was tired of the tooling around GRIB files. GRIB is the binary format for weather forecasts (what NOAA/GFS publishes). If you want to view one, your options are: install a desktop app like XyGrib or OpenCPN, pay for a service, or wrestle with command-line tools.

I wanted something I could just open in a browser—drop a file, see wind on a map. Couldn't find it, so I built it: griblet.app

It parses the GRIB, extracts wind vectors, and renders them as animated particles over Leaflet. Supports multi-timestep files so you can scrub through the forecast. No signup, nothing stored server-side (files are parsed in memory and discarded). I'm planning to add more layers in addition to visualizing the wind.

Also added a Saildocs request builder because getting GRIB files can be a challenge. Saildocs is a free service for fetching weather via email—useful offshore where your only connectivity is satellite or SSB radio. You email a specially formatted request, it replies with a GRIB attachment that can be uploaded to giblet. The builder just helps you compose that request correctly.

Would appreciate feedback, bug reports, or feature ideas.
by al11588 | 2026-01-03 06:57:57+00:00
Location:New York but open to remote

Remote:Yes Willing to relocate:No

Technologies:Python, Java, Swift, .Net, JavaScript, SQL.

Résumé/CV:https://www.linkedin.com/in/alvin-lawson-b8300635

Email:al11588@gmail.com

My name is Alvin. I am looking for a developer advocate role, Developer relations, Support engineer role, Backend engineer role, Systems engineer role, DevOps role, Solution Engineer role.
by thomassmith65 | 2026-01-03 06:58:34+00:00
The benefits of globalization did not reach all citizens, leading to a maldistribution of wealth.

Those are merely received ideas, not necessarily the root cause of a decline in democracy.

Acid House music arose around the end of the Cold War.

If, for some reason, a handful of influential figures had blamed Acid House for all society's problems instead of globalization, then presumably the author would have written:

The benefits of Acid House did not reach all citizens, leading to a maldistribution of wealth.
by gzaal | 2026-01-03 07:01:46+00:00
We just shipped MetaScope 1.2.1, a macOS app focused on professional-scale photo and video metadata workflows. This release is less about surface features and more about making previously fragile workflows reliable at scale.

What changed in 1.2.1

Export system rewrite
The entire export pipeline was rebuilt around a renderer architecture. PDF and HTML are now first-class formats, with CSV, Markdown, XML, YAML, and plain text exports generated from the same filtered metadata model. ~5.4k lines of legacy code removed.

Long-running batch operations that survive restarts
Batch jobs now checkpoint automatically and can be paused, resumed, or recovered after app restarts or macOS updates. This was built to support 100k+ file operations without data loss.

Keyword-driven metadata automation (rules engine)
Pro users can define rules that populate IPTC/XMP fields based on keyword hierarchies. Supports regex, hierarchical templates, append/prepend modes, rule groups, and import/export of rule sets.

Native Photos reliability fixes
A new “always-fresh” connection strategy eliminates Photos XPC failures after sleep. iCloud downloads now show explicit progress, retry automatically, and respect Low Power Mode.

Document-quality exports
Independent typography per section, bold/italic/underline everywhere, cover page templates with live preview, and proper cumulative page numbering for large PDFs.

MetaScope is fully local, file-system-first, and designed for photographers and archivists who don’t want their metadata locked inside proprietary catalogs.

Full release notes with implementation details at URL

Happy to answer technical questions about the export architecture, Photos integration, or batch processing design.