HN user

Cogito

4,356 karma

You can get me at andrew.ardill at gmail.

Posts24
Comments763
View on HN
git.github.io 5y ago

The history of 'master' in Git – Git Rev News: Edition 65

Cogito
1pts0
theconversation.com 6y ago

Bushfires push at least 20 threatened species closer to extinction

Cogito
3pts1
www.engineering.unsw.edu.au 6y ago

Gutsy effort to produce comprehensive study of intestinal gases

Cogito
1pts0
www.bbc.com 8y ago

Stephen Hawking has died

Cogito
6015pts436
www.escapistmagazine.com 9y ago

The Tao of Notch – Beyond Twitter

Cogito
1pts0
www.youtube.com 10y ago

Second Landing of Falcon 9 First Stage at Landing Zone 1

Cogito
33pts9
www.nasaspaceflight.com 10y ago

Falcon 9 first stage sails into Port Canaveral atop ASDS

Cogito
3pts1
git.github.io 10y ago

Git Rev News Edition 12

Cogito
2pts0
sockpuppet.org 10y ago

The Starfighter Low-Level Tech Tree

Cogito
261pts102
git.github.io 10y ago

Git Rev News Edition 9

Cogito
3pts1
git.github.io 10y ago

Git Rev News Edition 8

Cogito
1pts0
git.github.io 10y ago

Git Rev News Edition 7

Cogito
3pts0
groups.google.com 10y ago

Git for Windows 2.5.1

Cogito
3pts1
git.github.io 10y ago

Git Rev News Edition 6

Cogito
1pts0
news.ycombinator.com 11y ago

FatherIO Campaign Ended. Technical Difficulties?

Cogito
2pts0
www.orbital.com 11y ago

Orbital's statement regarding ORB-3 launch mishap

Cogito
2pts1
www.lostateminor.com 12y ago

Twins develop low-tech method of transcribing reality to paper in amazing detail

Cogito
6pts0
www.flickr.com 12y ago

Michael Paul Smith's Photography

Cogito
2pts0
stripe-ctf.com 12y ago

Stripe CTF: Distributed Systems Engineering

Cogito
6pts0
www.commandfive.com 13y ago

Atlassian Crowd unpatched 'symmetric backdoor' remote XML exploit [pdf]

Cogito
3pts3
www.spyparty.com 13y ago

SpyParty Beta Registration is now open to everyone

Cogito
1pts1
blog.divshot.com 13y ago

Divshot Public Beta Now Open

Cogito
2pts2
hackedgadgets.com 13y ago

Knock Lock – Unlock a Door with a Secret Knock (2009)

Cogito
2pts2
www.australiancreative.com.au 13y ago

What price branding?

Cogito
1pts1

I think I took out an extra comma too, which hurts readability.

Personally I write with too many asides, normally done with commas and parentheses. It's a comforting habit to fall into, and makes getting your thoughts out so much easier, at the expense of interrupting the reader's train of thought.

I don't normally notice when I'm writing with asides so the jarring em-dashes were a good reminder to try and edit them out where I can.

It may be due to AI proliferation, or the culturural bias I have, but I increasingly find em-dashes jarring.

As you point out, authors use them for the "natural and chaotic shifts of thought we all have" and when there are lots of these shifts it feels like I have to keep track of multiple conversations at once.

For example, in the article we have:

If your goal is to have other people read—and hopefully enjoy—your writing, you should make an effort to edit your thoughts.

When I read this I instinctively pause the 'main' thought/voice, read the aside, then re-establish my train of thought. In my opinion the sentence reads just as well without the aside:

    If your goal is to have other people read and enjoy your writing you should make an effort to edit your thoughts.
[edit - putting comma back in to break up the long sentence]
    If your goal is to have other people read and enjoy your writing, you should make an effort to edit your thoughts.
I think this is the only aside formatted like this in the article. The other em-dashes take the place of pauses in sentences, places I would normally use a comma or semicolon, or are used to introduce a list where I would typically use a colon.

Again this is probably a cultural thing, maybe a reaction to AI as well, but I find the em-dash a lot more though-interrupting than the other punctuation choices and I wonder if it's something I'll get used to or not.

(I forget how git format-patch handles the case where there are two parents.)

As per [0] merge commits are dropped:

Note that format-patch will omit merge commits from the output, even if they are part of the requested range. A simple "patch" does not include enough information for the receiving end to reproduce the same merge commit.

I originally thought it would use --first-parent (so just diff vs the first parent, which is what I would want) but apparently no! It is possible to get this behaviour using git log as detailed in this great write-up [1].

[0] https://git-scm.com/docs/git-format-patch#_caveats

[1] https://stackoverflow.com/questions/2285699/git-how-to-creat...

Out of interest, what do you think it would look like if communicating was algorithmic?

I know that it doesn't feel like I am doing anything particularly algorithmic when I communicate but I am not the hommunculus inside me shuffling papers around so how would I know?

I anticipate this will make it much easier for me to get my little team of actuaries formatting their code.

The impact of uv on our onboarding and utilisation of python has already been huge, and any way I can easily improve their code hygiene is a good one. Yes, I could get them to use ruff standalone, or set up pre-commit hooks etc for them, but the simple mental model that comes from `uv <do something>` is really beneficial.

Will have a play around with this and see how it goes. Would love to be able to hook into other formatters too, but not sure if that's easy or even possible already. For example, I would love it if `uv format` also formatted our SQL/dbt models.

I'm completely ignorant so forgive me if this is obvious: in the effort of the parent article - to compile rustc with gcc - will rustc still be feeding lots of code to LLVM, or would that code now be fed to gcc?

Really great read.

Someone mentioned recently that the slowness of rustc is in large part due to llvm. I know that is probably orthogonal to the work here, but I do like the idea of building the compiler with different toolchains, and that there may be follow on effects down the line.

Hey bios444 if you see this your comments are not showing as you seem to have been hit by HN's shadowban hammer.

It seems like you might also be absurdwebsite which doesn't seem to be banned (but does have a hidden post from a month ago).

If you plan to use this account it's worth dropping an email to the admins, they are very responsive :)

Power Failure 1 year ago

Just reiterating what cogogo stated in a sibling, but the thing that threw me was the 'review' in the title. I was expecting some critique or comparison but instead saw summary and highlights.

I enjoyed the summary and highlights, and learnt about some details I would likely have never otherwise seen, so I think it's just the framing that seemed 'off'.

Depending on your intent consider reframing or adding critique, but I think the content is good and I appreciate you making it.

[edit] There is some critique and comparison in the opening: "Shakespearean tragedy" and "The result is equal parts invention history, boardroom knife-fight, and forensic accounting thriller." but I think these are the only ones. I would love to know why you think this, and what you like about your "favorite ideas" (and any things you didn't like!)

Thought I'd check the arithmetic for 2 two-digit numbers, and it works!

I expect 41+14 to be 12 (two right plus two up equals two right and two up).

Long addition in long form below uses:

'=' to show equivalent lines (reordering of terms (1+2=2+1), spliting numbers (41=40+1), adding single digits (1+4=22))

'->' for when the algorithm gives a digit

'<' for when we move over a column

    41+14
    = (40+1)+(10+4)
    = 40 + 10 + (1+4)
    = 40 + 10 + 22
    -> 1s digit = 2
    < 4 + 1 + 2
    = 22 + 2
    = 20 + 2 + 2
    = 20 + 41
    -> 10s digit = 1
    < 2 + 4
    = 0
    -> done
    == 12
[edit] Just noticed the article has two different numbering systems, one where 10, 20, 30, 40 are clockwise and one where they are anticlockwise. In both, 1, 2, 3, 4 are clockwise. My addition is on the second, where 10s are anticlockwise (this is what is used in the addition table).

It still works in the alternative system (14+21 should equal 12)

    14+21
    =10+20+42
    ->2
    <1+2+4
    =13+4
    =10+3+4
    =10+31
    ->1
    <1+3
    =0
    ==12
Pierogi in Space 1 year ago

Low earth orbit is in space ('outer space'), so unless they have been to other parts of space not sure it's more correct - perhaps more specific, but I think the more general correct claim wins out.

If they'd previously been up in sounding rockets, or high altitude aircraft, or like a Blue Origin sub-orbital hop we would likely have an interesting discussion here - I will take anything that has surpassed the McDowell line as being 'in space' but think making orbit is more impressive.

https://en.wiktionary.org/wiki/McDowell_line

Completed it. Was really fun, thank you!

I wasn't sure how to chain function calls so had to look that up to implement movei, but apart from that was fairly straightforward (it's (do (<func1>) (<func2>) ...)).

My UI was pretty simple and ended up being

    (defn looki [] (display-html (look-html (look))))
    (defn movei [dir] (do (move dir) (looki)))
    (looki)
    (movei :south)
    (movei :east)
    (movei :north)
    (movei :south)
    (movei :west)
    (unlock-function :spoiler)
    (stack)
    (push :picture)
    (push :spoilers)
    (peek)
    (pop)
    (reset)
Cross Views 1 year ago

My favourite related trick is to use cross viewing to solve find-the-difference puzzles.

Set up so the two images (with slight differences) are next to each other, cross your eyes, and look for 'shimmering' spots - these are the differences between the images.

It makes differences very easy to spot, which is pretty cool!

Cross Views 1 year ago

Now just need to duplicate the mouse cursor to be in 3D too!

I also had to shrink the window as I couldn't manage the cross view on a widescreen :)

For those who haven't seen it before, throwing out nand2tetris and nandgame as another interesting journey from logic gates -> computer programs running on a CPU.

nandgame, in particular, is really easy to get started with and has been updated quite a lot over the year. If you looked at it a while ago check for new updates!

nand2tetris goes into a bit more detail around some things, I like it too but harder to get started with.

https://www.nand2tetris.org/

https://www.nandgame.com/

why doesn't that make the other stars yellow too?

Most stars appear white/bluish because they are too dim for our colour receptors to perceive. The spectra arriving at our eyeballs is consistent with what you would expect given the type of star, redshift, and atmospheric conditions, but the perceived colour is not.

I know I had issues keeping track of how many steps I’d taken, but making sure I was generating a good set of neighbours helped with that.

Otherwise it was just making sure I got the rules right, like all AoC problems, and testing different cases to make sure my solution did the right thing.

My search nodes were tuples of position, direction, and steps taken in the same direction.

More or less a straight depth first search with a priority queue from there.

XCurl 3 years ago

The point I'm supporting is that users will not realise that the documentation that is linked to is from a different project than the one being used.

Hopefully, by focusing on an example of how a support interaction could go (clueless user, lots of back and forth before the key issue is identified), it shows how this practice is good for neither users nor for the curl team who will end up dealing with the fallout.

I also address the MDN example by stating that I suspect the audience and reach of xCurl will create a larger support burden for curl than Mozilla would see in similar situations (aside: even though it wouldn't be reasonable in that case either!)

Unless it's done very carefully, pointing users to the parent project's documentation will cause a support burden on that project, and that's just not reasonable for Microsoft to do in this situation.

XCurl 3 years ago

"Hey, your docs say that curl should be doing this, but it's not working for me?"

<2 pages of back-and-forth posts later>

"Oh you're using xCurl, yeah you need to talk to Microsoft."

It probably depends on the reach this has within the intended audience (people wanting to deploy libcurl on Xbox?) as to how much of a support burden it will end up, but I suspect more than Mozilla has to deal with from similar situations.