nbaksalyar

12 ms·

1.
Parallel Fun with Monoids(okmij.org)
3 points by nbaksalyar 8d ago|0 comments
2.
by nbaksalyar 2mo ago
> the options to use socks proxies I pair it with wireproxy [0]. This way you can assign any Wireguard-capable VPN for specific containers. It's extremely useful. [0] https://github.com/windtf/wireproxy
3.
by nbaksalyar 2mo ago
> Similar to how students who spend most of their time practicing what they are studying with actual exercises achieve higher grades This is spot on. > build a mental model of the code with every new line of code This idea has been ex
4.
by nbaksalyar 3mo ago
"Eliza" is a bit unusual for Zachtronics as it's not a programming/puzzle game but a visual novel. But it's excellent and I think it's one of their most under-appreciated games. It's well-written, well-act
5.
by nbaksalyar 3mo ago
What a great and timely question! :) I quit a week ago to take a year-long sabbatical. > 1. What pushed you to do it? The pursuit of curiosity, for the most part. That's what makes quitting a lot harder when you have a good job an
6.
by nbaksalyar 3mo ago
People keep saying things like > it's probably an issue with your usage of if > I've rarely seen a repo and a problem that claude can't chew through with the right prompt > a skill/PEBKAC issue But then I rememb
7.
by nbaksalyar 3mo ago
It's not just Google AI Studio, it's also Google proper. Just one search result page consumes gigabytes of RAM. How did this happen? I've switched to DDG and never looked back.
8.
by nbaksalyar 3mo ago
Bret Victor's list of papers and references would be one: https://worrydream.com/refs/ It's a deep, deep rabbit hole.
9.
by nbaksalyar 5mo ago
> Is this what getting old feels like? Hating everything the rest of society is racing to embrace? I don’t think so. Some societies are racing to embrace mass surveillance and abuse of civil rights. Pointing this out and complaining abou
10.
Volatco – Powerful Multicompute(volatco.github.io)
2 points by nbaksalyar 5mo ago|0 comments
11.
Matrix-matrix multiplication, from less conventional points of view(okmij.org)
3 points by nbaksalyar 5mo ago|0 comments
12.
by nbaksalyar 6mo ago
I think spreadsheets have been severely undervalued by software engineers and they're generally under-researched. It's definitely possible to use them in more non-obvious and interesting ways. E.g., see AmbSheets [1] [1] https:&#
13.
by nbaksalyar 6mo ago
I have a feeling that the same idea absolutely does apply to code . Writing code is much closer to writing prose than it may seem. And the act of writing code also makes you think as you write. Even if you're writing boilerplate. Beca
14.
Ask HN: What are your favorite podcast episodes?
1 points by nbaksalyar 6mo ago|3 comments
15.
by nbaksalyar 7mo ago
Why is it wrong? Please elaborate. For more substance, here’s a discussion from 2015: https://news.ycombinator.com/item?id=10381015
16.
by nbaksalyar 7mo ago
> only to have it completely obsoleted a few years later Not really. There aren’t as many fundamentally new ideas in modern tech as it may seem. Web servers have existed for more than 30 years and haven’t changed that much si
17.
by nbaksalyar 10mo ago
I strongly recommend to check all other papers and articles on https://okmij.org/ftp/ , every single one of them is brilliant and insightful. I love the pedagogy, the writing style and clarity. Oleg Kiselyov is one of t
18.
by nbaksalyar 1y ago
In the Stalin times, yes. But the policy in the early Soviet Union was in fact opposite: https://en.wikipedia.org/wiki/Korenizatsiia
19.
by nbaksalyar 1y ago
> you want your vault accessible across linux/windows/android/macos/ipad For that, I use Syncthing [1] in addition to iCloud. It works exceptionally well – I see my edits in real time across different devices. [1] ht
20.
The Hypercube Pop-Up Book [video](youtube.com)
3 points by nbaksalyar 1y ago|0 comments
21.
by nbaksalyar 1y ago
> introductory textbooks/blogs/resources on the topic Books on TypeScript, OCaml, Rust or Haskell are usually great resources for that. There's also "Thinking with Types" which addresses this topic in a lot of de
22.
by nbaksalyar 2y ago
SEEKING WORK Location: United Kingdom, UTC+0 Remote: Yes Technologies: Rust, compiler engineering (query languages, code generators, dev tools, programming languages, LLVM), Linux kernel (eBPF, io_uring, low-level networking, performance op
23.
ChatGPT is a blurry JPEG of the web (2023)(newyorker.com)
2 points by nbaksalyar 2y ago|0 comments
24.
by nbaksalyar 2y ago
> Has google completely stopped working for anyone else? Yes. However, I found that https://scholar.google.com still works perfectly well. It feels just as the old Google without all the crap they've been adding in the l
25.
by nbaksalyar 2y ago
Location: United Kingdom, UTC+0 Remote: Yes Willing to relocate: No Technologies: Rust, compiler engineering (LLVM, interpreters, query languages, code generators, dev tools, programming languages), Linux kernel (eBPF, io_uring, low-level n
26.
Julia: A Fresh Approach to Computing(computationalthinking.mit.edu)
1 points by nbaksalyar 2y ago|0 comments
27.
Linear Algebra Done Right [pdf](linear.axler.net)
85 points by nbaksalyar 2y ago|39 comments
28.
Linear Algebra: What matrices are (2011)(nolaymanleftbehind.wordpress.com)
8 points by nbaksalyar 2y ago|5 comments
29.
Choral – A Choreographic Programming Language(choral-lang.org)
4 points by nbaksalyar 2y ago|0 comments
30.
Freer Monads, More Better Programs(reasonablypolymorphic.com)
2 points by nbaksalyar 2y ago|0 comments

More ›