skysight-inc/HackerNews huggingface dataset:
A better question to ask would have been, why settle for just memory safety - does a formally verified sshd exist? That kind of thing seems to be implemented more in OCaml and F#, like Project Everest, which has formally verified implementations of primitives (HACL) TLS, QUIC, and Signal https://project-everest.github.io/ ... ssh is notably missing?

I had a dig and found that ssh had in fact been done 9 years ago, tho it doesn't seem to have made it to a distribution: it's an offshoot of the CryptoVerif project[1] (which is, maybe unsurprisingly, under the umbrella of the same Prosecco team at Inria who worked on Project Everest). In 2015 Bruno Blanchet and David Cadé wrote a paper "From Computationally-Proved Protocol Specifications to Implementations and Application to SSH"[2] which describes using CryptoVerif to generate an implementation of SSH from the spec; the code is in the CryptoVerif tarball, but someone's helpfully put that up on github if you want a look[3]

The eye opening bits in the paper (given the claims of tinyssh to be small at < 100k words):
"We have verified that our client and server correctly interoperate with OpenSSH...in order to give an idea on the amount of code this work represents, the CryptoVerif specification amounts to 331 lines of code, and we generate from it 531 lines of OCaml, split among multiple files. The manually written code representing the primitives and the authentication and connection protocols amount to 1124 lines."

The bad news would be that it's not very performant: 30MB/s compared to 90MB/s for openssh on the same hardware, in the paper. Since HACL is from the same stable and was designed to perform well as well as be verified, it might be worth dusting off and seeing if this could be made more usable. The implementation probably has value even if just as a test oracle.

[1]: https://bblanche.gitlabpages.inria.fr/CryptoVerif/

[2]: https://bblanche.gitlabpages.inria.fr/publications/CadeBlanc...

[3]: https://github.com/mgrabovsky/cryptoverif/tree/master/implem...
the official implementation appears to be here now https://gitlab.inria.fr/bblanche/CryptoVerif/-/tree/master/c...
Normalizing can help with search. For example for Ruby I maintain this gem: https://rubygems.org/gems/sixarm_ruby_unaccent
Duo lets you use a physical security key, I then use bitwarden to store that as a passkey. Not quite a full replacement but good enough for me (you can also self host bitwarden [0])

[0] Vaultwarden
We use k8s at $JOB for literally no reason other than some engineer decided he wanted to learn k8s.

It's the worst, I don't even get to see my server logs because "that would mean giving you access to the entire thing". I'm not a k8s person but surely that has to be missing something.

We could literally make do with a cloudflare 5$ plan and have left to work with. With better integration, and better DX.
Universal insertion of molecules in ionic compounds under pressure
Thanks for the feedback!

Whilst there are some, often amusing, quirks with the LLM based explanations, I agree that the utility of the app is much higher with them.
> you'll postpone handling it as much as you can.

Which is exactly what you should do if you are in the game to build reliable complex systems. See my lengthy post here https://news.ycombinator.com/item?id=39808367
> I was fortunate enough to get promoted into a senior management position, where I am mostly focused on tech strategy and not true "developer work" anymore.

1. Did your find doing the "developer work" itself fulfilling in the first place?

2. If given a choice between your management position and the "developer work", which one would you pick?

3. If you could go back in time and redo everything, would you have started off in management to begin with?

4. What would you have done differently?

I ask these questions because I have a hypothesis that you currently work for bad management and that made the developer work really unfulfilling in part because it gave you no to little agency over your impact. By moving into part of the management layer you got some agency over your impact and managed to disassociate yourself from the unfulfilling developer work, but I would like to learn more from you directly
They aren't trying hard enough,then.
How much water is used in the manufacture of toilet paper
they bring laptops. We play Java and we have a server (which is a VM I toggle up and down so only pay storage long term)
Agreed! Wonderful museum.

They also have some original codices along with translations that are interesting to look at https://photos.app.goo.gl/zeo3Hn2Q8v81cidX9
I also prefer d2 over mermaid, from the language perspective. But mermaid integration is currently just so much better; there is support (native or via plugins) for Google Docs, GitHub, Confluence, and many more. For me that’s the killer feature that tipped the scale for MermaidJS
Isn't that something you get from the infrastructure surrounding the llm? I thought the "running code" feature didn't need specific support from the llm, besides being able to output conforming json or code when asked to.
Payfac in 1k Words
A hot water tap, yes, everyone's got one. Actual hot water coming out of it immediately, less likely. My bathroom faucet takes a good 25 seconds to get to maximum hot, mostly from distance (WH is in the garage) and partly from being a low flow faucet. A bidet has a very small flow rate, so for my situation, a self-heated reservoir is the only way to get immediate warm water.
When I have burnt out, it has been due to the people/politics/environment around me, not the work itself. Lucky for me, I had a lot of good will built up, and could go on coast mode at work for quite a while until I got some air under my wings again, or the conditions changed.

>This makes me wonder if finding a low-key, sane culture is the key to sustainability in the industry, and avoiding burn out.

In my experience, this is everything.
I don't understand your point. To me GPT-4 is not a foundation model, it's been highly tuned for the chat task. Nobody outside of OpenAI knows what that fine-tuning really involved. So it's impossible to say how much finance specific data it was trained on (in pre-training or fine-tuning) or whether finance specific tasks were involved in fine-tuning.
It’s quite astonishing that in this day and age, some individuals still prefer paper over water for personal hygiene. Toilet paper is gross, unhygienic, expensive, and environmentally unfriendly, which is ironic seeing some hardcore “don’t print an email, save a tree” person, but don’t mind cutting a whole forest to wipe his arse.. The production of toilet paper is also water-intensive, consuming approximately 6 gallons of water per roll (1), which is significantly more than the roughly eighth gallon of water used per use of a bidet (2).

(1) https://thepublicsradio.org/episode/should-i-use-toilet-pape...

(2) https://www.popsci.com/environment/bidets-vs-toilet-paper/
And I've never seen one in a European hotel as is common in Japan. (Nor have I even seen one in a house in the US other than mine.)
> The videos were sent by undercover police to a suspected cryptocurrency launderer under the username "elonmuskwhm." In conversations with the bitcoin trader, investigators sent links to public YouTube tutorials on mapping via drones and augmented reality software, Forbes details. The videos were watched more than 30,000 times, presumably by thousands of users unrelated to the case.

> YouTube's parent company Google was ordered by federal investigators to quietly hand over all such viewer data for the period of Jan. 1 to Jan. 8, 2023, but Forbes couldn't confirm if Google had complied.

Another reason to be cautious about giving services your phone number.

> [0] Not many realize this, but a telephone number is one instant, low-cost API call to a data broker away from your name, physical address, associated/other email addresses, date of birth, etc.

[0] https://sneak.berlin/20200220/discord-is-not-an-acceptable-c...
Agreed, recent tech layoffs are a symptom of a bigger problem in corporate America: a “restructuring industrial complex” where blending up teams appears accretive when it’s literally counterproductive.

First priority of a business is to transform human work into something a customer needs. How does perpetual strategic and human churn accomplish this? The uncertainties of churn actually makes it super hard for employees to do a job. How about just DOING WORK to grow a business? Be decisive, focus teams on a goal and keep doing what customers want.
Parallel Integration Tests with Ktor
Hi!

I use both plus Syncthing to automatically backup my vault to the pc. Great combo!
I'd be curious to know what the actual NAS performance is like (IOPS, latency, etc).

Looked into building a DIY NAS a few years ago, but decided to buy (a Synology DS1618+) instead. I'm sure I could've saved a few hundred rolling my own, but having purpose build hardware + commercially supported software is worth the cost if it's data that you care about (versus something like storage for 'linux iso files').

I actually had an issue a few months back where my storage pool suddenly degraded and went read only. Was able to send a full diagnostics/log dump to Synology, and their support engineers took over to diagnose the issue. If I rolled my own, I'd be the one spending hours either figuring it out myself while stressing about losing data, and/or rebuilding entirely from my offsite backup.
I'm aware of the "metal umlaut" meme, but as a German native speaker, I can't not read these in my head in a way that sounds much less Metal than probably intended :)
I recommended "Loyal workers are selectively and ironically targeted for exploitation". [1] From the general discussion:

> Across four studies, we found consistent support for our hypotheses. First, we found that loyal employees are selectively targeted by managers for exploitation in hypothetical scenarios (Studies 1–2), and that the targeting of these loyal workers is mediated by the expectation that loyal people are readily willing to make personal sacrifices for the objects of their loyalty (Study 1). These effects were specific to targets with reputations for loyalty (Study 2)."

"Organizations Weaken the Norm of Reciprocity" [2] from the follow on citation work is also interesting. Basically, a lot of math and surveys to show that diffuse organizations and the "workplace interaction" mentality, tend to result in people helping you less when you help them, work deserving reciprocity getting lost in the organization (it's just business), and business interactions always being viewed as a "what are they gonna do for me?".

Not directly answering your question, yet evidence that Fortune 500's and FAANGs, as large organizations, generally shift towards exploitive, or at the least, behaviors lacking the reciprocity expected. Which tends to burn people out.

[1] https://www.sciencedirect.com/science/article/abs/pii/S00221...

[2] https://aom.org/uploadedFiles/Publications/AMD/How%20Organiz...
Indeed, most places I've lived in the US had a 20 to 30 second delay until the water came out hot. I once installed a small under-the-sink electric water heater for a bathroom that took over a minute to heat up (and never really got hot) and I've never talked with anyone else with something similar, so I don't think it's common.
Commercial real estate is still getting absolutely destroyed by Covid repercussions. I honestly don't know how things will turn around unless we get a bad recession where employers say "Hey, if you want a job, come into the office 5 days a week".
Curious to hear the reasoning behind using the US flag for English, given there's a country called England.
Is the microsd card holder like this one? https://www.printables.com/model/691366-apple-watch-wristban...
Nowadays there are places in the U.S. where the tech staff are largely from (what used to be?) the 3rd World, and it definitely has its effects on the workplace culture. There are teams who rationalize being spoken to like they're garbage, and who cannot be persuaded to push back. If you don't choose wisely, you could find yourself stepping into a self-contained Calcutta every time you enter the office building.
Dividends or not are irrelevant, what matters is that the marginal utility of market value measured in monetary terms (or in market equivalent in any other commodity, but money is the most common one for people to mistake for a direct measure of utility) differs between market participants, and for the same participant (relative to others, not just by, e.g., inflation that applies in the same way to all market participants) at different points in time.
I'm actually going to disagree with this post because it's a tangential problem to what MVPs are supposed to be for. If you're operating on a shoestring budget in a competitive environment (i.e. most pre-money startups), you don't know if your idea is worth making "slick", so you build the minimum usable feature set that will get you feedback from actual customers. I've seen far too many developers (and hardware engineers) go down a path similar to what the author is proposing, only to find out that they spent a bunch of time making a simple, complete thing that no one actually wanted.

Start with MVP, see if it resonates, then you can spend the time to go for SLC.
I do have an electrical connection. Don't have a special water connection for my Toto.

Fair enough to your points though. Even if people have heard of it it seems weird and foreign--and maybe expensive if they haven't looked into it.
Get ready for AI to rip off your favorite cookbooks (2023)
You can, but that doesn't mean everyone gets to enjoy it. And I'm not specifically talking about bidets. There are many convenient things used daily in Europe and Asia that are extremely rare in USA.
It's pretty obvious that if you don't consider what the customer wants your product will miss the mark.

The argument an MVP excludes actually meeting customer's requirements is pretty misguided.
how to train self-smashing looms
The article seems to be attacking MVPs which are not "viable". In the included graph of the development of a car I have seen version which show exactly the preferred path of development skateboard --> scooter --> bike ... as an example of an MVP! Here the author uses a new initialism "SLC" to describe this preferred path of development and the only reason seems to be some experience dealing with non-viable MVPs.
How do you dry yourself? And how do you know when you're clean?
A programming task where Mistral-large beats both GPT-4 and Claude Opus: https://sdk.vercel.ai/s/Thi7RDx9e8VOZo1Ee6We5 (only Mistral got the current syntax)

Although based on other tasks, overall, GPT-4 seems to be the best, but by a very small margin, so I cancelled my subscription. Although the native mobile app is really great.
which makes you an opportunist.
> Fortune 500's and FAANGs, as large organizations, generally shift towards exploitive, or at the least, behaviors lacking the reciprocity expected

1. What could be causing that?

2. What are the chances of this same behavior happening at a Fortune 500000?

3. How would an employee detect that behavior, potentially as early as when interviewing for the job?
> I also suggest anal shaving.

genuinely asking because in the past I shaved various body areas, and the stubble caused some irritation that seems ... unpleasant ... to experience around my asshole. is that a problem one encounters with shaving?
> To me GPT-4 is not a foundation model…

It is. https://www.adalovelaceinstitute.org/resource/foundation-mod...
“It is difficult to get a man to understand something, when his salary depends on his not understanding it.”

Mutatis mutandis.
Many people have a fascination with cleaning their body parts and looking at the cleaning product to confirm that the dirty stuff is gone. Toilet paper gives you that’s satisfaction.
He's incredibly responsive too. He just answered my question about an hour after it was asked... on a Sunday evening.

Slightly off topic; is anyone aware of any Lezer grammar for regex? I've not been able to find any in the FOSS world. I suspect Regex101 has one, bit it's sadly closed source.
Some bidets have different functions but, ummm, if you’re going there it might be time to look into fiber. Inulin or psyllium helps.
That is true as far as it goes, but how does your node learn the public keys of the other nodes in your tailnet? My understanding is that they are provided by the coordination server, so you have to trust that the public key the coordination server gives you is actually the one for your peer device.

Tailnet lock helps mitigate this by requiring that node public keys are signed by a trusted signing node, but it isn't bulletproof.
Swedish people used to have them but decided that using soap to clean yourself wasn't a priority any more. So grandparents had them, but the technology has been lost.
It can encode Spın̈al Tap, so it's all good.
Yeah, a 4$/month VPS can handle thousands of queries per second: https://alicegg.tech/2023/02/06/4dollar-vps
https://en.wikipedia.org/wiki/Bidet#Etymology
SLC: Simple, Lovable, Complete
This AI Predicted FRGE 50% Upside in 24h last Friday by looking at Social Hype on Politicians trades (Nancy Pelosi).

Members realized +50% prodits in less than 24h by buying ahead of the social hype (they received Buy Signal in app with explanation).

Social Hypes push the stock price in a direction, the trade is simple: buy ahead of the social hype, and sell 24h /48h later before the hype dissipates.
Introduction should cover what an SLC is, I had to force myself to read through an article I might not even have been interested in
You are forgetting… soap is involved in the process.
Maybe for an actual porcelain bidet in $5M house. I have at least 10 friends that all rent that have bidets, ranging from a Tushy cold water to high end Toto ones.

You can buy one with all the bells and whistles for < $300 on Amazon. 2 minutes to install. I’ve had to use an extension cord (kept dry, and into GFCI outlet) if there isn’t a convenient outlet for the heated water/seat/dryer ones.

A lot less effort than mounting/unmounting a $300 TV and the quality of life improvement is so great I’m actually willing to talk about how I clean feces off my anus in semi-public.
Other folks have already made the correct point that the author has just come up with a new initialism for what MVP actually means, but I'd like to add that describing your product as "lovable" is gross manipulative arrogant marketing speak. With _very_ rare (and probably unhealthy) exceptions (Apple springs to mind), customers don't love products - they just use them, or at best appreciate them.
That's pretty close to webauthn, which works very nicely with yubikeys if the service supports it. 2fa? Please tap yubi button - done.
you might enjoy Bitwarden (self hosted with vaultwarden) which copies the TOTP to clipboard after logging in to a site.
Some can do that in their own app, e.g. Steam Guard. Too bad that's not a standard. But the FIDO2/webauthn stuff may be similar.
Probably for training LLMs.
Clearly the author already knows this, but it highlights the importance of always normalizing your input, and consistently using the same form instead of relying on the OS defaults.
That's not a k8s thing. It's an idealistic DevOps thing. You'd probably deal with that in alot of places.
It's illegal in italy for homes to not have a bidet.
> Companies that require 50-80 hour weeks, bosses who yell and scream regularly, psychologically manipulative situations, and environments where people are prevented from having control over their own outcomes are going to take a toll on anyone

If you got paid $250k/yr to work fulltime at Bain and all that work was to shred a single piece of paper, any paper, a day and that is it, no crunch time, no yelling bosses, nothing - would you eventually burn out?
Would be cool if we had tails, so I could wag it with my future dog!
I've never, ever heard anything about bidets manifesting homeosexuality, and I've known some pretty homophobic people in the past. Can you elaborate more on what that connection is and/or how it works, because I'm genuinely intrigued.

> I honestly think anyone who believes that shouldn't be welcome on HN.

Why? It seems absurd and laughable to you and me, but I'm certain we also have beliefs that others on HN would find absurd. Why should the conversation be stifled? If you have absurd beliefs currently and others try to exclude you, how are you ever supposed to correct (or even challenge) your beliefs if you can never talk about it?
Born To Run is an adventure/travel book. I don’t know why people read it as pop sci.
Nice work! Interesting convention on naming procedures. I'm not sure I could deal with the verbosity, but it is probably a good idea for bigger programs.

I've written neural network (ConvNet) in PostScript and this post has inspired me to finish it up and publish a blog post this week.
Its a completly different factory to build a skateboard vs a bike vs a car.

Scale, tooling, materials, what happens when things go wrong, etc are all different. Product people never seem to appreciate that bit.
> "When we finally went to Germany, the crowds were chanting, ‘Mutley Cruh! Mutley Cruh!’ We couldn’t figure out why the fuck they were doing that." —VNW
I associate strongly with this, my memory is almost entirely compartmentalised. Even to the point of what happened earlier today being a fog unless I can find a leap off point.

The answer is start a business, it’s a strength to be able to deep dive into all areas and leap between them at will, I’ve found.
Should you really change filenames of users' files and depend on the fact that they are valid utf8? Wouldn't it be better to keep the original filename and use that most of the time sans the searches and indexing?

Why don't you normalize latin alphabets filenames for indexing even further -- allow searching for "Führer" with queries like "Fuehrer" and "Fuhrer"?
I can confirm. I've had quite a few projects that made it to the front page of HN and handled the traffic like cake. All of them ran on 5$ digital ocean droplets.

I accept some projects are more resource expensive than others, but majority of the time you can get away with a bit of asynchronous responses + scheduler/queue to spread the load horizontally over time.

Unpopular opinion: I blame the new age devops culture that made cloud app deployments unnecessarily complicated with k8s and cool new tech (that'd get them high profile jobs.) I've never come across a devops person who'd say "Hey, that sofware is too simple to prematurely scale for sudden spikes of irrational amounts of traffic, so why not just deploy it on a cheap vps?"
At virtually all banks, equities analysts are banned from trading in their coverage. Banned as in, if you, your spouse, your dependents, etc. have an interest you didn't proactively disclose and dispense with you're fired on the spot.

FINRA regulation states that registered equities analysts (i.e. the ones working at banks) at a minimum cannot trade against their ratings [0]. At most / all banks there are further restrictions that ban trading in coverage.

[0] https://www.finra.org/rules-guidance/rulebooks/finra-rules/2...
The LLM (Claude) currently doesn't know to not hallucinate numbers and instead write code + run it (something ChatGPT used to do but they fixed it)
Perhaps the author used the same character twice for effect, not suspecting someone would use curl to examine the raw bytes?
I am kind of appalled that the article and a lot of people in the comments seem to take the Bidet as an _alternative_ to toilet paper.

That is absolutely not the case in countries like Italy and Portugal. You simply use _both_. Washing yourself with soap and water after you wiped with toilet paper is unquestionably another level of hygiene.

It is also shocking that the article makes very little difference between a toilet seat with water jet and an actual bidet.

In Italy having a bidet is required by law.
You don't have to force yourself. You can choose
not to read clickbait.