skysight-inc/HackerNews huggingface dataset:
The monopoly here is HDMI LA, who provides the required licenses.

> HDMI® Licensing Administrator, Inc. (HDMI LA) is the agent appointed by the HDMI Forum to license Version 2.1b of the HDMI Specification and is the agent appointed by the HDMI Founders to license earlier HDMI Specifications.

https://hdmi.org/adopter/index

See also: https://www.symmetryelectronics.com/blog/what-are-the-licens...
What if you want to filter on the mapped value in python? Or group by something and work further on the groups? It's almost unreadable after a few operations.
My HDMI cables work at 4k 120Hz with the same monitor with an NVidia card using closed-source drivers, not with AMD open-source drivers, because of the issue in the article.
Literally none of the things you said amounts to a coup d'etat.

Our countrymen begged on their knees for the military to intervene only to be arrested and placed in a concentration camp as political prisoners while their "hero" abandoned them like the cowardly rat he is.

That's not a coup. A coup would have been the military actually intervening. A coup would have been those people showing in the capital with weapons and executing authorities then seizing power.

You simply cannot convince me that a bunch of elderly folks with bibles and brazilian flags angrily protesting the election amounts to a coup d'etat.
I get nervous reading when people write exceptions and name "good" CEOs or "good" celebrities. Lots of skeletons come out later. I don't like to put people on a pedestal, especially those we don't know intimately well.
Starmers promise of very similar policies to the Tories, but operated more competently playing out.

On the other hand he doesn't handle bad press well, let's see how this goes.
Ah. That’s really inappropriate for a technical document.
The article that got the guy fired is [1] apparently. If you search for "Gareth Dennis" - honestly his criticisms seem pretty mild.

My experience is the UK rail network targets truly patronising levels of safety. Signs and announcements on the dangers of running. Announcements on the dangers of slippery floors in wet weather. Announcements and signs about the importance of holding the handrail on stairs. Special extra video screens and announcements about the dangers of taking luggage on escalators. Announcements and warning signs that a flight of stairs is particularly long and tiring. Announcements on the dangers of using your phone while walking. Announcements that it's good to carry a bottle of water in hot weather.

I'm surprised this guy got fired - in the rail network I know, they'd have addressed his concerns by adding even more posters and announcements.

[1] https://web.archive.org/web/20240414153709/https://www.indep...
Both solutions would take months/years to implement.

"More trains" mean they need to radically improve service/repairs and/or purchase of new trains.

"Expand the station" would mean that they would have to shut down all-of or large-parts of it while works take place. I remember being impacted of the London Bridge train station de-spaghetti-fying the tracks. I moved out of the area I was living so eventually I was impacted for only 4-5 months.

I will not touch the matter of costs.
Indeed, we recommend swapping all the cells at once! But using our battery it means that you recover cells in perfect conditions that you can use in second life applications!
Bit strange to post this, since it closed a month after this was posted.
Indeed it will get hot, but it is better than having one's house burn down! :)
Very useful tip thanks.
Because sometimes you're not sure if your belief is correct. To show what TLA+ can do, I used a simple example where the truth of the proposition (f is the zero function) is pretty obvious yet behaves very differently from how programming works to show how you can prove things in TLA+:

THEOREM fIsTheZeroFunction ≜
f = [x ∈ Int ↦ 0]
PROOF
⟨1⟩ DEFINE zero[x ∈ Int] ≜ 0
⟨1⟩1. ∃ g ∈ [Int → Int] : ∀ x ∈ Int : g[x] = -g[x] BY zero ∈ [Int → Int]
⟨1⟩2. ∀ g ∈ [Int → Int] : (∀ x ∈ Int : g[x] = -g[x]) ⇒ g = zero OBVIOUS
⟨1⟩3. QED BY ⟨1⟩1, ⟨1⟩2 DEF f

The TLAPS TLA+ proof-checker verifies this proof instantly.

You can then use that proof like so:

THEOREM f[23409873848726346824] = 0
BY fIsTheZeroFunction

But when you specify a non-trivial thing, say a distributed system, you want to make sure that your proposition -- say, that no data can be lost even in the face of a faulty network and crashing machines -- is true but you're not sure of it in advance.

Writing deductive proofs like above can be tedious when they're not so simple, and the TLA+ toolbox contains another tool, called TLC, that can automatically verify certain propositions (with some caveats), especially those that arise when specifying computer systems (though it cannot automatically prove that f is zero everywhere).

So the purpose of my example wasn't to show something that is useful for engineers in and of itself, but to show that TLA+ works very differently from programming languages, and it is useful for different things: not to create running software but to answer important questions about software.
100%, and the author is self-aware enough to even offer an opportunity to "fix bugs," meaning if the community put their money where their mouth is, we can probably help the author upgrade these pretty easily. I'm jotting notes on the various "trees" I can contribute to myself, and plan on sending those later today. Hope others join me.
Hey everyone! Having been through a rough patch of job search, I found myself wanting to know some statistics about my job search process, and also note down some questions that my interviewers had asked me.

So i made an iOS app called Log.
The link to check it out is here https://www.producthunt.com/posts/log-job-application-tracke...

If you're applying for jobs, this might be useful to you. Thanks for checking it out!
Thanks for the link, I’m aware of reproducible-builds.org.

Both your causes seem trivially fixable here - the QEMU builds could have a standard system clock time they start with, and an ‘unsorted’ file listing made in a deterministic OS environment will keep the same file order, no?

By comparison the rb.org site says you need to start with stripping all that stuff out of your build process, for the reasons you refer to.
Worth noting the story here has subtly that the headline cannot accurately capture. For one I wouldn't say this is about raising safety concerns or whistle-blowing, it's about how the employer views employees talking to the media.

The engineer in question was sacked for stating 'You’re talking about thousands of people squished into that space. It’s not just uncomfortable, it’s not just unpleasant, it’s unsafe.' in a media interview (see https://www.independent.co.uk/life-style/euston-trains-stati... looks like the unsafe part of that quote made the headline).

Here he was just amplifying already public information that the Office of Rail and Road had raised concerns and issued an improvement notice (which is reference in the article before he is quoted). I guess they hadn't actually declared it 'unsafe' though.

I think it is reasonable for employers to require employees don't go making negative comments in the media, though that is tempered by the public interest in raising the profile of safety concerns. Perhaps here the engineer felt no-one was taking the improvement notice seriously and needed more incentive to do so? Could also be he felt he wasn't trying to cause any upset at all and was simply stating what was already public known.

It does feel here that the minister that triggered the sacking was just being thin-skinned. He saw a newspaper headline that angered him and sought to take it out on someone. Perhaps some disciplinary action was warranted (maybe improvements were indeed underway and the engineer shouldn't go causing extra needless public alarm) but sacking him looks to be a big overreaction.
Same - my partner and I pay the $2.99 with Apple and we'll probably pay more for the larger size when needed. It's not just about being "lazy" per se. Since buying a house and having a baby, life feels so complex and we can only focus on so many things. With the tiny amount of time left over after doing the rest of the necessities of life, do I really want to spend that time setting up and maintaining some fancy NAS scheme?
The point is that there are many people sleeping fine or not, that kept their livelihood by not whistleblowing. solely due to the misaligned incentives and lack of accountability
Thanks so much and you are right AppTimer is just a fun side project while I'm working on a bigger project and I'll work a bit on my GitHub profile thanks for the advice
Thanks so much for your messages!! Appreciated!

Yes, we totally can add LoRA, we want to do this soon! You can contact us on contact@gouach.com for more infos!
Not sure there is more capacity for trains there.
The author name that added this section is interesting too. Way to get your own back ...

https://en.wikipedia.org/w/index.php?title=Peter_Hendy&diff=...
Telegram regularly takes down such channels too but their mistake? They underestimated the moderation team size and move at a slower pace than other trillion dollar corpos.
Mac OS X Snow Leopard Launched 15 Years Ago Today with '0 New Features'
Hey! We'd love to chat to see if we could integrate in our battery! Can you message us at contact@gouach.com ?
I was replying to the comment, not the whole thread.
I will give that one a try, might at least speed up things, but it still misses hyphenation and justification. Hitting enter when reaching the guide line takes the least effort but this might be really handy when editing existing comments, especially with auto wrap enabled.
Developers Rail Against JavaScript 'Merchants of Complexity'
You bet I disagree. You simply cannot convince me that elderly folks with bibles and flags were attempting a coup d'etat.

It's funny. The 2016 people also claimed that Dilma's impeachment was a coup. They still claim that, to this day. Everything in this country is a coup apparently. Everything but the supreme court giving itself limitless powers and becoming a political party made up of unelected officials.
You will at max live another 100 years. Where will he take all these extra savings to?
They do close the station entrance at Euston with some regularity when trains are not running (which happens annoyingly often because of the parlous state of the railways).
We systematically get posts and blogs and real-world experience showing that software development is actually about maintenance.

Yesterday we had an article about so many half-arsed software in maintenance mode that the world would be ending soon, crumbling under the weight of not-maintained enough software.

So far I've seen LLMs (I pay for GTP 4o btw) very good at producing boilerplate code. Does it help? Heck, yup.

Does it produce even more code needing ever more maintenance? You bet so.

At this rate it looks like we're going to need way more software developers, not less.
I'm not a lawyer, but this would likely fall under the DMCA's anti-circumvention provisions: https://en.wikipedia.org/wiki/Anti-circumvention#United_Stat...
It doesn't matter how does it work inside. There's no free will, you are bound to the action of the physics from the Universe. Period.
He's just published a book that looks quite interesting: https://www.amazon.co.uk/How-Railways-Will-Future-Rediscover...
It would be better but definitely not easier as the TV industry is pretty much a subset of the HDMI Forum.
https://medium.com/@haydenbanz/mastering-twitter-osint-the-u...
I genuinely don't see the harm of these things – I often think the issue is that lots of measures improve safety at the margins (e.g. if someone is drunk and stumbling down the stairs this announcement might help them) rather than on average. That is: many safety features will produce limited tangible benefit to the average person most of the time, but they do reduce accidents which normally happen at the tail end of the distribution in more extreme circumstances.
Like [video] and [pdf], maybe we could have [paywall]? I'm afraid it might crowd the front page too much.
Nobody said all problems have cheap solutions.
> I get nervous reading when people write exceptions and name "good" CEOs or "good" celebrities

Good CEOs are good at being CEOs. That doesn't mean that they're good people.

Steve Jobs was pretty famously an a-hole, and did a number of morally questionable things.

But he also took Apple from the verge of bankrupcy to one of the most valuable companies in the world.

OJ Simpson was a fantastic football player. And he murdered (my opinion) Nicole Brown Simpson and Ron Goldman.

It's OK to acknowledge that some people are good at one thing and are also terrible in other ways.
You can set minimum wage to zero and you still get trashed streets because trashed streets aren’t considered worth fixing every week. Instead there’s an equilibrium where X money is used to maintain reasonably clean streets and people will just spend less if they already look ok.
> In terms of forethought, I can't imagine anyone outside of the US/EU developing an app solely for an iOS user base other than creating an MVP. And then even still, once you have proof it can work why build something that intentionally shuts off the majority of your userbase, or provides a lower quality product to the user base?

I can see a simple reason for solely targeting the iOS user base, wherever one comes from: on average they earn more and spend more, making them better targets for both advertising and in-app purchases business models.

Apple’s AppStore represents 65% of global app stores consumer spend, and ~7% of iOS users spend some amount of money on apps, while on Android it’s ~4.5%.

On top of that, the hardware is much less diverse, making it easier have a consistent experience across devices. I still remember a client building an internal bar-code scanning app for their warehouse, then complain it didn’t work well enough, only to realise they had equipped their staff with the cheapest crap they could find, which had a terrible camera.

Back on topic, perhaps yhis kind of tool can be useful for teams who didn’t intend to or couldn’t afford to invest any effort into making an Android app.
SpaceX is not running a 911 center. They will hand over the call to a partner operator (T-Mobile)
It seems like in this particular situation if you had a mainland chinese friend, he would have been able to source a replacement tablet panel for the cheap on 1688.com for ~50 USD.
From memory it connects to Firebase, possibly using the Realtime Database to sync state.
No. Does a browser have free will? No, it's bound to either the instructions from the OS/Processor or the user input.
A better solution IMO would be a browser extension that highlights links to paywalled sites, since it would cover more than HN. Or you can make a frontend that would do it.
London bridge tracks untangled is so much better for throughput - I remember so many long waits as a Brighton train blocked the whole station crossing the tracks.

One surprising good thing the gov did at that time was insist on the rebuild of the station itself, it was particularly grim, and just a mess.

I've lived nearby the whole time and the new station is a nice space, generally efficient with good throughput for the trains.

I'm pessimistic, but really hoping they don't stick with plans to build a too small terminus in London for HS1, not too optimistic as we have Rachael Reeves as a continuity austerity Chancellor - lets see.
Show HN: I built a tool that creates and edits videos using text prompts
I have built a simple way to turn ideas into videos and also edit the them using text. I used python for backend and ts/js on the frontend. it's using open-ai models for LLM and Flux for image generation. I will answer any question that you might have regarding the tech stack.
This cannot be used. After uploading the photo, it prompts that login is required, but there is no login button on the entire page.
New Directory Encryption Tool
I have been a fan of https://github.com/FiloSottile/age for a while now, but one thing that has always bothered me about encryption tools is how they don't offer a way to secure a whole directory which, IMO, is a much more common use-case.

I decided to spend a couple hours tackling the problem myself and came up with agevault.

It's a directory encryption tool using age file encryption. It locks/unlocks a vault (directory) with a passphrase-protected identity file and like age, it features no config options, allowing for a straightforward secure flow.

I'll answer any questions regarding it. As always, use it at your own risk.
Better to acknowledge that you are speaking in generalities and exceptions exist, but not to name those exceptions.
World's no 1 space company is shady.

You heard it here
At this point I'm going with a poor cultural difference and an assumption of being aggressive. I'm fed up of this. "Be excellent to watch other" was and is not difficult.
I'm going with nice, but you do seem to be pushing that I'm a bad person. Which is disappointing after engaging in good faith.

A sensible action based on a sensible observable short term impact is sensible behaviour. I.e. dry throat or not having dry throat, is sensible.
I fail to see a problem with logic or opinion here, this is cut and dry and goes no further.

Deciding to take actions which amounted and contributed directly to social calls to shut down schools, damaging economy, making politics even more toxic under the banner of "latest study shows". Is clearly extremely bad think.
This has damaged the lives of an entire generation of children because of "what if" fear... I know I'm busy seeing the fallout in teaching.

The daily mail is famous for citing bacon will kill our cure you citing bad latest statistical/biology papers. The BBC in the UK is now just as bad. US media is hitting this low regardless of bias or ownership. All selling the same "worry that an undefined chance of a badly defined thing may kill you if...". This is extremely damaging.
Why did the entirety of society end up like their comment sections?
The posters and announcements won't make anything safer. They are CYA for the time the risk materializes.
Haha! I'm a fan of OuLiPo :)

Yes! the pack is using 18650 cells, and a 21700 version is coming early next year!
Thanks so much!! Appreciated
> You bet I disagree. You simply cannot convince me that elderly folks with bibles and flags were attempting a coup d'etat.

Elderly or not, they were demonstrably colluding with parts of the army to create a situation where a GLO (Law and Order Guarantee) would be invoked. Lula, as much as I despise the guy, was very smart in seeing through the plot.

In 2016 the protesters were claiming that Dilma ousting was a coup, and as much as they are wrong (the legal rites of her impeachment were satisfied), they were not themselves attempting a coup.

You might be under the wrong impression that I agree with their bullshit in 2016. I do not. But the events of January 8th were as clear cut a coup attempt as it gets.

The only real disgrace is that no one in the armed forces was punished yet.
Sure not your average scientist, but could I find a few hundred who have but who are themselves of no particular fame? Quite easily yes.
For practitioners, a rough description of their argument is on pg 7 (note: separable=unentangled, β =1/kb T) of https://arxiv.org/pdf/2403.16850

This state [rho] is the Gibbs state at infinite temperature, and is in the interior of the convex hull of product states. So, as β tends to zero, ρ will eventually enter the interior of this convex hull, making it separable. This happens at a finite β which depends on system size.
Yes, scaling vertically is much easier than scaling horizontally and dealing with replicas, caching, etc. But that certainly has limits and shouldn’t be taken as gospel, and is also way more expensive when you’re starting to deal with terabytes of RAM.

I also find it very difficult to trust your advice when you’re telling folks to stick Postgres on a VPS - for almost any real organization using a managed database will pay for itself many times over, especially at the start.
Thanks so much!! Appreciated! We did one a few weeks ago, we don't want to spam so I'll probably add one when we start the Kickstarter :)
London Underground does close access to platforms when they are at capacity.

The station itself is probably running the maximum number of trains possible. The plan for increasing throughput northwards is HS2, which the previous government put on hold.
https://github.com/simonw/llm-cmd supports Anthropic (and a lot more models) to achieve the same.
> Our countrymen begged on their knees for the military to intervene only to be arrested and placed in a concentration camp as political prisoners while their "hero" abandoned them like the cowardly rat he is.

Let me get this straight, you mean to say that Bolsonaro's mistake was not taking these protests far enough?
Thanks so much!!

Yes, it works because we're using a thick aluminum casing and a specific design to evacuate heat fast

Videos coming soon!
If you're using a partner network Sim, your provider gets to figure that out, else you get to the nearest partner network
> the backend for rendering could be skia, vulkan, directx etc.

It doesn't really matter, these are just ways to draw into a native window and not the backend that owns that window.

> Once the hierarchy of UI widgets are built and rendered, what is left, is the interaction with the user.

Without interaction they aren't UI widgets, but merely organized graphics. You are only considering the easy, portable part of a GUI.

> I gave a look at other open source projects but I couldn't find any simplified one.

Consider the Windows API functions that deal with the GUI: they are comprehensive (particularly with respect to handling input and events), reasonably low level and more mature than anything you can design.

If you want to do more, layering something portable on top of them and on top of similar libraries for other platforms, the end product will be more complex, not simple (or naively "simplified").

I suggest Dear IMGUI and Qt as good case studies of opposite approaches: forfeiting platform specific and advanced features in order to simplify the user's job, or adding to native libraries whatever it takes to do everything well and in the same way on all platforms without reducing complexity. Test question: what do you want to do for assistive technology?
or the Alzheimer’s treatments aren’t treating sugar buildup as amyloid plaques, and instead are trying to manage Alzheimer symptoms

But I don't know though
You are proposing a model that doesn’t fit observed reality.
Show HN: turn videos into ASCII art (open source, js+canvas)
This tool turns videos into ASCII pixel art. You can use your webcam feed or upload a video, then use the controls to adjust the colors, resolution, text style, etc.

Github repo: https://github.com/collidingScopes/ascii

It's built with javascript / html canvas.

I'll be continuing to work on this, with the goal of improving performance (it can be laggy at high resolutions) and to also allow image input (turn an image into animated ASCII art).

Please let me know of any feedback or suggestions!
... and this is how LLMs get to train on paywalled text, with all the copyright issues
PSA for new players.

Do not under any circumstance trust Microsoft for anything at all.

They have a decades-long history of treating their best customers with contempt.

They will break or deprecate whatever you rely on, and they will do it without warning.