HNHacker News
TopNewBestAskShowJobs

Gadiguibou

1,916 karma · joined November 8, 2020

submissionscomments
Gadiguibou··on Go: What we got right, what we got wrong
I understand that you like zero values as an alternative to initialization of objects as nil like Java does it. I think the parent comment explains pretty well what the issues with this approach are. Taking Rust as an example (because that's what I'm most familiar with), it's possible to simply enforce that variables are initialized explicitly or that safe constructors are provided, avoiding all the nil safety issues.
Gadiguibou··on Push ifs up and fors down
You can also often encode those checks in the type system like in the Option example near the start of the article.
Gadiguibou··on [dead]
See this for more context: https://github.com/HigherOrderCO/hvm
Gadiguibou··on Ask HN: Why do many CS graduates lack foundational knowledge?
I'm currently in uni and most courses are 3-credits meaning 45 hours of lectures per semester + 90 hours of tutorials, assignments, and studying.

Those 45 hours of lectures are usually condensed material with little to no time to practice. It's expected that you practice during the other 90 hours (and on your own time if you plan on having straight A's).

While you may get more hands-on experience in a few months of working full-time, you usually learn much fewer concepts.

Gadiguibou··on Google Project 10 to the 100 – Wayback Machine
Interesting to see "Schweeb" in there. It looks like a very predictable failure. [0]

[0]: https://en.wikipedia.org/wiki/Shweeb

Gadiguibou··on Ask HN: Those making $0/month or less on side projects – Show and tell
The website looks amazing! It's one of the nicest type racing website I've seen. :)
Gadiguibou··on What would a “good” WebMD look like?
In the U.S., MedlinePlus [0] seems to be the best repository for vetted medical information. It's government-backed and links to the relevant organizations where appropriate.

[0]: https://medlineplus.gov

Gadiguibou··on Lessons from Writing a Compiler
It's really similar to the language I'm writing a compiler for atm :). (I also like the syntax and choice of keywords.)

I haven't heard much from the usefulness of linear types in real world scenarios and would like to learn more from someone with a bit more experience.

- Is it enough to grow to do things like concurrency?

- Are non-linear types allowed?

- Are references possible?

- In which case, does it fall back to a GC? ref counting?

Gadiguibou··on I analyzed more than 7M developer jobs
I'm curious to know how much bias there is against smaller languages.

From my experience reading job postings, a lot of job postings for jobs where you may work with more "niche" technologies list more common ones beside what they are looking for and expect you to learn the technology during onboarding.

Gadiguibou··on Type-checked keypaths in Rust
That's really cool I hadn't heard of them before!

For those that are interested, I found this article by FPComplete on the topic: https://www.fpcomplete.com/haskell/tutorial/lens/

Gadiguibou··on Stack Overflow Developer Survey 2022
This feels a little reductive of the benefits that come from public education and healthcare.

Developers making 300,000$ a year don't make up the entirety of the US population. I think living somewhere where everyone gets an opportunity at life contributes greatly to overall happiness and helps reduce social tensions.

Good urban design, a nationalized electricity grid, or train system also contribute a lot to the disparity in taxes and salaries.

Gadiguibou··on Flavors of enums with Rust bindgen
I'm not familiar with #[non_exhaustive]. Why's there still UB when specifying it?
Gadiguibou··on Golang Diaries: Generics
Monomorphization is one of the ways generics are implemented in other languages and it definitely allows for type-specific optimizations.

I imagine there's a rationale for not implementing generics this way, like keeping binaries small, but it seems like a weird tradeoff considering it increases overall memory consumption and decreases performance quite a lot...

Gadiguibou··on Pounce: A multiplayer stealth game about hunting / tracking
Had a lot of fun playing with it.

I noticed that playing with a small grid to keep track of possible enemy positions on each turn is immensely helpful (kind of like flagging squares in minesweeper) so I hacked together this little tool to do that from another browser window: https://g12x.net/pounce-sh-helper/

Hope this helps!

Gadiguibou··on Welcome to 'Le Monde' in English
You're completely right. That was reductive of me. I'd probably edit my comment, but I don't think I can now. Thanks for the feedback.
Gadiguibou··on Welcome to 'Le Monde' in English
> I don't know about the french side, but english side of the CBC has been publishing an awful lot of political activism.

I wasn't aware of that. Do you have any example? From my understanding CBC and Radio-Canada are still by far the best and most neutral medias in Canada.

> Then again Quebec has CAQ and Bloc as representatives?

I'm not sure I understand what you mean. Can you elaborate a bit more?

> It has gotten to the point that Conservative party pretty much runs on defunding them. Detrimentally and they are aware of it, they don't care, it's the right thing to do. An election in 2025 will be a Conservative win. CBC is on the brink of going away.

This started under Harper and IMO is one of the worst things he's done to the country (although he made a lot of other terrible decisions). I really hope that, if 2025 is a conservative win, CBC will be left untouched.

Gadiguibou··on Welcome to 'Le Monde' in English
That's completely fair. I don't live there so am not aware of the best newspapers, but Al Jazeera is internationally renowned for the quality of its journalism.
Gadiguibou··on Welcome to 'Le Monde' in English
For the Arab world: Al Jazeera.

For Canada: CBC/Radio-Canada (the french speaking side)

Although more news oriented, my favorite sources for quality information in the US are the associated press (AP News) and Reuters.

Gadiguibou··on Ask HN: Share your personal site
https://gabriellacroix.com

There's not much to see there. It's a Jekyll site with some customizations. I'm working on a custom rewrite to move away from Jekyll and make it easier to post most of my local notes.

Gadiguibou··on Why I'm in the Army Reserve – an explainer for my friends in tech
I was wondering exactly this. I see the author is still here in the comments and I'm curious to know how he feels about this.

Does he get to choose whether he fights or not? Does he get reasonably and transparently informed about the issues leading to him being deployed?

Having to fight or kill is not something one should consider lightly. It's a responsibility that very few should have to bear and hopefully you should be as informed as possible about why you're doing it when making the decision to bear that responsibility.

Gadiguibou··on Algebraic Data Types in Haskell
I have had the exact same problem with Go recently. I have just started using it and have been disappointed to see that, for a language that claims to be modern, it doesn't have proper sum types/enums OR convenient product types/tuples.

Tuples can be emulated using structs but it can generate a lot of boilerplate for a single function. The only alternative to express iterating over "zipped" lists is to have the two lists side by side and iterate using an integer.

However, sum types are just plain missing. I guess interfaces help, but they're really limiting in what they allow and even regular C-style enums are painful and can't be checked for exhaustivity at compile time.

Does anyone have tips on what the "idiomatic" solutions are for these problems?

Gadiguibou··on CLOCKSS: A dark archive for scholarly articles
A dark archive is an archive that isn't available to the public, generally to preserve documents over longer periods of time for future generations [0].

In this case, documents are only made public/open-access with a certain trigger, e.g. when a document becomes unavailable online. This makes it immensely useful to find articles that almost no libraries pay for anymore.

[0]: https://dictionary.archivists.org/entry/dark-archives.html

Gadiguibou··on What makes writing more readable?
That was one really good article!

- It conveys its information effectively.

- The controls for the translation are intuitive and aren't distracting.

- Its use of 3 levels of examples is convincing, makes for a rather complete view of the problem and makes the points easy to understand.

- It even links to high-quality resources to learn to write more accessibly in this style! [1][2][3]

I saw a lot of comments here about information being lost in the translation process.

I understand that this may not apply directly to how you write your technical documentation. However, I think you should note that this style of writing isn't meant for everyone everywhere. You probably won't ever see papers written in this style. Its main purpose seems to be in education and communications with broader audiences where accessibility is key.

Even then, its normal to lose some subtleties as you make writing simpler. The important part isn't to keep all the information in your text, it's to make the most important information accessible with as little friction as possible.

Practicing this also helps consider which information is relevant to the message you want to convey. When painting the picture of a complex character in a poetic way, you may want to keep the subtleties of language and use words that make the text flow even if it means increasing complexity. However, if you're writing to communicate crucial information or give instructions, which happens more often in our writing than we would like to admit, it's critical that the text is simple and accessible and contains only the most relevant information.

[1]: https://autisticadvocacy.org/wp-content/uploads/2021/07/One-...

[2]: https://www.plainlanguage.gov/

[3]: https://www.easy-read-online.co.uk/media/10609/making-myself...

Gadiguibou··on In our cashless society, we need to take digital jail seriously
I remembered reading this in the Globe and Mail article about the leaked GiveSendGo list of donors, but it seems I was wrong. I'm sorry for not checking my sources when posting this. I'm not sure why I can't edit the original message.

I could confirm however that the movement including its leaders had ties with neo-Nazi groups and that Nazi flags were flown in the convoy.

Here's the Wikipedia article with more than enough sources to support those claims: https://en.wikipedia.org/wiki/Canada_convoy_protest?wprov=sf...

Gadiguibou··on In our cashless society, we need to take digital jail seriously
Since I haven't seen this mentioned anywhere in the comments so far, it's worth noting that the author has clear political allegiances.

From the author's bio near the bottom of the article:

> Howard Anglin is a post-graduate researcher at Oxford University. He was previously Deputy Chief of Staff to Prime Minister Stephen Harper, Principal Secretary to the Premier of Alberta, Jason Kenney, and a lawyer in New York, London, and Washington, DC.

I don't think this invalidates the argument in any way. I do think that it should raise a red flag however. Comparing the October crisis to the freezing of trucker funds partially raised by Nazis still seems a bit far-fetched to me after reading the article.

Gadiguibou··on Major breakthrough on nuclear fusion energy
Thanks for the tip!
Gadiguibou··on Major breakthrough on nuclear fusion energy
I really appreciate the note of the environmental analyst which helps readers who don't have deep knowledge of the field understand the meaning of this breakthrough in context. I wish more news agencies adopted the same practice.
Gadiguibou··on Satellite finds methane leaks from gas pipelines
I agree that we should have larger financial incentives/pressure on these companies, but I don't know how good of a solution it is to tax at the emitter like this considering how hard it is to track those leaks still.

The size of the images taken from GHGSAT's satellites could never cover a whole region reliably and they still require a lot of processing to allow for the detection of smaller leaks. I think that would create a situation where companies would underreport those leaks and the government wouldn't have a reliable way to check if they did.

I think it'd be much more efficient to tax consumers in general for the oil they purchase and "let the free market do its thing". The transition or rather, letting the polluters pay their fair share, needs to happen much quicker than what we're seeing today and half-assed measures aren't getting us there anytime soon.

Gadiguibou··on Satellite finds methane leaks from gas pipelines
Turns out this exists! The company I worked at last summer, GHGSAT [1], focuses exactly on this.

They have a fleet of satellites and aircraft taking high-resolution (1-25m ground resolution) pictures of critical infrastructure on demand that allow oil and gas companies and landfills, notably, to identify those leaks and either patch them to recover the methane or torch the methane, greatly reducing the impact of the leak.

The figures mentioned in the original article are very much what we observed as well. It wasn't all that uncommon to see leaks releasing 12 tons of methane per hour be left unpatched for *weeks*.

Thanks to pressure from investors and to the additional revenue gained from identifying and patching those leaks, a lot of governments and the biggest oil companies have started paying for this service.

[1]: https://www.ghgsat.com/en/

Gadiguibou··on OpenDrop: An open Apple AirDrop implementation written in Python
You can also take a look at the following:

Croc:

- Site: https://schollz.com/blog/croc6/

- Source: https://github.com/schollz/croc

Magic Wormhole:

- Source: https://github.com/magic-wormhole/magic-wormhole

Send (A fork of Mozilla's Send):

- Site: https://send.vis.ee/

- Source: https://github.com/timvisee/send

- CLI: https://gitlab.com/timvisee/ffsend

I've personally used Snapdrop and Croc before and they're both very nice

Page 1 of 2Next →