skysight-inc/HackerNews huggingface dataset:
I get that the demos are interactive but for me at least a 2 minute video would be more useful in explaining what the product actually does, unless you really think you can demo the software using itself. There is not much point in ungating when I don't even know what the product is. Signing up is not a big deal, it probably is just that users still had no idea what the product was and weren't comfortable creating an account. And it seems it still requires an investment because the chrome extension is the main use case and has to be installed.

Bookmarked it though, I might end up using it.
Do you mind giving more details about your last sentence on "growing" and their relevance nowadays ?
When I hand wash glasses, dishes etc, I don't always fully rinse the items as I consider that the washing up liquid reduces surface tension and so should drain off the items quicker than just water. I can't say that I've ever noticed any flavour residue of the washing up liquid.
Falcon 9 booster landings became such a normal event that it's only news when it fails. Meanwhile every other rocket provider just tosses their booster in the ocean. (Edit: Rocket Lab does recover it from the ocean, using a parachute)

In any case, SpaceX was on a streak for so long but these past few months they got a failure (-ish?) on their second stage and now this. With so many launches every week it's bound to happen sometime, I guess.
Are you really suggesting that we have oversight and people being held responsible? Not in the Netherlands in any case, where did you think this was happening?
The intuitive definition of NonEmptyList is:

type NonEmptyList<'t> = 't * 't list

But this cannot be passed to any function that expects a List<'t>. This is odd though, since intuitively, all non-empty lists are lists.

See Rich Hickey's "Maybe Not" talk

OOP solution is to use inheritance. Typical ML solution is to use type-classes.

F# sits in an awkward middle-ground where neither is a perfect fit.

I believe that dependently-typed languages solve this more elegantly.

There's also the syntactic inconvenience of wrapping at construction, where in theory the compiler could figure it out for you.

For example:

let xs = 1 :: 2 :: 3 :: []

Here xs is non-empty, but we must tell the compiler:

let xs = 1, 2 :: 3 :: []

TypeScript does a better job here (although a great cost!)

What you end up with is massive code duplication or lots of extra function calls:

xs
|> NonEmptyList.toList
|> List.map (fun x -> x + 1)
|> NonEmptyList.unsafeFromList

(I say this all as someone who really likes F#)
HN does that if the URLs are identical (or nearly identical) and a submission has had significant attention in the last year or so. But for related stories that have different URLs, it's a harder problem. Our intention is to build support for this that will be community-curated. Someday!
Maybe they feel the same about Wine as I do about WSL.

You can argue that the my-thing-wrapped-inside-your-thing increases exposure to my-thing and that's a net good outweighing any other factors, but you can just as validly argue it helps divert from actual adoption of my-thing and facilitates never moving from your-thing, since no one has any actual empirical study, it's all just feelings and beliefs.

Maybe one logical argument that might have some meat is maybe WSL/Wine just means that the exposure vs crutch aspects cancel each other out (for every user who is exposed to foreign-thing and maybe decides to adopt it, there is another user who thanks to the swallowed version does not ever have to to move), and if that's true, then any imbalance in effects comes down to the the innate virtues of the two things. Both groups of people are equally exposed to both platforms and have equally good-enough use of both platforms, and neither has to actually change to get the benefits of the other, and so the user will choose whichever actually seems to serve their needs the best as their native platform.

I wonder if it's possible to make a desktop backed by WSL that would be a better experience than the current ad/spying-riddled Windows native desktop? Then MS would be forced to try to enshittify WSL so that it doesn't provide an escape and superior experience from the current Windows experience. Is WSL a good thing THEN?

At least for now, WSL has absolute crap access to hardware, not even just like gpus for gaming but even simple things like access to a usb-serial adapter. So, it's probably not possible to make a functional WSL desktop yet. Maybe such things will intentionally never be fixed in WSL just for this reason, so you can only ever use it for pure web app development no different from a cloud instance.
I'm not saying you shouldn't do risky things.

I'm saying you shouldn't do things so risky that a squad of spies would get sent to monitor you, learn your routine, pick your house's locks while you're at work, sneak in, dismantle your computer, image your encrypted hard disk, overwrite the bootloader with a special version that will record the FDE password next time you enter it and send it to them, reassemble your computer and sneak out undetected.

Because that's what an "evil maid attack" means, once you've got basic physical security in place.

As I'm not Ross Ulbricht or Julian Assange, I'm willing to take my chances.
The iPhone app sucks too, am I the only one who force quits the app to get back to the search screen ?
Are the recommendations aware of the context in the message thread?
Yes. I had a very good job. If I became unemployed I would have no concerns about going back to that job if I had to. However, I should not have stayed there as long as I did. I kept looking at friends and family and seeing how their jobs were worse, so I felt like if I changed I would just be downgrading.

However, the company I was at for a very long time did not significantly reward me for my loyalty. Just small annual raises, that's it. Like any workplace, there were problems and annoyances that did not go away. No place is perfect, after all.

I have changed jobs twice since then, and it's been a big upgrade both times. I thought it couldn't be better, but it got a lot better somehow. I've been very fortunate, and I was able to negotiate very hard from a position of strength.

If I could go back I would have changed jobs a couple more times.
But even languages with Tricolour Mark&Sweep GC, which handles cyclic references just fine, it's still possible to make memory leak via a dangling reference to a node in a complex cross-linked graph, because language and GC allows that.

Rust by default forbids cyclic references, by forcing to use trees, which completely avoids the problem.
The .NET Core Runtime works great on Linux, but it can't run .NET Framework apps, hence wine-mono.
DDR4 to DDR5 is a pretty big jump, though. Up to 20-30% on Intel depending on what you're doing.

Of course it might not be that significant on AMD which (IIRC) struggles with higher frequencies anyway and at least for gaming memory speed doesn't matter as much cause of the extra cache.
Some feedback:

* Put an semi-opaque overlay over the left-hand side of the UI when the sidebar is open so that it's clear you can't click anything until you close the sidebar - https://cs.joshstrange.com/FS1Slw9R

* These buttons are confusing to me, 2 of them link elsewhere and 2 are for uploading. They should have different styles and have section labels or similar. Also I wouldn't put the Chrome/Figma plugins up so high, that's something you want to push later I would thing, right now you are trying to show off the product. https://cs.joshstrange.com/rXwrRHhr

* I watched the interactive demo (https://app.supademo.com/demo/clsaqfbgh0163pe10m1m1xska) - Too much is going on at the same time. I got lost trying to listen and read all the same time and there was no indicator of how long the demo was (you can see how long each step is). I'm not sure if you can configure this but I would recommend not going to the next "step" until the user clicks so they have time to read the popup and/or study/look at the UI itself before moving on

* It's important to note that I know nothing about your product, I wasn't sure if this was a powerpoint/slides-type product until I got to the demo and realized it's for demoing your website and/or for training. I'd highlight the types of things you can create with the product first and foremost (which might be done on your launch page, I clicked the link in this thread (https://app.supademo.com/new)

* I assume you are either only using or support using AI voices, some of your demos have _really_ bad "speakers" (like https://supademo.com/showcase/spotify).

* For some reason (Chrome, macOS) the first time I load any demo I get 1-2 seconds of the audio before it restarts. It doesn't happen on refresh, only on the first load - https://cs.joshstrange.com/fSpnFXH1

* If you pause a demo you can't click on the next arrow "->" in the popup to continue, you _must_ first unpause the demo, this is annoying. -- Ahh, I stand corrected, you _can_ move forward while paused, I was just on the last step but for some reason there is still a "->" button on the popup - https://cs.joshstrange.com/WnSrng7M

* If the popup is near the bottom-right corner your popup then it covers the buttons or gets in the way - https://cs.joshstrange.com/N5tnKsRt
Google Flights has been broken on Firefox for as long as I can remember.
> Of course, this theory works best in a dynamic economy where people and capital can move around with a minimum amount of friction.

This assumption is akin to a spherical cow, frictionless surface, etc.

In the real world capital and people won't ever move around with a minimum amount of friction, nor will people retrain for other jobs easily.
To be honest, I agree! That would be an interesting gameplay concept for sure.

Mainly just wanted to temper expectations I'm seeing throughout this thread that the model is actually simulating Doom. I don't know what will be required to get from here to there, but we're definitely not there yet.
It works perfectly fine (everything loads instantly) when I'm logged in with an account that has YouTube Premium.

But when I try using it with an account that doesn't have YouTube Premium, on the same browser, on the same hardware, everything hangs for 30+ seconds.

Hmmmmmmmmm?
> I'll use Coq or Lean to define an abstract machine model, then either extract code from this model into C, C++, or machine code,

Do you have any worked examples or blog posts that detail this process?
Is it? I think keeping something frozen is easier than cold but not frozen.

Can keep a vessel absolutely loaded with dry ice in a set and forget fashion for X days.

While keeping something close-to-but-not-frozen requires more active temperature control.
Nationalistic flamewar will get you banned here, regardless of which country you have a problem with, regardless of how legitimate your reasons are.

The same goes for any other commenter and any other country.

You posted a ton of these comments in this thread—that is seriously not ok. It's not what this site is for, and destroys what it is for. No more of this, please.

If you wouldn't mind reviewing https://news.ycombinator.com/newsguidelines.html and taking the intended spirit of the site more to heart, we'd be grateful.
I'm in almost precisely the same position as you.

Will be 9 years in December. I've been promoted three times and have the highest official position that an IC can have at this company.

LCOL area, $150-175k / year depending on bonus, fully remote, devil I know, good FTO policy and work/life balance, etc. Even some equity (that seems to have a lower-and-lower expected value as the years pass, but that's another story). Lousy health care insurance but apart from that they take pretty good care of us.

I don't have advice to offer, just echoing your concerns and adding a question: have you seen a drop off in recruiting emails / requests on linkedin that started around year 6-7 and got worse from there?

Around year 5 I was getting a dozen or more emails and linkedin messages a week. Now I get maybe one every two months, usually Contract or C2H offers at that.

Unclear if this is just the state of the market, my excessive time at a single company, the keywords / skills in my linkedin becoming stale - all of the above? I've tried to keep my resume / linkedin current with promotions, descriptions of what I'm working on etc. - nothing seems to help.

Would be curious to know what the experience of others are with >=6 years at the same place.
People talk about “the algorithm” but most of it is content creators hyper optimizing their content to make as much money as possible.

TikTok split screen slop is a xx million dollar business at this point so you can expect a huge investment to pump out even more slop YoY
This is a significantly better technical presentation on how traceroute works[0]; for example, unlike the illustrations in the linked article, traceroute does not necessarily take a symmetrical return path; the return path is hidden from the client -- the client only sees the forward path.

[0] https://archive.nanog.org/sites/default/files/traceroute-201...
That explains why there’s so many Swiss APIs.
Not only YouTube, but even Google Meet is completely unusable on Firefox. I've noticed memory usage spikes on Firefox, while all other video conferencing platforms work fine. On Chrome, it works perfectly.
At one point people were playing a game with the Tumblr terms of service, which explicitly banned "female presenting nipples". Subjective standards of offence always result in ridiculous cases.
This is all browsers that aren't Safari in iPhone. I have to do this too with Chrome on my iPhone too.
My summer as a dishwasher made it clear tipping, already deeply stupid, is wildly unfair even to service workers.

A lot of people helped you get your meal, but your dishwasher is definitely not tipped.
There is only one amphibian emoji
What is it? Seems like I could use a screen recorder and narrate instead?
All I hear is a bunch of growth hacking and 0 questions about your own product. One of the missing questions is "does anyone even want this?".

When I clicked the link I could not determine what I was even looking at. It looks like the ads that pop up when trying to download something from a sketchy website. The voice starts yelling at you about something. Idk what because I closed it immediately, embarrassed like I was in a library.

What value was I supposed get out of that?

Lowering time to value does not automatically mean that the value is unchanged.
> but those cells are fully replaced as we age

Not nerve cells. Our post-childhood adult brains persist until we die, so the city of cells (nice image BTW) has a permanent and persistent ruling council, as it were, even if the citizens come and go.
> It was on the table.

I think this is a misconception. It is the responsibility of the general staff to have a plan for any eventuality. The existence of such a plan does not imply that the political leadership has seriously considered launching military operations against a friendly neighboring country.
I've found lightningmaps.org to be somewhat degraded over the last few years. The web app sometimes just sits there and shows nothing. And blitzortung, the parent data source, still has the US divided into six chunks with no better resolution on the map.
I don't know what the solution is to private/shareholder corporations that own a defacto public space like YouTube and Twitter.

Maybe we're still in the big bang of the Internet and this will fix itself over time. Although I'd really like a public organization like the Library of Congress to support archival of public spaces.

Which makes me wonder: If society decides that viewing information is a right, does that lead to government sponsorship of browsers? i.e. if viewing information is a right, then an information viewer is an important thing that must be open and unfettered by monetary interests. Considering how much gets pumped into Congressional jobs programs, a few million to hire some good software engineers seems easy to support.
This quote/idea needs to be tattooed on every senior managers arm
Not noticing to a gorilla that ‘shouldn’t’ be there is not the same thing as object permanence. Even quite young babies are surprised by objects that go missing.
There’s some theory that this would have been the best approach so everyone has a lot of immunity all at once and the virus dies out (barring some other non-human reservoirs).

It’s possible an entire population with varying immunity allowed there to always be some reservoir out there.

But good luck immunizing everyone, especially at the same time.
Yes, the messages on the screen are used as context.
I use this also. I have some issues with it, but I won't bother to change unless I find something significantly better.

The feature I love most is being able to filter feed items based on content. This is great for sites that report on lots of different topics, and I can just eliminate the posts I don't care about.
Well, at least a few of us noticed and think it was hilarious. Nicely done.
In kindergartens it's 1/3rd less sick days [1], schools is 20% less [2]. That's the most recent I'm aware of.

[1] https://yle.fi/a/74-20062381

[2] https://www.newscientist.com/article/2398713-schools-cut-cov...
Oops.

(context: https://archive.is/tgIH9)
On a side note, I have been reflecting on the impact of modern Internet contents on me for the last 12 years or so. The conclusion is, for whatever the reason, the impact is mostly negative. It would do me a great favor to simply remove Youtube, social media sites and anything similar from my life.

I probably have ADHD. I rarely completed any side projects. I'm anxious most if the time, biting my fingers all the time, a habit I formed before I reached teenage. Having access to the modern Internet makes everything above worse, a lot worse. Yes they also introduced a lot of ineresting things to me, but there are endless amount of interesting things in the world and I need to focus on a couple of them to get a deeper understanding. Reading new contents every day is my escape, not my medicine.

Maybe I should just block myself from the Internet. I taught myself Foxbase and Foxpro back in the 90s without the Internet. I taught myself C++ in 2012 without the modern Internet (SO was the only source I inquired and the experience was bad). If I really want to achieve something meaningful in the rest of my life, which is about 3 to 4 decades based on the mortality curve, I probably should just plug off from the internet.

But how do I do that? Apparently Internet is essential nowadays for day to day chores, and my family absoutely needs a high speed Internet. How can I go back to the cave? I don't have enough will power to do that.
I didn't realize there was a difference. Thanks for the clarification! I'll have to do more research on the pros and cons of each type of device...
There is Vanilla OS, which is based on Debian Sid, is immutable and rolling release.

As for freshness/pace of updates, it really is a matter of taste. Even though I've been using Debian stable in one form or another for nearly 25 years, and it's still my platform of choice for servers, when it comes to desktop, I find it hard to move away from ooensuse Tumbleweed, cause TW makes even Fedora feel old and stale.
That's totally true, but it's still Google's fault.

I found a nice article on exactly this from a former Mozilla exec: https://www.zdnet.com/article/former-mozilla-exec-google-has...

> Gmail & [Google] Docs started to experience selective performance issues and bugs on Firefox. Demo sites would falsely block Firefox as 'incompatible' […] All of this is stuff you're allowed to do to compete, of course. But we were still a search partner, so we'd say 'hey what gives?' And every time, they'd say, 'oops. That was accidental. We'll fix it in the next push in 2 weeks.' […] Over and over. Oops. Another accident. We'll fix it soon. We want the same things. We're on the same team. There were dozens of oopses. Hundreds maybe?

This latest article is basically the same thing again. Google would tell Mozilla it's a genuine bug; they would fix it soon; but Mozilla loses some users and Chrome gains some. Nothing new.
Especially after touching menus - which are almost never washed!
Yes, this is exactly what I was getting at. One ends up needing an explicit `toList` helper function that converts a non-empty list into a plain list.

Pattern matching on a non-empty list is also inelegant, because it is implemented as a tuple, which creates a leaky abstraction.
Semantically, you're right of course, but only because linguistically self-censorship is counted as a type of censorship, despite it not depriving anyone of liberties.

For practical purposes though, the kind of censorship that we're concerned with in this conversation can't be done by anyone other than a government or a lunatic with a gun. Companies just don't have any authority over anyone except themselves. They can't deprive you of your ability to speak, only your ability to use their property to do so.
In traceroute’s defense, it is traceroute — for sure it doesn’t tell you anything about the devices that don’t operate at the IP level. Those devices either don’t affect the IP “route” abstraction (e.g., signal boosters) or do so in ways that end up plausibly visible in the next hop.

There’s a reason the network layer abstraction is so strong, and an analogy to CPU ISAs here that have a similar strength.

TCP, similarly, doesn’t tell you when packets are deduplicated/resent/reordered/etc. — that’s just not part of the presented abstraction. Want that? Use UDP.
Yeah no, this has happened too many times to be just incompetence. It's malicious, plain and simple.
I thought that tipping is mainly to enable the restaurant owner to avoid paying their workers properly.
Undeniable.

However the fact that you can make a bad wall out of good bricks, and even a good wall out of bad bricks with enough care and effort and ingenuity, is orthogonal to the fact that good bricks are better than bad bricks.
> Improving the work of 100 people by 1% is worth a hell of a lot more than a clean dish, no matter how society is organized.

Not if the benefits of this marginal productivity increase are hoarded by a small subset of society: https://en.wikipedia.org/wiki/Decoupling_of_wages_from_produ... You don't need to listen to communists to figure this out—you can just read Schumpeter.
There’s a balance between allowing for the freedom to encourage innovative growth and regulatory regimes to govern behavior in more stable markets.

We’d be using AT&T’s version of AOL for $150/mo without breakup of that company.
There are more private subscribers that pretend they know what they’re talking about than actually do. Probably makes sense to ignore a good proportion of the nonsense people throw at ISP L1 teams.
I agree that version "naming" is the worst possible option for identifying versions. If you're tempted to go that route, just use the release date as the version number. At least that gives some useful information.

But as a user, I really prefer semantic versioning. Knowing the general scope of the change is very useful to me. If the new version introduces major changes, then I want to be able to schedule the update for a time when those changes won't disrupt me too much. My desire to avoid disruption is exactly why I have grown to hate automatic updates.
That's another very, very interesting case we thought about tackling. That sounds like something that's ripe for transformer-based vision models to keep the overall size of the model down.

What kind of timescales do you get when measuring parts in an electron microscope case? Are these crankshafts whizzing by, or something like a ship propeller where people spend days making sure every inch is covered?
Would that force them not to give Chrome preferential treatment? Even if Chrome becomes independent, it will still likely be the most used browser. Google could just do what other companies already do, and never test on Firefox anyway.