you mean THYME????https://github.com/geon0325/THyMe

Here's a screenshot of a WIP web viewer using Signed Distance Fields, also set up to 'compile' from the same model.

Here's an example of using #clojure to define a data model for CAD geometry and operations. From that model, I can create a STEP file via #FreeCAD and also view/export a meshed solid via #OpenSCAD

we met by the Bruhat-Tits tree

gg

Mutation doesn't break referential transparency as long as it preserves equality.

This is quite useful if you have fixpoints or HoTT.

The model also features a dual-branch design, with one branch for color identity extraction and the other for colorization, leveraging the strengths of diffusion models. By employing self-attention mechanisms within diffusion models, it achieves powerful context learning and color identity matching.

The examples below are meant to show how certain tasks are “easy for humans but tough for AI,” highlighting some situations where o3 has stumbled in high-computation scenarios.

ARTIFICIAL. GEOMETRIC. INTELLIGENCE.

(amirite)

ARTIFICIAL. GEOMETRIC. INTELLIGENCE.

(amirite)

what about ancap?

Dedekind Cuts Deep

I too play with my Coq sometimes

pornhub DOT com is still there

for everything else there is search.marginalia.nu

but I know what you mean, I really do

Pragmatic Category Theory | Part 3: Associativity Dmitrii Kovanikov's Personas Web Space

It's done! After *checks notes* 6 months of yak shaving, I finally finished Part 3 of my Pragmatic Category Theory series!

In this part, I give three more real-world examples of applying Semigroup while exploring why Associativity truly matters in detail.

chshersh.com/blog/2024-12...

Functional Programming self-affirmations:

1. Parse, Don’t Validate

2. Make Illegal States Unrepresentable

3. Errors as values

4. Functional Core, Imperative Shell

5. Smart Constructor

Repeat daily in front of a mirror for 2 minutes.

Worlds generated by Explorer can be manually edited in various creative tools, such as Unreal, Houdini, Blender, Maya, 3D Studio Max, After Effects, and more.

did someone say juice?! 🧃

made the world's worst turing machine inside @tldraw.com computer

Nature on natural transformations ✏️

birbs

Workflows can branch, switch, and loop.

mereolegy of the Möbius inversion abilities!

Adapting to time: Why nature may have evolved a diverse set of neurons Author summary The impressive successes of artificial neural networks (ANNs) in solving a range of challenging artificial intelligence tasks have led many researchers to explore the similarities betwe...

This paper on the usefulness of diversity of neuron types is pretty cool: journals.plos.org/ploscompbiol...

Have you ever wondered why diffusion models memorize and all initializations lead to the same training sample? As we show, this is because like in dynamic systems, the memorized sample acts as an attractor and a corresponding attraction basin is formed in the denoising trajectory.

we may have gotten outrotated

duck and cover and duck

a free monad monad is a module over the cofree comonad comonad

language also

Outstanding presentation, finally!

DynaMo: In-Domain Dynamics Pretraining for Visuo-Motor Control @jeffacce.bsky.social @lerrelpinto.com