berkeleynerd

7 ms·

1.
by berkeleynerd 1mo ago
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!
2.
by berkeleynerd 2y ago
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
3.
by berkeleynerd 2y ago
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 acade
4.
by berkeleynerd 2y ago
Seconded. Great scholarship is represented on this channel.
5.
by berkeleynerd 2y ago
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.
6.
by berkeleynerd 2y ago
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&#x2
7.
by berkeleynerd 2y ago
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.
8.
Ironclad: Hard real-time capable POSIX-compatible kernel written in SPARK/Ada(nlnet.nl)
4 points by berkeleynerd 2y ago|1 comments
9.
by berkeleynerd 2y ago
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...
10.
by berkeleynerd 2y ago
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?
11.
by berkeleynerd 2y ago
Miguel de Icaza's [Swift Godot]( https://github.com/migueldeicaza/SwiftGodot ) effort is also very active and worth tracking I think.
12.
by berkeleynerd 2y ago
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.
13.
by berkeleynerd 2y ago
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.
14.
by berkeleynerd 2y ago
Darn. This must be the one : https://discord.gg/v59gYHXH
15.
by berkeleynerd 2y ago
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
16.
Ada discord server now available(discord.com)
5 points by berkeleynerd 2y ago|5 comments
17.
by berkeleynerd 2y ago
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.
18.
by berkeleynerd 2y ago
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?
19.
by berkeleynerd 2y ago
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
20.
by berkeleynerd 2y ago
Love this! I purchased both the iOS and Steam version. Completely happy to support indie game devs willing to open source their software.
21.
by berkeleynerd 2y ago
I use LogSeq with the TODO plugin giving me a sidebar view of outstanding TODOs. It would be wonderful to have a similar plugin for LogSeq but of course the onus is on me to make that happen. If someone were working on such an integration I
22.
by berkeleynerd 3y ago
This looks like more fun than sudoku or crossword puzzles.
23.
by berkeleynerd 3y ago
Has anyone updated the book to allow one work with newer FPGA boards?
24.
by berkeleynerd 3y ago
Is it possible to use this version of the book to follow along and build everything without having to source the original FPGA board Wirth was using?
25.
by berkeleynerd 3y ago
Is there an effort to provide formal verification features for a safe subset of the D language similar to ADA’s SPARK and related tooling?
26.
by berkeleynerd 3y ago
Which IDE best supports D? I’m a fan of JetBrains products in general but would happily install something else for better ergonomics.
27.
by berkeleynerd 3y ago
I love micro and use it every day. Now that I've tried Helix, however, I want micro plus baked-in treesitter, LSP, and contextual help. Helix really nails it with that feature set but I'm just too happy with my "single-mode +
28.
by berkeleynerd 3y ago
Definitely this. I'm super happy for anyone finding some new level of productivity with vim, emacs, kakoune, etc. but I don't want to join an editor cult, not even a CUA one. I just want to edit text from the command line using a
29.
No support for debugging Go on OpenBSD(github.com)
1 points by berkeleynerd 3y ago|1 comments
30.
by berkeleynerd 3y ago
As exciting as it is to see Go 1.20.1 support land in OpenBSD 7.3 it is sad to see support for the delve debugger languishing. If you're a Golang dev with good knowledge of both Go internals and BSD architectures you might want to have

More ›