skysight-inc/HackerNews huggingface dataset:
It figures that Realtek is a key part of the story. The availability of Realtek PHYs and NICs is what's finally allowing 2.5GbE and 5GbE to go mainstream for consumer equipment. Aquantia got bought by Marvell and ended up with enterprise-level pricing on all their stuff. Intel completely tanked their reputation for NICs with a few failed attempts to implement 2.5GbE support, and haven't even tried to introduce a consumer-grade 5GbE option. But now that Realtek is in the game, 2.5GbE is widespread in new desktop motherboards and fairly cheap in USB Ethernet adapters.
Tell me about it. I even got a monitor color calibration probe and it was not cheap.

My next step was going to buy a new monitor too but then I was like… F it I’ll just buy a Mac and call it a day.
Personally I do take at least a quick look over sources before deciding to trust any new app. I simply won't install apps that don't provide the option.

This used to be an ideological stance but increasingly recently it's the only pragmatic thing to do from a stance of security and safety. The playing field is increasingly hostile and if someone asks you to install their software on you machine and let it record your face and voice but refuse to show what it actually does, that is a red flag. Reasonable exceptions could include video games (which run on dedicated untrusted devices and IMO the IP aspect makes the closed-source stance more understandable there). On the other hand, this app is inherently sensitive and trusted because of its function. I don't see the reason why it needs to be closed-source.

Malware is commonly distrubuted in all app stores. I reported some obviously pretty bad stuff that is still up a year later on Play Store, for example. Google simply doesnt bother if the case is too messy.

> hmm not sure yet on the open source thing

You could start with just go source-available by sharing the source with your users without going full Open Source, if you want to take the time and think about what license to use.
I also definitely prefer a monolith, if possible!
Couldn't the traffic be LAN? Everyone keeps mentioning 'over the internet' - the device they're doing the editing on could be in a different room in the same building over gigabit++ speeds.
I spent some time a while back thinking about a web-native video editing tool with very lightweight client demands. This came up after watching all those LTT videos about their storage & networking misadventures around the editors. It seems something approximating this (or superior to it) has already been developed.

The way you develop & manage the proxies appears to be the biggest part of the battle in making things go fast. There's no reason for editor workstations to be operating with the full res native material unless theres a targeted reason to do so.
Gradual typing is static typing augmented with a known static type `dynamic`, and some rules by which conversions to/from `dynamic` are statically checked, called consistency.

A program in a gradually typed language which does not use `dynamic` is fully statically checked and has no overheads. The overheads only appear when `dynamic` is used.

This is why it offers the best of both worlds. We get static typing everywhere where we're not using dynamic, and when we do use dynamic, we can basically use it however we want and have the benefits of dynamic typing, because from the static perspective, dynamic ~ dynamic, regardless of what the runtime type is.

The important innovation is that consistency (~) is not transitive - so it doesn't allow us to implicitly convert one type to another - only conversions to/from dynamic are implicit, and other conversions must be done explicitly.

Obviously, this provides an "escape hatch" from static typing where we do use it - we can get around some static type check by casting to/from dynamic explicitly, but this works out well in practice.

C# is an example of a gradually typed language since v4 which introduced `dynamic`.

Haskell is close , in that it has the type `Data.Dynamic`, but it doesn't support implicit conversions to/from it, which would be possible if it had a consistency rule. We have to do the conversions explicitly.

https://jsiek.github.io/home/WhatIsGradualTyping.html
Anecdotally, I was not able to find any way to notarize software for internal use, without paying for a $99 developer account. Though I would have been willing to pay, I know that others who might want to build the software wouldn’t, so I abandoned my project. I suppose I could have maintained it as open source with the developer account required to build, but it seemed disingenuous to me at the time.
The earnings call for Q1 2025 hasn't happened yet. Those usually happen at the end of the first month of the subsequent quarter.
Or a zoom and slack plugin. I can’t imagine Apple or Google adding this to tho, far too “unethical”.
I think the neatest feature would be: the mathematician states the theorem in English (edit: with math symbols as needed), then he states the proof in English.

A post-Processor transform the proof into lean (with any official lib loaded). It is automatically verified. If something is missing, the post processor ask to write in English the missing parts. Iterate like this.

The lean proof is hidden in the final document, and can be displayed if needed. Or even, we get an English version that can be easily retransformed into lean at will.

Bonus point: we can query the document to give more details on part of the proof and it outputs (expanded) lean formatted as nice English.

Note: there is no need to have all the math self contained in the document, he can say to assume some theorem true to do his proof. And this would be reflected in English.
This line [1] will become a source of many problems and wasted hours of debugging time.
You could at least return a sample document based on random offset or scan, lets say 1000 docs and infer their shape. Mongodb is schemaless, so theres no guarantee all documents look the same.
In fact the comment is inprecise
> Handler for reading a collection's schema

[1] https://github.com/kiliczsh/mcp-mongo-server/blob/9ffcd8f9fe...
By the government of this country and many others.
From the outside they both come across as incompetent and senile and it's hard to believe those are really the people at the top.
I think it would be unsurprising to me if Palestine deported an American who attended an Israeli general’s funeral. I’d say “hmm, yeah, makes sense”.
Most editing software, eg DaVinci Resolve allows editing with low resolution proxies, and final rendering is done with the full size footage
> Miller says that after he scanned his digital ticket, but before he went through security, a person working at Radio City stopped the line, pulled him aside, and asked him for his ID to verify who he was.

Most venues require a name on the ticket, and many will validate that the person holding the ticket is the person who is named on the ticket.

This is a very common anti-scalping measure.
You don't need a "burner" laptop/phone for entering the European Union. There are no routine checks of electronic devices except the usual x-ray machines.
That's why they pulled him aside and asked for his ID?
> Note: Not all Keynote features are available for a shared presentation.

That's the main issue. But also this happened about six years ago.
Microsoft also created the Xbox and every developer I know runs a Macbook.
Oh, the usual Coffeescript footguns :(

One of the problems of terse syntaxes is that one typo away from a syntactically valid program lies another syntactically valid program with entirely different semantics.

I prefer a syntax that has enough "gaps" between syntactic constructs, so that a single typo usually leads to an obvious syntax error. In this regard, Python or Java or TS are comfortable, Haskell or Lisp or C are okay, and Coffescript or Scala or C++ are terrible.
Note that you can still violate someone else's IP rights, only your side of claims will be null and void if courts determine you're not the creator of content.
Musk will say anything to get more money and power.
Yeah, I hear ya. Sometimes people seem to do bookkeeping just for the sheer joy of bookkeeping, or something.
The fuck does the Abrahamic God have to do with what I consider to be evil? There's (a) no practical aspect to it, (b) no benefit to it, and (c) it involves a creator torturing his creations. Good and evil were identified long before anyone ever invented El or Elyon, my guy. Read a book.

Yes, it's evil. I don't need some imaginary third party to make up magical rules for me.
I noticed that when you post on Bluesky with a URL in, the client says "uploading thumbnail". That's odd, I thought, why is the client doing that and not the server?

So I looked up the API and it turns out the client can set whatever it wants as the preview!

API Docs: https://docs.bsky.app/blog/create-post

Here's an example: https://bsky.app/profile/jarofgreen.co.uk/post/3llj76ouqsr2u

Here's a Python Marimo notebook where you can do the same thing too:

Code: https://github.com/JMB-Technology-Limited/blueskyposter/blob...

Run in your browser: https://marimo.app/?src=https%3A%2F%2Fraw.githubusercontent....

This seems ... not great? Users would expect the preview to come from the website, I think.

Also, I assume that means if you update your website and change the info that you want shown in that embed card (the OG tags) it won't change on any old posts that link to your website?

ps. Also this is the first time I've tried using Marimo Python Notebooks for anything real, a few rough edges but pretty nice! https://marimo.io/ If anyone knows how to link to a note book and have it open in app mode, please let me know.
This was about six years ago.
That site says it's still Chrome only. On Firefox I get this: (maybe it's mobile Firefox)

> If you are reading this it means that your browser does not support the WebMIDI extension.

> This is a real pity, but with some luck Google Chrome will work on your system.

> If you already have chrome please start up chrome and revisit the website using
that browser, otherwise you will have to install it.

> For FireFox this has been an open issue for Eight Years. See: this
bugzilla entry.

> That's annoying because FireFox is normally my daily driver but eight years is
enough to have to wait for a feature like that.

> So, I'm really sorry, but please switch to Chrome for this project, until
Mozilla gets its act together, assuming it ever will.

-----

There's really no such thing as web standards anymore. Google just does whatever it wants and sometimes the other browsers work, and sometimes not...
Have a look a cameras with HomeKit Secure Video, if you are already in the Apple ecosystem

e2e encrypted and stored in your iCloud
Armor does protect you against blunt force, but you will still feel the hit. And a strong one to the head, will knock you out. But compared to unprotected .. there is still quite some protection.

Pointy hammers were rather effective for pinching through the armor, not creating concussion.

And all the armors had weak spots.
Oil is a deep rabithole trust me don't go down its path

Academia is a place for intellectual labour, and being sustained by the physical labour of the workers to extract oil is good. Exchange intelligence for the physical labour of the people who made that oil possible

EDIT: consider the innovation that innovated oil refinement, it came from academia!
Gratz Gyn!
Makes far more sense to use this on receiving end then
Vibe creation?
To be fair, my knowledge of F# is a bit basic, but I meant stuff like classes (including abstract ones), interfaces, and the ingrained interop with C#.
It will specifically stop you if you try and ask it for the style of Disney or marvel, while Sama specifically tweeted an example of Ghibli. There is very clearly a conscious choice around which companies IP they protect, and which they're happy to exploit (eg, not US companies).

Like the "Her" tweet, I suspect this is another moment of Sama being bloody thoughtless and may very well come and bit him in the ass when he inevitably tries to deny this in the future.

EDIT: Okay, really weirdly, I tried this when this first came out and definitely seemed to hit a content policy block. and now it works.
I've seen NICE DCV be used for this too. Amazon bought them, so it's free if the server end is on AWS, but they will also sell you licenses for your own hardware too. It's essentially 4k60 video streaming where the video is your desktop and they use all the tricks they've developed for media streaming here as well.
I’ve been struggling with this. I’ve recently started using a new handle as a way to distance myself a bit. I wouldn’t expect it to hold up under scrutiny though. And then I wonder about the moral obligation to say what is right. So is it worth, or even morally right, to create a new pseudoanoynomous identity?
Trump will just ignore the courts. Vance said he should do as much during the campaign and our electorate still foolishly voted for him, so they know there will be no consequences.
Ask HN: Where is all the Chinese software?
[Forgive if this is culturally ignorant somehow]

Apparently the USA has 1.6m programmers, while China has 7m.

Yet I can't think of much Desktop software that is obviously Chinese i.e. the development house is chinese. Dyson Sphere Program and Black Myth: Wukong is the only thing that comes to mind - both games.

Presumably they're producing lots so where is it all? Behind the GFW in some sort of parallel ecosystem that I just don't know about? Or am I using really well translated chinese software regularly & just not realising it?

7m people presumably many of them on 996 schedule must be producing a sizable LoC output...where is it going?

Is all of it in the mobile space a la wechat miniapps?
I wrote a comment 2 hours before the initial comment in this subthread that explains Tesla held in court that Solar City ended up contributing nothing because it needed to be liquidated immediately lest Tesla go bankrupt. https://www.vanityfair.com/news/2019/08/how-elon-musk-gamble...

For what it's worth, I don't even know what the inverse position would be, SolarCity was a solar panel maker, and famously, the idea after they realized they couldn't come close to China's prices, was solar roof tiles. They would be a major breakthrough project that would make Solar City a breakout financial hit.

Do people think Tesla makes solar panels? Solar roofs?

I don't blame them, I guess, this carnival has been going on for years.

I'm somewhat surprised how dedicated you are to avoiding information and asking for someone, anyone, to give info. It's been 18 hours and 3 replies on your end, albeit without people taking the time to spell it out to you like this. Personally, I would have looked into it a bit myself.
Sort of: it put Twitter's LBO debt on X.ai's books. I strongly suspect Elon had been lending X money to cover interest payments. Both X.ai and X are privately held, so specifics will be hard to come by.
Fair enough. Video doesn't play, but I believe you. I don't know where I heard froodian slip and frood, but I checked a few places where they pronounce it and all agree with you. Bet I will find more example as soon as enough time has passed so it would be weird to post it here. Damn you, Murphy.
Between GitHub, VS Code, and TypeScript it is hard to make the case Microsoft doesn’t focus on developers as a segment.
Scientists are people who for a living often need to cross international borders. The current administration has shown no respect for the Rule of Law and the borders are the place where you will be affected in the worst way if someone gets provoked by something. Lawful or not, you may not be on US soil yet when it happens.
I've been working at Apple for almost 12 years. While secrecy is indeed paramount, once a tool is internally blessed, we collaborate normally using it. Keynote collaboration is actually pretty standard nowadays.

Opinions are my own and do not reflect those of my employer.
Oh, fun to see my project mentioned on HN! I’m glad to see it’s useful to others :)
Almost there tho

https://theintercept.com/2023/02/19/organ-donor-ethics-priso...

https://www.cnn.com/2024/04/18/us/organs-removed-deceased-al...
Google has the attention span of a crack addled flea. It is crazy to base any part of your career on a technology that the company doesn’t use extensively internally.

It doesn’t worry you that Google doesn’t have enough confidence any Flutter to use it in its own native apps?
"If you were one of their subject peoples who cut an early deal with him, almost certainly not."

If you ask the descendants of those people, you might get a different answer.

Because even the highest ranking "natives" in the new order were still lower, than the lowest white conquisator.
> I don't understand why.

Favors minimal text entry. You keep the type information in your head and enter fewer tokens. Historically you also reduced the work and improved responsiveness for the interpreter, which might have been running on an 8- or 16-bit computer at 5 MHz.
I looked at XMPP a long time ago and I think it’s a bloated, outdated, over-engineered protocol.
define "anecdote" as it pertains to your argument - because i have literally hundreds of videos of police misconduct, from just 2020-2022. I stopped collecting them because i can't move the needle.

here's where people go "oh but there's 800,000+ uniformed law enforcement in the US, and you have 100 videos, big whoop". How many videos would it take? We've only been able to really easily record the police doing misconduct for 15-20 years, depending on how you parse "easily record." So how many videos would it take? And of those videos, how many would i have to listen to someone say "the victim of police misconduct should have just [...]"?

How many lawsuits against cities and departments would you need to read before it made a dent?
> a broken food system and healthcare system have fostered mistrust

The issue with this line of thinking is that the brainrot has taken hold of significant numbers of people even in societies with working healthcare and food system (although not completely sure what that is).
Sincerely, I think there is too much emphasis on "rich people bad", the assumption being it is a zero-sum game.

Instead, we should simply focus on making this more and more true:

"provide value to the world -> get rich."
John Roberts is playing with fire. As are the district court judges.
> The looming crisis in the US is beginning to remind people in Europe of the 1930s, when the UK and the US began to realise that Jewish scientists needed to be rescued from the Nazis.

I feel like I’m living on a different planet. I am not saying things are OK in the US at the moment, but … are you kidding me? This is one of the most asinine statements I’ve ever read.
Yeah travel in and out of Europe all the time. No issues ever. Still devices are locked and encrypted though.
> I mean, come on.
Is that really necessary? Obviously there are enough people who did not know about, or find helpful, the resources you’re referring to, that we have people complaining on Hacker News. This isn’t exactly a novice’s forum. Perhaps the problem lies with visibility and accessibility of the support resources, rather than all of the people who have seen notarization as a hurdle to getting real work done.

btw, for those who don’t want to search, Quinn’s signature states:

“
Quinn “The Eskimo!” @ Developer Technical Support @ Apple
let myEmail = "eskimo" + "1" + "@" + "apple.com"
Proof that Steins;Gate world is a running simulation
Also the Units of Measure are a great feature. I think they're a zero-cost abstraction that Rust users love to mention.
There is very little good reason to have this setup if you are in the same building as it.
This is cool in a "how didn't I think of this on a long boring drive" kinda way. It only works on a true monochrome display where a pixel is on or off. When dithering and anti aliasing come into play what defines the edge gets subjective. Do you count a pixel that's 40% white? or do you consider that a triangle and not a square? The math breaks down then and gets more like what our eyes are seeing. But, IRT rendering this would make the math easier for calculating the anti aliased value of a pixel. I would be surprised if this isn't already part of that calculation. GL developers are much smarter than me. They probably didn't need a long stretch of highway to come up with this...
There is no such thing as benign scientific work. Questioning the nature of reality at its core is a radical act. As we’re seeing with tons of biology research there are right and wrong questions. It is only time till that spreads.
Ah, the old trope of pretending to give a movement advice so they don't "do a disservice" to their cause, advice which just happens to be about throwing marginalized people under the bus yet again.

It's as transparent as it is craven. In the 1960s 50% of white people polled said that MLK was hurting the effort for civil rights. It's because they didn't want to want those civil rights to begin with, in the same way that you're clearly totally cool with the genocide and don't want rights for those who opposed it.
Very interesting tool yet completely irrelevant for the United States as AI generated content is not eligible for copyright protection by anyone (pending appeal). As it stands y’all may not like this reality, but it’s quite clear in legal terms. Claiming an AI generated work is protected by copyright simply doesn’t matter regardless of which entity is asserting the right at present.
"when the effective range is 30 meters and a horse is galloping towards you, well.. it would be effectively suicidal to try even if you hit anything"

One person on its own, yes, but we are talking about thousands of people. Meaning the horses charge frontal, the infantery there (without Pikes) might get smashed - but those on the side would have a clear shot. Unless they all panic.

"Battle of Böblingen"

And wikipedia says 2:1. That is not in the same ballpark as 100:1 like with the conquisatores.
@Fashion-at-cost

I can't reply directly anymore to your comment, since your comments have been flagged or something.

Anyway, thanks for at least agreeing to some of my points and facts. Can't have a meaningful discussion if everyone has their own facts.

To your other points:

> he explicitly has said he is not going to implement, such as abortion measures.

He is the reason why Roe v Wade was killed. He might not further introduce abortion measure this year, but he might do before 2028, so you can't take his word for it.

> Can you present anything to back the claim that “Trump is a catastrophe for America”, or that American have been harmed in any way, much less the “democratic future” of the country?

Some things so far:

- Cutting medical science funding means harms to patients, e.g. those in the middle of medical trials.

- Cutting VA funding directly harms veterans.

- Letting a bunch of teenagers working for Doge get access to your private information, increases your risk of identity theft and worse. One of the guys working for Musk had a history of providing tech support to a cybercrime ring.

- Ignoring judges' orders and not following due process and the rule of law undermines democracy.

- Pardoning J6ers sends a clear message that political violence is OK - which harms America's democracy.

The bottom line is why wait till 2028 to decide whether his actions harmed America, when the trends are clearly visible now that his actions will be catastrophic if they are not reigned in now. And he has a track record from his first term. That should also count for something. Would you rehire someone who was terrible the first time around?

Another way to think about this: You sit in your room and you notice a small fire near your curtains. Would you want to wait to see what happens or would you not try to put it out as quickly as possible?