Hacker News: reirob

New comment by reirob in "Ada, its design, and the language that built the languages"

reirob — Sun, 19 Apr 2026 06:36:28 +0000

Right from https://www.adacore.com/languages/spark, under the title Memory Safety:

Through a combination of mitigation of dynamic memory usage, borrow-checking analysis and advanced formal proof, SPARK formally demonstrates absence of memory issues such as use after free, access to uninitialized memory or memory leaks and corruption.

New comment by reirob in "Deep dive into Turso, the “SQLite rewrite in Rust”"

reirob — Fri, 30 Jan 2026 08:11:18 +0000

There has been a podcast by Developer Voices about Turso: https://m.youtube.com/watch?v=1JHOY0zqNBY

New comment by reirob in "Are we stuck with the same Desktop UX forever? [video]"

reirob — Sun, 14 Dec 2025 19:14:17 +0000

Maybe might be appropriate in this discussion: https://arcan-fe.com/

I hope this project will produce some usable new UX at some point.

New comment by reirob in "Ask HN: Memory-safe low level languages?"

reirob — Mon, 28 Apr 2025 19:22:44 +0000

Thanks for sharing this. I was not aware about this project. Quite impressive they got sqlite and openssl compiling.

From their manifesto [1]: "The biggest impediment to using Fil-C in production is speed. Fil-C is currently about 1.5x-4x slower than legacy C."

And for the moment being it is running only on Linux/X86_64, even though there should be nothing preventing it from running on other platforms.

[1]: https://github.com/pizlonator/llvm-project-deluge/blob/delug...

New comment by reirob in "E Ink faces growing competition in the "paper-like" display space"

reirob — Sun, 01 Sep 2024 13:59:22 +0000

I have a color Boox tablet, and I am very very disappointed about the colors. Very hard to distinguish many colors and shades. Black and white though is really good.

New comment by reirob in "Are EU banks just mass surveillance devices?"

reirob — Fri, 29 Dec 2023 12:21:18 +0000

My bank in France (Credit Agricole) requires me to install an App on the phone in order to do operations like entering an non-french IBAN to transfer money to supiers. Stuff that worked before easily over the web, doesn't work anymore if I don't install the app. Now I need to go physically to the branch. And they tell, this is because if security - such a lie. Apps are much more insecure than web + sms tokens.

New comment by reirob in "Framework Laptop 16"

reirob — Fri, 24 Mar 2023 20:20:37 +0000

Same here

New comment by reirob in "Replacing my MacBook Air M1 with a ThinkPad T480"

reirob — Tue, 21 Feb 2023 22:45:24 +0000

Are you touch typing? I am sincerely curious. For me, because I am touch typing, the trackpoint was a big advantage over the trackpad - I don't have to lift the hands from the keyboard. This is how I got used to the trackpoint.

DirtyCred' Vulnerability Haunting Linux Kernel for 8 Years

reirob — Tue, 23 Aug 2022 19:25:22 +0000

Article URL: https://www.securityweek.com/dirtycred-vulnerability-haunting-linux-kernel-8-years

Comments URL: https://news.ycombinator.com/item?id=32570059

Points: 5

# Comments: 0

New comment by reirob in "The Node ecosystem still has tooling problems"

reirob — Sun, 31 Jul 2022 11:02:05 +0000

Ironically the existence of NodeJS is somewhat related to Haskell, as Stephen Diehl mentions in [1]:

> As a funny historical quirk, back in 2011 there was an interview with Ryan Dahl, the creator of NodeJS, who mentioned that the perceived difficulty in writing a new IO manager for GHC was a factor in the development of a new language called NodeJS. When asked why he chose Javascript, for the project, he replied:

>> Originally I didn’t. I had several failed private projects doing the same on C, Lua, and Haskell. Haskell is pretty ideal but I’m not smart enough to hack the GHC.

The interview itself is in [2].

[1]: https://www.stephendiehl.com/posts/decade.html [2]: https://www.bizjournals.com/boston/inno/stories/news/2011/01...

New comment by reirob in "Writing one sentence per line"

reirob — Mon, 20 Jun 2022 21:00:42 +0000

I made a colorscheme for vim that uses same color for font and background. Use it sometimes when I need to write long confusing thoughts. It's quite a nice experience, the sentences turn out to be similar to the way I would speak, but still with more thought and deepness.

New comment by reirob in "HP Dev One Laptop with Pop_OS"

reirob — Sat, 21 May 2022 06:57:54 +0000

I do it all the time - I don't know another way if you want to touch type. It creates a symmetry - depending if the letter key with which you need to combine is on the left or the right hand, I will use the opposite hand to press the Shift or Ctrl keys. And the AltGr is an absolute must for me as I need to write accents for several western European languages and the English International with AltGr Dead keys is the best solution I found so far (and I do not understand why it is not shipped with Windows).

New comment by reirob in "A day after he bought electric scooter, man killed in battery explosion"

reirob — Tue, 03 May 2022 09:25:46 +0000

Fires from electric vehicles getting more and more often. Few days ago Paris decided to withdraw 149 electric buses [1] after two have catch fire.

[1]: https://www.msn.com/en-us/news/world/paris-withdraws-149-ele...

New comment by reirob in "Lenovo ThinkPad P1 Gen3 Review – with Linux"

reirob — Mon, 02 May 2022 07:48:13 +0000

I'm using it since +20 years and many ThinkPads (had one Dell with a trackpoint in the early 2000s) - it's the thing why I'm staying with ThinkPads. If you are touch-typing, working on the go, in rough environment, then there is nothing better. Last 3 and half years I had X1E Gen1, was the worst ThinkPad experience of all the ThinkPads that I ever had (extremely hot, bad Linux support, loud, worst ever battery life, mirror display) - and the 1st ThinkPad in 20+ years that just stopped working after 3.5 years. Now I have the P1 Gen4, without Nvidia, the QXGA resolution and matte screen - and I love it. Was afraid because the key travel, got less, but I actually have to say that I prefer it compared to the previous ThinkPad, and it's less noisy when typing.

However I have to say that none of the ThinkPad trackpoints match the easiness and the precision of the Tex Shinobi external keyboard - it's just delightful how it feels, though, typing on it is very loud.

New comment by reirob in "Ask HN: What are some good keyboards?"

reirob — Fri, 04 Mar 2022 13:56:55 +0000

I am quite curious about using this keyboard without a mouse (in the demo video there seems to be a key called mouse, just above the left shift) - maybe someone who uses it as a mouse can chime in? Alternatively would be interested as well about the trackpoint module - does somebody use it? How precise is it to use it with a thumb, compared with the usage of an original ThinkPad trackpoint or is the TEX Shinobi [1].

The TEX Shinobi TrackPoint is for me much easier and better to use than on modern ThinkPad keyboard, was quite a surprise.

[1] https://tex.com.tw/products/shinobi?variant=16969883648090

New comment by reirob in "Putin orders Russian peacekeepers to eastern Ukraine's two breakaway regions"

reirob — Tue, 22 Feb 2022 16:40:31 +0000

If I understand it correctly this is as well the position of Professor John Mearsheimer [1] - he thinks that what Russia is going to do is "wreck" Ukraine and make it a buffer nation. I am sad, that we came to this situation and that our politicians were not able to find a diplomatic way to deal with each other and instead now only sanctions, arms and isolation seems to be considered. Trust is broken, both sides West and Russia consider themselves to be in the right and being handled unfairly by the others. Nationalism is rising and people start to consider each other as enemies. I am afraid that history is repeating itself and I am afraid of whatever leader Russia might get after Putin.

[1]: https://www.youtube.com/watch?v=Nbj1AR_aAcE

New comment by reirob in "Geizhals – Tech Product Price Comparison and Tracking"

reirob — Sat, 11 Sep 2021 22:23:47 +0000

Finally a website where i can filter for criteria I need, down to stuff like keyboard without number block, with Trackpoint (on the site it's called pointing stick). No other site i know does this, not even the vendors themselves.

New comment by reirob in "Linux on the Framework Laptop"

reirob — Thu, 02 Sep 2021 10:10:28 +0000

If other companies can provide keyboards with a TrackPoint [1], then I think it should be possible - disclaimer, I have such an external keyboard, the Shinobi, and the TrackPoint movement (on Linux) is actually better and more accurate than on my ThinkPad laptop.

[1]: https://tex.com.tw/

New comment by reirob in "System76 Pangolin Linux-first laptop with AMD internals now in stock"

reirob — Wed, 01 Sep 2021 18:49:14 +0000

Absolutely agree, to a point that I don't even know which laptop to buy - almost all 15 inch have no centred keyboard. I don't understand how touch typers can work with these. I tried for a few days. What a nightmare.

New comment by reirob in "Lenovo Selling Linux Laptops Directly in the US"

reirob — Sun, 15 Aug 2021 11:05:41 +0000

That's true, but I would like to know if there's a way to find laptops that have Trackpoints (or whatever they are named on different brands [1]). My experience is that there were different brands that had some models at some point in time (HP, Toshiba, Dell, Fujitsu), but don't even mention it on the website, and from one generation to the other they decide to remove or to add them. I would happily go with Dell or some other brand if I knew how to chase for all the requirements above.

[1] https://en.wikipedia.org/wiki/Pointing_stick