Hacker News: Diris

Do you believe in real numbers?

Diris — Fri, 12 Jul 2024 12:45:21 +0000

Article URL: https://irregular-rhomboid.github.io/2024/07/12/do-you-believe-in-real-numbers.html

Comments URL: https://news.ycombinator.com/item?id=40945034

Points: 3

# Comments: 1

New comment by Diris in "GNU Nano 8 comes with modern key bindings"

Diris — Sat, 01 Jun 2024 18:53:38 +0000

Finally, this was probably my biggest gripe with it.

New comment by Diris in "Show HN: Open-Source Video Editor Web App"

Diris — Sun, 12 May 2024 21:22:28 +0000

Damn I wish I saw that 5 hours ago, it's just what I needed.

New comment by Diris in "Show HN: Real-time voice chat with AI, no transcription"

Diris — Wed, 20 Mar 2024 15:00:50 +0000

Very cool!!! I had this idea a while. Is the conversational part of the dataset open?

New comment by Diris in "What I learned from looking at 900 most popular open source AI tools"

Diris — Fri, 15 Mar 2024 22:52:39 +0000

Personally, I saw it on the tweet from Jan Leike. https://x.com/janleike/status/1767347608065106387?s=20

Empirical Standards

Diris — Tue, 12 Mar 2024 17:41:06 +0000

Article URL: https://www2.sigsoft.org/EmpiricalStandards/docs/

Comments URL: https://news.ycombinator.com/item?id=39682448

Points: 1

# Comments: 0

New comment by Diris in "Flowers for Algernon (1965) [pdf]"

Diris — Mon, 11 Mar 2024 23:52:59 +0000

Gosh, this made me laugh out loud. Thanks XD

New comment by Diris in "Dada, an experimental new programming language"

Diris — Wed, 06 Mar 2024 19:04:34 +0000

Wow, that's nice. I didn't know about that one. Thank you for posting!

New comment by Diris in "Algebraic effects, ownership, and borrowing"

Diris — Wed, 21 Feb 2024 18:53:26 +0000

I love ante's concept, I need to try actually using it sometime.

New comment by Diris in "Forgetting the history of Unix is coding us into a corner"

Diris — Fri, 16 Feb 2024 18:15:04 +0000

I saw the talk at FOSDEM and greatly enjoyed it. Someone sitting next to me was busy coding on 9front haha

New comment by Diris in "FOSDEM 2024: my experience, some notes and tech tips"

Diris — Mon, 12 Feb 2024 18:15:54 +0000

FOSDEM was my first conference, and I'm glad I attended. I wish I had talked with more people and better planned my day, but there's always next year!

New comment by Diris in "Ask HN: What skill do you want to develop or improve in 2024?"

Diris — Wed, 27 Dec 2023 19:47:10 +0000

Time/Task management. I always feel like I'm barely keeping up with my life and I don't use my time intentionally.

New comment by Diris in "Unauthorized "David Attenborough" AI clone narrates developer's life, goes viral"

Diris — Fri, 17 Nov 2023 15:55:44 +0000

They also have code to finetune the model

New comment by Diris in "An Appeal to AI Superintelligence: Reasons to Preserve Humanity"

Diris — Sun, 19 Mar 2023 19:43:42 +0000

> How can we ascribe super-human reasoning skills to an AGI in one breath, yet think the AGI would be content with making paper clips, collecting stamps, or smashing vases while cleaning, until heat death of the Universe in the next?

See the orthogonality thesis which asserts that there can exist arbitrarily intelligent agents pursuing any kind of goal.

https://link.springer.com/article/10.1007/s11023-012-9281-3

New comment by Diris in "Update to Kagi Search Pricing"

Diris — Thu, 09 Mar 2023 08:31:54 +0000

That sounds like searx[0].

[0] https://docs.searxng.org/

New comment by Diris in "Returning to Nim from Python and Rust"

Diris — Sat, 18 Feb 2023 22:15:44 +0000

F# doesn't, though.

https://github.com/dotnet/fsharp/issues/13398

New comment by Diris in "Ask HN: What have you built more than twice and wish someone had built for you?"

Diris — Wed, 18 Jan 2023 16:44:46 +0000

I think this one[0] can do most of that.

[0] https://github.com/qarmin/czkawka

New comment by Diris in "Ask HN: How do you choose your usernames?"

Diris — Sun, 15 Jan 2023 20:20:31 +0000

I have a function in my zshrc

https://gist.github.com/Ryu1845/07e5d72275ec1eb97ef911825536...

New comment by Diris in "Show HN: WebStickies – Sticky notes for the internet"

Diris — Mon, 28 Nov 2022 20:10:46 +0000

A great product, it has support for practically any browser thanks to the bookmarklet and chrom(ium) extension [0]. I mostly use it on PDFs (e.g. papers). I definitely recommend it.

[0] https://web.hypothes.is/start/

New comment by Diris in "Termux on Android 5 or 6"

Diris — Mon, 21 Nov 2022 15:09:39 +0000

Powertube [0] is a great app for this

[0] https://github.com/razar-dev/PowerTube