Readit News logoReadit News
abhijat commented on A Rust shaped hole   mnvr.in/rust... · Posted by u/vishnumohandas
wk_end · a month ago
I'd love to see someone develop a compiler for TypeScript that got, say, Ocaml-like performance. There's a bunch of reasons why that'd be tough though - you'd probably want a language very-similar-to-but-not-quite-like-TypeScript.
abhijat · a month ago
There used to be reasonml but I'm not sure how active it is these days.
abhijat commented on Major reversal in ocean circulation detected in the Southern Ocean   icm.csic.es/en/news/major... · Posted by u/riffraff
abhijat · 2 months ago
The article says that deep water is warmer, afaik deep water is colder and surface water is hotter (https://en.wikipedia.org/wiki/Upwelling)?

A 2023 study https://www.sciencedaily.com/releases/2023/03/230330102327.h... observed slowdown in Antarctic overturning, in which cold water sinks down at the south pole and then spreads north in the deeper parts of the ocean.

The slowing of this process would cause deep ocean water to become warmer.

edit: the publication linked in the article https://www.pnas.org/doi/epub/10.1073/pnas.2500440122 makes this a bit clearer:

"In the polar Southern Ocean, cold, fresh surface waters overlay warmer, saltier deep waters (Fig. 2A). During winter, surface cooling and sea ice formation reduce stratification, allowing vertical mixing to transport heat upward, either melting sea ice from below or limiting its growth (8). However, decades of surface freshening strengthened stratification, trapping subsurface heat at depth, sustaining expanded sea ice coverage (7, 9) and limiting deep convection along with open-ocean polynyas (10). Here, we show that since 2015, these conditions have reversed: Surface salinity in the polar Southern Ocean has increased, upper-ocean stratification has weakened, sea ice has reached multiple record lows, and open-ocean polynyas have reemerged."

abhijat commented on Ask HN: What are the best books with problem sets that test your understanding?    · Posted by u/jimsojim
abhijat · 5 months ago
It has been a while since I worked through it, but Haskell programming from first principles had some pretty good exercises IIRC.
abhijat commented on Introduction to System Programming in Linux (Early Access)   nostarch.com/introduction... · Posted by u/teleforce
shmerl · 5 months ago
Does it cover some modern Linux features like io_uring?
abhijat · 5 months ago
From the accompanying code repository it looks like no https://github.com/stewartweiss/intro-linux-sys-prog
abhijat commented on Slow is smooth, smooth is fast: Navy SEALs' efficiency secret   navyseal.com/slow-is-smoo... · Posted by u/squircle
bravetraveler · a year ago
It's true for standing still. Do it long enough and loose/easy is obviously the way. There's no grand insights here, this thread is insane.
abhijat · a year ago
The point is that staying relaxed in boxing during sparring or working the heavy bag feels counter-intuitive in the beginning. It seems like tensing up the core and arms would help punch harder, but you quickly learn that conserving stamina is more important than hitting as hard as you can (especially when starting) because otherwise you run out of gas pretty quickly.
abhijat commented on Slow is smooth, smooth is fast: Navy SEALs' efficiency secret   navyseal.com/slow-is-smoo... · Posted by u/squircle
borski · a year ago
This is one of the first really important lessons you learn in Brazilian Jiu Jitsu.

Everyone walks in, day one, and is dumping adrenaline everywhere they look. I mean, the person in front of you is literally engaging you in practicing murder, so I get it. Everyone starts that way. Super tense, super shallow breathing, and everyone wears themselves out in about 30-40 seconds. Of a 6 minute round.

Doesn’t matter if you’re the most insanely buff dude ever, or seriously overweight. The first guy has better conditioning, no doubt… but not this kind of conditioning. One of my favorite things was watching a new guy walk in, looking like he had maybe 7% body fat, 6’2” at least, plays D1 basketball, and is just nothing but stacked muscle… and then him rolling with a 5’6” 130lb woman who just wipes the floor with him, because training matters more than strength, but even more importantly, breathing and staying calm, slow, and smooth matters even more. The basketball player spends the first minute or so using all his strength to try and get this “puny” girl off of him, unable to, and is now completely gassed. Meanwhile she’s tapped him twice and could go for a run.

Eventually, the most important thing you learn is to relax and breathe. Technique eventually comes, through iteration and lots and lots of practice; eventually, things become second nature.

But breathing? Reminding yourself to relax and roll smart, not fast? That I need to remind myself of most days, because again: you’re facing someone practicing killing you. :)

abhijat · a year ago
Being relaxed is important in boxing too, if you don't stay loose and relaxed (other than snapping explosively when throwing a punch), it is easy to get fatigued quickly and also harder to slip or roll.
abhijat commented on Wave activity on Titan strong enough to erode the coastlines of lakes and seas   phys.org/news/2024-06-tit... · Posted by u/wglb
api · a year ago
Titan is actually high on my list of places that could harbor life.

I’m not talking about subsurface water though that’s possible. I mean chemically alien life.

The reason I suspect this is a phenomenon understood in theory of complexity and evolutionary informatics circles called the “edge of chaos.” Oversimplifying a bit you get universal computation in the vicinity of a phase boundary.

Titan is loaded with phase boundaries: solid, liquid, gas, dynamic changes between them, rain, dissolving and crystallizing solids, etc. The solvent is just light hydrocarbons not water.

Life on Titan would be slow and low metabolism compared to us (probably). We should be aware of this likely difference when looking. What looks like minerals, rocks, weird films of chemicals, etc may be alive. We should look for structure, metabolism, isomer preferences, etc.

Of course life on Titan is convinced there could never be life here. The third planet is a literal hell where it rains molten dihydrogen monoxide in an atmosphere of corrosive oxygen. Any life there would vaporize and oxidize instantly.

Rumors of a strange disc shaped object being recovered with material and isotope ratios pointing to the third planet are entirely unfounded, as are rumors of amateur radio enthusiasts picking up signals from there.

abhijat · a year ago
At least we share concepts of hell and amateur radio.
abhijat commented on Anonymous Source Shared Leaked Google Search API Documents   sparktoro.com/blog/an-ano... · Posted by u/andrewfong
eitland · a year ago
As a user of Kagi and search.marginalia.nu I can tell you:

Quite a bit.

So much that now that I have what "everyone" asked Google for for years - that is blacklists - I hardly use them.

Why? Because with Kagi I get much better results out of the box.

I am fairly sure Googlers will tell me there are multiple safeguards to prevent the inclusion of Google ads from affecting ranking, to which I just have to say that the results speak for themselves.

Please note: I have only used Kagi for two years. I am only one user. But I am a user with 20 years of experience with Google and that got to count for something.

abhijat · a year ago
I switched to Kagi in June last year. I just realized I tried it initially because I wanted to try out blocking sites in search results, and I have only ever needed to block three domains.
abhijat commented on Preview of Explore Logs, a new way to browse your logs without writing LogQL   grafana.com/blog/2024/04/... · Posted by u/matryer
ta1243 · a year ago
I'm an old fart so I use things like "cat" and "grep", and maybe "sed" and "cut" if the lines are particularly long.

I have one log file per day per host on my syslog server and can use "sort" to order across multiple files.

Loki was sold to me at fosdem a couple of years ago as this, but I still haven't got round to working it out, seems a very high barrier to entry compared with running cat.

abhijat · a year ago
For analysing text logs lnav is pretty good, if you need to work with a live updated view of the log in response to commands.
abhijat commented on Ask HN: Project based books/courses for C++?    · Posted by u/Shosty123
hnthrowaway0328 · a year ago
Emulator, compiler, these are the two I'd recommend. You can definitely find ample tutorials and books on the two topics, but maybe for other languages. You can easily switch to C++.
abhijat · a year ago
I did this a few years ago by porting the Writing an interpreter book (go) to C++. It was pretty nice for learning.

u/abhijat

KarmaCake day205August 26, 2012
About
github.com/abhijat

mail to: abhijat@abhijat.io

View Original