HN user

alphaBetaGamma

484 karma
Posts2
Comments109
View on HN

My wife and I are working on a math/science/CS-inspired jewelry business. We try to create pieces that stand on their own aesthetically but have a hidden meaning. We currently have two styles: lambda calculus based pieces (we depict the lambda/Tromp diagram) where we have Y-Combinator earrings (well, strictly speaking they are one beta reduction away from Y-combinator. Aesthetic oblige) and a pendant depicting a lambda expression computing Graham's number. The other style is quantum computing circuits, based on quantum computing research my brother (a physics professor) is doing: a pendant that is actually a non-local controlled-NOT gate.

I wrote a tiny DSL to describe the jewelry pieces, and an interpreter to produce CAD files. We then either 3D print them or have them produced by lost-wax.

We are 200% out of our comfort zone (and love it): I know nothing of front end dev, payments, or anything like that. The diamond district in New York is a neighborhood we normally actively avoid, but if you are forced to go there it is fascinating (people examining diamonds on the corner of the street, others in fur coats in summer straight out of a mafia movie...), and especial marketing. Jewelry is a completely saturated business (luckily we are not doing this to pay the rent); we think we have a unique angle, but we are still figuring out the target audience (if there is one), how to advertise, etc.

Store: https://studio-galois.com/

My wife and I are working on a math/science/CS-inspired jewelry business.

We try to create pieces that stand on their own aesthetically but have a hidden meaning. We currently have two styles: lambda calculus based pieces (we depict the lambda/Tromp diagram) where we have Y-Combinator earrings (well, strictly speaking they are one beta reduction away from Y-combinator. Aesthetic oblige) and a pendant depicting a lambda expression computing Graham's number. The other style is quantum computing circuits, based on quantum computing research my brother (a physics professor) is doing: a pendant that is actually a non-local controlled-NOT gate.

I wrote a tiny DSL to describe the jewelry pieces, and an interpreter to produce CAD files. We then either 3D print them or have them produced by lost-wax.

We are 200% out of our comfort zone (and love it): I know nothing of front end dev, payments, or anything like that. The diamond district in New York is a neighborhood we normally actively avoid, but if you are forced to go there it is fascinating (people examining diamonds on the corner of the street, others in fur coats in summer straight out of a mafia movie...), and especial marketing. Jewelry is a completely saturated business (luckily we are not doing this to pay the rent); we think we have a unique angle, but we are still figuring out the target audience (if there is one).

Store: https://studio-galois.com/

Built a tool to help design cs/science inspired jewelry in CAD. I wrote a DSL to describe the jewelry, and had an LLM write the interpreter to generate a CAD file using cadquery (note to self: LLM suck at 3d reasoning). I would not have had the time to do this without AI.

Also used AI to design an online store (I'm not a front end dev). It's amazing to see my wife (non-technical background) tweak the web-site using claude code.

End result: an online store where we sell jewelry pieces that actually are lambda-diagrams (Tromp diagrams) that compute Graham's number, or of the Y-combinator (well, technically it's just a fixed point operator, one beta reduction away from the Y-combinator. But Y-combinator was not aesthetically pleasing from a jewelry point of view)

store: Built a tool to help design cs/science inspired jewelry in CAD. I wrote a DSL to describe the jewelry, and had an LLM write the interpreter to generate a CAD file using cadquery (note to self: LLM suck at 3d reasoning). I would not have had the time to do this without AI.

Also used AI to design an online store (I'm not a front end dev). It's amazing to see my wife (non-technical background) tweak the web-site using claude code.

End result: an online store where we sell jewelry pieces that actually are lambda-diagrams (Tromp diagrams) that compute Graham's number, or of the Y-combinator (well, technically it's just a fixed point operator, one beta reduction away from the Y-combinator. But Y-combinator was not aesthetically pleasing from a jewelry point of view)

store: https://studio-galois.com

If I remember correctly, in that book Galileo says he heard of someone in the Netherlands having made a microscope, but without any details about how it was made. Armed with the knowledge that something like that was possible, he designs a telescope (lenses only, not a Newton type telescope with a mirror). He build three and used the last and best to do his observations.

Galileo refers in this to a book he had published earlier, the "Starry Messenger". It is well worth reading.

Galileo had just build the first ever telescope and he describes what he has discovered: there are incredibly more stars than can be seen by the naked eye; Jupiter has satellites; there are mountains on the moon and he has figured out their height from the length of their shadows... The book is full of the quiet excitement of a man who has discovered a new world, and seen what no man had seen before.

https://archive.org/details/siderealmessenge80gali/page/6/mo...

If you like Bach you might want to learn to listen to polyphony: the form of music in which multiple melodies are played simultaneously while forming an harmonious whole. I recommend looking & listening to videos of Stephen Malinowsky (smalin on youtube), particularly his older videos with less visual clutter. Each color is a separate melody. Initially and you should try to focus on just one melody, then see if you can easily switch your focus to an other one. Then see if you can listen/focus on two melodies at the same time, then three... https://www.youtube.com/playlist?list=PL81D26D4A47388279

In general I would not worry to much about the performer, but it might be interesting to listen to different interpretations of the same piece, particularly from composers with very idiosyncratic styles. On youtube, Ashish Xiangyi Kumar (https://www.youtube.com/c/AshishXiangyiKumar) has videos of pieces (mainly piano solo) interpreted by different artist.

I was using sed to do many replacements (hundreds) in a file and it was starting to be slow, running in O(num_replacemnts). I thought that this can be done with a state machine so the runtime could be independent of the number of replacements.

I googled a bit and found this amazing gem: it uses lex to create a custom C program that does just what you want. Posix compliant. All wrapped up in bash function.

Not the author, but I had a similar problem.

If you specify many replacement rules in sed, it will run in O(num_replacements * num_lines). You should be able to use a state machine to do it in O(num_lines), so I google a bit and found this amazing gem: https://unix.stackexchange.com/a/137932

tl;dr: it uses lex to create a custom C program that does "just what you need", compiles it, and runs it on your input. The whole thing wrapped in a bash function. Bonus: it's POSIX compliant.

C64 Memory Map 6 years ago

If I remember correctly, the system calls where indirect jumps where the address of the jump was in ram (it had been copied from the rom on startup): it was designed to you could hijack system calls and modify their behavior. This blew my mind as a teenager.

I wish modern system where still designed like that...

Gears 6 years ago

I have heard that it is good practice to always chose the number of teeth of two gears to be relatively prime. This is because there can be impurities in the metal, and if you have a small part of a tooth that is harder than the rest it will erode the opposing gear (there is always some friction going on). By choosing the number of teeth to be relatively prime, the wear and tear is distributed uniformly on the gears, and thus they last longer.

In some/many cases there is code before the branch that does not influence the branch condition. In that case, would it be possible to architect the cpu such that it could execute the branch 'early'? I'm thinking of a special asm instruction like 'execute the next 4 instructions, and only then do the conditional jump'.

E.g. instead of:

  i=0
  StartLoop:
  i+=1
  do_stuff_0
  do_stuff_1
  do_stuff_2
  do_stuff_3
  if i<N goto StartLoop
we would have:
  i=0
  StartLoop:
  i+=1
  do_stuff_0
  do_stuff_1
  if i<N goto StartLoop in 2 instructions
  do_stuff_2
  do_stuff_3

Would it be possible to do a special distribution for non emacs users? I'm thinking of one download with emacs + magit + CUA mode by default + run magit-status on startup (or whatever else would be appropriate).

So it looks like a standalone git client rather than emacs.

I'm an emacs user, so I would never use this, but it's just a thought.

Slightly off-topic question about WaveNet:

In the paper, they say that they double the dilation factor up to a limit and then repeat: 1, 2, 4, ..., 512, 1, 2, 4, ..., 512, 1, 2, 4, ..., 512

The doubling of the dilation factor makes sense to me, but what is happening with the "repeat" part? I don't understand what they are trying go do. Wouldn't make more sense to continue doubling?

A different solution to the Box in box problem, with less math:

Consider the square of (length + with + height). The sum of the diagonal terms is the square of the distance between opposite corners, the sum of the off diagonal terms equals half the area of the boxes. We can show that both these terms are smaller for the innermost box.

It’s obvious for the diagonal terms, as the opposite corners of a box are the two points of the box that are furthest apart. So the opposite corners of the inner box must be separated by less than the opposite corners of the outer one.

For the cross diagonal terms: take axes that are aligned with the inner box. Consider the parts of the outer box that would be projected on the inner box if you projected either on the x&y, x&z, or y&z planes (i.e. you project on the faces of the inner box). These six pieces of the outer box don’t intersect, and each of them is larger than the face of the inner box on which they project. So this part of the outer box has an area bigger than the total are of the inner box. QED

If the teller takes 10 min (on average) to serve someone and people arrive less often that 1 in every 10 minute, the average wait time is going to be finite. If people arrive more often than 1 in every 10 minutes, the queue is going to grow infinity large, and the average wait time is infinite.

So as the frequency with which people arrive approaches 1 in 10 minute (from above), the average wait time will increase dramatically, reaching infinity at 1 person / 10 min.

No Mention of the Bard?

    That time of year thou may'st in me behold
    When yellow leaves, or none, or few, do hang
    Upon those boughs which shake against the cold,
    Bare ruin'd choirs, where late the sweet birds sang.
    In me thou see'st the twilight of such day,
    As after sunset fadeth in the west,
    Which by-and-by black night doth take away,
    Death's second self, that seals up all in rest.
    In me thou see'st the glowing of such fire
    That on the ashes of his youth doth lie,
    As the death-bed whereon it must expire
    Consum'd with that which it was nourish'd by.
        This thou perceivest, which makes thy love more strong,
        To love that well which thou must leave ere long.

Would this be a good fit for a book with lots of pictures, where the design, placement of pictures, and flow of text around them is important?

I just started writing a short book like that with Scribus.

Not really.

Very roughly: It's a group with a an infinite number of elements which is smooth, in the sense that there is a notion that elements can be close or far from each other, and locally around each element the group looks like R^n (for some n). Of course the group operation must play nice with this notion of "close". I.e. if elements A and B are close, after multiplying both of them by X, AX and BX can't be too far: the group operation does not "tear" the structure apart.

So in the example above of rotations on the plane, you can visualize the group as a circle where a point represents the rotation by that angle. Locally it looks like R, but it has a different global structure.

I tend to think that the average fiction book is less interesting that the average non-fiction book, but that the best fiction books are much, much better than the best non-fiction ones (and teach you more, and deeper things).

This one is up there with the very best. It is exquisitely well written (John Williams was a literature professor, directing a creative writing program), and despite the plainness of the plot(or maybe because of it?) it offers a remarkable view of what gives meaning to life (IMHO of course. Your millage may vary).