|
Like many programmers, I have programming hobbies . One of these is implementing new languages. My most recent language project, l1 , was a Lisp dialect whose primary data types are symbols and arbitrarily-large integers. I've been happy with l1, but it is interpreted; since I was actively working on it last (2022), I've been wondering about the best way to generate compiled standalone executable programs, written in l1 or any othe....
|
|
Personal website of Fernando Serboncini - software developer, game creator, and writer from São Paulo, Brazil living in Montreal, Canada.
|
|
Notes on Zero-Knowledge Proofs and Secure Remote Password (SRP) Protocol
-
lambdaland.org
-
1 year ago
-
eng
Today I learned about using zero-knowledge proofs in the context of passwords. These are my rough-and-ready notes from reading. Apparently OpenSSL has an implementation of the SRP algorithm. Math-based ZKP example # Source for this example comes from Wikipedia . It might be good to read that in tandem with these notes. In this example Peggy is the person who wishes to prove knowledge about something to Victor, the verifier....
|
|
Like many programmers, I have programming hobbies . One of these is implementing new languages. My most recent language project, l1 , was a Lisp dialect whose primary data types are symbols and arbitrarily-large integers. I've been happy with l1, but it is interpreted; since I was actively working on it last (2022), I've been wondering about the best way to generate compiled standalone executable programs, written in l1 or any othe....
|
|
Like many programmers, I have programming hobbies . One of these is implementing new languages. My most recent language project, l1 , was a Lisp dialect whose primary data types are symbols and arbitrarily-large integers. I've been happy with l1, but it is interpreted; since I was actively working on it last (2022), I've been wondering about the best way to generate compiled standalone executable programs, written in l1 or any othe....
|
|
Notes on Zero-Knowledge Proofs and Secure Remote Password (SRP) Protocol
-
lambdaland.org
-
1 year ago
-
eng
Today I learned about using zero-knowledge proofs in the context of passwords. These are my rough-and-ready notes from reading. Apparently OpenSSL has an implementation of the SRP algorithm. Math-based ZKP example # Source for this example comes from Wikipedia . It might be good to read that in tandem with these notes. In this example Peggy is the person who wishes to prove knowledge about something to Victor, the verifier....
|
|
How to update multiple records with different values in Ecto.Repo.update_all
-
geekmonkey.org
-
1 year ago
-
eng
I recently ran into a problem where I wanted to update many database records with a single update_all/2. In this particular case, I was dealing with a table that leveraged parent_id to model a basic parent-child hierarchy. id parent_id name 1 NULL root 2 1 child
|
|
Hi! I’m Tuhina Das, and I’m a rising senior in high school. This summer, I interned with the Mobile Team here at BigCommerce. Ever since taking my first coding course at the start of high school, I’ve always had a profound interest in building
|
|
We spent a weekend in Venice 1 a short while ago, and one of the things that caught my attention was the wells in the city’s squares. Is there fresh water underneath that brackish swamp water? Well, no. The water from the wells in Venice is rainwater, collected by an ingenious hydraulic collection system that leveraged the square and surrounding buildings. I learned this and other intriguing tidbits by watching The Crazy Engineering o..
|
|
I got into an interesting discussion on LinkedIn about my previous post, talking about Code Rot . I was asked about Legacy Code defined as code without tests and how I reconcile code rot with having tests. I started to reply there, but it really got out of hand and became its own post. “To me, legacy code is simply code without tests.” Michael Feathers, Working Effectively with Legacy Code I read Working Effectively with Leg....
|
|
Quantiles can represent key operational and business metrics, but the computational challenges associated with inference has hampered their adoption in online experimentation. In a new paper, I present a two-sample difference-in-quantile hypothesis test and confidence interval based on a likelihood-ratio test statistic. It can be computed using only four order statistics from each sample. arXiv link: Likelihood-ratio inference on differenc..
|
|
Quoting Bryan Baun : Capability makes your life simpler. Tolerance, skills, knowledge, and health are always with you, wherever you go. They are assets but they take up no space. They are stored in your body. Some lack capability through no fault of their own, but anyone can increase their capability. It’s an investment that pays dividends every day.
|
An impressionist Frank visits the Side Splitters Comedy Club in Tampa and I attend as my first comedy show documenting my experience.
|
|
I just got back from a month-long break in Cambodia, traveling with my family. I took advantage of the wide-open space with zero work expectations to give me some time to truly reflect on my career so far and what comes next. I’ve had a pretty successful career in tech spanning twenty years that, for the most part, paid off quite well. It’s afforded me a life that I never would have imagined when I was running around barefoot in a trailer p..
|
|
Introduction: Welcome to Episode 12 of our Ultimate Software Design series! In this final installment, Bill guides us through the advanced implementation of transaction management in Go, ensuring robust and consistent data operations within applications. By focusing on middleware integration, Bill provides a comprehensive strategy for handling database transactions, committing successful operations, and rolling back when errors occur. ..
|
Just a friendly DEF CON reminder for all our last minute folks - online registration for DEF CON 32 ends August 1. Cash at the door still works, though. Linecon abides.
|
Philip writes about how small cost saving policies at Microsoft irritated him as an employee: We used to get Dove Bars and beers all the time. It felt like free food was on offer at least once a week, usually with a pretense of some small milestone to celebrate. Why did we cut stuff like this? (I know the boring fiscal reasons why. I’m asking the deeper why , as in, “Was it worth the savings? Is Microsoft better now that we’ve cut thes..
|
|
Philip writes about how small cost saving policies at Microsoft irritated him as an employee: We used to get Dove Bars and beers all the time. It felt like free food was on offer at least once a week, usually with a pretense of some small milestone to celebrate. Why did we cut stuff like this? (I know the boring fiscal reasons why. I’m asking the deeper why , as in, “Was it worth the savings? Is Microsoft better now that we’ve cut thes....
|
|
Philip writes about how small cost saving policies at Microsoft irritated him as an employee: We used to get Dove Bars and beers all the time. It felt like free food was on offer at least once a week, usually with a pretense of some small milestone to celebrate. Why did we cut stuff like this? (I know the boring fiscal reasons why. I’m asking the deeper why , as in, “Was it worth the savings? Is Microsoft better now that we’ve cut thes..
|
|
Table of Contents In this article I’ll show how to use PDLL, a tool for defining MLIR patterns, which itself is built with MLIR. PDLL is intended to be a replacement for defining patterns in tablegen, though there are few public examples of its use. In fact, the main impetus for PDLL is that tablegen makes it difficult to express things like: Operations that return multiple results Operations with regions Operations with variadic operands A..
|
|
Table of Contents In this article I’ll show how to use PDLL, a tool for defining MLIR patterns, which itself is built with MLIR. PDLL is intended to be a replacement for defining patterns in tablegen, though there are few public examples of its use. In fact, the main impetus for PDLL is that tablegen makes it difficult to express things like: Operations that return multiple results Operations with regions Operations with variadic operands A..
|
|
Table of Contents In this article I’ll show how to use PDLL, a tool for defining MLIR patterns, which itself is built with MLIR. PDLL is intended to be a replacement for defining patterns in tablegen, though there are few public examples of its use. In fact, the main impetus for PDLL is that tablegen makes it difficult to express things like: Operations that return multiple results Operations with regions Operations with variadic operands A..
|
|
Hey lainons. What are your thoughts on the new C3 language? It seems to market itself as being an "evolution" of C for C programmers, but honestly, looking at the new ""additions"", the language seems to be yet another weird grab at trying to fix something that isn't really broken. In my opinion, many of the changes (such as non-mandatory header files and generics) are unnecessary at best and genuinely bothersome at worst. All in al..
|
|
curl is one of those great utilities that’s been around seemingly forever and has endless use cases. These days I find myself using curl to batch download files and test APIs. Sometimes my testing leads me to using different HTTP headers in my requests. To add a header to a curl request, use the -H […] The post How to Add a Header to a curl Request appeared first on David Walsh Blog .
|
|
curl is one of those great utilities that’s been around seemingly forever and has endless use cases. These days I find myself using curl to batch download files and test APIs. Sometimes my testing leads me to using different HTTP headers in my requests. To add a header to a curl request, use the -H […] The post How to Add a Header to a curl Request appeared first on David Walsh Blog .
|
|
Leaving this here mostly for me, but short instructions on how to change Chrome’s “typeahead” predictors if it remembers the “wrong” one.
|
|
Leaving this here mostly for me, but short instructions on how to change Chrome’s “typeahead” predictors if it remembers the “wrong” one.
|
|
Fractional Reserve Bullying (Issue #175) 2024-08-03 12:45:00 +07:00 by Mark Smith This week’s newsletter is out! In this week’s edition: Useful info about UBI, China vs US in power, fun politics, the stablecoins & treasuries end game, macro analysis, well balanced double acts, a side order of techno and of course aliens Issue details: Title: Fractional Reserve Bullying Issue: 175 Page: issue webpage Another awesome iss..
|
|
Maybe you haven’t noticed it, but this blog is a bit different now, this because the ‘engine’ behind it, now it’s Hugo instead of Jekyll . But before getting into the details, an important disclaimer: I absolutely don’t have in-depth knowledge of the web development. Surely some expert will notice that what I wrote could have been done better and/or in some other way, but now I have already done all in this way, but if you have suggest..
|
|
Maybe you haven’t noticed it, but this blog is a bit different now, this because the ‘engine’ behind it, now it’s Hugo instead of Jekyll . But before getting into the details, an important disclaimer: I absolutely don’t have in-depth knowledge of the web development. Surely some expert will notice that what I wrote could have been done better and/or in some other way, but now I have already done all in this way, but if you have suggest..
|
|
I’ve been upstreaming a bit of my compiler work to the MLIR project. Yesterday, I merged in a tutorial on mlir-opt, the main debugging tool for running passes on MLIR code. This is roughly the upstreamable parts of my first MLIR tutorial entry, MLIR — Running and Testing a Lowering. Mehdi Amini also provided a lot of useful information during review that taught me some stuff I didn’t know about the tool.
|
|
I’ve been upstreaming a bit of my compiler work to the MLIR project. Yesterday, I merged in a tutorial on mlir-opt, the main debugging tool for running passes on MLIR code. This is roughly the upstreamable parts of my first MLIR tutorial entry, MLIR — Running and Testing a Lowering. Mehdi Amini also provided a lot of useful information during review that taught me some stuff I didn’t know about the tool.
|
|
I’ve been upstreaming a bit of my compiler work to the MLIR project. Yesterday, I merged in a tutorial on mlir-opt, the main debugging tool for running passes on MLIR code. This is roughly the upstreamable parts of my first MLIR tutorial entry, MLIR — Running and Testing a Lowering. Mehdi Amini also provided a lot of useful information during review that taught me some stuff I didn’t know about the tool.
|
|
How do you integrate GraphQL into your Python web development? How about quickly building graph-based APIs inside Django's battery-included framework? Christopher Trudeau is back on the show this week, bringing another batch of PyCoder's Weekly articles and projects.
|
|
A gallery of studies and finished pieces across pen and ink, charcoal, watercolor, graphite, and digital work, organized by series with a full-screen lightbox.
|