Hacker News: jmgrosen

New comment by jmgrosen in "Show HN: Is It Greg?"

jmgrosen — Mon, 14 Sep 2026 03:31:15 +0000

hope to get a greg collab on here sometime

The Breathing Cards

jmgrosen — Thu, 10 Oct 2024 00:31:17 +0000

Article URL: https://pbat.ch/wiki/breathing_cards/

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

Points: 4

# Comments: 0

WAM BAM JAM 2024 – Winners and Instruments

jmgrosen — Mon, 03 Jun 2024 21:12:24 +0000

Article URL: https://wambamjam.recurse.com/2024-post-competition/

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

Points: 2

# Comments: 0

New comment by jmgrosen in "A 7k-Pound Car Smashed Through a Guardrail. That's Bad News for All of Us"

jmgrosen — Fri, 08 Mar 2024 16:48:00 +0000

Even at 23mph, a pedestrian's chance of death in a collision, in the US over the years 1994-1998, was only 10%: https://aaafoundation.org/impact-speed-pedestrians-risk-seve...

I don't mean to imply that that is a low risk, only that speed is quite a crucial factor.

New comment by jmgrosen in "A mechanical keyboard with programmable knobs and full color screen panel"

jmgrosen — Thu, 29 Feb 2024 22:00:04 +0000

Especially the Field model!

New comment by jmgrosen in "A slightly longer Lean 4 proof tour"

jmgrosen — Thu, 07 Dec 2023 14:40:16 +0000

given the crackpot proofs received by coq-club, i imagine it would indeed

New comment by jmgrosen in "FBI warns against using public USB charging ports"

jmgrosen — Sun, 15 Oct 2023 05:48:57 +0000

are there any documented cases of this actually happening in the wild?

New comment by jmgrosen in "Ardour 8.0"

jmgrosen — Mon, 09 Oct 2023 16:09:49 +0000

Thank you for the self-promotion, Scheme for Max looks like something I’ve been wishing for for a long time!

New comment by jmgrosen in "The AST Typing Problem"

jmgrosen — Mon, 14 Aug 2023 04:45:26 +0000

Use an existential type, usually called Some in Haskell: https://hackage.haskell.org/package/some-1.0.5/docs/Data-Som... The implementation of this type one has in their head (a GADT) adds a boxing overhead, but the actual implementation in this library uses a newtype.

That way if you have a type Expr a, you can have a list type [Some Expr].

New comment by jmgrosen in "Are you a “harbinger of failure”? (2015)"

jmgrosen — Sun, 16 Jul 2023 13:42:59 +0000

yes: https://dspace.mit.edu/bitstream/handle/1721.1/130136/The%20...

(sorry for lack of details in my post, on mobile)

New comment by jmgrosen in "A Flexible Type System for Fearless Concurrency (2022) [pdf]"

jmgrosen — Sun, 14 May 2023 11:24:03 +0000

No, it’s not—-they’re passing in a “node”, not a list, which always contains both a head element and a (nullable) tail pointer. That’s why it can’t separate the head in the case of size one: the node must maintain a non-null head.

New comment by jmgrosen in "Why split lexing and parsing into two separate phases?"

jmgrosen — Thu, 04 May 2023 16:05:44 +0000

Some of you may enjoy this fantastic recent paper on how to win both the comprehension benefits of splitting lexer and parser AND the performance benefits of fusing them: https://www.cl.cam.ac.uk/~jdy22/papers/flap-a-deterministic-...

New comment by jmgrosen in "Show HN: Building musical synthesizers with SQL queries"

jmgrosen — Fri, 07 Apr 2023 19:12:52 +0000

This is absolutely ridiculous. I love it.

New comment by jmgrosen in "U.S. successfully flight-tests Raytheon hypersonic weapon"

jmgrosen — Tue, 19 Jul 2022 14:46:28 +0000

I think more like 5.5 minutes: https://www.wolframalpha.com/input?i=300+nautical+miles+%2F+...

New comment by jmgrosen in "To improve medical trials, justify exclusion criteria"

jmgrosen — Tue, 26 Apr 2022 17:15:33 +0000

The second page starts the "FULL PRESCRIBING INFORMATION"; the body weight quote above comes from section 12.3 of it and there is no mention of a weight exclusion in the discussion of the clinical studies in section 14. AFAIK, "label" typically refers to this sort of ~20 page prescribing information, but is there a different label you have in mind? I believe the one-page package insert is the last page, page 17.

New comment by jmgrosen in "nMigen – A refreshed Python toolbox for building complex digital hardware"

jmgrosen — Sat, 23 Oct 2021 14:45:09 +0000

Very cool!

Just a random thing I noticed reading through [1]: you might have a bug in how you calculate the magnitudes of the signals? When you assign the output of the low-pass filters on the high frequency to the input of the magnitude approximator, you assign the imaginary LPF to the imaginary input but the real LPF to also the imaginary input, which I think is incorrect? Since I’m on mobile, it’s easiest for me to show sign a screenshot: https://i.imgur.com/tAQe5Sr.jpg (If that is indeed a bug, I’m curious how that might impact the results!)

MIT Graduate Student Union

jmgrosen — Mon, 27 Sep 2021 17:08:36 +0000

Article URL: https://mitgsu.org

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

Points: 9

# Comments: 0

New comment by jmgrosen in "Young female Japanese biker is 50-year-old man using FaceApp"

jmgrosen — Fri, 19 Mar 2021 18:39:46 +0000

Not sure whether I'd prefer to be Bond, or a pirate: archery, fencing, pistol, and sailing.

New comment by jmgrosen in "My experience as a poll worker in Pennsylvania"

jmgrosen — Wed, 11 Nov 2020 03:08:27 +0000

I worked the polls in Allegheny, and while the broad strokes are similar to what you described, there are definitely a few differences:

- Most people fill out their ballot on paper with a pen, but a voting machine is also available to generate a ballot (anyone can request to use the machine, but it's intended for those with disabilities). Either way, the voter then feeds their paper ballot into a central counting machine (most districts only have one, but some have more).

- Police are in no way involved (unless the poll workers call them to attempt to address an issue during the day). The judge of elections is responsible for picking up the materials a few days beforehand and then dropping them off at the county office at the end of the day.

- Only four receipts are printed: one to go to the county office, one stays with the minority inspector for a year, one is posted outside the polling place, and... I can't remember what happens with the fourth.

In any case, though, thanks for writing this up in detail -- it's good to read how other places do it, and for those that haven't been a poll worker, it's good to read how at least one place does it!

New comment by jmgrosen in "Show HN: A gayer “lolcat” (CLI text colourizer)"

jmgrosen — Wed, 01 Jul 2020 18:35:43 +0000

It appears so! https://github.com/ms-jpq/gay/blob/95129960bc94f017648b93944...