skysight-inc/HackerNews huggingface dataset:
That's technically wrong. Every language has morphemes for the simple reason that every word is at least one morpheme. `cat` is a morpheme. `cats` is two morphemes (cat-s).

(The point about semantics is also technically wrong. You would first need to specify your view of semantic compositionality before such a point can be evaluated, but the usual views of semantics don't have any such consequence.)
The real eye-opener for me were that my kinda knobby MTB tires apparently have nearly the exact rolling resistance as my Schwalbe Marathon Plus on the Gravel Bike. So although they're a lot thinner, nothing is gained here at all. (If you assume enough pressure in the MTB tires on asphalt).
Transcripts actually are available for this video and many other videos on YouTube - press the "more" button to open the video description and scroll down past the Chapters and Music sections to find the Transcript section, and press the button labeled "Show transcript" to open the transcript.

This section/button was not available/visible when I viewed this video on the mobile website, but was available on desktop version of site and on the iOS app, so if you're not seeing it, that may be why.

In general, this kind of shallow dismissal is against HN guidelines, but I think you might just not be aware that this feature exists on YouTube, or else I don't know why you would ask for a transcript when one already exists. That being said, the transcript feature has moved around, as it used to be under the three dot menu to the right of the Share button, and many people have made posts on the Google/YouTube support forums and on Reddit noting that they had trouble finding the feature when it was moved in the past.

I hope this helps you to consume content in ways that are meaningful to you. Having a preference is okay, but insisting that others adopt and share your preference is not fair to those who don't share your goals, ideals, or use cases.
> It’s superficial sleep at best. You’re up peeing 3,4,5 times a night. You never enter REM sleep. You’re dragging the entire next day. All to do it over again to your body the next day? (...) look like shit, and lack motivation.

So just like being a parent then.
To be fair the ones who do succeed in those FAANG interviews are probably pretty smart, good under pressure and know algorithms / data structures very well. I'd have a hard time passing these interviews even with a lot of preparation - I don't excel under pressure nor do I have the will to prepare for those interviews for months (which is what it would take for me to reach 'FAANG' level interview taking and I'm being generous here, it could take me more than months). The vast majority of candidates are like me - some combination of time constraints and lack of superior intelligence will prevent them for excelling in those interviews or even trying. I'm just not in the top 2% of devs in terms of intelligence and am not particularly great in charming my way into an offer, nor am I a member of a protected group / DEI.
So knowing my chances are low to begin with I'm pretty much fine with deciding FAANG is not very realistic for me.
Provided the advertisers like what you're saying
Like most things in C++, forwarding references are one of these things that seems to really confuse people. This article seems to think it's another magical rule implemented by the compiler only for templated contexts, but it's really just a consequence of the reference collapsing rules that apply everywhere.

template <typename T> void foo(T &&t);
Bar bar;
// Template params are inferred as follows
foo<Bar>(Bar{});
foo<Bar&>(bar);

Similarly to how a const (const Foo) collapses to const Foo, a (Foo&)&& is considered simply a Foo&. The magic then isn't with the && or the templated context itself, but rather the template parameter type inference which determines the correct qualification which makes the call possible.
I don't envy you the task! You've probably thought about it a lot more than me, but I was wondering if you could add a "very hard" or "advanced" category. Or perhaps users could submit difficulty ratings as a percentage and you take the average.
Is this related to Project Astra?
> But http/3 is udp, so no shortcuts there.

Usually stateful firewalls create a "state" for UDP connections, so "shortcuts" are still possible. See, for example, pf: https://www.openbsd.org/faq/pf/filter.html#udpstate
You can't answer a simple question, but I lack clarity of thought? Nice projection.
They don't, it's part of the "believer" persona where they will excuse anything and everything, thinking that since it is so expensive and gives so much status that it can't be bad or wrong.

The state of things is appalling, some cheap Android phones give better experience with typing/keyboard than the most expensive Apple phones (you get a proper number row in the first place, avoiding extremely annoying switching when working with numbers).

And I say that as someone who bought the first iPhone (literally imported it before it was even available in France), when the hardware was so superior to anything else on the market that it didn't matter as much that the software could be lacking in some ways.

Nowadays the hardware is still good (overpriced, at least in France) but the software is bad/annoying/lacking on so many levels it's just insane that Apple keeps getting away with selling so many expensive devices with deeply flawed software.

But there has been a slowdown in sales and their chip leadership doesn't matter as much as it used to (at least in phones), so maybe they will start improving their stuff. One can only hope.
Thanks! I made it 2-3 years ago and IIRC it took me few months of weekend work; the things is that it was "easy" in the beginning, but for each combination of "feature" + "drawing type" things got a lot more complex, specially later on. e.g. when adding the option to shift the grid, or scale it, then I needed to change all of the drawing methods; or when I add a new drawing method, then it needs to work with all the other configs. So a lot of the code is basically dealings with these cases.

It also has a lot of logic trying to position things so that they look nice, specially around the axis arrows/numbers (since any overflow off the SVG would be cut off).
One of the reasons for why word vectors, sentence embeddings and LLMs won (for now) is that text found on the web especially, does not necessarily follow strict grammar and lexical rules.

Sentences that are incorrect but still understandable.

If you then include leet speak, acronyms, short form writing (SMS / Tweets), it quickly becomes unmanageable.
GP did not mention San Francisco? Weekday parking in NYC garages starts from $20/hr, and $50/hr is not unheard of.
Going from 20W tire to 10W tires is going to be massive even more so for recreational not so fit riders. Such a rider may output 120-150W on average. Getting 20W free (there are two tires) results in a difference comparable to installing a small motor on your bike.
This was a very egalitarian society, with basic needs. All the benefits from division of labour and trade you already get when your society has a few hundred individuals, and it doesn't give you any incentive to grow as large as these mega-sites were.
I put (2018) because it was updated in January 2018.
Access Google Sheets as Actions in Custom ChatGPT
> Sandboxing, and resource quotas / allocations / reservations.

But "sandboxing" is not a property of hardware-based virtualization. Hardware-based virtualization may even increase your surface attack, not decrease it, as now the guest directly accesses the GPU in some way software does not fully control (and, for many vendors, is completely proprietary). Likewise, resource quotas can be implemented purely in a software manner. Surely an arbitrary program being able to starve the rest of the system UI is a solved problem in platforms these days, otherwise Android/iOS would be unusable... Assuming the GPU's static partitioning is going to prevent this is assuming too much from the quality of most hardware.

And there is an even bigger elephant in the room: most users of desktop virtualization would consider static allocation of _anything_ a bug, not a feature. That's the reason most desktop virtualization precisely wants to to do thin-provisioning of resources even when it is difficult to do so (e.g. memory). i.e. we are still seeing this from the point of view of server virtualization, and just shows how desktop virtualization and server virtualization have almost diametrically opposed goals.
Why null as any[]? Can’t it just be []?
Julian Assange would like a word with you.
Writing Compilers (2022)
Bending young trees and keeping them in place mechanically to make them grow into interesting or useful shapes is quite viable, probably not to make an armchair but possibly pieces for constructing one, or something simple, like a one-piece walking stick.
Creating Forms in Ruby on Rails with Simple Form
Did anyone ever investigate the idea of adding feedback control to e-ink displays?

I get the feeling that all this flashing and latency of e-ink displays is entirely due to the open-loop nature of the controller.
"Reliably" is a difficult word. If you understand how a specific watermark works, then yes, absolutely. If you want a fully general method that counters every possible thing you might come across... well. That's hard.

"Imperceptible" watermarks work by altering detail humans don't notice or pay attention to. So your scrubber would need to reliably remove or change all such detail. Removing such detail is absolutely something we can do - the article mentions one way, other commenters make other suggestions, and also lossy image compression in general works by losing exactly such details from the compressed image so there's that as well.

But /reliably/ get rid of /everything/, so you can be /completely certain/ no watermarks encoded in ways imperceptible to a human can possibly be left, without knowledge of the specific watermarks you want to remove or at least a way to test for their presence? You're looking at some drastic technique, in the realm of "theoretically possible but impractical"; e.g. one way might be to hand the image to a human artist, commission them to paint a copy, scan that in and use that.

Note how, in the article, it's still possible to pick out the cat even as the jpeg compression level increases. If someone found a way to avoid encoding that information without degrading original image in ways noticeable to human observers, we'd all be all over that, because it would give us a way to make image files even smaller than we can now.

This is an active area of research, precisely because it is key to getting better compression for sound and video to better understand how humans perceive things, what they notice and what they do not, so that we can reliably avoid storing information that humans will not notice the absence of / changes to, while still storing everything humans do notice. It is possible that we will one day have a complete enough understanding of human perception to make some kind of general guarantees here. But that day is not today, and tomorrow doesn't look good either.
MS-DOS has been Open-Sourced We Build and Run it [video]
Here is a previous discussion: https://news.ycombinator.com/item?id=40355804
> an inflationary shock

There has been a recent marked increase in inflation. That is the inflation I refer to.

Learn to read maybe.
As long as you first find a stable and good enough job it's probably fine and not _that_ hard.

There will be a ton of papers to deal with, including some banks that apparently aren't open to US citizens (probably because of taxation ?), but I don't think it's much more than for most countries on the globe.

Speaking/Writing will also be a big part of it, but it's not insurmountable. You'll survive without it for a while (you've found a company willing to hire you anyway), and probably spend a few years learning before being fully proficient (reading contracts etc.)

PS: I'm not american, so there's a bunch of details I might be missing but I haven't heard of specific troubles on that front.
... with a proprietary algorithm, the details of which we will not say a word about
for each day I a have a page. Easy to search and you can also write reminder for the future. It is surprising to see some todo when you start working next day.
Given how basic their lifestyle was, I'd say you hit marginal returns at tens of individuals. Like I said in another comment, a stronger reason would be required for people to want this scale, and I can only see warfare/peacekeeping and matchmaking as reasons.
It turns out the test is remarkably useful: fast tires on BRR are fast tires on various terrains. It turns out that fast tires are fast on everything and slow tires are slow on everything. It's true you can't say that about pressure (high pressure is slightly faster on perfect road but much slower on not so perfect one) but when it comes to tire choice it's a very good resource.
Search in the Gemini Era
University libraries should take journals out of the main library and move them to the relevant departments, we'll put a stop to this interdisciplinary nonsense (A sociologist reading an engineering journal, imagine!)
Are you regularly swapping SIMs? Are you keeping the same IMEI number?
The CSS stepped value math functions are now in Baseline 2024
History is such a powerful way to see through the bullshit.

And yet, it doesn’t matter. Plenty of idiots out there that continue repeating history’s mistakes.
IDK, I personally do something like a 0.5 to 1L of water just before lying down. Takes a little bit of forcing myself, as it's way past satiating immediate thirst or dryness in mouth, but I do it as a calculated measure. It pretty much eliminated headaches for me. I'd still feel like shit the next day - sleepy, groggy, unmotivated - but at least my head wouldn't be ringing.
It really does feel like this is the current worry in the tech sphere, and somewhat unnecessarily
For the same reason taking parts out of my car is less concerning when it’s in the junkyard instead of my driveway.
apt-mark showmanual shows you all manually installed packages and apt-mark auto marks stuff as automatically installed.

The list of manually installed packages is effectively the "world".

The new solver takes inspiration from apk in that it marks the world/manually installed packages the root of the dependency problem (hence why they can't be removed by the solver itself, only manually).
It's a valid notion but is it supported by evidence? Supporting evidence would be evidence of periodic burning of villages because that's what warlords do to peaceful settlements.

Also it is likely that the notion of "elites" is different in our age than in the era before the invention of money. Our elites are not elites of mind, soul, or even body. They are sitting on their hordes of extracted wealth. Earlier any sort of elites in an agrarian society (which presumably precludes strongmen type of "elite") would likely be based on group psychology and charismatic power (shaman, priests, divine representative, etc.)
mobile internet and smartphones were the real gamechanger here, which were definitely not linear.

They became viable in the 2000's, let's say 2007 with the iPhone, and by late 2010's everyone was living online, so "decades" is a stretch.
Ask HN: What are some must-read books about video games and gaming history?
I recently finished reading Doom Guy by John Romero and it's one of the most interesting books i've read on the last years. What are some other books that one should read about video games and the history of gaming?
For a start, the list of operating systems Hyper-V supports is an order of magnitude less than what VirtualBox supports. Likewise for emulated hardware, like 3D as mentioned a number of times here. The GUI is also much better on VirtualBox.

And Windows many times forces HyperV onto you, taking exclusive control of the CPU's virtualization features, thereby forcing VirtualBox to either use Hyper-V as a (terrible) backend .... or not run at all.
There are these things called extradition treaties.
There's good evidence to think complex cognitive tasks (like strategizing, coding...) suffer with CO2 > 1000 ppm

https://www.sciencedirect.com/science/article/pii/S036013232...
How to Collapse Your Stack Using PostgreSQL for Everything
Is this society in the room with us now?
cool.

highly recommend to implement the review exercise style of https://www.executeprogram.com/!, both the UI, albeit with better theming (https://monkeytype.com/), and the spaced repition feature, all while keeping the hn styled comment section, although i'd let none-related comments run horizontally to click through different approaches/explanation(-styles).

you got a startup there. keep it affordable. 5 bucks a month after u get a propper UI and spaced repetition with different numbers integrated.

great, simple, idea! let the copycat-wars begin :D
The report mentions that "Six victims were later recovered by divers".

I can't imagine how terrifying it must be to a diver when he actually finds a dead body underwater. I guess there's no amount of experience that desensitizes you for that encounter.
From the article

”Correction, May 13th: An earlier version of this article misstated which GPT Store features will be free. Free users can access custom GPTs, but they cannot create them.”
LineScan is basically a digital version of the circular flow system used in horse racing since 1937.

https://www.donttakepictures.com/dtp-blog/2019/5/8/winning-b...

(which IIRC was a plot point in a Columbo episode one time - but wasn't every interesting piece of tech?)
> machines with this CPU core have been available for years

Not true. The first volume-produced (reasonably priced) board with the C910 core was the LicheePi 4A. My pre-ordered $119 quad core board arrived on June 6, which is still less than one year ago. The Lichee Cluster 4A used here shipped in September.

Until the BPI-F3 shipped this month it was the newest core available in a multi-core SBC. Sadly so far the BPI-F3 ships only with a paltry 4 GB RAM, not the 16 GB people hoped for (and that the LicheePi has), making it useless for many development jobs, especially if you want to use all 8 cores.
Multics Emacs: the history, design, and implementation (1979)
Model suggests subluminal warp drives may be possible
What's riding comfort?

I let both of my kids try things and choose, both choose tires with fairly low resistance. One more so than the other, but both clearly regarded high pressure as somehow comfortable: Apply pressure to pedal, feel bike move. Responsiveness.
I don't subscribe for anything of this kind, and if something somehow gets into my inbox, I report it as spam and then unsubscribe.

All that is very much spam. I'm never interested in marketing material from vendors. Doesn't stop them from padding every single e-mail with it.
I feel the same about suspension but maybe it's just very hard to design. It would need to be very light and aero to make it worth it for road bikes which are pretty great on roads as they are. For gravel there is the Lauf suspension thing and the new light/short suspension forks but I am not surprised they are not very popular as a suspension fork means regular expensive maintenance. Why not just slap 2+ inch MTB tires on the bike instead?
> Given how basic their lifestyle was, I'd say you hit marginal returns at tens of individuals.

You might have a circular argument there.
Just in case any of you don't know, trash bins were removed mostly after the sarin terrorist attack in 1995: https://en.wikipedia.org/wiki/Tokyo_subway_sarin_attack
I do not know how RustHornBelt works. We are focusing on safe code, although we still generate a translation for unsafe blocks as a "best effort".

Compared to Aeneas the goal is very similar as we want to verify Rust programs using interactive theorem provers. However, with coq-of-rust we write the purely functional version of the code (the one on which we make proofs) by hand, or with the help of some GitHub Copilot as this is rather repetitive, and prove it equivalent with the automatic translation. In Aeneas the aim is to directly generate a functional version.

We handle all the pointers as if they were mutable pointers (the `*` type). We do not use any information from Rust's borrow checker, which simplifies the translation, but we pay that at proof time.

To reason about pointers in the proofs, we let the user provide a custom allocator that can be designed depending on how the memory will be used. For example, if the program uses three global mutable variables, the memory can be a record with three entries. These entries are initially `None` to represent when they are not yet allocated. We do not yet know how this technique can scale, but at least we can avoid separation logic reasoning for now. We hope that most of the programs we will verify have a rather "simple" memory discipline, especially on the application side.
Companies are expressed through and by people, and yes I ignore the "limited liability" bs since it should not shield you from criminal behaviour.
We’re not good runners. We’re good heat dissipaters. Sled dogs in the cold are much better.

Both of those citations don’t match the statements being made.
Sit in shade while travelling on bus
I guess if you just follow a few blogs the tiny overhead isn't worth it. But I follow literally hundreds of blogs and vlogs, many that only post a few times a year. It would be a waste of time to not automate the aggregation.
What verification database? If I show you an Afghan passport, does the Taliban have an API to check it?
I recently talked with a junior developer fresh out of school who was very surprised that you could just use git locally to track changes to your own files, without ever connecting to a server. He seemed to think git is the CLI for Github.
My problem with RSS is that I am a completionist. I add too many different blogs and aggregators and then can't keep up. Then reading this becomes basically work. And then I lose interest.

But I still want to return to RSS. Is there a good - ideally minimalistic - RSS client that anyone here recommends?
> get a lot out of it

Could you expand?

I visit an in-person therapist once a week. Have done so now for almost 2 1/2 years. She has helped me understand how 40 years of experiences affect each other much more than I realized. And, I've become a more open person with everyone around me and with the things that embarrass me.

But, it always feels like a work in progress. And lately, I'm feeling a bit exhausted from it. In other words, maybe I've talked TOO much and need to just be.

Have you done therapy in person? How do you compare GPT 4o to that? (If you've gone that far)
Can you tell us more about your scaling issues with Temporal?

I haven't yet used it in production, but I would've expected that a system which evolved out of Uber's Cadence [0] (and which I believe is used at Uber extensively) would've scaled very well.

[0]: https://stackoverflow.com/a/61281435/1579058
> It's essential to remember that public clouds are businesses aiming to make a profit, but it's misguided to assume malevolence. Public clouds, including AWS, are not here to exploit their customers.

"aiming to make [a] (billions in) profit" absolutely does mean exploiting your customers. Hence data egress fees.
Interesting. My wife and I have been almost exclusively drinking non-alcoholic beers in the past few years, as we discovered they taste almost exactly the same as regular beers of the same brands.

But then again, we're not beer tasters or into craft stuff, so maybe we can't tell.