roessland
Joined 13 years ago
Joined 13 years ago
That being said, Claude Code produces the best code I've seen from an AI coding agent, and the subscriptions are a steal.
There are some performance issues, and WebStorm is struggling, which forced me over to VS Code.
But overall pretty happy.
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.
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
WatThe 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.0The person on the other end does not have to learn either of them.
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.
There is still room for a style guide.
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.