roessland · HackerTrans

I wish I could, but they banned me and won't disclose why.

That being said, Claude Code produces the best code I've seen from an AI coding agent, and the subscriptions are a steal.

roessland

2 anni fadiscuss

Sorry, might have mixed up Yup and Joi. Anyways, I prefer Zod to both of them.

roessland

2 anni fadiscuss

My company used Yup initially but we moved to Zod to be able to infer types from schemas. For example, API response payloads are Zod schemas. OpenAPI components are also generated from Zod schemas.

There are some performance issues, and WebStorm is struggling, which forced me over to VS Code.

But overall pretty happy.

roessland

2 anni fadiscuss

Awesome, I'll definitely try it.

I've been paying for Piano Marvel for a few years, and there is tons of room for improvement in this space:

- Native, non-janky app. Ideally cross-platform.

- More inspiring music in lessons.

- Recommendation algorithm for what piece/lesson to practice next.

- More methods of measuring progress over time.

- Spaced repetition for sight reading, technique, scales, ear training, sections of known pieces.

- Splitting pieces automatically into overlapping sections to practice, RH, LH and hands together (whatever makes sense).

- Simple streaming/recording features for use with piano lessons over video chat (screen/video/audio mixed together to a single stream?).

- Show music theory concepts based on what you are playing, in the context of the current piece. E.g. what chord is being played, and its function. Possible continuations.

My setup is a Macbook + FP-30 + USB midi cable. Having the laptop standing on top of the piano makes keyboard and touch pad usage clunky, so navigation must be simple. Also uploading custom scores is a must for me.

roessland

3 anni fadiscuss

The default PG type, `numeric`, has almost arbitary precision.

    select pg_typeof(9999999999999999.0); 
    -- numeric

    select 9999999999999999.0::double precision 
           - 9999999999999998.0::double precision; 
    -- 2

More interesting perhaps, is mixing up `real` (aka float32) with `numeric`:

    select 9999999999999999.0::real - 9999999999999998.0;
    -- 272564226 (?! can anyone explain?)

    select 9999999999999999.0::real;
    -- 10000000300000000

Wat

roessland

3 anni fadiscuss

Here's a great introduction to floating-point numbers: https://tobydriscoll.net/fnc-julia/intro/floating-point.html

The next representable number after 9999999999999998.0 is 1.0e16. 9999999999999999.0 is not exactly representable in IEEE 754 floats, and will be rounded up or down.

The difference between 0.0 and 2.0 in the table is likely due to different rounding modes. I'm curious how different languages end up with different rounding modes. Is that possible to configure?

    julia> 9999999999999999.0 - 9999999999999998.0
    2.0

    julia> -9.999999999999999 + 9.999999999999998
    0.0

roessland

3 anni fadiscuss

Cool! I have the same issue with unused coax cables between every room, and was planning on replacing them with ethernet cables. In my case it's feasible without breaking down any walls. Does this work even with splitters?

roessland

3 anni fadiscuss

Gotty serves a terminal window as a website. Tmux can be used to force the terminal size, so that you can a small window for typing, like OP does.

The person on the other end does not have to learn either of them.

roessland

3 anni fadiscuss

tmux + ttyd (or gotty) could be used in a similar way. But it's not like an extra screen, it's more like mirroring a terminal to another device.

roessland

3 anni fadiscuss

Some telecom providers actually provide a public IP address that maps directly to your phone. You might have to change your APN settings to get one, and it might be dynamic.

It's a spectacularly bad idea that lets you serve HTTP (and any other port) directly from your phone without a SSH tunnel. You can also debug your Android with ADB... over the internet.

roessland

4 anni fadiscuss

Go's fmt enforces some parts of formatting, like indentation, spaces vs. tabs and spacing around brackets and parentheses. But it is by no means a complete style guide. Fmt doesn't give your packages, structs or methods reasonable names automatically. Fmt doesn't tell you where to use values and where to use structs, what your interfaces should be, and how large your functions should be.

There is still room for a style guide.

roessland

4 anni fadiscuss

If you put your notes in a Git repo you can make a pipeline that deploy your notes online using a static site generator and e.g. GitHub pages. Of course Sync/Publish is smoother and easier, but don't let the price of Sync/Publish stop you from trying Obsidian itself (which is free for personal usage).

roessland

4 anni fadiscuss

Congratulations! Starting to use Obsidian has made me much more productive at work. I never forget anything now, since Obsidian is my second brain. I use it for logging, tasks, study, spaced repetition (with Dataview and tags), learning new things and even blogging.

I sync manually using Git, using a Work-repo, a Home-repo, and a Shared repo that is a Git submodule of both Work and Home. I never edit notes on my phone, but I can read them on GitHub or Dropbox. I have more than 1200 notes in Work ∪ Shared, and some more in Home.

Some of my essential plugins are: Dataview (Like inline SQL for querying notes), Natural Language Dates (entering current date easily), Minimal theme (just looks better).

Some builtin stuff that I love: Frontmatter metadata, Mermaid charts (graphviz-ish), inline \LaTeX rendering, daily notes and syntax highlighting.

roessland

4 anni fadiscuss

It's easier to untie. Has a cool method of tying. When a loop is loaded the knot becomes a bend. The alpine butterfly forms a secure bend, while the flat figure 8 can capsize at low loads.

I would use either for a directional load, but only an alpine butterfly if loading the loop is conceivable. And using the flat 8 as a bend is suicidal.

[1] http://user.xmission.com/~tmoyer/testing/EDK.html [2] https://www.animatedknots.com/alpine-butterfly-bend-knot [3] https://en.wikipedia.org/wiki/Offset_figure-eight_bend

roessland

4 anni fadiscuss

Might be a great article but I had to stop reading since I couldn't bear the scroll hijacking.

roessland

5 anni fadiscuss

Assuming that "Giga Nevada" actually is a Gigafactory, an ordinary Factory would then be 2.86400 mm^2.

roessland

5 anni fadiscuss

This looks perfect for my brain. I like the idea of hyper scheduling, which seems to be automatically scheduling todos on your timeline, and automatically moving them around as life happens. Moving todos around manually in Google Calendar whenever you use more time than planned is a drag.

roessland

5 anni fadiscuss

I would pay for a huge-res version I can print and hang in my living room.

roessland

5 anni fadiscuss

Have you looked at the View Plus (€300-ish)? It has PM2.5, CO2, radon, humidity, pressure and temperature. Also I believe it has multiple of some of the same sensors for better accuracy.

Way overpriced vs AliExpress but oh well.

https://www.airthings.com/en/view-plus

roessland

5 anni fadiscuss

Apparently there is a wrong way of tying a figure 8, that leads to a version that is much harder to untie. Personally I've never had issues untying a figure 8, so it might just be that my default way of tying it happened to be the correct way.

It's described in this video: https://www.youtube.com/watch?v=QAr-uHd8h8o Skip to 13:20 for the interesting part.

comments