This is the third and penultimate post in a series about theoretical weaknesses in Fiat-Shamir as applied to proof systems. The first post is here, the second post is here, and you should probably read them. Over the past two posts I’ve given a bit of background on four subjects: (1) interactive proof systems (for … Continue reading How to prove false statements? (Part 3) →
|
|
Today includes a review of the book “The Goal”, how complicated a calculator app really is and an illustration using a washing machine of how the unexpected can throw a spanner in any estimates.
|
|
Today includes a review of the book “The Goal”, how complicated a calculator app really is and an illustration using a washing machine of how the unexpected can throw a spanner in any estimates.
|
|
Lokesh Khurana: How Google Chrome’s autofill feature helps both shoppers and merchants
-
paul.kinlan.me
-
1 year ago
-
eng
Link: How Google Chrome’s autofill feature helps both shoppers and merchants One of Shopify’s key metrics is Checkout Conversion Rate (CCR), which measures the rate of successful checkouts completed over a period of time. Through testing, Shopify found that removing unnecessary steps led to more customers completing their checkouts. Guest checkouts using autofill had a 45% higher CCR than guest checkouts without autofill. Basically, the cus..
|
|
Lokesh Khurana: How Google Chrome’s autofill feature helps both shoppers and merchants
-
paul.kinlan.me
-
1 year ago
-
eng
Link: How Google Chrome’s autofill feature helps both shoppers and merchants One of Shopify’s key metrics is Checkout Conversion Rate (CCR), which measures the rate of successful checkouts completed over a period of time. Through testing, Shopify found that removing unnecessary steps led to more customers completing their checkouts. Guest checkouts using autofill had a 45% higher CCR than guest checkouts without autofill. Basically, the cus..
|
|
Link: Interop 2025: another year of web platform improvements It's exciting to see the web platform continue to evolve and improve. Interop along with Baseline are aimed to solve some of the top challenges that developers have when building for the web. Ultimately we only make progress as a platform when the major user-agents make shared and consistent progress on the platform and this has been a huge effort from the teams at Google, Micros..
|
|
Link: Interop 2025: another year of web platform improvements It's exciting to see the web platform continue to evolve and improve. Interop along with Baseline are aimed to solve some of the top challenges that developers have when building for the web. Ultimately we only make progress as a platform when the major user-agents make shared and consistent progress on the platform and this has been a huge effort from the teams at Google, Micros..
|
|
I have been asked numerous times to write a small application to solve a specific problem for someone.
|
|
I have been asked numerous times to write a small application to solve a specific problem for someone.
|
|
Discover why removing dead code is essential for maintainable software, better debugging, and team productivity. Learn practical strategies for identifying and eliminating unused code.
|
|
Systematically Terraforming a Brownfield of Cloud Infrastructure
-
www.evalapply.org
-
1 year ago
-
eng
Some thinking, trade-offs, theory building, and method-making one might ended up doing, in the course of bringing Infrastructure as Code (IaC) discipline to brownfield (and greenfield) services, at a small regulated fintech company, having a smaller engineering team that serves several business units, including one of India's largest national tax gateways. Only somewhat easier than reading a long compound sentence without pausing for breath..
|
|
Tyra Kleen - Constant Searcher exhibition. And a philosophy seminar on the declaration of art.
-
liza.io
-
1 year ago
-
eng
Last week I went to the Uppsala Konstumseum to view their Tyra Kleen exhibition and listen to a conversation about her art. My favorites of her pieces combined the exploration of humanity, myth, and spirit. I loved her pencil, graphite, and ink most of all.
|
|
Yes, you read that right. I’m a prolific open-source influencer now. Some years ago I set up a Google Alert with my name, for fun. Who knows what it might show one day? On 7th of February, it fired an alert. Ooh! Turns out that my thoughts on Ubuntu were somewhat popular, and it ended up being ingested by an AI slop generator over at Fudzilla, with no links back to the source or anything. 1 Not only that, but the....
|
|
A wide variety today covering strong opinions, idea and growth mazes and getting sofas around corners.
|
|
A wide variety today covering strong opinions, idea and growth mazes and getting sofas around corners.
|
|
Heroku Introduces New Partner Resources to Empower Salesforce Consultants
-
www.heroku.com
-
1 year ago
-
eng
Heroku has announced exciting updates that will help Salesforce Consulting Partners expand their offerings, deepen their expertise, and deliver pro-code solutions to their customers. The updates are designed to accelerate the adoption and successful implementation of Heroku for our customers. These changes make it easy for customers to identify Consultants with Heroku expertise who can […] The post Heroku Introduces New Partner Resources..
|
|
Link: WikiTok This is such an amazing site and has become a bit of a daily habit for me. It's a brilliantly simple idea that means I'm browsing more of Wikipedia than I ever have before. I built a similar demo a while ago using the now-defunct Portals API because I want to explore what a Web Browser could be if it had a UI like TikTok. My hypothesis was that while links are amazing, what is behind them is hidden, and worse (imo) it's behind..
|
|
Link: WikiTok This is such an amazing site and has become a bit of a daily habit for me. It's a brilliantly simple idea that means I'm browsing more of Wikipedia than I ever have before. I built a similar demo a while ago using the now-defunct Portals API because I want to explore what a Web Browser could be if it had a UI like TikTok. My hypothesis was that while links are amazing, what is behind them is hidden, and worse (imo) it's behind..
|
|
It may come as no surprise to the people who get emails from me, but I failed GCSE English. I loved reading, but I struggled to articulate my thoughts clearly and I struggled with basic grammar. It wasn't until I was 20 that I could explain a verb and a noun.... A good friend read my final year dissertation about Fraud Detection and his main comment was: "Did you learn how to use a semi-colon?
|
|
It may come as no surprise to the people who get emails from me, but I failed GCSE English. I loved reading, but I struggled to articulate my thoughts clearly and I struggled with basic grammar. It wasn't until I was 20 that I could explain a verb and a noun.... A good friend read my final year dissertation about Fraud Detection and his main comment was: "Did you learn how to use a semi-colon?
|
|
Addy Osmani: Why I use Cline for AI Engineering - by Addy Osmani
-
paul.kinlan.me
-
1 year ago
-
eng
Link: Why I use Cline for AI Engineering - by Addy Osmani In this post Addy describes his use of Cline (Jan 30). It was the first time I'd heard of it. I was kinda surprised because I've been on top of tooling for a while now. For the longest time I'd been using Replit, it had a nice flow to it. I could ask it to help me solve a problem and it would just apply the code to the project.
|
|
Addy Osmani: Why I use Cline for AI Engineering - by Addy Osmani
-
paul.kinlan.me
-
1 year ago
-
eng
Link: Why I use Cline for AI Engineering - by Addy Osmani In this post Addy describes his use of Cline (Jan 30). It was the first time I'd heard of it. I was kinda surprised because I've been on top of tooling for a while now. For the longest time I'd been using Replit, it had a nice flow to it. I could ask it to help me solve a problem and it would just apply the code to the project.
|
|
Today I found myself debugging a mysterious log message flooding the output of a small tool I have built to make the life of my colleagues easier. The full message was: SDK 2025 / 02 / 17 16 : 36 : 44 WARN Response has no supported checksum . Not validating response payload . Searching Googling “Response has no supported checksum. Not validating response payload.” revealed a shockingly low n..
|
|
Gradio Client Most people in the AI-sphere (Deep Learning, LLM’s) are aware of the Gradio project (now under the huggingface umbrella). Tip Gradio in short Gradio is a simple Machine Learning App framework that provides easy components and reactivity. See for yourself: import gradio as gr def greet(name): return "Hello " + name + "!" demo = gr.Interface(fn = greet, inputs = "te....
|
|
Marimo Marimo is the “new” kid on the block. Based on what Marimo tries to achieve you can’t help yourself but comparing it too other frameworks such as Gradio, Jupyter, Streamlit, Solara & Panel . Note A multitude of options The fact that there’s a plethora of options to build WASM apps/tools and “ literate programming” through notebook-style is nothing short of amazing We’re in for a great time! Drawback? ....
|
|
Gradio Client Most people in the AI-sphere (Deep Learning, LLM’s) are aware of the Gradio project (now under the huggingface umbrella). Tip Gradio in short Gradio is a simple Machine Learning App framework that provides easy components and reactivity. See for yourself: import gradio as gr def greet(name): return "Hello " + name + "!" demo = gr.Interface(fn = greet, inputs = "te....
|
|
Marimo Marimo is the “new” kid on the block. Based on what Marimo tries to achieve you can’t help yourself but comparing it too other frameworks such as Gradio, Jupyter, Streamlit, Solara & Panel . Note A multitude of options The fact that there’s a plethora of options to build WASM apps/tools and “ literate programming” through notebook-style is nothing short of amazing We’re in for a great time! Drawback? ....
|
|
Kotlin is one of the most expressive multi-paradigm programming languages I've encountered. Much like Java, a robust set of collections is built into the standard library, and it in fact improves upon Java by supporting covariance, contravariance, and invariance for generic collections. It's both concise and embraces functional programming, which makes it especially good for Leetcode interviews where every second on the clock matters. ..
|
|
I've noticed something horrifying within myself recently. I'm addicted to seeking things. I feel like goals do not matter anymore. Because once I achieve something, I suddenly feel down and depressed. What I enjoy is seeking -the whole process until the end, but not the end itself. Why do I find this horrifying, tho? Because I have big dreams I want to achieve. But what if they also end up like other dreams/plans of mine? No matter wha....
|
|
If you want to build AI products, you need to use Python.” I hear this a lot, and it’s wrong. I get why people think it- software engineers have been trained to lean into open-source tooling, and the AI ecosystem is undoubtably strongest in Python. But if you don’t already use Python, switching languages for the ecosystem is likely a bad call. Not only is that ecosystem less mature than it seems (who genuinely has enough experience to b....
|
|
Leveraging WSL2 for Systems & Cloud Administration, Cybersecurity, and Software Development
-
jasoneckert.github.io
-
1 year ago
-
eng
There’s quite a bit going on in the Windows 11 desktop pic shown at the top of this post. To see the details, you can pinch zoom the pic if you are on a phone or touchscreen device, or right-click the pic and choose to open it in a new browser tab if you are on a desktop computer.
|