HNHacker News
TopNewBestAskShowJobs

gilcot

82 karma · joined February 22, 2022

submissionscomments
gilcot··on The urgent need for memory safety in software products
So we agree :)
gilcot··on The urgent need for memory safety in software products
Ada?
gilcot··on The urgent need for memory safety in software products
When you give a piece of cake, that doesn't make you a cake vendor, do you?
gilcot··on CatalaLang/catala: Programming language for law specification
Catala has similar goal than OpenEdge ABL[1] which is prose also.

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

gilcot··on XML is better than YAML – Hear me out
Oh, I was only saying that the article isn't saying that you cannot easily retrieve the value of an arbitrary XML element. It simply putting together selected examples that should deserve YAML and convince us that we must swear XML true.

Well, life isn't black and white, but somewhat greyscale. From my experience, none is better and they don't share the same use-cases.

gilcot··on Why Kakoune
Note that all of those (but with some limitations on multiple selections via RE) are available in Ex/Vi and Ed previously.

> I wonder if the author has ever heard of vis[0] which imho fulfills far better each one of those premises

Same goes for Sam…

gilcot··on Why Kakoune
> Vi-style binds are moderately unintuitive,

Oh... For my part, other binds are weird and less ergonomic from far. I'm vey used to vi-style: I mostly work in text mode (no GUI, no mouse) and I like to talk to my editor what I want...

gilcot··on XML is better than YAML – Hear me out
It's only a construction to justify author's biases.
gilcot··on XML is better than YAML – Hear me out
You're one of those few lucky whose malformed xml cause no issue.
gilcot··on Writing Is Objectively Superior to Speaking as a Communication Method (2020)
Remember those wedding or birthday parties catch with camcorders on Super8 or VHS? Then see that requirement for video log was high compared to nowadays were most people have a smartphone and they exist platforms like youtube/vimeo/facebook/etc for storage and sharing. If you have privacy concerns, it's still not a viable solution unless you have some computers management backgrounds (and can afford investments in storage and backup.)

On the other hand, pencils and notebooks were affordable. Once you knew writing, paper journal was most obvious than self video. If you wanted to make the journal available to public, blog was a thing (like vlog is today.) However, on heavy adoption, not everybody use to log…

Also note that as handwriting decrease while typewriting increase, written journal become digital.

gilcot··on Built-in port forwarding in Visual Studio Code 1.82
:D And I'm not sure there's some real need and use of that feature.
gilcot··on Lies my calculator and computer told me (1987) [pdf]
FP are part of R, like Q or D sets. (I think it should be considered/seen as a subset of decimal numbers set.)
gilcot··on Memory-efficient enum arrays in Zig
What about https://doc.rust-lang.org/reference/type-layout.html#the-ali...
gilcot··on Lies my calculator and computer told me (1987) [pdf]
IEEE 754 is well defined so that $a+b=b+a$ But it can't give you warranty that $(a+b)+c=a+(b+c)$ (well known error propagation issue)
gilcot··on Composition over Inheritance: A Banking Example in Golang
Beware the paywall:

> Read the full story with a free account.

> The author made this story available to Medium members only. Sign up to read this one for free.

gilcot··on CatalaLang/catala: Programming language for law specification
But all structured format use words, and they're many programming language that are prose since COBOL. No one want to write laws in APL or assembly like.
gilcot··on CatalaLang/catala: Programming language for law specification
According to the example in the readme, it's specially for text law that produce codes… So it should be a road to some literal programming or implementation proven.

Example of text law that should/may become code somewhere: the senate vote to give pension to veterans that meet some criteria… But there already exist less known rules for some cases and they may be incompatible.

I think that coupled with some kind of prolog, it may help detecting inconsistencies early.

gilcot··on CatalaLang/catala: Programming language for law specification
They're even languages named: basic, pascal, java, rust, go, zig, dart, eifel, camel, python, ruby, julia, scheme, racket, joy, mad, coq, lean, ...
gilcot··on CatalaLang/catala: Programming language for law specification
Smart…
gilcot··on Paper checks are dead. Cash is dying. Who still uses them?
A useless comment to say: I do.
gilcot··on Nonograms - Japanese Crosswords
Using the same app daily here.
gilcot··on LaTeX for tabletop
You're supposed to write things like `\chapter{the title}` (so focusing on the content) instead of dealing with: font family/size/weight/variant/shape, text color/flushing/decoration, you know all those formatting you're always playing with with text editors for example.
gilcot··on LaTeX for tabletop
And so will be in next century.
gilcot··on The worst programmer I know
Lucky you.
gilcot··on RustRover – A standalone Rust IDE
People aren't seeking for stability but for constant eye catching buzz.
gilcot··on Birb: Programming with bird emojis
It's flying lovely :D
gilcot··on Ask HN: Has anyone here learned COBOL for fun?
Here. Lean it just for fun and curiosity, and never use it in my career.
gilcot··on Exa Is Deprecated
windows…
gilcot··on Exa Is Deprecated
POSIX options and behaviours are the same, not extra stuffs.
gilcot··on Linux becoming a Windows / OS X clone
So I must be a masochist 'cause having fun with my Slackware and my BSDs?
← PreviousPage 3 of 4Next →