Hacker News: rugina

New comment by rugina in "What happened to Transmeta, the last big dotcom IPO"

rugina — Wed, 12 Nov 2025 21:06:27 +0000

> partially because Intel didn’t see a market

I saw some articles saying that Intel saw the market very well, they just could not deliver and rather than admit that, they claimed the CEO decided wrong.

New comment by rugina in "Translation of Rust's core and alloc crates to Coq for formal verification"

rugina — Wed, 15 May 2024 08:00:03 +0000

The English word bit has the same meaning in French as word Coq has in English.

New comment by rugina in "The man who killed Google Search?"

rugina — Wed, 24 Apr 2024 10:08:33 +0000

I think NM translation was broken all along. Not in the neural network part but in choosing the right answer. https://aclanthology.org/2020.coling-main.398.pdf

New comment by rugina in "Knuth–Morris–Pratt illustrated"

rugina — Tue, 16 Apr 2024 10:12:57 +0000

We, humankind managed to get a good optimisation for this problem by using spaces between words. When trying these algorithms for searching a word in a string of text, I was surprised how little they could improve vs just skipping to the next word.

New comment by rugina in "Dada, an experimental new programming language"

rugina — Wed, 06 Mar 2024 15:58:10 +0000

Given that the GitHub repo is almost three years old, I expect Martin Fowler to already have Dada Patterns, Refactoring in Dada, Dada Distilled, Dada DSL and Dada Best Practices ready to publish.

New comment by rugina in "The 37signals Employee Handbook"

rugina — Fri, 19 Jan 2024 17:13:14 +0000

They don't allow development on GNU/Linux.

New comment by rugina in "RustRover – A standalone Rust IDE"

rugina — Thu, 14 Sep 2023 08:44:30 +0000

Tried it and it feels slow. I opened a Rust project and after a long wait to index crates, I opened a file and deleted a commented line. It took a few seconds to display the annotations again.

While waiting, I did some work in neovim.

New comment by rugina in "Why you might want async in your project"

rugina — Sat, 09 Sep 2023 20:09:32 +0000

Tokio uses a pool of threads for disk I/O because it uses the synchronous calls of the operating system.

New comment by rugina in "Mastering curl: interactive text guide"

rugina — Wed, 06 Sep 2023 11:53:27 +0000

> I’m curious though… are people using it in production much?

Here's Daniel beating his own drum: https://archive.fosdem.org/2017/schedule/event/curl/

New comment by rugina in "Klack – Satisfying sound with every keystroke"

rugina — Wed, 06 Sep 2023 10:18:45 +0000

> the noise level of the keyboard made it difficult for my colleagues to focus

Had the same issue in the past but nowadays everyone is wearing noise cancelling earphones

New comment by rugina in "We reduced the cost of building Mastodon at Twitter-scale by 100x"

rugina — Tue, 15 Aug 2023 23:25:10 +0000

Can you implement a web shop like Amazon using Rama?

New comment by rugina in "Val, a high-level systems programming language"

rugina — Wed, 19 Jul 2023 10:20:05 +0000

Rust deadlocks just fine.

New comment by rugina in "Jessica Hische Brings New Life to an Old Logo"

rugina — Tue, 21 Feb 2023 00:36:04 +0000

link to the Pakistani bloke?

New comment by rugina in "Proving Earth is a globe"

rugina — Tue, 31 Jan 2023 14:38:14 +0000

That explanation irks me a lot because it implies Eratosthenes knew the Sun was so far away, the rays reaching the earth are practically parallel. And while it might sound a like a detail, the whole calculation depends on it.

If you presume the Earth is flat and the Sun not that far away, Eratosthenes was calculating the distance to the Sun.

New comment by rugina in "You can fire 80% of software engineers and the company will survive"

rugina — Mon, 21 Nov 2022 10:55:15 +0000

If the Pareto principle is always true, just keep on firing 80% of the remaining engineers until the company runs without developers.

New comment by rugina in "Show HN: I built a tool to help you read Hacker News on Kindle"

rugina — Fri, 02 Sep 2022 09:28:40 +0000

I was under the impression you can opt to simply download the epub and send it to Kindle yourself but the website will not let me do anything before I set up the Kindle upload.

New comment by rugina in "Why Rust is a great choice for startups"

rugina — Tue, 14 Jun 2022 14:00:47 +0000

Can anyone speculate why there's so much crypto using Rust as opposed to everybody else? I am afraid crypto will end up giving Rust a bad name.