HNHacker News
TopNewBestAskShowJobs

t_mann

3,333 karma · joined November 21, 2018

submissionscomments
t_mann··on Igalia, Servo, and the Sovereign Tech Fund
The best sovereign tech fund would be a robust commitment to 'public money, public code'. To think how many sponsored features in LibreOffice, GIMP, Nextcloud,... could be paid for by the money that the governments of the world are paying each year to MS, Adobe,... and it would create sustainable demand for OSS development.
t_mann··on Gemini 2.5 Computer Use model
That's actually correct: https://awsm-tools.com/keyboard-layout?form%5Bfrom%5D=dvorak...

Impressive. This could legitimately have been tricky a puzzle on some Easter egg hunt, even for nerds.

t_mann··on Offline card payments should be possible no later than 1 July 2026
Would be interesting how they work technically. The linked pdf mentions an EMV chip, which I assume is some sort of TEE. Other than creating recipient-specific one-time vouchers online, I can't think of a way to do offline payments without a TEE.
t_mann··on OpenTSLM: Language models that understand time series
[flagged]
t_mann··on OpenTSLM: Language models that understand time series
> Read the White Paper

> A universal TSLM will power proactive healthcare, adaptive robotics, resilient infrastructure, and new forms of human-AI collaboration.

> scientists, engineers, and builders from ETH, Stanford, Harvard, Cambridge, TUM, CDTM, Google, Meta, AWS, and beyond

What's with all this fuss? Why not just upload your paper to arxiv? Time series models are interesting enough, but from the abstract it's not even clear whether they are using transformers or a recurrent architecture like xLSTM - arguably a more intuitive choice for time series - or something else. This website is barely distinguishable from a crypto/DeFi pitch.

t_mann··on I only use Google Sheets
I'm on a similar page. I try to set things up so that as many things as possible are regular files in my folder structure, which I then sync across devices. In my experience those are the only files I can rely on being able to retrieve long-term. Eg I don't use a photo app at all, I just have a folder with sub-folders (where I copy them manually). I don't know (yet) how Nextcloud fits with that, but it has several features that look really interesting in general (eg video calls).
t_mann··on I only use Google Sheets
Sounds like you're not using something like Nextcloud (which should cover all your bases it seems). Any particular reason, any experiences you want to share?
t_mann··on I only use Google Sheets
> Your solution will prove inadequate in the future, but you are unlikely to correctly predict in what way your solution will be inadequate.

One inadequacy could be complete dependency on a vendor who accidentally locks you out of all your services or starts scalping you with ever higher fees. That one is quite predictable here.

t_mann··on FAA is granting Boeing “limited delegation” to certify airworthiness
Do you know how it works in other places where planes get built, eg Europe, Brazil? The incumbents on both sides will always tell you that there's no other way things could be done. Looking at how they get done elsewhere seems like a good sanity check.
t_mann··on Privacy Badger is a free browser extension made by EFF to stop spying
We've had markets for all sorts of domestic help for centuries before we had computers. Perhaps more relatable, think about how your parents might have found such help.
t_mann··on Samsung now owns Denon, Bowers and Wilkins, Marantz, Polk, and more audio brands
Ah ok, sounds like a smarter way to do it. How hackable would you say is it, eg to register your own NFC chips? It seems like a nice platform.
t_mann··on Samsung now owns Denon, Bowers and Wilkins, Marantz, Polk, and more audio brands
CDs degrade pretty fast. I know people with CD collections that are basically unplayable now. And the typical plastic cases don't even make for nice shelf deco like books or paper-based vinyl cases.
t_mann··on Samsung now owns Denon, Bowers and Wilkins, Marantz, Polk, and more audio brands
We do have stuff like that, here's an example for kids:

https://tonies.com

They seem quite well made, if not exactly cheap. I believe there's also a way to store your own mp3's, but I don't know how open the interface really is. Ofc you can also make sth like this from scratch.

t_mann··on Open Social
Interesting discussion, and good points highlighted about Bluesky's did model that means you essentially don't own your identity either (in typical scenarios and when it will likely matter most). That takes a big chunk out of the "host your own data" narrative.

One point I disagree on that's also mentioned in the replies: I don't think a global state should be seen as necessary or even desirable. Sure, it helps people who optimize for clicks/likes/attention as a business model But that shouldn't be the only concern. Having some degree of uncertainty around the global state can help reinforce a healthy skepticism towards what you're seeing in general. The 'correct' global number of upvotes on a post, or the majority of what has been said about a subject might still be manipulated to the point of being essentially fake. Optimizing for virality is not desirable if you think of the platform as a public good. Think about what it has done for the centralized platforms, and the consequences it's had in the real world.

t_mann··on Markov chains are the original language models
You can model multiple-hop dependencies as a Markov chain by just blowing up the state space as a Cartesian product. Not that that would necessarily make sense in practice, but in theory Markov chains have enormous expressive power.
t_mann··on Claude can sometimes prove it
> If you already have a paper proof (which is the case in the original post), and you know it’s correct

You may think it's correct until you realize that your argument transitively depends on some obscure results from the 70s that nobody had ever questioned but that turned out to be flawed. Probably salvageable, but now you suddenly need to prove something completely different that you might not even understand very well. There's an interview with Kevin Buzzard somewhere where he talks about how that happened to them (couldn't find a reference rn).

t_mann··on Claude can sometimes prove it
> You don’t have “last minute surprises”

Not sure about that. One of the steps in your plan may be surprisingly hard to prove. You're going to solve the easier steps in your plan first and then may get bogged down at 98%.

t_mann··on China's 200M gig workers are a warning for the world
I can see the point re internal market vs export orientation. But why make the housing market the focal point of wealth creation? Wouldn't the stock market be a much more overall beneficial place to let your population accumulate wealth (which the US also does quite successfully, through 401k, cheap and trustworthy financial products like ETFs, a strong SEC,...)?

Pushing house prices ever higher comes with so many societal problems, and also with serious financial risks. The start of Japan's lost decades, which you mentioned, wasn't weak domestic demand. It was a housing price bubble so extreme that small areas of central Tokio were worth more than all of California. Domestic demand was actually very strong in Japan up until that bubble burst. The biggest financial crisis in the US in recent memory (2008) was also due to the housing market, its consequences eclipsing that of the dotcom bubble or the 1987 crash. That being said, stock market bubbles are no fun either - the Great Depression of the 1930's was caused by a stock market crash. But at least stocks don't tend to push people into homelessness already while they're booming.

t_mann··on Gemini in Chrome
You might want to check Firefox' telemetry settings if you care about privacy. Or you can use Librewolf, it's an extension-compatible FF fork with privacy turned on.
t_mann··on KDE is now my favorite desktop
> make it behave very similarly to COSMIC

How does the auto-tiling compare to COSMIC? Does it support stacked tiling (ie tabs)?

t_mann··on KDE is now my favorite desktop
Not just the Plasma desktop, there is a lot of KDE software that works well even outside of the KDE desktop, and some of it is really excellent. I find Kate to be a criminally underrated editor for example. It never comes up in VSCode vs vim/... discussions, but I think it's an excellent VSCode replacement if you're looking for something more familiar. Currently my favorite editor hands down.
t_mann··on Famous cognitive psychology experiments that failed to replicate
Thanks for providing the reference, that's useful context. Those are awful replication rates, worse than a coin flip. Sounds like the OP can add their own introduction to their list. From the introduction:

> Most results in the field do actually replicate and are robust[citation needed]

t_mann··on YouTube addresses lower view counts which seem to be caused by ad blockers
> Why would anyone just watching videos on YouTube care how many people have seen the video?

For the same reason online shops show "Most popular" items and ads say "trusted by X people worldwide". People on average apparently like feeling being part of a bigger crowd. If that doesn't make sense to you, you're probably in the minority (which by that logic shouldn't bother you).

t_mann··on Linux phones are more important now than ever
A screenshot would also be trivial to counterfeit. That being said, I am not aware of any banks that provide any actually tamper-proof, shareable transaction confirmations.
t_mann··on Hosting a website on a disposable vape
Reality catching up with satire: https://youtube.com/watch?v=lE4UXdJSJM4&t=170s
t_mann··on The Last Vestal Virgin and the Fall of Rome
> In fact, Rome’s legendary founder, Romulus, was the son of a Vestal priestess—Rhea Silvia.

This is far from fact, it is, with near certainty, a legend (which also tells us that the father is the god Mars, btw; or Aeneas, or unknown, depending on the version). The illustrations are from a completely different era that projected a lot of its own politics into its reading of Rome's history and the article does not provide this contextualization.

Not sure what to make of the parts of the article that are new to me, when parts I know about are at least debatable.

t_mann··on Emacs as your video-trimming tool
I'd say it's more like they're sending around csv tables in the body of emails and then writing VBA scripts to copy them into Excel. In that case, yeah, I might mention that there are better ways to do it.
t_mann··on Emacs as your video-trimming tool
I get that Org-mode is extremely powerful, but I was talking about Org-social specifically. Take a look at the spec, does it use much programmability? To me it looks like just annotating a bunch of metadata plus a unique ID (which is actually just a timestamp, which seems problematic to me for a number of reasons, eg tracking edits, not being necessarily unique,...).
t_mann··on Emacs as your video-trimming tool
While I'm not an Emacs aficionado and I find some of the stuff that people squeeze into Emacs weird [0], I have to vouch for OP here. It's a front end for ffmpeg. ffmpeg is a text-based utility and Emacs is a text editor. That actually makes sense. And judging by the screengrab it's a lot more ergonomic than plain ffmpeg. If I were an Emacs user I'd definitely consider using this, and it makes me kind of jealous.

[0] recent example from here: a proto social network that runs via org-files-over-http (as if we didn't have a markup language designed for http already) https://news.ycombinator.com/item?id=44889354

t_mann··on Americans Are Ignoring Their Student Loan Bills
There's nothing rigged about loans being made for something that can't be repossessed and without collateral, there's a whole segment of the lending market for that (consumer lending, eg people take out loans to go on vacation). So absolutely nothing rigged about that. And those loans can still be discharged in bankruptcy. There's a government guarantee, but that's at least as much an advantage for the lender as for the borrower. The relatively low interest rate is a result of that, the loans aren't high risk for the underwriters. Government guarantees aren't unique to student loans either btw. The only thing that's really unique is that the loan can't be discharged, and that is very much a disadvantage for the borrower. So student loans are rigged against the students. No bank would want to make those loans under normal circumstances, so the government has rigged the game in their favor to entice them into the market.
← PreviousPage 2 of 34Next →