Alex Boisvert

845 posts

Alex Boisvert

Alex Boisvert

@boia01

In search of causality, composition & the right abstraction. CTO @ Stealth. alex(dot)boisvert(at)gmail(dot)youknowhat. Fediverse @[email protected]

San Francisco, California Katılım Mayıs 2007
428 Takip Edilen461 Takipçiler
Alex Boisvert retweetledi
Tom Hyde
Tom Hyde@tomhyde_·
I want to quit my job and work on my book, Wonderism, full-time. Below is my application to a popular online grant. If this sounds of value to you, and you have the means to support me, please do reach out. If not, please consider reposting. Q. What is your story? I am a writer interested in the connection between reason and aesthetics. I am, in a sense, that combination personified. In school—like so many students in state education—I was faced with the choice between science on the one hand and art on the other. Between logic, laboratories, and stable career prospects; against literature, libraries, and much less of that. They are immiscible fluids, oil and water, we are told, one part passion and the other part rigour, as likely to mingle as diesel in lemonade. But I wanted to do both. I wanted to write about reason and write about it beautifully. This is, I think, far more faithful to the spirit of science than lab coats and calculators; reason as a purely cerebral process is a largely modern misconception. It is intimate, delicate, romantic. How could knowing the world be any different? Karl Popper, the foremost epistemologist of the 20th century, was right when he said that ‘Science is most significant as one of the greatest spiritual adventures that man has yet known.’ This has been, and remains to this day, my guiding inspiration. After school, I studied geology at University College London. There I read John McPhee’s “Annals of the Former World”. A journalist, not a geologist, McPhee wrote personally about a subject that appeared most impersonal. He had wondered, as a child, not merely what brought the placer gold from the Yukon mountains down into the rivers that divided them, but, far more deeply, “what had put the gold in the mountain to begin with?” This was intended both literally (orogenic gold deposition is mostly the result of hydrothermal alteration of the surrounding fabric rock) and metaphorically (how can beauty inspire us to know?) I took both meanings to heart, and after graduating, moved to Australia to work as a mining geologist. This might appear strange for a writer most interested in art. But it is, in truth, a great source of inspiration for an aesthetic theory in constant contact with the physical sciences. Gold, I have learned, borders quartz; and beauty, I am confident, is a concrete part of this world. Outside of my academic and professional pursuits, I am interested in philosophy, popular science, science fiction, poetry, and writing. I was inspired by the books of David Deutsch @DavidDeutschOxf and consider myself an optimist in his style: problems are inevitable; they are soluble; people are both fallible and improvable; there is no inherent limit to the amount of progress we can make through conjecture, criticism, reason, and knowledge. Q. What is your project? I have suggested that the separations between reason and feeling are manufactured and, inevitably, false. I have also outlined the problem as precisely that clash (or family of clashes): reason/feeling, thought/passion, logic/instinct, sense/sensibility; their various applications: science/art, industry/nature, technology/biology, synthetic/organic; and other related divides: materialism/spiritualism, naturalism/supernaturalism, utility/beauty, function/form… These proposed dichotomies (and others) are a modern deconstruction of an older dispute: between The Enlightenment of the 18th century (representing reason and science); and Romanticism of the 19th century (representing emotion and art). Today, this schism has exceeded conventional wisdom and has been ossified into dogma; it has been codified into equally extensive, exhaustive, and at times exhausting slogans: “head vs heart”, “hot vs cold”, “the rider and the elephant”, “left brain and right brain”, “type 1 and type 2 thinking”. The result is to excise meaning, feeling, inspiration and significance from material, mechanical, technological progress; and to fuse it inseparably to mystical, irrational, primitivist stasis. Nothing, of course, could be further from the truth. This is the problem I am trying to solve. My proposed solution is a new philosophy. Wonderism. There are two meanings to the word wonder: wondering and wonderment. The former is curiosity, imagination, and reasoning in the face of mystery. The latter is astonishment, adoration, and inspiration in the light of discovery. This simple polysemy contains within it every facet of human thought and every feature of the problem described. I want to write a book. Called Wonderism. A rough-sketch outline is as follows. PREFACE (“What put the gold in the mountains?”) This will be a personal introduction to myself and my relationship to both science and the arts. INTRODUCTION (“In Wonder It Began”) This will be an investigation into the history and nature of the concept of wonder. The Greeks called it “Thauma”. Indeed, Plato himself said that all philosophy begins and ends in this unified concept. (Popper would later go on to say: “What matters is neither methods nor techniques—nothing but a sensitiveness to problems, and a consuming passion for them; or as the Greeks said, the gift of wonder.) And the philosophical divide between Plato’s spiritualism and Aristotle’s materialism can be viewed as the progenitor of the problem as described. BOOK 1: An Ode to Inspiration (“Catching Fire”) This chapter will be a series of short stories exploring the process of inspiration and using the central icons of fire and flight. The first bird, first campfire, first balloon flight, first stone placed at the foot of The Statue of Liberty, first SpaceX rocket catch. All are literal and spiritual applications of “catching fire” to mean both ignition and inspiration. This will be a modern promethean epic told in short form. BOOK 2: A Comparative History of Enlightenment and Romanticism (“Songs of Lightness and of Love”) This chapter will be a comparison of The Enlightenment and Romanticism, focusing on their epistemologies, their unification under Karl Popper’s critical rationalism, and its own elevation into Wonderism. BOOK 3: Terrorism (“The Sleep of Reason Produces Monsters”) This chapter will explore the erroneous applications of wonder. The opposite of wondering is boredom. And the opposite of wonderment is terror. You can plot this on a "political compass”-style graph to yield four quadrants: Wonderism, Scientism, Terrorism, Mysticism. The title is taken from Goya’s famous inscription and his statement: "Imagination abandoned by reason produces impossible monsters; united with her, she is the mother of the arts and source of their wonders". It will cover religious irrationality, scientific and other secular authoritarianism, sophistry, slavery, and war. BOOK 4: Art (“The Language of Wonder”) This chapter will cover art as the key mode of communicating emotions. It will focus on semiotics, the philosophy of symbols, and art as an alternative to language. It will also explore “the great un-mystery” of art (namely beauty) and aim to debunk various fallacies surrounding it. Finally, it will outline some tenets of a Wonderist style, prose in the immediate, but all forms more generally. As I have explained above, I want to “Wonderise” the mundane through aesthetics. This is one of the core tenets of the work: namely that, in order to communicate well, one must not merely say the thing but sing it also. I intend to do both. BOOK 5: A Guide to Radical Humanism (“Man the More”) This chapter takes its title from an inversion of Byron (“I love not man the less, but nature more”). It aims to be an optimistic tour-de-force in the Deutschian tradition: people are universal, the glory of the universe. The remaining material is undesignated pending structural decisions. It includes an aesthetic and heroic theory of romance (i.e. person to person relationship; love); a list of my picks for the modern wonders of the world; the Wonderist manifesto; and more. I am currently employed full-time at a salt mine. The work is physically demanding and doesn’t leave much time for research. I would use any support as a means to quit my job and work on the book full-time, systematising my research, developing the philosophy, and accelerating the writing process for a 2026 first-draft. I would hope, with your sponsorship, to make the new year my very own “annus mirabilis”. A year of wonders.
English
6
29
104
10K
Alex Boisvert retweetledi
Dan O'Neill
Dan O'Neill@dp_oneill·
This point is so rarely made. The mere existence of private insurers doesn’t have to make healthcare the bureaucratic mess that it is. The problem is the endless (and often pointless) variation in networks, benefit details, pricing, payment & coding rules, etc.
Ashish K. Jha@ashishkjha

The difference isn’t private insurance. It’s that their insurers operate under common rules — standardized billing, shared credentialing, consistent prior authorization requirements. Ours don’t.

English
1
8
38
12.4K
Flavio Brasil
Flavio Brasil@fwbrasil·
It does but traditional effect systems have an evaluation loop that has to invoke all monadic transformations in an app. These calls ends up megamorphic given that there are many (hundreds if not thousands!) transformation functions. Inlining would mean a JITed eval loop with code for all transformations in a system, which isn’t viable. It’d be too large and actually regress performance Kyo mitigates that by not using a single global evaluation loop. The code is structured with multiple optimization techniques like compile-time inlining, minimal allocation, JIT friendly bytecode, isolated effect handlers. It’s essentially a partial evaluation mechanism leveraging multiple layers including the JIT
English
1
0
3
31
Flavio Brasil
Flavio Brasil@fwbrasil·
Pro tip: if you’re microoptimizing an effect system on the JVM, focus on reducing allocations and tracking down cpu cache misses. Memory barriers aren’t a free lunch but they’re much cheaper than those others
English
3
5
43
11.1K
Alex Boisvert
Alex Boisvert@boia01·
@fwbrasil I was under the impression that the JVM optimizes polymorphic calls through inlining in hot spots (when the references to objects are deemed constant within the context). Is that not the case? Or are you talking in the general case where this may not happen
English
1
0
0
43
Flavio Brasil
Flavio Brasil@fwbrasil·
A common major source of cache misses are polymorphic interface dispatches. Each call needs to resolve the method by reading data from the metaspace. Now imagine how many entries all those lambda classes have in the metaspace 😉
English
3
1
14
1.5K
Alex Boisvert retweetledi
Bark
Bark@barkmeta·
Let me explain what just happened 👇 5 minutes before the President announced a halt to attacks on Iran… someone placed a $1.5 BILLION bet on stocks going up and dumped $192 million in oil. 5 minutes… These trades were 4 to 6 times larger than anything else in the entire market. Whoever did this wasn’t guessing. You don’t risk $1.5 billion on a hunch. There was zero public indication this announcement was coming. No leaks. No press. Nothing. The only people who knew were in the room when the decision was made. Someone in that room picked up a phone. And within minutes they made more money than most Americans will earn in a thousand lifetimes. In a single trade. On a war that cost you $4+ a gallon gas and $16 billion in tax dollars. American citizens funded this war. Politicians are profiting from it. This is not the first time. Every major announcement from this administration has had massive suspicious trades right before it dropped. Tariff reversals. Policy shifts. War decisions. This is the most blatant insider trading operation in the history of American politics. It’s not even close. And it’s happening over and over in broad daylight. You would go to federal prison for trading on a tip from your cousin. These people are front running war decisions with billion dollar bets and nobody will ever ask a single question. Nobody will be investigated. Nobody will be charged. By tomorrow this will be buried under the next satisfying headline. Just like last time. And the time before that. The game is rigged. And they’re not even trying to hide it anymore…
unusual_whales@unusual_whales

BREAKING: Just five minutes before Trump's announcement to halt the attacks on Iran, massive trades reportedly hit the market. In one move, $1.5 billion in S&P 500 (ES) futures was bought while $192 million in oil (CL) futures was sold. These orders were 4–6x larger than anything else at the time. The trader seemingly made huge gains. Unusual.

English
4K
59.1K
157.8K
12.2M
Alex Boisvert
Alex Boisvert@boia01·
@debasishg @simonw I would much prefer "generative engineering" as I feel the "vibing" part is lost when thoroughly reviewing, testing, etc.
English
0
0
0
10
Alex Boisvert
Alex Boisvert@boia01·
@fwbrasil I'm sad there's still so much infighting and ill will around the Scala community ... Wish everyone did as much as you, and extended more good faith to get along
English
0
0
2
416
Flavio Brasil
Flavio Brasil@fwbrasil·
Taking a break from Scala development Despite contributing to the Scala ecosystem for over a decade now, speaking at several conferences, two Scala Days, building Quill and more recently Kyo, I still face exclusion because the Scala Center's director decided to label me "clinically insane" for reporting harassment. Just recently, I had to deal with people aggressively questioning my mental health, a conference finding itself unable to enforce its own CoC, and a threat of a year-long ban from official forums. I was hoping I could cope with it while building Kyo but it's become unsustainable. The saddest part? I'm not alone. @propensive has faced much worse and we aren't even the only ones :( When institutional power is used to protect political agendas over community members, contributing becomes impossible. The same dynamics that drove out contributors through cancellation campaigns persist via different actors today. The Scala community has witnessed an extraordinary exodus of talented people over the recent years. Now you know why one more is stepping away: reporting harassment shouldn't result in mental health slurs from institutional leadership. Hopefully, I'll eventually find some inspiration to return. Kyo is fascinating, it'd be difficult to just leave it behind
English
23
16
170
31.2K
Alex Boisvert
Alex Boisvert@boia01·
@jdegoes Agreed, from a modeling and implementation standpoint there's a natural fit. I also think capabilities (in Pony style) are a good fit to reign in some of the power delegated to agents, whether it's access to resources/date, or quotas on their consumption/spend.
English
0
0
1
67
John A De Goes
John A De Goes@jdegoes·
@boia01 Actors should be productized for agent use cases, to have maximum impact, but the basic concept of having a stateful, long-running, reliable, and independent process that interacts with other such processes is a perfect fit for agents (which are orchestrators at their heart).
English
1
0
0
167
John A De Goes
John A De Goes@jdegoes·
Not concurrency. Not even generic distributed systems. Instead, AI agents are the killer use case for actors.
English
9
20
80
13.1K
Alex Boisvert
Alex Boisvert@boia01·
@fwbrasil The real game changer is making good (though not necessarily great) many-core performance with direct-style, without having to use futures/effects and other reactive suspension mechanisms all over the place.
English
0
0
1
52
Flavio Brasil
Flavio Brasil@fwbrasil·
With #Loom available in #Java 21 for over a year now, I wanted to gauge how adoption is going. If you’ve given virtual threads a try already, let us know it went 👇
English
3
1
3
756
Alex Boisvert
Alex Boisvert@boia01·
@EconBerger It was certainly a banger at the time and now TBH feels somewhat inadequate compared to the UN's declaration of human rights.
English
0
0
0
18
Guy Berger
Guy Berger@EconBerger·
I believe the technical term for this sentence is “certified banger”
Guy Berger tweet media
English
3
0
12
2.3K
Alex Boisvert
Alex Boisvert@boia01·
@jdegoes You would ensure safety through capture checking? Or something else?
English
0
0
0
85
John A De Goes
John A De Goes@jdegoes·
If I were to write a systems programming language, my solution to memory management would be first-class structured scopes. Scopes play beautifully with arena allocation (faster than ref counting or GC) yet are powerful enough to ensure safety for all resources, not just memory.
English
8
0
32
2.5K
Alex Boisvert retweetledi
Charlie Bilello
Charlie Bilello@charliebilello·
The Interest Expense on US National Debt rose to a record $1.15 trillion last year, an increase of 97% over the past 3 years. The US Government now spends more money on interest than it does on National Defense. bilello.blog/newsletter
Charlie Bilello tweet media
English
47
157
496
244.6K
Rúnar
Rúnar@runarorama·
It's pretty weird that the anti-immigration party is also the party that wants to turn Greenlanders into Americans
English
3
0
10
923
Jakub Kozłowski
Jakub Kozłowski@kubukoz·
PartialFunction should not extend Function. Thanks for coming to my TED talk
English
1
1
17
1K
Alex Boisvert
Alex Boisvert@boia01·
@jdegoes It would be best described as a micro benchmark, from which few generalized conclusions can be drawn.
English
1
0
0
221
John A De Goes
John A De Goes@jdegoes·
Complete and utter trash benchmark. The JVM is slow only in heavy non-local allocations and indirection, which is not captured in a nested loop with zero allocations and no indirection. This is the opposite of insight! 🤮
Ben Dicken@BenjDicken

More languages, more insights! A few interesting takeaways: * Java and Kotlin are quick! Possible explanation: Google is heavily invested in performance here. * Js is really fast as far as interpreted / jit languages go. * Python is quite slow without things like PyPy.

English
1
1
37
4.1K
Alex Boisvert retweetledi
Voytek Pituła 💙/💛/🖤
What's the value proposition of Scala? You pay x1.5, but you get x3 output. You get 1/10 of the talent pool but you run 1/50 of the interviews. You can't grow as fast as with Java but you can do much more with much less. And the cost of running a company (e.g. processes, communication) grows with a number of employees. So yeah, you won't build another Google with just Scala. But you can't definitely build a lot.
English
6
10
84
13.2K