rlupi

8 ms·

61.
by rlupi 2y ago
Yes, and the dataview plugin to visualize docs in a table, list or calendar (e.g. organized by tags, to identify their types). I am not aware of a editable table view, but you can surely have a index per document type that contains a datavi
62.
by rlupi 2y ago
The other option is Google docs, or similar, which has both cross-links and version history; but you can't link to a specific version of a document, as far as I know. You can however have multiple "document tabs", and that ca
63.
by rlupi 2y ago
the first idea that came to my mind is to use obsidian.md (or another markdown editor) with the git plugin. Markdown supports frontmatter, that allows you to add metadata to docs. It also supports cross-links between documents. You could ev
64.
by rlupi 2y ago
> Outside of Italy nobody uses single shot baskets. Some Swiss coffee shops do that, but we are close to Italy here. Lots of Italians live here and would be very unhappy without their espressos.
65.
by rlupi 2y ago
<iamveryculinary country="it"> That's because Starbucks single espresso shot are absolutely atrocious. </iamveryculinary>
66.
by rlupi 2y ago
Do you have a link?
67.
by rlupi 2y ago
> Of course, there are tradeoffs. This works beautifully for personal tools and small-team scenarios. It doesn't scale to massive collaborative systems where you need rigid interfaces between components. But I suspect many of us are
68.
by rlupi 2y ago
Did they just discover what every cat owner already knows?
69.
by rlupi 2y ago
With the infinite construction, in this way, there is a potential link to modular forms or L-functions. For $reasons, I was trying to look for a way to go from C7 * Z2 toward the sporadic simple groups... so I was trying to construct the Ri
70.
by rlupi 2y ago
So, how do we build something like that? Aczel non-well founded set theory which allows sets that contains themselves, together with intuitionistic logic, as a starting point. Propositions as embeddings in hilbert spaces (infinite dimension
71.
by rlupi 2y ago
I wanted a multiverse with unbound possibilities. Why? Her's a recap of Max Tegmark's ideas: Level I Multiverse (Spatial Infinity): If the universe is infinite and homogeneous on large scales, then everything that can happen will
72.
by rlupi 2y ago
Constructing basic math from minimal foundations. This can be done from Minimal logic, Intuitionistic Type Theory (ITT) / Martin-Löf Type Theory (MLTT), or Combinatorial Logic. For reason that I'll detail later, I wanted to go wit
73.
by rlupi 2y ago
A few months ago, I was pondering about connections between primes, foundation of math, and quantum mechanics. It resonates with some of your ideas. It was more of a toy model than anything real, but I was pondering what a level IV multiver
74.
by rlupi 2y ago
One one side: The whole point seems to be to vet who is willing to comply to arbitrary requests, and who isn't. The content of the responses is incidental, and maybe only used later if future tests are failed. On the other: we write &q
75.
by rlupi 2y ago
We should start calling tools from their muses, it would be way more fun. I mean... https://en.wikipedia.org/wiki/List_of_Great_Old_Ones Truth to be told, there isn't much difference between Gradle and Gwarloth
76.
by rlupi 2y ago
> How would transitive dependencies be handled? Have a SBOM format whose license requires truthful reporting (or the license is null and defaults to open source), then trust only those SBOM formats with this property. Taleb's minori
77.
by rlupi 2y ago
It reminds me about Barthes studium (applying yourself to gain skills) and punctum (applying your skills to make your masterpieces) in photography. I think we have the feeling of "gaining years of experience in a few months", when
78.
by rlupi 2y ago
> Neither of us really know Twitter's financial position, given it's now private. > The rumours I'm hearing are ... You are literally contradicting yourself in two phrases one after another.
79.
by rlupi 2y ago
> No AI can code in Lean 4 reliably I wonder if this is due to the nature of the language. Lean 4 lets you redefine its syntax in ways that most other languages do not allow[1], so effectively you are dealing with a recursive language, t
80.
by rlupi 2y ago
Close. I am Italian. I am sorry if my English isn't great... and, yes, sometimes I do use voice to text. Android is particularly good at messing up what I want to say.
81.
by rlupi 2y ago
DeepSeek is a company whose funds comes from a edge fund. If the edge fund has predicted the impact of all these releases correctly, they have likely made tons of money while at the same time advanced Chinese interests and prestige abroad.
82.
by rlupi 2y ago
It's interesting that health records were a prime topic at the White House event. Are we going back to industrialist biopower (control of bodies) after neoliberalism psychopower (control via induced mimetic desires)? Probably a fusion.
83.
by rlupi 2y ago
Yes, the self alone is shouting in the void and appalled and confused at what it hears back. Expand the boundary to encompass enough, loose momentum and be still, and healing happens. Mindfulness is a tool and a habit that should be embodie
84.
by rlupi 2y ago
In the agentic era, the new Ads eyeballs are the LLMs training corpus (IMHO).
85.
by rlupi 2y ago
(tongue in cheek comment) I wonder if FB moderation now or eventually will be just a prompt to a sufficiently evolved and unhinged AI model: > FB or 4chan?
86.
by rlupi 2y ago
The main reason why we can't do that now is because we require models to be digitally reproducible (IMHO, but also read Geoffrey Hinton's mortal computing). The energy cost come from error correction as much as training algorithms
87.
by rlupi 2y ago
IMHO The problem (for us) with this approach are the logical consequences: 1) if AI large model become more powerful avoiding language, embeddings of AI state become even more tied to the model they originate than now Consequence: AI progre
88.
The Pelicot rapes: a new form of perversion (by Slavoj ŽIžek)(slavoj.substack.com)
4 points by rlupi 2y ago|3 comments
89.
by rlupi 2y ago
I think this is worth reading. It gives a lot of interesting points and cultural references to read further. Is it relevant for this forum? I think so because engineers don't fully understand how technology shapes how people think. The
90.
by rlupi 2y ago
Dashboards, like any reductive representation of reality, are inherently limited. They highlight certain aspects while obscuring others, capturing specific data points while ignoring others. This is similar to how a map simplifies a territo

More ›