HN user

k4rtik

342 karma

Programming Languages, Systems, Concurrency & Distributed Systems, Software Engineering.

CSE at NIT Calicut (2013)

CS (ScM) at Brown University (2017)

CS (PhD) at UChicago (2023)

http://techglider.in

[ my public key: https://keybase.io/k4rtik; my proof: https://keybase.io/k4rtik/sigs/Cbc7hRfxSyp5hD88_JsetWbUPGXaX3Nzw33jxjcNKuY ]

Posts32
Comments15
View on HN
www.sigarch.org 8y ago

Follow-Up to the Unreasonable Ineffectiveness of ML in Computer Systems Research

k4rtik
3pts0
blog.cleancoder.com 8y ago

Drive me to Toronto, Hal

k4rtik
2pts0
jaseemabid.github.io 9y ago

Lessons learned building a toy compiler

k4rtik
101pts22
lwn.net 9y ago

Assembling the history of Unix

k4rtik
9pts1
www.quora.com 9y ago

Alan Kay on What was it like to be at Xerox PARC when Steve Jobs visited?

k4rtik
32pts21
existentialtype.wordpress.com 9y ago

Modules Matter Most (2011)

k4rtik
1pts0
queue.acm.org 9y ago

The Soft Side of Software

k4rtik
102pts25
zedshaw.com 9y ago

Copying and Repetition

k4rtik
2pts0
www.youtube.com 9y ago

What is the Iron Man suit made of? Could it be Lego? [video]

k4rtik
2pts0
www.sigarch.org 9y ago

The Unreasonable Ineffectiveness of ML in Computer Systems Research

k4rtik
2pts0
emptysqua.re 9y ago

The Noisiest Block in the Neighborhood: Analyzing NYC Data with Mongolite

k4rtik
2pts0
software.intel.com 9y ago

The Schiaparelli Lesson – Unusual and Faulty Conditions

k4rtik
1pts0
www.redox-os.org 9y ago

Rust is Software's Salvation

k4rtik
128pts172
gustedt.wordpress.com 9y ago

Modern C is now feature complete

k4rtik
127pts1
martinfowler.com 9y ago

The Thrilling Adventures of Lovelace and Babbage

k4rtik
2pts0
techcrunch.com 9y ago

Google and Facebook ban fake news sites from their advertising networks

k4rtik
3pts0
blog.regehr.org 9y ago

Race Condition vs. Data Race (2011)

k4rtik
2pts0
wozniak.ca 9y ago

Mainframes as a lifestyle choice

k4rtik
113pts44
csrankings.org 10y ago

Computer Science Rankings

k4rtik
4pts1
blog.plover.com 10y ago

How to recover lost files added to Git but not committed

k4rtik
5pts0
marcoarena.wordpress.com 10y ago

C++ in Competitive Programming: warmup

k4rtik
1pts0
cacm.acm.org 10y ago

How SysAdmins Devalue Themselves

k4rtik
3pts3
www.ncameron.org 10y ago

Macros

k4rtik
3pts1
geometeer.com 11y ago

The Joy of Ignorance

k4rtik
2pts0
grodola.blogspot.com 11y ago

psutil 3.0 is out

k4rtik
2pts0
cacm.acm.org 11y ago

Turing Lecture: The Computer Science of Concurrency – The Early Years

k4rtik
63pts5
cacm.acm.org 11y ago

The Computer Science of Concurrency: The Early Years

k4rtik
7pts0
www.huffingtonpost.in 11y ago

Meet the Modi-inspired Coder from Kerala Who Runs the Indian Pirate Bay

k4rtik
1pts0
www.pr.com 12y ago

The Safest Place for Your Thoughts – Online Diary Monkkee

k4rtik
1pts0
abstrusegoose.com 13y ago

The Story of the Cheese Maze

k4rtik
1pts0

Is it inflating the results shown on Wi-Fi?

I am on a MacBook Air Early 2014 and my current link speed is 144 Mbit/s according to Network Utility, but fast.com shows between 210 to 230 Mbps on each run.

Speedtest.net results are consistent as before at ~38 Mpbs, which is what I would expect from the routers around me.

User for >4 years. Absolutely love the nifty little tool. But I hated opening up a terminal each time I wanted to initiate a download.

For PopClip[1] users on Mac, I made a little YouTube-dl extension[2] which lets you initiate the download just by selecting the video URL (best when done from browser's address bar) and clicking a button. Been using it as my primary ytdl client for past 5 months now.

[1] https://pilotmoon.com/popclip/

[2] https://github.com/k4rtik/popclip-ytdl

Macros 11 years ago

Served as Macros 101 for me (apart from C macros, that is). Thanks Nick.

It doesn't matter what value is returned by a read that overlaps a write. The algorithm is correct even if reading a number while it is changing from 9 to 10 obtains the value 2496.

There are two variables involved in the bakery algorithm[1] -- choosing[k] and number[k]:

- choosing[k] takes only the two values 0 & 1, hence reading/writing to it is atomic.

- number[k] is boundless, hence the question of inconsistency while reading it. Lamport shows (see Assertion 2's Proof in [1]) that given,

  1. tL2 < tL3 (on process i), and
  2. te < tw < tc (on process k),
(in the non-trivial case) tc can only occur before tL2 (tc < tL2) => tw < tL3, that is process i reads the current value of number[k]. See, no overlap! "The bakery algorithm is correct as long as reading a number returns the correct value if the number is not concurrently being written".

I think it is much easier to understand with the two-arrow formalism presented later in the article.

[1] http://msr-waypoint.com/en-us/um/people/lamport/pubs/bakery....

> We have some outdated courses, we don't have the freedom to choose courses, etc.

I disagree. I have just finished (few weeks back) my BTech from an NIT and can at least vouch for my CS education and those from some other respectable NITs. We had a great amount of freedom in choosing the courses and had some of the best faculty to learn from.

Generalizing the education in India to this extent certainly paints a wrong picture. I agree that there are only a few institutes which are good, but they are surely not limited to just IITs and IISc.