HNHacker News
TopNewBestAskShowJobs

hosolmaz

584 karma · joined July 20, 2015

Blog: https://solmaz.io
submissionscomments
hosolmaz··on UnYOLO: Agent credential broker and policy engine for your GitHub account
By read, do you mean git fetch for example? It lets you creates policies around any action

And reading is also an "action"? So gating actions means gating read as well?

Let me know if I misunderstood the question

hosolmaz··on UnYOLO: Agent credential broker and policy engine for your GitHub account
Hi author here. This is intentional, I will also probably add an "agent blurb" install mode which makes an agent review it before installing
hosolmaz··on Switching to Claude Code and VSCode Inside Docker
This is the idea I had in mind while doing https://github.com/textcortex/claude-code-sandbox
hosolmaz··on Day 47 of using Claude Code
ngmi
hosolmaz··on Show HN: GPT image editing, but for 3D models
Please make Adobe obsolete :)
hosolmaz··on Adventures in Symbolic Algebra with Model Context Protocol
It might make more sense to give the model a Jupyter Notebook/code interpreter MCP as a more general case. The environment would have to have sympy, numpy, scipy, matplotlib etc. installed of course
hosolmaz··on Don't Delete to Fix
> if my toaster stops working I do throw it in the trash

Yeah true, let me make it something more expensive

> So stop blaming your customers

I don't. Read till the end :)

hosolmaz··on Satya Nadella on knowledge work
Yes, this sounds more accurate
hosolmaz··on Set Cmd+Shift+C to Copy GitHub Permalink in VS Code and Cursor (Like Arc)
Huge time saver for me, just wanted to share
hosolmaz··on Moon
Wake up babe, new Bartosz Ciechanowski post dropped
hosolmaz··on JSON Patch
the paranoid feeling that what you just read was LLM generated
hosolmaz··on Show HN: Microtonal Piano
You might like this then :) It was arranged by Tolgahan Cogulu, who is part of the demo at the bottom

https://pdoomrecords.com/products/flying-microtonal-banana-s...

hosolmaz··on Difference Between Expat and Immigrant
Probably a better take but not as spicy :)
hosolmaz··on TfL's simple pop-up message led to a significant drop in paper ticket sales
Nobody seems to have commented on the surveillance aspect?

I would assume contactless payments are easier to surveil compared to paper tickets, similar to cash vs credit card payments.

hosolmaz··on After Eating, Software Will Bite the World
Robin might as well have been high while writing this
hosolmaz··on Microsoft is bringing Python to Excel
Relevant: https://www.quadratichq.com/
hosolmaz··on Ask HN: Could you share your personal blog here?
https://osolmaz.github.io/blog

Nerding out on a wide range of topics :)

hosolmaz··on Show HN: Python library to add voiceovers to Manim videos programmatically
> Do you plan including AWS Polly in the speech generation?

I wasn't, but it's not that hard to integrate a new TTS service. You can copy e.g. AzureService and adapt it to work with AWS:

https://voiceover.manim.community/en/stable/services.html

> How do you approach aligning the words with animations? Is it possible to align it for a specific word?

Indeed, the feature is called "bookmarks". You can see a demo here:

https://voiceover.manim.community/en/stable/quickstart.html#...

> Did you already describe it somewhere?

I did not do a detailed write-up yet, but you can search the repo for "word_boundaries" and "TimeInterpolator". Services like Azure return timestamps for the beginning of each word, and for those that don't return, I integrated Whisper to generate them from the audio. Then, it's a matter of mapping the string indices to audio time via some sort of interpolation (I used linear).

hosolmaz··on Show HN: Python library to add voiceovers to Manim videos programmatically
Hey HN! This is a side project that I started working on roughly 1 year ago.

Manim is the math animation library created by the awesome math YouTuber 3blue1brown. This is about Manim Voiceover, a plugin for Manim that provides an API for adding voiceovers to videos. My goal is to create efficient text2video pipelines and make it possible to automatically generate beautiful explainer videos from any educational text on the web.

This is kind of an announcement post. You can check out the documentation itself here: https://voiceover.manim.community/en/stable/

Curious to hear what you think!

hosolmaz··on Ask HN: What were the papers on the list Ilya Sutskever gave John Carmack?
Related: https://qntm.org/mmacevedo
hosolmaz··on Ask HN: Strategies for working with engineers that are too smart?
If an engineer is truly smart, they can be reasoned with. You can use the following concepts to craft an argument:

- Worse is better: https://en.wikipedia.org/wiki/Worse_is_better

- Intelligence is compression (at least in one perspective) https://youtu.be/izqSvm-YAww?t=376

- Many smart developers try to reduce code, not multiply it: https://github.com/geohot/tinygrad https://github.com/karpathy/nanoGPT

- Satisficing https://en.wikipedia.org/wiki/Satisficing

- Perfect is the enemy of good https://en.wikipedia.org/wiki/Perfect_is_the_enemy_of_good

A perfectionist engineer optimizes their code to represent reality perfectly and wastes a lot of time along the way. Their objective function is the discrepancy between the code and reality, and they try to minimize that.

You can offer alternative objective functions:

- Minimize time to implement a requested feature

- Maximize survivability of the company

A good engineer is one that finds the right trade-off between "the right thing" which might be deadly for the company and "the worse thing" which enables the company to develop features fast and remain competitive.

At least, these are the arguments I use on myself to prevent myself from overengineering.

hosolmaz··on Gratitude is a secret weapon for attracting more opportunities
Gratitude = Weapon?

Some real 1984 type shit

hosolmaz··on AI generated, command whatever you want. It will generate mind-blowing images
I used to think that way too, but putting it on a social platform has a lot of benefits. New users who don’t know how to write prompts can learn from others and discover new artistic styles and concepts. It brought me up to speed much faster than DALL-E’s web based interface.
hosolmaz··on Take control over your feeds to regain mindfulness
Maybe I should rephrase it, or make an addition. We do have a societal responsibility to acknowledge and respect opposing views. And I do keep following people who keep it civil and respect the discourse and the medium.

The ones I unfollow are generally shills, people who make absolute statements, demagogues that heavily depend on rhetoric instead of substance. Unfortunately, Twitter's format pushes people into this behavior too. In that case, I block, in order not to become a conduit for these people's toxic messages. I block out of responsibility for my own and my followers' sanity.

> I feel like many, many problems could be solved if more people remembered that. If nothing else, it could reduce polarization.

IMO the platform design and parameters cause this polarization. It's not enough to educate people outside the platform, when the platform is a hotbed of viral messages, and the dominant strategy is to be an "asshole", according to the etiquette of the outside world. On the platform, however, it is what makes your account successful.

One idea is to define strict rules of digital etiquette. Kids could be taught these starting at a young age. You could also enforce them algorithmically on the platform.

hosolmaz··on Ask HN: What are you reading to make sense of the economy?
+1 The first few chapters were eye opening