skysight-inc/HackerNews huggingface dataset:
Those people actually do think about "it", but they have thought about it in a more useful way forever, so they wouldn't notice the difference now.

People also develop the mental infrastructure to index particular kinds of information. Part of it is luck, part of it may be genetics but most of it is training. For example chess masters can easily remember chess games. Musicians can easily remember musical sheets. And some version of this is going on in most people.

For example I can learn new Chinese characters relatively quickly, because I already spent years memorizing some.
The main highlights (for me) are support for `backup --read-concurrency` to control the I/O pressure on the underlying file-system and disks and `backup --no-scan` which also helps. (I'll have to test these options myself, plus the compression from `0.14`.)

The other highlight is the `rewrite` command which allows you to remove (or include) files in a former snapshot without a complete re-backup.
While this seems to be a pretty egregious example of a vendor benchmark misleading through cherry-picked unrealistic results, I'm not sure I share the author's pessimism about how these kinds of stunts will hold back the graph database market.

Why? Simple: pretty much any benchmark I've seen of anything, ever, was similar nonsense -- give people numbers to game and they'll do so, enthusiastically. Even supposedly gold-standard benchmarks like the TechEmpower framework benchmarks quickly devolve into "application server handling HTTP requests by responding with predefined strings", which is as fast as it's utterly useless in most people's version of the real world.

The only way to get usable benchmark data is to run your own workloads in your own environment: everything else is pretty much noise.
It’s been quite a while since I played around with encoders, video streams etc. It seems the old doom9 forums (http://forum.doom9.net) are still somewhat active, even if the site tagline mentions dvd, the video encoding/decoding concepts probably haven’t changed much and the forums seem to cover later technologies than mpeg2. Protocols and methods for transferring the product is most likely out of scope for d9.
Sometimes circumstances mean that going to a mall is the only way some folk can get to meet their fellow human beings. And that doesn't mean it doesn't have other advantages such as conversing with people one might not normally come across.
Ask HN: Book to Start with Type Theory
I saw this post today: https://news.ycombinator.com/item?id=34358663
And I would like to understand it. Where ahould I begin?
Independent derivation would be the worse possible thing for patents. The ideal solution would be easing the criteria for obviousness, such that credible claims of independent derivation could be used to invalidate the patent entirely.

Otherwise though, the purpose of patent law is to force companies to publish their discoveries instead of keeping them as trade secrets. If a drug company today tried to keep some process or substance as a trade secret, they would run the risk of another company discovering the same process and/or substance and blocking them from producing the thing they discovered first. So, they are essentially forced to publish it.
0) Google pays Mozilla hundreds of millions of dollars to keep it as the default searh engine. This sum represents most of Mozilla's revenue.

I'm no fan of Google, but their relationship with Mozilla is complicated, not strictly adversarial.
I really don't see how it could have gone any differently.

Mozilla is struggling. Firefox's market share is less than 3%, in the "also ran" category. Employing all the people in the Silicon Valley to maintain Rust is hugely expensive without an obvious return on financial investment.

By opening Rust up to the community, they ensured its popularity and longevity beyond what more corporate-focused languages (Go, Swift, or C#) can achieve. Relinquishing control is exactly what Rust needed to help its popularity.

Certainly not having a bunch of engineers employed specifically to develop and maintain Rust hurts, but Mozilla simply cannot afford it.
> Spend enough time in this industry…

I have 20 years in this industry. It’s full of stupid people pointing fingers somewhere else. Any time this is pointed out developers play the special snowflake game and pretend that software is something special or unique, but it isn’t. Everything is measurable just like any other industry.
It would not surprise me if this is the end of third party clients and the new owner has removed access. Very disappointing if he has, particularly if he's done it with zero notice too.

He has been making significant noise of feature changes in the official client coming in the next couple of weeks. Removing the third party client access would align with that, along with removing the little "posted by ..." note on each tweet a couple of months ago.

I wander if the new policy is that you can't have an app that's main feature is replicating the existing functionality of twitters main app. That seems to be the rumour over there.

Publishing apps like Buffer and Typefully are still working.
> The original post in this thread advocated for making hundreds of indie films vs one film for twenty million.

That doesn't mean that each indie film would cost $10k. Not that someone couldnt pull off a good movie like that for $10k. However, more people being able to make movies from $10k or whatever low amount would mean more chances of good movies being made.

> But more importantly, studios have making far fewer films and pining their success as a business on a 'super' hit driven mode

Yeah. Profit maximization instead of risk taking. The same problem everywhere - gaming industry has been consolidated in the hands of few big companies which started making endless rehashes of previously successful games to suck out more money from gamers instead of making new things. Profit maximization. Capitalism.
So under what conditions would you consider a company overstaffed?
>Alex Spiro, Javice’s legal representation, did not reply to Fortune’s request for comment, but has denied the allegations against her to other news outlets. Javice sued JP Morgan in December alleging the bank used an investigation into Frank as an excuse to fire her from her job with the company, Bloomberg reported. Spiro told the outlet that the bank’s lawsuit was “nothing but a cover.” Fortune was not able to reach representation for Amar.

Interesting to see the person who is defending Elon being retained by this founder!
For more context:

- blog post that sparked the discussion - https://memgraph.com/blog/memgraph-vs-neo4j-performance-benc...

- earlier discussion about this Memgraph benchmark HackerNews - https://news.ycombinator.com/item?id=33813781

- the benchmark results - https://memgraph.com/benchgraph/

- benchmark repo and methodology - https://github.com/memgraph/memgraph/tree/master/tests/mgben...
Yes, the more complicated it is, the more likely the optimizer is to get confused... but also the greater the likelihood of bugs and the greater the benefit of something that makes your query easier to read.
Slogan: We should fork the supply chain

I think we should push for a documented second supply chain, separate from the existing one. Everything would cost more, and nothing trade secret or proprietary or from outside the chain should be allowed into it. (Or that should be the goal, any way) This would serve as an exercise in history, archiving the current state of manufacturing as it stands to some extent.

You should be able to track ANY part or product of this chain all the way back to original sources and methods. It would be awesome for enhancing the National Security of any Nations that helped sponsor it.

Bonus points if you can show all the materials, labor, time, waste created, etc. of a produced good.

Once done, you'd know exactly what would be required to pack up and put into capsules to allow recreating this chain on Mars (or the Moon)
User-compiled list of banned apps: https://twitter.com/takke/status/1613796340869496832

Edit: Direct link to Google Sheets: https://docs.google.com/spreadsheets/d/1O27Co27g2fWRon7gK79R...
Awesome, I think a few years we'll hit levels of AI generative media tech where you can produce, as a lone greybeard, a Cyberpunk 2077 tier title. Same # of bugs too ;)
TIL! There weren't so many language plugins last time I tried it, so I felt like I had to drop back into Emacs/Evil fairly often. Good to know that's not as much the case anymore!
Talon is the only reason I used Twitter for over a year, yeah. I can't stand the site.

(Talon is also not loading any tweets at the moment)
I believe that was eventually introduced, but too little too late. It doesn't fix the asymmetry which makes direct participation a rather theoretical possibility.
That shouldn't happen https://github.com/DefinitelyTyped/DefinitelyTyped#i-want-to...
well a bit of both - if someone hasn't given you the scary meta stability lecture you haven't really done computer science :-)
The weirdest I’ve seen was using the ecommerce tables. Admin privilege was a thing you bought, like a sheriff’s badge.
Hail science https://youtu.be/tl55gVXsBZE
Ask HN: Book to get started in Type Theory
I saw a a paper posted today called "The Derivative of a Regular Type is its Type of One-Hole Contexts".
I cannot even start to read it, because of notation and total lack of background. There where also very interesting comments, but I can only understand half of it.

What would be a good book, article, video or site to get started with the topic?

Thanks.
Blade Runner: 2024

spotting open (closed) AI models by doing the Voight-KAPTCHA test
was searching in controller and models, but then discovered apis are triggered from active jobs. good initiative.
which part. how is that not electostatics and van der walls forces?
I‘m talking Swift > Rust. TIL about the unstable ABI, thanks!
But docker works better on linux… if you want a docker machine a macbook air is not the best choice.
Panics do not violate any runtime guarantees, and defers run in the presence of panics.

All safety guarantees possible if there were no panics are possible with.
I find those sorts of comments irritating. Why not just keep the comment open in a tab, and check back on it when you have a chance? Is it necessary to spam the discussion?
I know that there are definitions of velocity such as "a measure of the rate at which a development team consistently delivers business value". But I find this definition to be pretty useless in practice, so I ended up landing on a different definition, which is that velocity is "the ability for an engineering team to maintain productivity in the face of changing business requirements".

By framing it this way, I find that velocity becomes something that a team can actually experience, at least informally; and it implies the need to put time towards tools, management and architecture, rather than just features.
I don’t know how many of the solutions offer this, but there is a markup language for TTS:

https://en.wikipedia.org/wiki/Speech_Synthesis_Markup_Langua...

Amazon Polly, (which seems kind of ancient with all these new solutions showing up) has supported SSML for some time.

AWS Polly SSML docs: https://docs.aws.amazon.com/polly/latest/dg/ssml.html
Very cute, if rather old-school at this point, board. It's cool that you managed to do this using software USB, too!

It's both weird and wonderful that they show two out of three pictures with the full-size ("printer style") USB B connector.

I guess old Arduinos had that, so they're trying to be part of the family, but it seems like a rather obnoxious choice for a board that small.
It sounds like funeral homes lobbied for the steel box part.
> Peoples brains work differently from each other, and it would be good to acknowledge that.

And yet here you are, invalidating my experience.
16h is an awful lot for a social media site, even if region-specific.

Single digit number of hours happen from time to time, but double digits are not really a thing anymore. Maybe in early days of social media, not in the past decade.
> TS saves me time every day.

Hmm, not my experience. I do TS for years now and still today I'm spending more time on fighting/pleasing TS compared to the actual code.

JS with all its node_modules dependencies is a complete nightmare to get the typing right. I regularly have to change good solid code to please TS, but at the same time TS often doesn't complain when the typing is obviously wrong.

I once started with Assembly, Pascal, C and C++. So please don't start to explain to me what strict typing is and the benefits and so on, I know. JS uses dynamic typing by design. And I remember how awesome it felt when JS came out and we could write code without doing type juggling. And I believe that with type inference and some other tooling in the IDE we really don't need TS at all.
I don't like JavaScript, I don't like TypeScript, I don't like front end development at all. Is typescript worth it in my personal projects where I know all the code and they are pretty small? In my opinion, no. Is typescript worth it at work, where multiple people interact in a large codebase? Absolutely. Asking if a language is worth it is pointless unless you add "to my use case"
> Let me ask a slightly different way - can someone like me get into a job like these, without needing some more college?

It is a trendy area and in such areas there is always skepticism towards wannabe entrants. As for whether you know enough math, I would start by watching the fast.ai videos and seeing if you're comfortable with the explanations and tools.

I can say I have a stronger math background than most programmers (though less strong than that of real math geeks) and I don't think I know enough math to really grok this stuff, but I'm always after a more foundational understanding than it takes to just use the tools. I think there are opportunities that don't require the math, but are just about having gotten some practice with packages X, Y, or Z. In the end though, those are like web frameworks that become obsolete all the time. So it is worth spending time on foundations.
Loopholes ultimately built upon government agents willingness to commit perjury when questioned about the truth.
It's noticable worse than the examples in the blog post. I mean, it's good enough for listening, but no better than the competition.
I want to agree with you, but I have to admit I hate most human narrators of audiobooks. I would actually much prefer this company‘s voices to most of the humans reading books that I have encountered.
what exactly does Huberman shill? As far as I can tell, he has done an extemely commendable service bringing academic literature to the masses.
v) It adds so much extra complexity.

vi) You trade a few type bugs that are easily debuggable and avoidable for type composition and hierarchy bugs which are hard to find.

I have seen good examples of TS that make sense and made to play with functional paradigm, but in practice it was always a bloated mess of OOP JS introducing heirarchy where none is required producing components that are too-tightly coupled and resistant to change and slowed down developing for at least x10.
Why Are There So Many Stupid People?
Use Cases and Resources of ChatGPT in Product Management
You were probably using an auth token that hadn't yet expired. If you reauthorize, it will probably fail.
Vodafone plans 100s of job cuts in bid to rein in costs
He was not part of “nomenklatura” at any point of his life and retired from his work only after the fall of SU. He has never been even a party member.
Crypto.com cuts 20% jobs amid ‘unforeseeable’ industry events
YAML isn't the best, but it's the least worst.

INI doesn't let me do hierarchies and is out right out of the gate.

I started my career during the "XML ALL THE THINGS" craze and feel physically ill when I need to edit XML. It's technically the best, but it can be misused in so many ways[0] that it makes it unviable. XML Schemas, DTD etc make it a breeze to handle programmatically though.

JSON might be good, but it doesn't have first-class comments and no links or refers. It even kinda has a schema spec.

YAML has a ton of edge cases (like in the linked post), but it's hierarchical, human editable and machine readable-ish as long as you take the edge cases into use. You can also link and refer elements to reduce repetition.

[0] elements with no values, but 20 attributes, too many elements with values, but no attributes, etc etc...
If there was a regular requirement to re-confirm delegations, maybe, but "chain delegations" are another problem. Voting power is transferable. If A and B delegate to C, and C delegates to D, D has a voting power of 4.

The goal of liquid democracy was specifically to not be a regular representative democracy, and to (meaningfully) allow direct participation, and it fails spectacularly at that.
Centimeters of Hair: Iranian Chess in 2023
> types are now back in vogue but for how long?

Probably until startups and organizations that use more flexible languages race past those who strongly type things. Just like in the early days of the web and actually for ~2 decades in which everyone who used loosely typed languages raced past those who strongly typed stuff due to the ease of use and flexibility. If typing was the way to go, already existing typed languages would rule the roost. But they didn't.

The end users dont care about any engineering concerns that we have. They care whether they can do what they want with an app or service. And organizations that can ship code fast will keep their strong advantage.
i don't understand how a compiled language like swift can be binary compatible with a dynamic one like objc. How are they going to implement method swizzling on NSObject for example ?
>without messing up the equations for gravity too much. If some refractory effect (TBD) causes gravity to bend toward mass concentrations, then this effectively "confines" gravity into a plane. Then the propagation law becomes 1/r rather than 1/r^2.

There are objects like globular clusters and dwarf galaxies that lie outside the galactic plane, but are not that far away. If our galaxy's gravity was confined to its plane, you would expect nearby external objects to move differently from how they are observed to move. See illustration:

https://cdn.britannica.com/23/4423-050-964A0A08/Distribution...
I don't understand what you mean by "encourage controversial decisions to be rapidly validated by a majority".
Same. The API seems fine, just specific applications that have had their access revoked.
Ah yes, memgraph.

I argued with them here about another bullshit benchmark
https://news.ycombinator.com/item?id=33717766

they did reply tho
The current problem, as I understand it, is the capacity to build HVDC isn't high enough to meet global demand.
I don't have a strong opinion personally about the franchise system as I don't use any UK rail. My gut tells me they're not adding any value and they might as well be nationalised but someone whose opinion I trust (rail engineer and YouTuber Gareth Dennis[0]) has said that ditching them and nationalising it entirely wouldn't really fix what people think it would. However it has to be said that TPE and AWC have stood out as particularly dismal services - AWC were found to be fucking around with their already disappointing stats around cancelled services, for example. Hence my comment about users of those services - I would completely understand if they would want an overhaul if not outright nationalisation.

[0] - interestingly his "RailNatter" this Wednesday was titled "How to fix Britain's broken railways". I haven't watched it yet, but it will certainly feature some good insight: https://www.youtube.com/watch?v=CmKhVjw1xDA
Me too! And a new one came out in the USA last week. I think it was already out in UK.

Children of Memory it is called.

Downloaded but not read yet!
Hacker News Genius Catfishing
> A perfect smokescreen would be to widely disseminate the patently ridiculous ("joke") claim that all birds are spy devices, thus muddying the waters.

Conspiracies about conspiracies, I like it. Wonder how deep we can go.

Claim that no birds are real to hide the fact that some birds aren't real, said unreal birds actually also spray COVID into the air to infect people to convince the population to take a vaccine which contains tracking chips. (110% /s)
I would say you are overstaffed if A) you can't afford them and / or B) you've grown so fast, you don't know how to make use of the staff you have. Perhaps there is a C) which is a variant of B) the business model you are running only requires so much staff and you hit a ceiling in growth.
No, they happened. They didn't last a double digit number of hours though.

Not gonna say in decades, but in the past decade for sure.
A little piece about simplicity
i don't think people working on val are part of the swift team anymore.
Would you say that a vim plugin in your IDE of choice gives you the best of both worlds? The superior semantic manipulation of an IDE and the superior text manipulation of vim.
In Defense of the Unoptimized Life
I’m believe the full nickname is Melon Husk.
An interesting problem, not something I'd lay at the feet of any number of neglected or underrated jobs - though one could see the poor delivery of the system / service as a whole where those people were employed, is more often at fault.

Foremost as an example of this, from my pov that my region, similar to various regions around the world, is the few decade decline in educational services be it academic or trade. It's not the educators themselves, it's the system, the working budget and prices now charged / demanded. With the digital era, books, notes and other materials should be practically nothing since with enough people within that educational field, they can practically write their own material required. Disappointingly it has not, more often more money spent, to the benefit of the commercial sector.

In my locale, IMO many of the educational problems begin early in childhood. The education system has been slowly bent to be more inclusive and mindful of underachievers while seems like a good idea, stifles those who might not otherwise not yet have the capacity to seek out further material relevant to the taught subject. Later education from my short experience of it, misses the aim to teach and educate and focuses instead on memorising and passing exams. The onus I guess is people pass they should know some or most of it, but too often I've run into people who should, but haven't a clue.

Preserving hard won insight and information necessary of former systems though might be something a project can address. I've not doubt to do so would be complicated to sort out myths from working knowledge. Perhaps a better sort of wiki that deals with process, maintenance and troubleshooting, possibly with who still supplies various hard to get parts.

[I felt that was what one of wikipedia's (originally) aim was, many people in the first couple of years of wikipedia's arrival, moved precious information to wikipedia and let their own hosted page go. I don't know how many of us spent hours (tens, hundreds) posting up rare insight, trouble shooting tips they'd come upon their own or was gifted from former long term personnel in that particular field of work. Wikipedia from what I understood, a few years in, deleted much before archiving an awful lot of that sort of content because it took up too much space, wasn't relevant ... but from the present attitude there, it wasn't verifiable.]

At the end of this, I would say I can't see a solution that a single person can work out, or take a pay cut to solve. If any number of easy solutions were radical to address the how, what we needed to continue to enjoy a life as we know it, if that solution infringed on only a few dollars of a multimillion company's profits, it would not find favour publicly or govt levels (there would be an underhanded PR campaign) and thus ... humanity already relies too heavily on keeping a small percentage of people appeased.