HN user

michaelsbradley

6,469 karma
  name       Michael Bradley
  code       https://github.com/michaelsbradleyjr
  
  tech <3       https://www.gnu.org/software/emacs
                https://nim-lang.org
                https://clojure.org
                https://racket-lang.org
                https://developer.mozilla.org/en-US/docs/Web/JavaScript
                https://libp2p.io
                https://ethereum.org
  faith         https://j.mp/Catechism
                https://j.mp/CatechismOfTrent
                https://www.latinmass.live
                https://institute-christ-king.org/videostream
                https://divinumofficium.com/cgi-bin/horas/officium.pl
                https://universalis.com/readings.htm
                https://savior.org
  & reason      https://j.mp/FidesEtRatioEn
                https://www.magiscenter.com
                https://www.feynmanlectures.caltech.edu
                https://mathworld.wolfram.com
                https://www.plasmauniverse.info
  perspective   "The true wisdom on which we ought to set our eyes is
                perfection, which consists in union with God by love,
                according to the saying of the Apostle St. Paul:
                'Above all I commend to you charity, which is the bond
                of perfection', and joins and unites us with God."
                ~ Alphonsus Rodriguez
                https://archive.org/details/PPCV-Manresa
  center        Jesus Christ, King of Mercy and Justice, teach us how
                to love the cross and the poor, and to humbly build
                your Father's kingdom with faith, hope, and charity.
                https://j.mp/LaudeturJesusChristus
Posts628
Comments1,146
View on HN
theliteratewoman.substack.com 27d ago

Against Ethical AI

michaelsbradley
3pts0
www.nytimes.com 1mo ago

Jeff Bezos Wants to Build an 'Artificial General Engineer'

michaelsbradley
3pts0
ohwr.org 2mo ago

White Rabbit – sub-nanosecond synchronization for large distributed systems

michaelsbradley
203pts49
www.washingtonpost.com 2mo ago

New rule requires most green-card applicants to apply from outside U.S.

michaelsbradley
81pts4
juliamono.netlify.app 2mo ago

JuliaMono – a monospaced font for scientific and technical computing

michaelsbradley
2pts0
www.businessinsider.com 2mo ago

I used AI to help market my bagel shop. Then the one-star reviews came in

michaelsbradley
4pts5
blog.dark.bio 3mo ago

Quantum Threat, Today

michaelsbradley
2pts0
www.nature.com 4mo ago

A complete set of canonical nucleobases in the carbonaceous asteroid Ryugu

michaelsbradley
2pts0
www.vatican.va 4mo ago

Quo vadis, humanitas?

michaelsbradley
4pts1
blog.nimbus.team 4mo ago

Back to the Good Old Days of Running Ethereum

michaelsbradley
2pts0
forum.nim-lang.org 5mo ago

Nim's YRC: A safe multi-threaded cycle collector

michaelsbradley
4pts1
github.com 5mo ago

GABRIEL – turn messy qualitative corpora into analysis-ready datasets

michaelsbradley
1pts0
github.com 5mo ago

C++ Core Guidelines

michaelsbradley
2pts0
rubymamistvalove.com 6mo ago

Developing a Beautiful and Performant Block Editor in Qt C++ and QML

michaelsbradley
146pts60
www.war.gov 7mo ago

War Department Unleashes AI on New GenAI.mil Platform

michaelsbradley
1pts1
www.airwallex.com 7mo ago

Airwallex raises $330M Series G at $8B valuation

michaelsbradley
1pts0
trustlessness.eth.limo 8mo ago

The Trustless Manifesto

michaelsbradley
2pts0
github.com 8mo ago

Meet wwWallet

michaelsbradley
1pts0
www.popularmechanics.com 8mo ago

Scientists May Have Miscalculated How Many Humans Are on Earth

michaelsbradley
6pts0
forum.nim-lang.org 9mo ago

NJVL "no jumps, versioned locations"

michaelsbradley
4pts1
eth.limo 9mo ago

Effortlessly access content built with the Ethereum Name Service

michaelsbradley
3pts0
www.vatican.va 9mo ago

Dilexi te – On Love for the Poor

michaelsbradley
1pts0
www.theblock.co 9mo ago

Swift global payments network experiments with Ethereum Layer 2

michaelsbradley
2pts0
github.com 11mo ago

Overarch – model your software system as data

michaelsbradley
1pts0
github.com 1y ago

Qthreads – large numbers of threads conveniently and easily

michaelsbradley
2pts0
lwn.net 1y ago

Bash 5.3 — significant new features

michaelsbradley
8pts0
github.com 1y ago

nimbme – Nim bare-metal environment

michaelsbradley
87pts22
www.vatican.va 1y ago

Pope Leo XIV on AI, ethics, and corporate governance

michaelsbradley
3pts0
www.youtube.com 1y ago

Inside the Arnett, Oklahoma tornado

michaelsbradley
3pts0
news.ycombinator.com 1y ago

Ask HN: Should development of AI be nationalized?

michaelsbradley
2pts7

It would not be without problems and mistakes in execution over time, but I think the US and our NATO allies should nationalize AI research and development in a sweeping manner, and NATO membership ought be revised to hinge on that.

In the US, for example, all intellectual property of OpenAI, Anthropic, et al. would become public domain through custody of the Federal government, probably in an expansion of the NSF. All AI research and development would be required by law to be done in the open: open source code, transparent training data, reproducible models.

About 2-3 months after the birth of my first child, I started “seeing” the baby’s face vividly whenever I would close my eyes, when I was falling asleep but other times during the day as well. It was not a conscious-voluntary imagination, more like an artifact of my brain rewiring priority numero uno. Our second child is now 3 months old and I have not experienced similar, perhaps because the brain changes already settled down before his birth.

Just install and use MSYS2, git bash is derived from it anyway, and a regular MSYS2 installation offers a lot more.

Papal doctrine is the word of God until a subsequent pope says otherwise

No, that’s Hyperpapalism, which is an error.

The Pope does not have the authority-power to transform error into truth, nor can he make “new truths” (of the Faith), whatever that might mean. He does have the solemn duty to faithfully hand on and explain the Apostolic Tradition. In an extra-ordinary act of his office, the Pope can, without error, define the proper understanding of Catholic teaching on a matter of faith or morals.

In the case of John XXII he proposed something false as pertains to Catholic doctrine, repeatedly, in public sermons. He was rebuked for it and recanted before he died. What he taught was not somehow “intermittently true”, it was an error through and through, and it was completely right that his subjects called him out on the matter.

If you're a Catholic, then the choice of interpretation is clear: you must accept the Pope's interpretation…

cf. Hyperpapalism

Thankfully, Hyperpapalism is a misunderstanding of the role of the teaching-governing authority of the Bishop of Rome, and Catholics can be and remain good Catholics while disagreeing with the Pope on a variety of matters.

Magnifica Humanitas 2 months ago

For the record, he earned a Bachelor’s degree in math, not a Master’s or a PhD. I had looked that up previously, so knew it wasn’t a PhD, but recalled incorrectly when making my comment earlier today.

Magnifica Humanitas 2 months ago

We may have different things in mind.

In all my life of being Catholic (I’ll turn 50 this year), I’ve heard less than 5 homilies-sermons that amounted, in whole or part, to a reflection on a papal encyclical. Over time there may be juicy papal quotes that make it into Sunday preaching, but that’s about it.

Instead, priests tend to focus on the readings for that Sunday’s Mass and more general themes.

That being said, I hope many priests do read an encyclical any time a pope publishes one, but they’re very, very busy most days and weeks, so whether any one priest will commit time to reading a particular encyclical, old and dusty or hot off the presses, will depend on a lot of factors that are as varied as their individual circumstances and personalities.

Magnifica Humanitas 2 months ago

There are so many encyclicals, apostolic letters, etc. One could spend years reading just a fraction of them, depending on reading and comprehension speed, of course, which varies by person.

Two I recommend, from the last 40 years:

Veritatis splendor, John Paul II, 1993

Argues that Christian freedom is fulfilled, not limited, by objective moral truth: some acts are intrinsically evil regardless of intention or circumstance, conscience must be formed by divine law rather than self-authorization, and the Church must faithfully teach this moral truth as the path to authentic human flourishing in Christ.

https://www.vatican.va/content/john-paul-ii/en/encyclicals/d...

Fides et Ratio, John Paul II, 1998

Argues that faith and reason are complementary paths to truth: reason needs faith to avoid skepticism, relativism, and reductionism, while faith needs reason to express, defend, and deepen its understanding of divine revelation and the human search for meaning.

https://www.vatican.va/content/john-paul-ii/en/encyclicals/d...

The truth about moral good, as that truth is declared in the law of reason, is practically and concretely recognized by the judgment of conscience, which leads one to take responsibility for the good or the evil one has done. If man does evil, the just judgment of his conscience remains within him as a witness to the universal truth of the good, as well as to the malice of his particular choice. But the verdict of conscience remains in him also as a pledge of hope and mercy: while bearing witness to the evil he has done, it also reminds him of his need, with the help of God's grace, to ask forgiveness, to do good and to cultivate virtue constantly.

Consequently in the practical judgment of conscience, which imposes on the person the obligation to perform a given act, the link between freedom and truth is made manifest. Precisely for this reason conscience expresses itself in acts of "judgment" which reflect the truth about the good, and not in arbitrary "decisions". The maturity and responsibility of these judgments — and, when all is said and done, of the individual who is their subject — are not measured by the liberation of the conscience from objective truth, in favour of an alleged autonomy in personal decisions, but, on the contrary, by an insistent search for truth and by allowing oneself to be guided by that truth in one's actions.

— Veritatis splendor, 61, John Paul II, 6 Aug 1993, https://www.vatican.va/content/john-paul-ii/en/encyclicals/d...

It’s not so much a matter of Latin versus vernacular, more the way it goes as a whole.

Let’s compare an average daily Mass (e.g. 8 AM on a ferial day at St. Joe’s, no music) in the Novus Ordo with a TLM Low Mass. Let’s assume that in either form it lasts about 45 minutes.

In the N.O., from start to finish, the priest is in a kind of dialogue with the people, accentuated by the versus populum arrangement that has become the universal norm. In between the responses of the laity and for a stretch of time surrounding the consecration, there is time for interior/silent prayer by the laity. The laity’s posture changes from sitting, to standing, to kneeling many times throughout. On the whole, the flow of the liturgy is marked by outward verbal and postural activity of the laity punctuating the span of 45 minutes. That is by design, and is supposed to be conducive to so called “active participation”. Now, and this is important, if that N.O. Mass was offered entirely in Latin and the laity in attendance knew and spoke all the responses in Latin, it really wouldn’t change “the way it goes”.

At TLM Low Mass for the same ferial day, the laity would kneel after the priest begins the prayers at the foot of the altar, and some might change their posture to/from sitting a couple of times over the next 45 minutes, while others would kneel the entire time per their preference. No responses are offered by the laity, only by the altar server/s assisting the priest. The priest faces the same direction as the people the entire time, except when distributing Holy Communion to them, that is toward the altar, a.k.a. ad orientem because classically that would be eastward. Much of the text of the Mass is prayed sotto voce by the priest, i.e. it’s inaudible or barely audible by those in attendance. On the whole, the liturgy is marked by near silence and the laity in attendance joining their silent prayers to the quiet actions of the priest at the altar.

Catholic mass is arguably a form of programming in which people are hypnotized into hymnal verse/response

Nobody can really blame you for the impression you got/get from the Novus Ordo Missae.

However, that’s not really what Mass was like for the laity for most of the past 1,000 years (much longer actually, but the history of Western Catholic liturgy is complex so I’ll leave it at that). It was mostly a context for silent mental prayer that, ideally, (1) is informed by the sanctoral/seasonal calendar, (2) prepares the worshippers to join themselves spiritually to the sacrifice offered on the altar by the priest, (3) prepares them to receive Jesus in Holy Communion.

You can experience the same today at the Traditional Latin Mass. The difference in atmosphere can be rather shocking if all you’ve ever experienced is the N.O. A lot of newcomers, who are also lifelong Catholics, relate a feeling of not knowing what to do with themselves throughout the liturgy — well, you’re supposed to cultivate your interior life, spend the 60-90 minutes actually praying instead of just rattling off verbal responses and warbling out bad hymns.

The creator has been consistently clear in his take on "Why Nim?" It's a general purpose systems programming language, favoring procedural style, that's superior (or aims to be) in a variety of ways compared to whatever else you've been using. Hubris? Maybe.

In practice, it's turned out to be an "expert's tool" that's more expressive-convenient than C/++ to do all manner of things in the realm of systems programming, from embedded to HPC. And it's got great C/++ interop, so you can continue to leverage those software ecosystems.

In that respect, I'd say the biggest boon, rather than a killer project, would be for a famous programmer or shop to publicly and loudly adopt it as their everyday language, shouting its name for several years and saying things like "Wish we had started using this years ago, would have been so much better, look at all of these great apps and libraries we've been able to create and maintain more easily than if we'd stuck with C/++/Go/Rust/Swift!"

In practice, though, most developers don’t do that.

There’s a rule of thumb: write a macro as a last resort.

It’s not hard to stick to it. In general, you can go a long, long way with HOFs, transducers, and standard macros before a hand-rolled macro would serve you better.

Don’t misunderstand the situation to which I’m narrowly referring:

Man available to the woman effectively around the clock every day, setting majority of the time is private and comfortable enough that sex can just happen, in compressed and sometimes exciting timeframe, i.e. even if busy with WFH and childcare.

I am aware of couples who struggled or are struggling with fertility, and using the various tools and techniques to increase the odds. I am not discounting their experiences and hardships. I am saying that, on average, if more couples of child bearing age are sexually accessible to one another effectively 24/7, then there are natural instincts that can and do play a role in them coming together sexually at the critical time for conceiving a child, and so more children would be conceived.

One way to think about that is time required:

If earth is about 4 billion years old, but it takes say 400 trillion years for natural processes to produce this chemistry, then it happened out there not here.

This was a key reason why Hoyle preferred a steady state model of the universe — the part of the universe we inhabit needs to be very, very old for this stuff to work out, according to his thinking. A minority opinion, for sure, his rejection of the Big Bang model and timelines lost him a lot of respect among his peers. And his ideas could be wrong, I’m just pointing out that historically panspermia proponents have taken this position as to “why not here”.