HNHacker News
TopNewBestAskShowJobs

agbell

1 karma · joined September 1, 2023

submissionscomments
agbell··on How to Man in the Middle HTTPS Using Mitmproxy
Very cool. I'll check it out! It does look easier to setup. Does it work the same way? By adding a trusted CA into the keychain list?

The docker use-case is tricky, as images are immutable so you have to basically create a new image with the cert in place.

agbell··on How to Man in the Middle HTTPS Using Mitmproxy
Author here.

MITMProxy is a tool I reach for when I need to know what requests and responses something is making.

I was introduced to it when tracing bugs between a docker client and non-api conforming docker registry. But since then I find myself reaching for it whenever I want to see the https requests something I am running is making. It's a bit of a pain to the CA, so I thought I would document the steps, including how to man in the middle requests of a docker container you are running.

I know some people reach for Wireshark to look at network requests, but I've never really mastered Wireshark. mitmproxy has a very intuitive UI and is excellant if you just interested in http and https requests.

agbell··on Reinforcement Learning at Facebook
Thanks!

My understanding is they are looking at page management activity and whether it increases above what they would expect if they didn't notify.

Some of the details are covered in the paper [1]

>The Markov Decision Process (MDP) is based on a sequence of notification candidates for a particular person. The actions here are sending and dropping the notification, and the state describes a set of features about the person and the notification candidate. There are rewards for interactions and activity on Facebook, with a penalty for sending the notification to control the volume of notifications sent. The policy optimizes for the long term value and is able to capture incremental effects of sending the notification by comparing the Q-values of the send and drop action

> The training data spans multiple weeks to enable the RL model to capture page admins’ responses and interactions to the notifications with their managed pages over a long term horizon. The accumulated discounted rewards collected in the training allow the model to identify page admins with longterm intent to stay active with the help of being notified.

[1] https://arxiv.org/pdf/1811.00260.pdf

agbell··on Reinforcement Learning at Facebook
Bandits being reinforcement makes sense! Thank you, if you are looking for a recommendation "Software That Doesn't Suck" is a personal fav: https://corecursive.com/software-that-doesnt-suck-with-jim-b...
agbell··on Reinforcement Learning at Facebook
Thanks for reading or listening to the episode!

I think that is the hardest question, what to optimize for. Jason mentions that facebook employs social scientists who help set what the value is they are optimizing for.

> I don’t work on the social science part of it. We try to optimize and we do it on good faith that the goals we’re optimizing for are good faith goals. But I’ve been in enough of the meetings to see the intent is really a good intent. It’s just a thing that’s very difficult to quantify.

> But I do think that the intent is to provide that value. And I do think that they would trade some of the margin for the value in a heartbeat.

agbell··on Reinforcement Learning at Facebook
Isn't multi-armed bandit a simple reinforcement learning algo? It is used in reagent's introductory tutorial: https://reagent.ai/rasp_tutorial.html

Replying here to sibling: Thank you for the feedback. I think it is fair to say this interview does not explore in depth the issues that these techniques can cause and it certainly only presents one side. I think the recommendation to get more than one perspective is a good one.

Let me know if there is anyone specific you recommend I talk to.

agbell··on Reinforcement Learning at Facebook
I know very little about ML, being just the host, but I think 'explore vs exploit' trade off that Jason mentions sounds like an improvement on pure 'exploit'. Explore is finding new interests and not just exploiting existing ones.

I think you are correct to have concerns around optimizing for pure engagement though. These algos are giant optimizing machines. What should we be asking them to optimize? That seems like an important question that was only vaguely touched on in this discussion.

agbell··on Reinforcement Learning at Facebook
Interviewer here. Happy to answer any questions or take any feedback about the episode.

Jason Gauci joined facebook to try to solve some problems with the newsfeed using reinforcement learning. He originally got into ML via training bots to play capture the flag. What he ended up creating is open source [1].

[1]: https://reagent.ai/

agbell··on Improving Testing and Continuous Integration in Phoenix
I worked on this change and am happy to answer any questions about how the build was structured. Elixir and the Phoenix Framework are pretty interesting projects.
agbell··on Idris 2 version 0.3.0
For anyone wondering if the Idris book works with v2, I found this [0]. Some code examples in the book need adjustment to work in Idris 2. The Book is great fun.

https://idris2.readthedocs.io/en/latest/typedd/typedd.html#t...

agbell··on Show HN: DevBooks – Help Developers find indy books
Great list! I wish there were a term like novella for non-fiction.

Many of these, I suspect are not book length but more essay or novella length (< 30,000 words ).

That is fine, I don't need people to pad out a book, but I'd like to understand the length a bit before hand.

agbell··on Jim Keller moves to AI chip startup
I think you are right about Lex and also thanks for the compliment!

Even if you know about branch prediction, then asking the guest to explain it, maybe even pretending not to know about it, is a great way to have concepts introduced and make things more approachable.

Lex wouldn't be as popular as he was if he didn't have a good sense for the level of knowledge his ideal listener has about the subject.

agbell··on How I Collected a Debt from an Unscrupulous Merchant
Isn't he doing good by working so hard for $80. He is effectively discouraging this behaviour in the future by this company and by others. People get away at this behaviour because the harm is distributed and benefits accrue just to them.
agbell··on Open-source paved the way for today’s remote software development processes
The Bell Labs folks had phone lines to their homes, so they could have terminal access from home I believe. Or at least I think Brian Kernighan mentioned he did.
agbell··on The Birth of Unix with Brian Kernighan
Thats a terrific story! Another interesting thing is that they were often working on very practical problems, grounded to the real world. The second unix system, the PDP 11 machine was being used for patent applications, so they had to build text processing tools and also be very careful not to break anything that the patent clerks needed. I think this combination was the key, smart people and practical problems.
agbell··on The Birth of Unix with Brian Kernighan
Thats a great story! thanks for sharing
agbell··on The Birth of Unix with Brian Kernighan
I had this same problem. I does work on the kindle app for desktop. Funny thing about the book, it was made using troff, one of the original unix utilities.
agbell··on The Birth of Unix with Brian Kernighan
If you have any future topic or guest suggestions let me know.
agbell··on The Birth of Unix with Brian Kernighan
That makes sense. Part of my process is having people listen through to the interview and let me know where they get confused. Then I add in explanations there. The explanations mean people don't get lost if they don't know what punch cards are or fortan for instance.

I also think there are many straight interview podcasts and I'm trying to do something different.

agbell··on The Birth of Unix with Brian Kernighan
Oh, I would love to interview him as well! Great idea, if anyone has a connection to him let me know.

I spend way too much time lurking on hacker news so having this show up here is both exciting and frightening for me ... be careful what you wish for.

agbell··on The Birth of Unix with Brian Kernighan
Oh, I'm sorry you didn't like the format. Thanks for giving it a listen anyhow.
agbell··on The Birth of Unix with Brian Kernighan
Thanks for submitting this. I did the interview. I think you have to listen to it to get the full experience. But here are some things that were interesting and surprising from the interview:

The UNIX room - The unix room at bell labs was a shared room where they would hang out and have coffee. Some people worked exclusively in the UNIX room, like Ken Thompson, but most worked in their private offices and came to the UNIX room to share what they worked on and have a coffee and catch up. This room was the culture center of the computing group at Bell Labs.

Because they were all sharing a file system on a single machine, it was easy for various people to iterate on programs. They only had one rule which was if you changed the program last, you were the owner. In some ways, it mirrors how open source works today.

Brian is super modest and claims to be a horrible programmer but he is comparing himself to Ken Thompson, who he thinks is just incredible. Ken once wrote a disassembler, assembler and B interpreter for a mini-computer that ran a printer they were struggling with, in a couple of days, so that they could get it printing again. This blew Brian's mind.

At the time, Brian didn't think that the work they were doing was 'important' in a big sense. The culture was more like working with computers is hard, let's try to make it better and lets try to solve practical problems.

The book "Unix: A History and a Memoir" has many other great details.

agbell··on Anu: A sound, distributed version control systema
Yep, here it is: https://corecursive.com/software-that-doesnt-suck-with-jim-b...
agbell··on Anu: A sound, distributed version control systema
When I interviewed Jim Blandy, the creator of Subversion, he said one of his mistakes was trying to be clever with merges. In Git a merge is whatever you say it is and that is actually probably the flexibility that people what.

Is that where the innovation is here, Darcs style patch sets?

agbell··on How to deal with extreme physical pain
Scott was a huge inspiration for me when I was a .net developer. I've recently become reacquainted with his work and his youtube computer explainers are great. Its sad to see him debilitated like this.
agbell··on Ask HN: Which Software Engineering podcasts would you recommend?
Thanks you for sharing uhryks! It always makes my day when I see people saying nice things about the podcast!
agbell··on Introduction to the Zettelkasten Method
I think it depends what your goal is. The 'How to take smart notes' book is specifically about taking research notes for academia or at the very least non-fiction writing.

Zettelkasten Method can make a lot of sense in contexts like that. If you are writing a weekly blog, keep building notes up and polishing parts of them for the blog. Then your note taking process is in fact your blog writing process, but a bit more procedurally free form.

agbell··on Comparison of Kubernetes Ingress Controllers
yeah, I've seen a couple great articles about using it for local development. I haven't tried this myself, Traefik is new to me. Here is one potential setup https://www.codementor.io/@slavko/unobtrusive-local-developm...
agbell··on Original Soviet Tetris on Big Iron How To (2017)
Hi elvis70, I'm working on something pdp11 related. I'd love your feedback. My email is on my profile.
agbell··on Strong humming for one hour daily to terminate chronic rhinosinusitis (2006)
spelling mistake. I added a YouTube link. Its sort of like humming and blowing a raspberry.
← PreviousPage 5 of 10Next →