Hacker News: molenzwiebel

Which Font Makes the Best I-Beam? [video]

molenzwiebel — Tue, 29 Apr 2025 23:46:35 +0000

Article URL: https://www.youtube.com/watch?v=azDaPm13CT8

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

Points: 2

# Comments: 0

New comment by molenzwiebel in "Making my debug build run 100x faster so that it is finally usable"

molenzwiebel — Tue, 18 Feb 2025 19:46:00 +0000

For this use-case, you can squeeze out even more performance by using the SHA-1 implementation in Intel ISA-L Crypto [1]. The SHA-1 implementation there allows for multi-buffer hashes, giving you the ability to calculate the hashes for multiple chunks in parallel on a single core. Given that that is basically your usecase, it might be worth considering. I doubt it'll provide much speedup if you're already I/O bound here though.

[1]: https://github.com/intel/isa-l_crypto

New comment by molenzwiebel in "A day in the life of a prolific voice phishing crew"

molenzwiebel — Thu, 09 Jan 2025 01:41:47 +0000

Previously, Ray Wenderlich.

New comment by molenzwiebel in "Making CRC calculations in Mojo 18x faster than Python and 3x slower than Python"

molenzwiebel — Sun, 06 Oct 2024 12:40:21 +0000

For those that thought the process of speeding up CRC was interesting, I strongly recommend reading [1]. It describes a step by step process on how a naive CRC implementation might be improved, until finally arriving at an implementation in assembly with a staggering throughput of 62 processed bits (almost 8 bytes) per CPU cycle. Yes, you read that right.

[1]: https://github.com/komrad36/CRC

New comment by molenzwiebel in "Getting price-gouged by private equity in the UK's happiest resort (2023)"

molenzwiebel — Tue, 03 Sep 2024 10:44:15 +0000

(2023)

New comment by molenzwiebel in "Homegrown Rendering with Rust (2021)"

molenzwiebel — Mon, 24 Jun 2024 16:16:45 +0000

Their Rust game is currently in closed alpha: https://wim.live/en/.

Last time I tried it, they were working on integrating wasm support for user-accessible custom scriptable scenarios (a la Roblox).

New comment by molenzwiebel in "Bend: a high-level language that runs on GPUs (via HVM2)"

molenzwiebel — Fri, 17 May 2024 18:03:04 +0000

If compiled with -O3 on clang, the loop is entirely optimized out: https://godbolt.org/z/M1rMY6qM9. Probably not the fairest comparison.

Geoff Chappell has died

molenzwiebel — Mon, 04 Sep 2023 20:48:27 +0000

Article URL: https://twitter.com/travisgoodspeed/status/1698715249593958560

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

Points: 61

# Comments: 9

New comment by molenzwiebel in "A half-hour to learn Rust (2020)"

molenzwiebel — Wed, 23 Aug 2023 15:27:51 +0000

(2020)

New comment by molenzwiebel in "The crash of Air France flight 447 (2021)"

molenzwiebel — Fri, 11 Aug 2023 16:29:32 +0000

Time and time again we learn that people do stupid things under stress. Consider Transair flight 810 [1], in which a simple engine failure during takeoff results in a complete loss of the aircraft when both pilots mistakenly identify the _wrong_ engine as malfunctioning, despite identifying the failure correctly only minutes earlier. OP has an article on that crash too, actually [2].

[1]: https://en.wikipedia.org/wiki/Transair_Flight_810 [2]: https://admiralcloudberg.medium.com/dark-waters-of-self-delu...

New comment by molenzwiebel in "The crash of Air France flight 447 (2021)"

molenzwiebel — Fri, 11 Aug 2023 16:12:18 +0000

OP also has an article on Helios 522, for those interested: https://admiralcloudberg.medium.com/lost-souls-of-grammatiko...

New comment by molenzwiebel in "The crash of Air France flight 447 (2021)"

molenzwiebel — Fri, 11 Aug 2023 15:58:59 +0000

The same author as the OP also has a great article on Helios 522: https://admiralcloudberg.medium.com/lost-souls-of-grammatiko...

New comment by molenzwiebel in "The crash of Air France flight 447 (2021)"

molenzwiebel — Fri, 11 Aug 2023 15:57:21 +0000

If you liked this article, definitely consider checking out other articles written by Kyra (Admiral_Cloudberg). She has done a ton of articles on almost all notable (near)crashes, including their root causes, investigations, and subsequent effects on the airplane industry.

For some crashes that have interesting causes (at least from an engineering perspective) beyond "maintenance failed to identify a problem before takeoff" or "pilots fail to identify problem or take wrong actions", I strongly recommend the articles on TWA 800 (1996) [1] and the near-crash of SmartLynx Estonia 9001 (2018) [2]. The first goes into great detail exactly _how_ the FAA discovered the root cause, whereas the second one involves a logic oversight in the flight computers of a modern Airbus plane.

[1]: https://admiralcloudberg.medium.com/memories-of-flame-the-cr... [2]: https://admiralcloudberg.medium.com/the-dark-side-of-logic-t...

New comment by molenzwiebel in "How a Zig IDE Could Work"

molenzwiebel — Mon, 13 Feb 2023 00:35:19 +0000

Apologies, I accidentally confused matklad with jonas-schievink, a different r-a contributor that recently became a rust project alumni [1]. It seems matklad is still active on r-a.

[1]: https://github.com/rust-lang/team/pull/931

New comment by molenzwiebel in "How a Zig IDE Could Work"

molenzwiebel — Sat, 11 Feb 2023 00:16:01 +0000

He used to be. He recently left the rust-analyzer and rust compiler development teams to broaden his horizons, and is working full-time on a project that uses Zig now (which no doubt sparked this thought experiment).

New comment by molenzwiebel in "Infinite AI Array"

molenzwiebel — Tue, 03 Jan 2023 21:37:58 +0000

This is similar to copilot-import [0] which in turn was based on stack-overflow-import [1]. I'd be interested to see whether ChatGPT/GPT-3 or Codex/Copilot is better at generating function bodies.

[0]: https://github.com/MythicManiac/copilot-import [1]: https://github.com/drathier/stack-overflow-import

New comment by molenzwiebel in "Ask HN: What are some interesting examples of Prolog?"

molenzwiebel — Sat, 30 Apr 2022 00:10:51 +0000

Worth checking out if you're interested in using constraint/logic programming languages for type checking is the Statix (https://www.spoofax.dev/references/statix/) language, which is used in the Spoofax language workbench. It works similarly to Prolog in solving constraints, but adds support for scope graphs, which are a generic approach to specifying the name binding behavior of programming languages through logic constraints.

New comment by molenzwiebel in "Show HN: Copilot-import – Import and run Python directly from GitHub Copilot"

molenzwiebel — Sat, 17 Jul 2021 15:46:25 +0000

A friend suggested we try do this after seeing stack-overflow-import (https://github.com/drathier/stack-overflow-import), which queries stackoverflow for some matching result and loads it. For small functions, it's surprisingly effective. You still need Copilot access to use this, unfortunately.

Some other examples:

  >>> from copilot import rock_paper_scissors
  >>> rock_paper_scissors('Rock', 'Scissors')
  'Player 1 wins'

  >>> from copilot import get_current_git_commit
  >>> get_current_git_commit()
  b'29c7e9b138a9247c598b613ca378d103de878e2a\n'

  >>> from copilot import answer_to_everything
  >>> answer_to_everything(1)
  42

Practically, it works through two separate copilot calls. The first one asks copilot to predict the arguments a function would take, then the second one asks it to predict the body of the function. The returned code is then parsed, both to ensure that it is actual valid Python (it almost always is, although it sometimes spits out Python 2 or cuts off due to length limits), and to remove any extra statements that are not part of the function (sometimes it likes to include an `if __name__ == "__main__"` for example).

The function is then wrapped in an error handler that will attempt to include a module if the snippet references an undefined variable. Copilot tends to use the correct libraries, but forgets to import them so this step is necessary to get most things working. We experimented with prompting an `import ` inside the function body, which worked decent but delivered some wonky results when the code needed more than one import or when it needed none at all.

Show HN: Copilot-import – Import and run Python directly from GitHub Copilot

molenzwiebel — Sat, 17 Jul 2021 15:38:28 +0000

Article URL: https://github.com/MythicManiac/copilot-import

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

Points: 6

# Comments: 1

New comment by molenzwiebel in "Discord bans r/WallStreetBets server, subreddit went private for a while"

molenzwiebel — Thu, 28 Jan 2021 08:21:01 +0000

As a moderator of a large (400k+ members) Discord, I can confirm that Discord has specifically told members of the partner program to remove words such as retard. I've never heard of a server being banned for it, but not allowing retard and the like has been a policy for more than a year now.