skysight-inc/HackerNews huggingface dataset:
It's a flawed comparison. The tools may be distinct and "do one thing well" but they all just compose functionality that's mostly already provided by the giant shared libc you have on the system.

The micro-packages idea would require us to take glibc and break it out into thousands of different packages. Perhaps one packaged library for each individual system call? That's about the level that the "left pad as a package" idea operates at.

If you want a larger javascript library that provides fills for many common string functions that are missing in the broader language and keep those separate from a group of array functions, that would be a reasonable middle ground and would approach more closely the actual reality of a glibc based distribution of utilities.

It's either that, or you have to accept that these small cases really do need to be folded back into a "standard library" that gets distributed along side whichever JavaScript environment you're using. This is something that languages like ruby, python and go were much better positioned to solve while still having a large repository of third party dependencies you can easily incorporate into your project.
Why shouldn't they? Are they not people?

Why should the fact that they haven't thought things through take away natural rights?
Pomodoro with Friends
Ep 3: Rent Gap –| Marx in the House
> What's the scope of this project? Is it meant to be closer to developers or do you see this being used in production?

Dagger is meant for both development and production. Note that Dagger doesn't run your application itself: only the pipelines to build, test and deploy it. So, although the project is still young and pre-1.0, we expect it will be production-ready more quickly because of the nature of the workloads (running a pipeline is easier than running an app).

> How is progress of builds, observability, etc being tackled?

All Dagger SDKs target the same Dagger Engine. End-users and administrators can target the engine API directly, for logging, instrumentation, etc. The API is not yet publicly documented, but will be soon.

We're also building an optional cloud service, Dagger Cloud, that will provide a lot of these features as a "turnkey" software supply chain management platform.
Veridise | Multiple Roles | Remote (US, Europe, China, India timezones) | Full Time

Veridise (https://www.veridise.com/) is a security auditing startup focused on using program analysis and formal verification to harden the security of blockchain applications. We’ve developed state-of-the-art security tools such as static analyzers, fuzzers, and symbolic execution engines based on our research published in top academic conferences. We’re also building a SaaS service that makes these tools available to developers with minimal/zero installation or configuration.

* We are VC funded with a good runway and financials, as well as a 100%-remote, globally distributed team.

* Our daily work involves compilers, static analysis, fuzzing, formal verification, zero-knowledge proofs, distributed systems, and/or other hard and interesting problems.

* We offer opportunities to work on open-source projects, as well as research projects that lead to academic publications.

To apply, send your resume to ( bryan [at] veridise.com ) and indicate which of the following positions sound interesting to you.

https://veridise.com/careers/

- Software Engineer (R&D)
- Compiler Engineer
- Security Software Engineer
- Frontend Software Engineer
- Backend Software Engineer (position filled)
- Operations Engineer

Tech stack:

- R&D / Compilers: Racket, Coq, C++, Python, LLVM, some Rust, Nix
- SaaS team: JavaScript (Vue), Python (FastAPI), Docker, AWS
Rest in peace, what.cd. You were the greatest musical library of your time.
Twitter and the Hallway Track
People like this guy https://twitter.com/LouPas/status/1588599808587345921
Caroline who? What did I miss?
No. By allowing the practice, people who are okay with being stalked get compensated for their value. People who don't consent to the transaction in question are not a party to it, and are not being taxed; they're paying the regular price.
I can't hear DHTML without thinking DHTML Lemmings[0]. It blew me away 18 years ago and still makes me grin today.

[0]: https://www.elizium.nu/scripts/lemmings/
It helps if you sleep in fits on a beanbag and play League of Legends with every spare brain cell.
The vitriol in the position. Possessing such a negative exaggerated view point is not healthy and doesn't help discourse. UK has challenges yes, but it has a lot of good to offer too. It reads like left-wing doomerism.
The value in property based tests is that the original libraries (Quickchwck, both Haskell and Erlang) try to find the smallest reproducible error sample, and then display that sample to you.

And that (Quickcheck at least) has a bunch of primitive generators that you build your structures out of.

No idea, if it's doable in Rust. I just find it strange that it works on a stream of random bytes out of which you magically get some structures.
Read this a couple of decades ago. The cypherpunk in me is lazy and stupid these days. Better to take advantage of the world than hide from it.

That is not to say you can't hide from it at the same time, where it matters. And you should corrupt the perception of yourself when required.
Thank you, love the analogy haha.

That's not in the roadmap right now, but you can always reach out and suggest a feed for us to include (e.g. a San Francisco feed). From there, we'd look for SF news sources to input to our BE.

For some background context, we're still at the point where adding feeds is a decently intensive process (some more than others). It's a process were making more and more automatic, but for now there is still lots to work on.
Ask HN: How to Sell a Website?
I have worked on the Local SEO service website for the last 3 months. I'm in need for money. How can I sell the website? It's already ranking in top 5 search results for "local seo + location" keywords.
I did this at a recent startup where I was first engineering hire. It was our "Nostalgia" Google Drive.

To keep it quick and low-maintenance, every entry (photo, video, copy&paste of a Slack discussion, etc.) was just its own file, with a filename starting with the date in "yyyy-mm-dd" format, followed by a caption. No other curation or presentation.

Even a few months after an event, there was already some significant nostalgia value (and look how far you came already), and it also was a partial chronology.
I believe you, but still I'd wager a CO has a higher probability of death than Elon Musk due to the conditions of their work.

I looked it up and found this at https://www.history.navy.mil/research/library/online-reading...:

> Commander A. L. Wilderman, CO of USS Plunger (SSN-595), lost overboard in a storm just off San Francisco. 2 December 1973.

Who is the last software CEO that died in the course of their duty specifically due to the nature of their work?
You think the cancer / biotech industry is less funded than 5 nm nodes?
I feel extremely targeted because I did exactly this with Blender recently
? people go on planes to get to places not to experience flight itself per se. i don't mind sitting in an enclosed room for x amount of hours while it gets me half-way across the world for cheap
Agreed, I've gotten some really great offers out in Texas but I'm not willing to live somewhere that gives employers and asset owners carte blanche to do what they want and everyone else can just go screw themselves.

I'm currently hearing some horror stories from friends who did take similar offers and were enticed by the relatively lower cost of living. Turns out there are reasons it's lower.
One human virus, one cat virus. Both took decades, and weren't airborne.
About firmware updates for AirPods (Release Notes?)
But that’s the principle of how banking works.

Nobody expects that their money deposited into a savings account is going to sit in a bank vault until it’s time to go pick it up — they know the bank is going to loan it out and pocket the difference between what they charge the borrower and what they pay in interest.

Checking accounts are different in that they should have the money on hand to settle whatever spending the customers get up to but instead they practice fractional reserve deposits with a central bank to bail them out if needed.

The difference here is the crypto bros are practicing fractional reserve without someone to bail them out so depositors just get screwed.
I've been debating on using Org Mode documents to render to HTML and serve those kind of static pages for a blog. I've heard of people doing something similar before (Org -> HTML or Org -> Md -> HTML). But the other part of me wants my own NIHed, over-engineered solution :)
Prigozhin interests and Russian information operations
Selling things. Almost all the things.
It's a blood bath out there folks. Stay safe.
This comment, and its posters' subsequent comments, are so filled with anger, much misguided, that it's hard to really respond.

Jane Street has some good people.
Harvard has some good people.

Both have some bad people.

I don't know how "scam" is defined, because sometimes people use it for things they just don't like.
More than several times, there are data APIs that return raw text/csv, esp taking data from older systems.

Writing a scraper for those, bash & curl comes in handy w/o needing extra cruft of file writing ceremonies (ex: with open…), just pipe straight to file.
This pulls together so many advancements that it would make a 90s oncologist cry.

1) Being able to rapidly sequence the genomes of cancer cells to detect common mutations

2) Computationally simulating those mutations to look for viable T-cell targets

3) Custom building T-cell receptor proteins [0] capable of recognizing those targets

4) Inserting those custom receptor proteins into the patients' own T-cells with CRISPR

Truly, we're living in the days of future medicine...

[0] https://en.m.wikipedia.org/wiki/T-cell_receptor
> He also wants to recreate the place per his own vision, so it makes sense to get rid of as many people carrying the previous culture as you can and then start hiring as necessary with the kind of people you want

So, he's destroying all of the institutional knowledge, the brand image, and the existing business relationships, while pivoting to a radically different market.

He wanted a fresh startup to sink $44 billion into, not an existing business with employees he doesn't want, a legacy product that doesn’t fit his vision, and feature iteration velocity constraints from FTC consent decrees that a new startup wouldn’t have.
Sounds like what you're describing is that certain companies have become scapegoats. Amazon, Apple, Google, Meta, Tesla, and Microsoft all add a lot of value to people's lives both through the products they sell as well as the tax revenue they provide for the greater benefit of all. They aren't the primary drivers of any of our society's largest problems. We could quibble about exactly what those are, but they'd probably include: the high cost of health care, the high cost of housing, climate change, immigration, pollution, crime, etc. And yet these companies occupy the headlines constantly, and evidently the mindshare of our legislators instead of those issues!
I need a test runner, so I install "karma" and therefore "braces" and "fill-range" and "to-regex-range" and "is-number" and 100 other things.

Dependencies come with risk and cognitive load: deleted like left-pad or loaded with malware like ua-parser-js. Sometimes that is worth it. But if you need 10 lines to pad a string or validate a number, copy some code off of stack overflow like a real developer. Nobody has to know.
Adobe was killed rather fast, and I don’t see every part of the HTML+CSS+JS trio is irreplaceable
> Does it mean the sdk is making a round trip to the dagger API remotely somewhere, or is the round trip to a locally running docker container?

The short answer, for now, is: "it's complicated" :) There's a detailed explanation of the Dagger Engine architecture here: https://github.com/dagger/dagger/issues/3595

To quote relevant parts:

> The engine is made of 2 parts: an API router, and a runner.
> - The router serves API queries and dispatches individual operations to the runner.
> - The runner talks to your OCI runtime to execute actual operations. This is basically a buildkit daemon + some glue.
> The router currently runs on the client machine, whereas the runner is on a worker machine that will run the containers. This could be the same machine but typically isn’t.

> Eventually we will move the router to a server-side component, tightly coupled and co-located with the runner. This will be shipped as an OCI image which you will be able to provision, administer and upgrade yourself to your heart’s content. This requires non-trivial engineering work, in order to make the API router accessible remotely, and multi-tenant.
For a minute there I thought what.cd was back.

I miss that site; it wasn't really a "private torrent tracker", it was a music community. I discovered entire genres of music I never knew existed on what.cd.

Spotify is what.cd's mentally handicapped little brother in comparison.
Firefox on Linux is sometimes more than enough to trigger endless rounds of Captcha.
should definitely serve some jail time
“The truth is, these are not very bright guys, and things got out of hand.”—All the President’s Men (1976)
I don't believe that actually is what I was talking about or that you can use those numbers in the way you are. Your success in life is made up of a lot of different and hard to quantify or even qualify things. I'm talking about being able to go back in time knowing what X person has accomplished and replacing them with Y number of people doing different "runs through life". I'm postulating that the majority of them would end up in very similar positions at the end. Also it's impossible since even if we had the ability to do this (outside a simulation... maybe) the ethics of it are all wrong. Heck if you could actually simulate it there would still be ethical ramifications. If you can simulate full human consciousness how can you ever, ethically, turn off the machine or subject people to even simulated pain/poverty/sickness/etc? I digress.

Those numbers don't indicate your chance of going from millionaire to billionaire. How many of those millionaires became millionaires later in life instead of being born one? How many of those billionaires started as millionaires? You'd need instead a study of hundreds of billionaires that started as millionaires then compare them the the number of "peer millionaires" that were born around the same time. Even so it's the "experiment" I'm proposing. Maybe I should have left millionaires out of it completely because even though we throw around things like "millionaires/billionaire" they are very different. You can be a millionaire from your 401K, your 401K will never make you a billionaire (unless inflation really gets out of hand).

For myself it's very easy to look at all the advantages I've had in life and see how they led to the "success" I have today. I have/have had friends/coworkers who I perceive as being just as hard working, just as smart, etc as me who aren't doing as well due to not having the same advantages, I see the opposite as well.
Cooking with TypeScript: a collection of patterns for TypeScript 4.8
Was snorkeling with my 4yo in July and came across a decent sized octopus curled up under a small bit of coral substrate on the reef flat, in about 40cm of water. Wasn't able to id it properly, but we sat there for 15 minutes watching each other. Longest the kid has ever sat still in one spot. Cephalopods are without doubt the coolest fish in the sea.
What am I looking at here...exactly?
> It's also a surface-borne virus

This was a very early belief that turned out to be false.
The Role Regulators Played in the FTX Fiasco
A good first reach is encoding your CI into a first class construct - ideally in the language of your codebase.

CI paths are underdeveloped, which IMO is a huge miss: you pay a developer premium and potentially risk every iteration. Keep the GHA glue light and invest in your code not your lock in.
> the guy was held for the maximum contempt length possible because the evidence was so strong

He was held for nearly 3 times the maximum contempt length because prosecutors argued he was not a witness even when they were holding in contempt for his refusal to give testimony. It's also in contradiction of existing precedence [1]. If you have a safe locked with a key, the government can demand you give them the key if it's in your possession. A safe locked with a combination, the government cannot ask you to produce the code.

And to be clear, there's probably enough evidence to convict even without the contents of the encrypted drives. But that makes the imprisonment on contempt even more dubious: they don't need these contents and the defendant attempted to decrypt the drives and failed (intentionally or not, we can't know without a mind-reading device).

1. https://crsreports.congress.gov/product/pdf/LSB/LSB10416#:~:....
Wow, nice, thanks, I hadn't seen that yet. The DPM demo sounds awesome. I absolutely love that Synth V is still pushing things forward, despite already being so significantly ahead of the competition.
Since the topic of readable man pages has come up: I would love it if there was a utility to rearrange man pages in roughly back-to-front order.

For example, this heading order is generally my preferred one:

Author, See Also, Example / Uses, Description, (and I typically find that I already know the Name but it's OK to add that at the end :-))

This comes from some personal preference, but is also informed by my professional work in coaching tech professionals.

In studying personality differences in tech, and listening to others' experiences in learning about tech, I developed a theory that a huge number of us get stuck attempting to read tech materials which were written by/from a completely opposite perspective (compared to our personal style) on why one reads, and what makes things readable.

This is like being nearsighted and borrowing a farsighted person's glasses, expecting them to work because glasses are what you wear to fix your eyesight.

In documentation, these two styles tend to draw battle lines around what you could call the man-forward or man-backward learning styles, IMO ;-)

`tldr` is one example of a countering man-backward app-psychology that is available and a fix for some of us, in some ways. But until the day of reconciliation arrives, I will continue to periodically leap forward and scroll backward...
Unlikely given that's precisely why Base58 was invented.
The same 4m people didn't post a comment such as yours, without reading the text first. Your logic is nonexistent, just like the point you're making. I believe you're a joy to talk to in real life. Thanks for the polite exchange, keep it up.
redacted.ch
It looks like you are right, it saves offline-enabled content to a number of encrypted blobs only the official app can play.

I wouldn't now, I use yt-dlp that can also make use of YouTube cookies, since otherwise YouTube is not DRM protected like Netflix is for example.
Fair principles for AI models with a practical application for microscopy
It looks like Arbitrary will sample integers from an uniform distribution. For property based testing you often would like to have a bias towards "interesting" values that might trigger special cases, like -1, 0 and 1.

E.g. if you had "max_speed_kph: Option<u64>", your tests might never check what happens if max_speed_kph is 0.
It's my geocaching name, and it's because my wife's geocaching name was often abbreviated to "2b".
$44bn all-cash at a meme-y $54.20....for Twitter, the least profitable of the major social media networks.

just think, the board would have accepted $50 per share, but he went with something that included 420, costing himself an additional 8% on the purchase price.

Stupid sounds about right.
Why is one approach more linked to '[making] money from it' than the other?
> We should stop treating cancer as foreign tissue that needs to be killed, destroyed or eliminated.

....but that's how t-cells work.
Twitter Buyout Loans Get Bid at 60 Cents as Banks Sound Out Investors
He did not go to jail, which prompted a satiric call to "Free the Honorable Jon Corzine." His LinkedIn page describes him as running "an opportunistic macro hedge fund."
Ask HN: Layoffs – Motivated by Fear vs. Opportunity?
I've noticed a trend amongst people in my circles with the recent layoffs (those directly impacted, or worried about being impacted)

Feelings of fear, uncertainty, doubt, etc are causing people to:

-Work harder (not necessarily smarter)
-Make changes to their spending
-Get disciplined about their career plans

I'd say I'm also changing my behavior, my self-talk has certainly changed. I'm curious if other hackers and people working on tech have felt this change in motivation and behavior?

Once the initial loss aversion instinct goes away, I'd love to re-calibrate and make a plan that's motivated by goals and opportunity rather than fear of loss. Anyone experienced this line of thinking and made it out the other side better off?
Their justification for colonizing countries was that France had a "civilizing mission." Maybe you've heard of that? I realize that's not necessarily identical to "human rights."
OMG, no.

We need to bring text editing into the 21st century where rich text is standardized across all platforms and devices. We can send multicolored emoji to just about any device on the planet, but we still can't bold, italicize, underline or color basic text. It's straight up insane.

Think about it: There is no such thing as "plain text", it's just encoding we don't see.

Even if you're a die-hard keyboard jockey, unless you're looking at your command line and mentally parsing raw ANSI encoding like \e[1mBold, you're not using "plain text". There's tons of encoding underneath every text editor and terminal program, you just don't see it. We already have a standard encoding for rich-text, we need to start using it. It's called HTML, and every device with a screen on the planet knows how to display it. We just need to hide the tags everyone bitches about just like vi hides a highlighted line's \e[43mYellow codes. We should never need to see it.

Any place we're able to enter text should support rich text, from boot up screen through to apps. And underneath it should all be HTML. It's like the display compositor on macOS. None of us think about the fact it uses PDF under the hood, right? We're not debating whether it should be done using SVG. It's invisible. This debate should have been settled decades ago.

I've been writing about this in detail for the past several weeks. I swear the tech industry has lost its collective minds. At this point I'm truly wondering if Markdown is some sort of cult. We need to kill these lightweight markup formats with extreme prejudice and start solving the real problem.
Right. Requiring TLS via CAs means that you cannot host a public visitable website on HTTP/3 without the continued permission of an incorporated entity. Just like with (most of) HTTP/2 in practice. But very much unlike HTTP/1.1.
>Their fix included a similarly large refactor

Their change is hardly a big refactor. This includes all the new code, all the parameter changes everywhere the function is used, and two additional test cases. This is a tiny change.

>12 changed files with 102 additions and 26 deletions. [1]

https://github.com/aosp-mirror/platform_frameworks_base/comm...
New antibiotic passes through the first phase of clinical trials with ease
Yep. One can argue whether or not the whole point of creating it was to enable such schemes, but they certainly are an inevitable result.
I don’t think I follow how your first sentence ties into the rest of your comment.

Could you elaborate?
Selling things is selling things. That isn't vertically integrating. A good example would be selling and shipping now that Amazon is getting into delivery as well.