Hacker News: berkeleynerd

New comment by berkeleynerd in "Show HN: A Project Oberon System version running on RISC-V instead of RISC-5"

berkeleynerd — Sun, 09 Aug 2026 15:10:51 +0000

This is super interesting Rochus. Are you targeting Oberon System 3 in particular because it adds tcp/ip networking support? In my opinion that would make it a much more interesting system to kick the tires on, if so!

New comment by berkeleynerd in "Is the Q source the origin of the Gospels?"

berkeleynerd — Mon, 04 Nov 2024 19:50:18 +0000

There is indeed great scholarship here with major contributions from Jason BeDuhn, Matthias Klinghardt, and Dieter Roth in addition to Vinzent, Bilby, and Bull who you mentioned. I'm really excited by this research and did a deep dive reading Tertullian's Against Marcion and the idea that anyone could possibly take the arguments set forth there over the more modern critical approaches is mind boggling. I can't imagine anyone arguing for Lukan-Priority based on these patristic sources has ever read them as the argumentation is specious at best.

New comment by berkeleynerd in "Is the Q source the origin of the Gospels?"

berkeleynerd — Mon, 04 Nov 2024 15:48:57 +0000

This is not at all the consensus of scholars working at public secular institutions not affiliated with religious institutions of higher learning. A late dating of the formation of the canon is just as viable if not more so among this academic community.

New comment by berkeleynerd in "Is the Q source the origin of the Gospels?"

berkeleynerd — Mon, 04 Nov 2024 15:45:04 +0000

Seconded. Great scholarship is represented on this channel.

New comment by berkeleynerd in "Is the Q source the origin of the Gospels?"

berkeleynerd — Mon, 04 Nov 2024 12:21:40 +0000

The absence of recent work on reconstructing and contextualizing Marcion’s Evangelion and Apostolikon is disappointing, particularly given the implications for understanding early Christian texts and the development of the synoptic gospels. The pre-Lukan theory, which suggests Marcion’s gospel may represent a version of Luke predating the canonical text, challenges traditional views on the formation of the gospel narrative. This theory raises important questions about the so-called “Q” source, a hypothetical collection of Jesus’ sayings used by Matthew and Luke.

New comment by berkeleynerd in "Ask HN: What's your favorite text-based adventure game?"

berkeleynerd — Mon, 28 Oct 2024 17:54:22 +0000

Either the classic "A Mind Forever Voyaging" or the Lovecraftian "Anchorhead"

https://en.wikipedia.org/wiki/A_Mind_Forever_Voyaging https://store.steampowered.com/app/726870/Anchorhead/

If you want to live these games vicariously I can also recommend the Eaten by a Grue podcast over at https://monsterfeet.com/grue/

New comment by berkeleynerd in "Freenet: A decentralized alternative to world wide web"

berkeleynerd — Sun, 27 Oct 2024 20:12:58 +0000

The solution to this, at least in the case of Tor, is for existing sites (e.g., Wordpress, medium, etc…) to provide one-click onion-site publishing support.

Ironclad: Hard real-time capable POSIX-compatible kernel written in SPARK/Ada

berkeleynerd — Fri, 04 Oct 2024 11:22:50 +0000

Article URL: https://nlnet.nl/project/Ironclad/

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

Points: 4

# Comments: 1

New comment by berkeleynerd in "Iran successfully launches indigenous Chamran 1 satellite into space"

berkeleynerd — Thu, 19 Sep 2024 10:06:42 +0000

They overthrew the democratically elected PM in favour of the autocratic Shah and both the West and Iran are still paying the price. https://en.m.wikipedia.org/wiki/1953_Iranian_coup_d%27%C3%A9...

New comment by berkeleynerd in "Why has nuclear power been a flop? (2021)"

berkeleynerd — Wed, 21 Aug 2024 10:15:45 +0000

I wonder if it would make sense to house these reactors in underground facilities to the extent possible to harden them against at least accidental threats?

New comment by berkeleynerd in "Godotcaml for Godot 4.2"

berkeleynerd — Tue, 16 Jul 2024 19:38:22 +0000

Miguel de Icaza's [Swift Godot](https://github.com/migueldeicaza/SwiftGodot) effort is also very active and worth tracking I think.

New comment by berkeleynerd in "Brain Uses Quantum Effects, New Study Finds [video]"

berkeleynerd — Mon, 13 May 2024 09:05:15 +0000

I think free will is a bit like a sphere. There is no true sphere in nature, only a more or less accurate approximation. Likewise for free will, there is no such thing as true free will (tm) but there are better and worse approximations.

New comment by berkeleynerd in "Ada discord server now available"

berkeleynerd — Sat, 11 May 2024 13:12:10 +0000

I screwed up the server link so either use the correct link here :

https://discord.gg/v59gYHXH

I don't want to post again in rapid fire succession so I'll create a new post tomorrow with the correct link.

New comment by berkeleynerd in "Ada discord server now available"

berkeleynerd — Sat, 11 May 2024 13:10:37 +0000

Darn. This must be the one : https://discord.gg/v59gYHXH

New comment by berkeleynerd in "Ada discord server now available"

berkeleynerd — Sat, 11 May 2024 13:05:17 +0000

For anyone reading this just now at 13:04UTC or thereabouts the monthly Ada meetup is also happening as I write this. https://meet.jit.si/AdaMonthlyMeetup

New comment by berkeleynerd in "Ada discord server now available"

berkeleynerd — Sat, 11 May 2024 13:04:09 +0000

In addition to the Matrix, Telegram, and Libera IRC chat channels, the Ada community has spawned yet another way to collaborate and connect. While I'm at it, I guess I should mention the ada-lang.io forums as well.

Ada discord server now available

berkeleynerd — Sat, 11 May 2024 13:04:09 +0000

Article URL: https://discord.com/channels/1215842226966630400/1232677913065820182/1234991572496421005

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

Points: 5

# Comments: 5

New comment by berkeleynerd in "Verified Rust for low-level systems code"

berkeleynerd — Sun, 05 May 2024 12:31:41 +0000

How does Versus compare to SPARK? Are they of the same general class of verifier? How is Versus different other than a verifier for Rust rather than a verifier for Ada?

New comment by berkeleynerd in "Geoengineering test launched in Alameda"

berkeleynerd — Mon, 08 Apr 2024 19:57:55 +0000

What if we go further out on the carbon limb since this or a similar technology allows us to further delay implementing carbon reductions and then, for some reason, our civilization fails and we can no longer continue to dope the atmosphere to protect us from the now even more serious consequences of our emissions? This approach strikes me as madness; like the behavior of a junkie who takes uppers to wake up in the morning because they've become addicted to downers to get to sleep.

New comment by berkeleynerd in "Shattered Pixel Dungeon is an open-source traditional roguelike dungeon crawler"

berkeleynerd — Thu, 21 Mar 2024 11:25:48 +0000

Love this! I purchased both the iOS and Steam version. Completely happy to support indie game devs willing to open source their software.