Hacker News: raluk

New comment by raluk in "Ask HN: What are you proud of about doing for you health and wellness regularly?"

raluk — Tue, 13 Jan 2026 00:27:12 +0000

It improves immune system and geneal wellbeing. It is pain that you can get used to and I kind of enyoj it now in some weird way. It is hard, requires some dedication and brings some benefits, but does not requre extra time or planning. Great morale booster.

New comment by raluk in "Ask HN: What are you working on? (January 2026)"

raluk — Mon, 12 Jan 2026 15:51:42 +0000

Over the hollidays I was working on Steve Balmers interview puzzle. https://rahne.si/optimisation/2026/01/07/steve-ballmer-inter...

What I am most proud of is that I got the solution in the corse of apporx 1 week working on this!

New comment by raluk in "Ask HN: What are you proud of about doing for you health and wellness regularly?"

raluk — Mon, 12 Jan 2026 15:02:32 +0000

Using only cold water for showers.

New comment by raluk in "Rust--: Rust without the borrow checker"

raluk — Thu, 01 Jan 2026 11:37:15 +0000

What are protental issues with compiler, by just disabling borrow checker? If I recall correctly some compiler optimisations for rust can not be done in C/C++ because of restrictions implied by borrow checker.

New comment by raluk in "Hacker News front page now, but the titles are honest"

raluk — Fri, 19 Dec 2025 18:28:08 +0000

"Math nerd explains how to spend 3 days proving 1+1=2" -> Original "From Zero to QED: An informal introduction to formality with Lean 4" https://news.ycombinator.com/item?id=46259343

New comment by raluk in "You can't fool the optimizer"

raluk — Thu, 04 Dec 2025 20:08:40 +0000

Years ago I wrote c++ library for stream compostion. Something like C++20 ranges. It turns out that as long as you compose everything with lambdas, compiled code is same as it would be with naive loops. Everything gets optimised.

For example, you can write sum of numbers less than n as:

  count(uint64_t(0)) 
   | take(n) 
   | sum();

Clang converted this into n*(n-1)/2.

Soniox released STT model v3 - A new standard for understanding speech

raluk — Tue, 21 Oct 2025 13:55:08 +0000

Article URL: https://soniox.com/blog/2025-10-21-soniox-v3

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

Points: 1

# Comments: 1

New comment by raluk in "Discrete Fourier Transform"

raluk — Sat, 04 Oct 2025 10:29:40 +0000

How much is fft used for AI? Seems that attention and convolution could benefit from this.

New comment by raluk in "Go is still not good"

raluk — Sat, 23 Aug 2025 08:46:51 +0000

Having lexicial scope it is same as -> defer fn{if(some condition) x() }() within scope.

New comment by raluk in "Scientists just found a protein that reverses brain aging in mice"

raluk — Fri, 22 Aug 2025 20:43:09 +0000

Given that you die, when one vital organ dies it will eventaully hapen in this way or another. I read somwhere and that stuck in my brain, that maxmimal logevity for humans is estimated to be approximetly 125 years.

New comment by raluk in "Asynchrony is not concurrency"

raluk — Sat, 19 Jul 2025 05:32:38 +0000

This is what i hand in mind whit "manually handing of futures". In this case you have to write

   Promise1 = f1(); Promise2 = f2();
   v1,v2 = await Join(Promise1, Promise2);
   return v1 + v2

I think this is just too much of synthactic noise.

On the other hand, it is necessary becase some of underlying async calls can be order dependend.

for example

    await sock.rec(1) == 'A' && await sock.rec(1) == 'B'

checks that first received socket byte is A and second is B. This is clearly order dependant that can't be executed concurrently out of order.

New comment by raluk in "Asynchrony is not concurrency"

raluk — Sat, 19 Jul 2025 05:12:52 +0000

In there is also ApplicativeDo that works nicely with this.

    do 
      x <- f1
      y <- f2
      return $ x + y

this is evaluated as applicative in same way.

New comment by raluk in "Asynchrony is not concurrency"

raluk — Fri, 18 Jul 2025 20:46:38 +0000

One thing that most languages are lacking is expressing lazy return values. -> await f1() + await f2() and to express this concurently requres manually handing of futures.

New comment by raluk in "Lens: Lenses, Folds and Traversals"

raluk — Sat, 05 Jul 2025 05:59:53 +0000

Great exercise driven course is: https://github.com/system-f/lets-lens

New comment by raluk in "Lens: Lenses, Folds and Traversals"

raluk — Fri, 04 Jul 2025 18:39:09 +0000

https://blog.jle.im/entry/lenses-products-prisms-sums.html

New comment by raluk in "OpenAI charges by the minute, so speed up your audio"

raluk — Fri, 27 Jun 2025 05:50:43 +0000

Our team is working with soniox.com They are the most acurate model that works real time.

New comment by raluk in "Japan's IC cards are weird and wonderful"

raluk — Sat, 17 May 2025 13:15:31 +0000

One problem with fast writing is that it requres more energy to transmit from reader to a card in order for a card that has no internal source of power, to toggle bits. It is harder compared to just reading a bit from a card. Additonaly it is tricky to implement trasaction with single write, given that data transfer can be interrupted (for example user removes card from RF field). I am not sure if single write is enough for making this robust/transactional. It also helps a lot if RFID antenna is well tuned. Proximity of metal and way it is mounted has a big impact, so it is important that RF antenna for reader is tuned for exact environment it is mounted in.

New comment by raluk in "Spade Hardware Description Language"

raluk — Mon, 12 May 2025 15:59:47 +0000

How one writes circular circuit, for example stream of fibonnachi numbers or IIR filter? For IIR filter it would be nice if it has protoype like iir(sig : T, a : vec, b : vec) -> T

New comment by raluk in "Performance optimization is hard because it's fundamentally a brute-force task"

raluk — Tue, 29 Apr 2025 15:32:55 +0000

For low level benchmarking papi https://icl.utk.edu/papi/ is great tool. It provides access for counters like cache misses, branch misses and number of cycles.

New comment by raluk in "mIRC 7.81"

raluk — Fri, 18 Apr 2025 09:50:55 +0000

I learned programming using mIRC scripting. There used to be bunch of quiz chaneles about trivia. I logged channel to collect questions and then wrote script that provided response after some time based on linear function k + n*len(response). That was my fist piece of software I wrote. mirc scrpting based on event system was super nice system to work with. Later I also wrote chat bot and i collected have some funny conversations with strangers.