HN user

polygot

637 karma

Email: identityinvisible@me.com

Posts47
Comments141
View on HN
alexyorke.github.io 6mo ago

Monads in C# (Part 2): Result

polygot
56pts71
alexyorke.github.io 1y ago

List is a monad

polygot
157pts179
news.ycombinator.com 1y ago

Ask HN: What are your unpopular opinions about programming?

polygot
17pts49
alignment.anthropic.com 1y ago

Training on Documents About Reward Hacking Induces Reward Hacking

polygot
1pts0
cryptography101.ca 1y ago

Cryptography 101 with Alfred Menezes

polygot
2pts0
www.youtube.com 1y ago

Animation vs. Coding [video]

polygot
1pts0
everywebsiteuuid.com 1y ago

Every v4 UUID domain that has at least one DNS record

polygot
1pts1
en.wikipedia.org 2y ago

Interpolation Search

polygot
2pts0
alexyorke.github.io 3y ago

Gzip exceptions, but only on hot or rainy days

polygot
232pts149
news.ycombinator.com 3y ago

Ask HN: Requesting feedback for debugging CI/CD for beginners book outline

polygot
1pts0
github.com 3y ago

The PowerShell Best Practices and Style Guide

polygot
4pts0
www.youtube.com 4y ago

How did the Enigma Machine work?

polygot
2pts0
blog.sense.com 5y ago

How does Sense detect my devices? (2016)

polygot
1pts0
news.ycombinator.com 5y ago

Ask HN: Thinking about making a tutorial to create a QR code without a computer

polygot
1pts2
lists.apple.com 5y ago

Lists.apple.com Mailing Lists

polygot
2pts0
news.ycombinator.com 6y ago

Ask HN: Would you use an app that optimizes nutrition and minimizes cost?

polygot
1pts2
github.com 7y ago

Bashreqs: like pipreqs but for bash scripts

polygot
2pts0
en.wikipedia.org 8y ago

Automatic label placement

polygot
1pts0
news.ycombinator.com 8y ago

Ask HN: Validate whether my side-project could be profitable

polygot
2pts5
www.unrealengine.com 8y ago

Theia Interactive’s Harley Davidson AR Experience Showcases Real-Time VR

polygot
1pts0
github.com 8y ago

Hn-sonar: get notified for HN replies to your comments. No email address needed

polygot
3pts1
arxiv.org 8y ago

Story-Like Visual Explanations by Watching Movies and Reading Books Using a CNN

polygot
2pts1
github.com 8y ago

Automatically format Python code so that it meets PEP8 standards

polygot
2pts0
aws.amazon.com 8y ago

Amazon Macie: A machine learning service to discover and protect sensitive data

polygot
117pts29
github.com 8y ago

“Comments from Code Review” – GitHub Commit Search

polygot
1pts0
assets.en.oreilly.com 8y ago

Every 11.6 seconds, Amazon makes a deploy

polygot
2pts0
en.wikipedia.org 9y ago

The Shower-curtain effect

polygot
9pts1
youtu.be 9y ago

The Art of Making a Nixie Tube

polygot
2pts0
www.gdcvault.com 9y ago

GDC Vault – 8 Bit and '8 Bitish' Graphics-Outside the Box

polygot
2pts0
github.com 9y ago

GitHub issue “the opaque pointer type is ”int“ in JNI layer” open for 16 years

polygot
1pts0

Hi, author here. Thanks for the feedback! I'll take a look at the article tonight and go through the comments and update the post based on the comments.

Thanks for the feedback! I'll likely be editing part 1 to include the feedback so far from the commenters as well. If there's a specific statement or analogy that felt especially confusing, please point it out and I'll clarify it in the post.

Thanks for the feedback, I totally agree that monads are not containers. From an OOP perspective, they have some properties that make them, in some sense, sorta like containers, e.g., they contain a value like the Maybe monad. I still agree that they are not simply containers. I can clarify this in a revision to part 1 soon.

Thanks for the feedback! I didn't expect my post to garner a lot of attention. I am totally ok with rewriting part 1, potentially to make it more concise to prevent confusion (wow, this post is super long, monads must be complex!) is what I'd like to avoid.

I can reproduce the double line issue in part 2, this was my mistake and I missed it as part of my editing process. I'll delete part 2 while I make the corrections.

Thanks for the feedback! I can definitely rename the post soon as a first step, although this may require rewriting a chunk of the article to more accurately reflect the fact that List is a monad, and not "a" list.

I could make this distinction in part 3 (not written yet) although I want to balance not misleading readers, but not overcomplicating it too early on.

Hi, I completely agree. "A" list isn't inherently a monad, and that is where my metaphor starts to fall apart a bit (my post title furthers this issue.)

I can clarify this earlier in part 1 or 2 instead of in to-be-written part 3.

I could _maybe, maybe_ see self-hosted GitHub runners inside of VMs running on developer machines. The VMs would have to be re-created after every request however.

I don't think this is a great idea, however, as now CI is dependent on my flaky laptop's wifi/internet connection/IP address, has the potential to be contaminated by something running on my machine, build logs can be modified, environment shape/architectures are all different and can't be easily controlled, I now have access to all of the CI secrets and can impersonate the CI, etc.

Very cool! I'd be curious to see an HDR version of it using bracketed exposures--it might give a better sense of how it actually looks in person. It seems really bright in the photos, so the shortest exposure would probably need to be very low to capture a good dynamic range for the HDR.

There needs to be some more research on what path the model takes to reach its goal, perhaps there is a lot of overlap between this and the article. The most efficient way isn't always the best way.

For example, I asked Claude-3.7 to make my tests pass in my C# codebase. It did, however, it wrote code to detect if a test runner was running, then return true. The tests now passed, so, it achieved the goal, and the code diff was very small (10-20 lines.) The actual solution was to modify about 200-300 lines of code to add a feature (the tests were running a feature that did not yet exist.)

Very interesting podcast, I find that the guest was very candid so it was great to hear what it is really like working at Jane Street.

The reproducible-Python notebook problem/notebook for researchers mentioned in the podcast inspired me to create a new project, branch-pad https://github.com/alexyorke/branch-pad which is an interactive Python notebook environment that allows you to create and explore multiple branches of code execution.