HNHacker News
TopNewBestAskShowJobs

rugina

23 karma · joined June 14, 2022

submissionscomments
rugina··on Europe's largest carbon capture facility opens in Netherlands
It's not a carbon capture facility, it's an ammonia (fertilizer) factory. They will capture the CO2 resulted from the chemical process.
rugina··on Quantum Computers Are Not a Threat to 128-Bit Symmetric Keys
On one hand I hear that quantum computers will crack factorisation and discrete logarithms, on the other that the max number factorised is 15 and that 21 might not even be feasible.

What is going on?

rugina··on What happened to Transmeta, the last big dotcom IPO
> 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.

rugina··on Translation of Rust's core and alloc crates to Coq for formal verification
The English word bit has the same meaning in French as word Coq has in English.
rugina··on The man who killed Google Search?
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
rugina··on Knuth–Morris–Pratt illustrated
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.
rugina··on Dada, an experimental new programming language
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.
rugina··on The 37signals Employee Handbook
They don't allow development on GNU/Linux.
rugina··on RustRover – A standalone Rust IDE
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.

rugina··on Why you might want async in your project
Tokio uses a pool of threads for disk I/O because it uses the synchronous calls of the operating system.
rugina··on Mastering curl: interactive text guide
> 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/

rugina··on Klack – Satisfying sound with every keystroke
> 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

rugina··on We reduced the cost of building Mastodon at Twitter-scale by 100x
Can you implement a web shop like Amazon using Rama?
rugina··on Val, a high-level systems programming language
Rust deadlocks just fine.
rugina··on Jessica Hische Brings New Life to an Old Logo
link to the Pakistani bloke?
rugina··on Proving Earth is a globe
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.

rugina··on You can fire 80% of software engineers and the company will survive
If the Pareto principle is always true, just keep on firing 80% of the remaining engineers until the company runs without developers.
rugina··on Show HN: I built a tool to help you read Hacker News on Kindle
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.
rugina··on Why Rust is a great choice for startups
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.