skysight-inc/HackerNews huggingface dataset:
Yeah I think you’re correct: Git’s internal data structure is a grow-only set CRDT (well, graph) of commit objects. Grow only sets of hashed contents are one of the simplest CRDTs out there - the network just implements set union.

If git only had commit and fetch, it would be a crdt (though not a very useful one). But git also needs to merge commits / branches together. And it does that via diff-match-patch, which doesn’t pass the crdt rules. (Since it’s not idempotent, associative, automatic and in many cases deterministic).
Batched (Dynamic Batching)
Why do we find it so hard to accept coincidences for what they are?
Nvidia Reports Strong Quarter Amid Investor Jitters over AI Boom's Staying Power
Can vouch- been using this tool the last couple months and it's been magic. It's new so there is definitely a learning curve, but once you get things working it solves the cross-platform problem completely.
> No, the comments aren't deleted, just hidden for you and your own followers.

I understood this and nowhere in my post did I say I thought they were deleted. "hiding" is barely better and the effect is essentially the same since people aren't often going to go trolling through hidden replies.

Nothing about these changes prevent or mitigate the situations you are describing.
Kotlin just needs some stubborn people not to use python just because everyone else does, and build up the Kotlin ecosystem. That's how progress is made.
I mean the zero function, i.e., the one that is zero everywhere, because if y ∈ ℤ and y = -y, then y = 0.
Sorry, maybe I should have phrased this differently: Of course that should be fixed! (I have spent the last half year or so fixing a11y issues on a highly frequented website, mainly thanks to the EU Accessibility Act, so I'm starting to get a feeling for how awful non-accessible websites must be.)

What I meant to say was: The lack of a11y doesn't seem to be a deficiency of the library itself but rather of a hastily written demo application/renderer.
https://archive.ph/tICdn
Most people don’t even say woke at all because most people don’t talk with political shibboleths specifically and consciously pushed as a scare tactic for critical race theory. I expect the more neutral term would be “political correctness” and using it doesn’t make you sound like you watch too much fox news.
Due to the booster's failure to relight for landing. Humans wouldn't be anywhere near it at that point, so it doesn't have much to do with Polaris Dawn directly.
Got any any screenshots? I’m having a hard time imagining this..
PowerToys run and FlowLauncher both have good plugins that use Everything:

https://github.com/lin-ycv/EverythingPowerToys

https://github.com/Flow-Launcher/Flow.Launcher.Plugin.Everyt...
Lock-in on service should never be acceptable under any circumstances, war, peace, military, civilian
I definitely overstayed my job as a system administrator. When I started, there was 40 hours of work per week, and I hung on too long, because it was something I was good at, the pay was outstanding, but it was unsustainable, as my workload gradually dropped to a few hours a week.

I should have either moved into other roles, or left the company somewhere around 5 years earlier, when I started feeling impending doom.
I agree.

And when a UI is described as "modern", you can be pretty sure that you're going to be cursing it if you actually use the thing.
As far as I know VK is not nearly as popular as Telegram specifically as a communication tool, aka a messaging app. WhatsApp and Telegram being by far the most popular options in Russia.

> Telegram can be used as a tool to spread your disinfo, masking it as truth.

So can TV, newspapers, local websites, etc etc. And yet we know what happened to all Russian media that tried to spread messages contradicting the official position. I don't believe Russian gov (or Soviet for that matter) is confident enough to allow dissenting opinions to be spread on such a massive scale without a high degree of influence and/or monitoring.

I know usually the burden of proof is on the side of the conspiracists, but in this case I am not taking any chances. If it's a Russian company that is widely used by the Russian ideological state apparatus, I have zero trust in whatever their encryption promises are.
I think both languages have their strengths. I love Kotlin for its functional programming (map, filter, etc) and strong static typing. But Python has some nice features as well, such as list comprehension, the 'yield' keyword, and annotations are super simple to implement.
What "user rights"? Free software is a gift, not a right.
> Databases that are built into the application by default are the future.

No they're not, because for web servers, you have many (tens? hundreds? thousands?) of web servers that all need to talk to a single database. And you sure don't want to replicate and sync a gigantic database across each web server -- that would be a disaster.

While for local apps on your phone or computer, usage of SQLite is already widespread -- it's not the future, it's here. And cloud-connected apps that work offline already do some sort of sync for that.
> So then Git uses a CRDT internally?

No. Factually, inarguably, no.

If you want to argue against this claim, OK, have fun, but it's not interesting to engage, because there's no interesting conversation to be had. However, if you want to understand why this claim is true, great, ask whatever questions you want to ask, I'm happy to help you understand.
Cloudflare's IPFS Gateway
A lot of people suffer from the tendency to do a lot of pre-abstraction. They also split everything up way to much without needing to
it really doesn’t matter, if nvidia pops hard it would almost certainly take the rest of the market with it, just on the basis of that being such a bearish leading signal on the market enthusiasm for AI. Nvidia popping would mean the AI party is over and a gut blow to the tech market as a whole.

this isn’t to say a down quarter that’s 25% down or whatever would be fatal. Obviously it’s going to have to correct a little at some point etc. Or if everyone else is obviously doing fine and it’s some nvidia-specific thing. But if Jensen got on the phone and said they were down 75% in next quarter orders on the basis of secular market trends and expected further cancellations, the tech market as a whole would probably crumple.

Most of the gpus nvidia sells aren’t DGX, they’re going into dell or HP or supermicro servers. Even the ones that aren’t officially partnered benefit from this ecosystem momentum etc. AI buildout has sold a lot of computers, a lot of memory, a lot of racks and networking and optics and electrical, etc.

As what is still functionally the only company making money on gpgpu sales right now, and with them functionally being near-100% datacenter and related (automotive etc) they are a massive leading signal on where the market is headed. The next best one is like… powercolor (TUL Corp).

(and nvidia conveniently does break it out anyway, but a lot of companies like AMD tend to submerge it in another group to deliberately make the revenue difficult to break out.)
model available or open weights are right there. Nothing puritanical about it. the standards for calling something open source are relatively simple - you have to share the source to begin to call it open source. they have not done so, and asking them to use a different name for it when they're not sharing the source really doesn't seem like too much to ask.

Except it's Mark and Meta, which are household names, and I'm some Internet rando, so my voice is smaller, hence the accusations of bullying. If someone decides for you that your new name is shithead, and everyone goes along with it because that person's bigger than you, thats bullying.
> In less than a year, you will be able to go from east coast to west during your sleep. That was said in 2016 IIRC. 8 years later we’re still waiting for it, and it’s not anywhere close.

FWIW, I didn't believe it then, and I don't believe it now. Even ignoring needing to get out of the car to plug in, it can't park itself at a charger. It can barely navigate parking lots in general as evidenced by the terrible results of Smart Summon (which I did not try during my FSD trial because fuck that).

> You are an enabler of this fraud. Great for you that you love it.

I'm an enabler only in the sense that I bought a Tesla. I did not buy FSD.

And if it's worth anything to you, while I do love my Model 3, I would not buy a Tesla today for reasons far beyond lies about FSD capability timelines.
Used it for many years on various machines, good stuff!
Not signing up
I'm curious about this too. Is this just preference/taste and the way everyone does things, or is there evidence to back it up. What could a modern study look like? There are so many aspects like the font, size, width or how much fixed width spacing between chars, screen/page size, background color, type of content. And are there other metrics than reading speed? Like information retention, or psychological effects like do people feel positively or negatively about the content/topic/reading experience.

I found this https://ux.stackexchange.com/questions/48753/does-the-use-of...

- > In Universal Principles of Design, the entry on legibility states: Proportionally spaced typefaces are preferred over monospaced.

- It's unclear if that book provides further evidence to this statement

- > One famous research on this is Beldie I. P., Pastoor S. & Schwarz E, 1983, “Fixed versus variable letter width for televised text”, Human Factors, 25, pp.273-277, where part of the results include: The reading time (Task 1) with the variable-matrix character design was 69.1 s on the average, and the mean reading time with the fixed-matrix character set was 73.3 s, t (8) = 2.76, p < 0.02. The difference is 4.2 s or 6.1% (related to fixed-matrix characters).

- I couldn't find a pdf of that one in particular. The difference seems small

- https://www.tandfonline.com/doi/abs/10.1080/0144929021014673...

- > Comic Sans MS, Arial and Times New Roman typefaces, regardless of size, were found to be more readable (as measured by a reading efficiency score) than Courier New.

- small sample size 27 children. also the children preferred comic sans... we could pick a cooler monospace font than courier new

- https://link.springer.com/article/10.1007/s10209-015-0438-8

- > It was found that larger text and larger character spacings lead the participants with and without dyslexia to read significantly faster

- unclear if those were monospaced

- https://www.researchgate.net/publication/20925173_Reading_wi...

> We compared the effects of fixed and variable (proportional) spacing on reading speeds and found variable pitch to yield better performance at medium and large character sizes and fixed pitch to be superior for character sizes approaching the acuity limit.
Yes, because Mozilla can't force is onto it by making google finance and YouTube run like shit on competing browsers
> if you require your information systems to be crime & abuse free, you will not have an information system anyone can use.

No one does and that’s not why Durov was arrested. It’s fine if there is crime on your system providing you are ready to work with law enforcement so that the space can be policed to the best of your ability.

If you don’t, you are basically voluntarily harming society and will be prosecuted. I’m personally fine with that.

I find it very hard to take the discussion about Telegram here seriously anyway because I just opened Telegram right now to check and sure enough the third contact in people nearby right now is called “Weed, Coke, Viagra - Buy now”. At some point, if you don’t see the issue, I think you might be intentionally blind.
https://en.wikipedia.org/wiki/List_of_major_stock_exchanges

"One of many"... Nasdaq & Nyse have capitalization equivalent to pretty much the rest of the world.

Most people reading this, if they have any money in any stock exchange, they are directly or indirectly exposed to Nvidia, whether they like it or not.
> management philosophies when they get popularised into airport books and watered down.

You’ve just gravely offended all those top consultancies hired by the companies I worked at. Basically you repeating the favorite argument of management consultants - if Scrum isn’t working for you then you’re doing it wrong.
I agree that searching on Windows sucks but I guess there is a trade-off to be made. You can use very abstract APIs that will work for all kinds of file systems, whether a local disks, a DVD, a USB connected phone, or a network drive, but it will be slow and limited because you can only rely on the lowest common denominator. On the other end of the spectrum you can build highly specialized functionality that can be fast and take advantage of all the features of the target file system, maybe even accessing the medium at the block level, but it will only work for a specific target. So I can at least see how you can end up with what we have.
It's time for change, it's time for Linux [video]
I assume that's because even if they aren't the original rights holder, they still have standing because they (as the public) were given rights under the GPL implicitly by anyone using the GPL, for the GPL covered items. Since they were denied those rights, they were harmed, and thus have standing.

At least that would be my "layman that finds court cases and discussions of them interesting so consumes that as entertainment fairly regularly" best guess.
cultivate a better class of friends. Are people not free to exist in an echo chamber if they choose? Who are you to tell them no?

I don't want a community where people all agree with me but I do want a community free of chronic trolls who only poison the well.
> Annualizing this quarter's earnings it has a P/E of 45. And earnings "only" grew at 60% annualized, slower than in the past

That's a PEG ratio of 1.5 [1], below the S&P 500's forward 2.63 [2]. (EDIT: It's 1.4x [3].)

Wild times.

[1] https://www.investopedia.com/terms/p/pegratio.asp

[2] https://www.nasdaq.com/market-activity/stocks/spgi/price-ear...

[3] https://news.ycombinator.com/item?id=41384923
Dell Rugged vs Dell Rugged Extreme. Rugged Extreme is definitely as rugged as a ToughBook, but with that obvious very visible tradeoff in weight and size.
When going to foodbanks as a kid, I could 100% tell.
> Databases that are built into the application by default are the future.

That’s a bit overzealous. SQLite is great, but it’s not a replacement for a hosted database. Not all data can live on the client. Use SQLite when you have the right use case for it (offline desktop app, etc.)
The word "directly" is usually used to refer to first-order effects. 2nd and 3rd order effects are (by definition) indirect.
The Barbie Phone
Unions exist to redistribute income. From capital to labor, and from workers with higher market wages to those with lower market wages. That management can't award an outsized pay package to a valuable employee without buying everyone else's assent is a feature - that's why people with left-leaning economic politics like them.
I used this for a couple years many many years ago. I even made several dock widgets for it for various purposes. The source code for these widgets even helped me get my first programming job!

Good memories!
or just modern, because modern/modernist architecture is different from contemporary
Product suggestion: HR AI for laying off AI workers.
>No matter what making a Mac-style DE is going to be a steep uphill climb.

I looked more into the project, his goal is actually to replicate the macOS from the 90s to early 2000s. I’m optimistic about a goal like that, but it’s more about the QA that comes with these sorts of higher level projects. I don’t think they have the resources to make something as out of the box as Ubuntu unless they use elementary or pop as their basis.

That being said, why can’t they just branch off into a DE with easy installation on BSD or any *nix loke XFCE or MATE? From what I’ve seen, they don’t have a real reason to even use FreeBSD.

This way they’d increase the likelihood of adoption but maybe at the trade off of supporting multiple platforms which I’d imagine can be a pain.
> my point was that it allows employers to arbitrarily lower their wage rate where the business is viable.

But it doesn't do that, in fact it requires the employers to raise their wages.

Your model has a single employer (a monopsony) who doesn't need to negotiate. That's a case where minimum wages cause both wages and employment to rise.

> This was laughably on display a few years back when McDonald's received blowback by publishing their training that teach their employees how to apply for government assistance while they were posting outsized profits.

McDonald's (mainly) doesn't have employees, it has franchisers and those have employees. Different companies.

More importantly, if you're on the left then you should think welfare is good. It's good that they're telling people that! We should require it in fact!

If you're saying that telling someone to get welfare is bad, you're making an argument that welfare is bad. In your model signing up for welfare makes employees poorer. That doesn't make sense.
> Information on openai changes quickly and is very unreliable

Agree. My napkin analysis is dependent on the reliability of those data.

> Omitting usage via API

That's a big assumption. I'd assume larger purchasers have negotiated a minimum buy in exchange for discounts.
Reactions to earnings are always a bit random.

But holicistally, if you were to buy the entire Nvidia company today, even if those advantages continue untouched for the next 10 years, and competition doesn't catch up, and the AI boom continues ... you're still not getting your money back. That's how high the valuation is.
Strongly typed logic programming embedding in Haskell (NASA research)
Trace route has such a nice promise of untangling the internet into its constituent parts. We used it last year in an installation where we physicalised the internet as marble run. You would create a packet for any website, and the visit all the hops one-by-one across their various locations[1].

[1]: https://youtu.be/9uIs0sh4iYU
Par for the course. Meta won't let me create an Instagram account. I did close out my Facebook account in 2016 and I created a new one to go with my Meta Quest 3 last year.

It's not like I've never run a webcrawler or automation against a web site (like this one) but never against a Meta property and I can't imagine I've made the slightest amount of trouble for Meta unless you count canceling my account in 2016.

If I could log into Instagram I could create a ticket but tickets made in Facebook just go nowhere.
For Telegram, the only thing we can say for sure is that you don’t have access to your messages anymore after 6 months.
In other FS/OS you'd need to use stuff like inotify/kqueue to build your own equivalent of USN Journal, but yeah.
A phrase I hate even more than “modern” is “x is the future”, especially when used to describe a technology that only works for certain use cases.

It’s an attempt to use social pressure and bullying tactics to enforce a technological consensus. I particularly dislike it when it’s used to dismiss legitimate concerns with missing features in new technology instead of acknowledging room for growth and development and the real diversity in user needs.
It's not ridiculous. While of course everything will fail eventually, it was not anticipated that it would fail this time due to a known issue. Until the cause is determined, it can not safely be assumed that the issue was due to age.

For comparison, if a plane crashed after 23 flights everyone would assume it was a factory defect.
Show HN: Read manga on E Ink readers with Kindle Comic Converter
Hey everyone! I'm the current maintainer of KCC since 2023, thanks for using it! I’ve been reading manga on Kindle ever since I got the big 9.7” Kindle DX from 2010 using mangle, and upgraded to the even bigger 10.2” Kindle Scribe 2022 using KCC. KCC also supports Kobo and other eink ereaders.

Here's a video of the results: https://www.youtube.com/watch?v=vAx8UfuJd9Y

The biggest contributions I've made to KCC are:

*added modern macOS support, removed homebrew requirement, sped up startup, etc...

*ported code to run on native Apple silicon M1 chip and later for a 2x speed boost

*fix Kindle Scribe image quality and conversion speed

*automatically crop images to fill the screen if the image would normally leave a few pixels of margin.

*page order and comicrack fixes, and tons of other small bugs

*created a legacy Windows 7 build with 200 downloads…

Enjoy using KCC and let me know if you have any questions!
I pretty much said that, yes. But the argument of "personal use" ends when you post on the internet. Which is what most "big fries" are doing as some endpoint.

But those are more "medium fries" anyway. The "big fries" aren't gonna take any risk whatsoever unless they are going the edgy parody route (someone like Adult Swim). There's little upside to Bungie or Microsoft or Laika posting Mickey mouse to begin with
If this project is successful, I anticipate more browser extension users than mainline Debian package installs.

If we even ship a desktop package, it would probably be our own ppa.
There was an extension for that someplace, but I forget where.
There's very little tech that somebody is going to hire you for knowing. It's a tool like many others.

If nothing else, spending a few days playing with it will give you an idea of what it's good for and if you want to continue, or it'll make it stick in your mind so you can come back to it if you ever need it.
The recent anti Telegram rhetoric i see here on hacker news and
other places seem to pretend that everything listed does not happen
on all the other big tech platforms.

I didn´t see such rhetoric, but it is not relevant. Obstructing law enforcement is usually not a good idea. Telegram is a safe harbor for crime and that is why it is big in crime, incomparable to other entities that do wield out illegal activities from their platforms and comply with (or challenge) subpoenas.
[dupe] https://news.ycombinator.com/item?id=41383914
It makes sense in enough contexts that I like it. The context-specific meaning is a moving target, though. For instance in 2005 a modern web framework would give you URLs without file extensions. In 2008 a modern JavaScript framework wouldn't modify prototypes of built-in objects. In 2022 a modern node.js library would support ECMAScript modules. Just because the context-specific meaning changes doesn't mean the overall meaning changes.
Discussion: https://news.ycombinator.com/item?id=41383914
Huh, then I have no idea what they are doing with backups anymore. It makes zero sense to support that on Android but not iOS.
I would say no because it seemed to me at the time that people understood the damage the PET’s killer poke could cause was more theoretical than actual.

I took it more as a kind of lesson that software could sometimes break out of the normal execution model it runs in, sometimes in very unexpected ways and with possibly significant consequences. (I was just a kid, so probably my mother lead me there. She was an experienced systems architect, or whatever they called it at the time, and had plenty of practical experience with machines that were a lot more raw than the PET.)

I liked the PET, and while it had a better basic, monitor, and character set, it was lacking a graphics capability like the Apple ][. That’s what reduced PET sales. E.g., a C64 was basically a PET plus graphics & sound (w/enough memory to use them) and sold like gangbusters.