|
Anyone know of an approachable proof of the Caratheodory-Fejer theorem?
-
www.jeremykun.com
-
1 year ago
-
eng
A colleague of mine recently lent a hand implementing a polynomial approximation routine I could port to our compiler, though it wasn’t the method I was expecting. As I had written about previously, I was studying the Remez algorithm and implementing a prototype in Python. Remez approximation involves an iterated loop that alternates between root-finding and linear-system solving, and as such it can be rather brittle and difficult. Numerica..
|
|
Anyone know of an approachable proof of the Caratheodory-Fejer theorem?
-
www.jeremykun.com
-
1 year ago
-
eng
A colleague of mine recently lent a hand implementing a polynomial approximation routine I could port to our compiler, though it wasn’t the method I was expecting. As I had written about previously, I was studying the Remez algorithm and implementing a prototype in Python. Remez approximation involves an iterated loop that alternates between root-finding and linear-system solving, and as such it can be rather brittle and difficult. Numerica..
|
|
Brent Miller: In April we would announce what we were doing for the conference in October... the year before Upscale we got zero done, which was just a terrible situation for us to be in. ...We started working on [Upscale] in the fall after the whiff on our conference, knowing we were going to roll it out in the spring—probably after we made the commitments for the fall—and we were going to have to do the organizational transformation....
|
|
It’s been nearly four years since I published Parsing Protobuf at 2+GB/s: How I Learned To Love Tail Calls in C . In that article, I presented a technique I co-developed for how to write really fast interpreters through the use of tail calls and the musttail attribute. While the article focused on Protocol Buffer parsers, the technique applies to many kinds of parsers and VM interpreters. I published the article in the hopes that the te....
|
|
Although first introduced in 2014, the Context package remains a crucial component of Go programming, enabling efficient management of request-scoped data, deadlines, and cancellation signals. As the Go ecosystem continues to evolve, understanding the Context package’s semantics is vital for developing reliable and maintainable software. This blogpost provides an in-depth exploration of the Context package’s semantics, highlighting best pra..
|
|
TL;DR : github.com/PriceChild/terraform-incus-oci-image-updating will update docker/oci images when applying. I deploy to Incus containers and take advantage of it's support for OCI (Docker) images to avoid running Docker as well. I deploy using tofu/terraform and the incus provider which seems to have a small drawback around keeping images updated.
|
|
This recent AI madness is insane. It feels like every hour, there's a new LLM, an AI model, a fork of AI, an AI tool, or an AI-supported website. The same applies to web development as well—there are tons of frameworks, libraries, tools, and other things I can’t even remember by heart. Every day, there's something new. How the hell are we, as humans, supposed to keep up with this pace? To be honest, I was really excited about these innova....
|
|
Today I attended a mini-hackathon via SDx. I attended to solo work on some arkaine agents and to be present as a mentor/advisory role for other attendees. It was a short 6 hour affair, mainly focused on playing with the new OpenAI o3-mini. It also helps to be inspired by seeing other people creatively applying AI to a quick weekend project. I ended up building a great prototype of a research agent - the original goal of arkaine for myself.
|
|
Unit testing is awesome . It helps you catch bugs early by ensuring all of the components of your program work as expected. Note: This guide is targeted towards experts who have advanced knowledge of ComputerCraft and know a few things about unit tests. Experience with unit tests in another language is helpful too, but isn’t required. CC: Tweaked contains a little-known unit testing framework called McFly , which describes itself..
|
|
I never used Twitter (I guess that’s the Zoomer side of the Zillenial in me), but since signing up for Bluesky, I’ve been pleasantly surprised with the quality of content. Their starter pack feature makes it easier than ever to get high quality posts delivered straight to your news feed. Also their “domain name as handle” feature is pretty nifty for those of us who feel it’s important to have their own space on the web. Plus you can ..
|
This week I attended the Jfokus software development conference in Stockholm, Sweden. I first went in 2011, and I have been back many times through the years. The conference has a Java focus (duh!), but many talks cover general topics … Continue reading →
|
|
Most PG&E ratepayers don't understand how much higher the rates they pay are than what it actually costs PG&E to generate and transmit the electricity to their house. When I looked into this recently I was shocked. The average PG&E electricity charge now starts at 40 cents per kilowatt hour and goes up from there. […]
|
|
Are you looking for fast tools to lint your code and manage your projects? How is the Rust programming language being used to speed up Python tools? This week on the show, we speak with Charlie Marsh about his company, Astral, and their tools, uv and Ruff.
|
|
Back in 2020, when I worked in the supply chain side of Google, I had a fun and impactful side project related to human-level explanations of linear programs. A linear program is a mathematical model that defines some number of variables, linear constraints, and a linear objective function. When some variables are forced to be integer (ILPs), you can solve a lot of useful problems like scheduling, routing, and packing. That’s basically how ..
|
|
Back in 2020, when I worked in the supply chain side of Google, I had a fun and impactful side project related to human-level explanations of linear programs. A linear program is a mathematical model that defines some number of variables, linear constraints, and a linear objective function. When some variables are forced to be integer (ILPs), you can solve a lot of useful problems like scheduling, routing, and packing. That’s basically how ..
|
|
Back in 2020, when I worked in the supply chain side of Google, I had a fun and impactful side project related to human-level explanations of linear programs. A linear program is a mathematical model that defines some number of variables, linear constraints, and a linear objective function. When some variables are forced to be integer (ILPs), you can solve a lot of useful problems like scheduling, routing, and packing. That’s basically how ..
|
In this article, I share my personal mental model of how LLMs affect software engineers at different levels, and why this leads to both excitement and scepticism.
|
|
Dear RocksDB Community, We want to share an update about the bug that allowed our bug bounty researcher to update the release note title in August 2024 involving the RocksDB open-source repository on GitHub. This issue was found and responsibly disclosed to us by an external bug bounty researcher through our Meta Bug Bounty program and quickly mitigated by our teams. We have not seen any evidence of malicious exploitation. Please note t....
|
|
When Czech President Petr Pavel traveled to the United States, our Product Manager, Jaroslav Polacek, was part of the official delegation. He presented MapTiler to various audiences, strengthened business connections, and helped establish our presence.
|
https://gist.github.com/mbutler/24ba7d2b46d21aa0cef9aa760da9126d Zalvek the Cipher is an experiment in creating self-contained, cryptographic game characters that exist entirely within a single HTML file. It follows directly from earlier work like charm.farm, continuing an interest in characters and systems that are portable, inspectable, and self-contained. There is no backend, no account system, and no external verification. Everything th..
|
|
Consolidate Security Findings with Snyk and Google Security Command Center
-
snyk.io
-
1 year ago
-
eng
Snyk’s integration with Google Cloud Security Command Center (SCC) enables CISOs and security teams to monitor and manage AppSec vulnerabilities and misconfigurations from Snyk alongside cloud security issues from Google Cloud, all within a single pane of glass.
|
|
The ModRetro Chromatic arrived with a bold claim: to be the ultimate tribute to Nintendo’s Game Boy. Built with premium materials - a synthetic sapphire screen cover, magnesium-aluminum alloy shell, and PBT buttons - it delivers on that promise. But for those of us deep in the retro gaming world, there’s always room for more. After preordering the limited Midnight edition and later adding a GameStop unit for multiplayer, I began exploring w..
|
|
LaTeX is a powerful typesetting system hamstrung by a few decades-old decisions and some… ahem… questionable design decisions. Nevertheless, its ability to typeset technical documents remains unmatched, and it enjoys wide support across STEM fields. Learning LaTeX is a worthy use of your time, if you intend to pursue a career in science. This is meant as a short and simple how-to guide for learning LaTeX. It is not meant to be comprehen....
|
|
LaTeX is a powerful typesetting system hamstrung by a few decades-old decisions and some… ahem… questionable design decisions. Nevertheless, its ability to typeset technical documents remains unmatched, and it enjoys wide support across STEM fields. Learning LaTeX is a worthy use of your time, if you intend to pursue a career in science. This is meant as a short and simple how-to guide for learning LaTeX. It is not meant to be comprehen....
|
|
The other day I went to a really interesting talk by Carl Öhman (Uppsala University) about applying religious critique to AI.
|
|
Here’s an ingenious set of hacks to cheaply modify the behavior of existing LLMs to reason better. Most notably was the detecting the initial use of the </think> tag and instead replacing it with a second-guessing term (best performing was “Wait”). This forced the model to think longer, which in turn improved performance on tasks significantly. I’ll likely be doing a deeper dive for my upcoming paper club prese..
|
|
People have apparently started believing that in order to use git, you’d have to also have to host the project on Github or Gitlab: A few weeks ago, a friend told me that he keeps his pass password repository on Github. Beej wrote a guide on git and the Github workflow is very prominent in it I came home from FOSDEM with a Github and a Gitlab sticker, but not with one for git send-email or cgit. I feel that is is underreported that ....
|
|
People have apparently started believing that in order to use git, you’d have to also have to host the project on Github or Gitlab: A few weeks ago, a friend told me that he keeps his pass password repository on Github. Beej wrote a guide on git and the Github workflow is very prominent in it I came home from FOSDEM with a Github and a Gitlab sticker, but not with one for git send-email or cgit. I feel that is is underreported that ....
|
|
People have apparently started believing that in order to use git, you’d have to also have to host the project on Github or Gitlab: A few weeks ago, a friend told me that he keeps his pass password repository on Github. Beej wrote a guide on git and the Github workflow is very prominent in it I came home from FOSDEM with a Github and a Gitlab sticker, but not with one for git send-email or cgit. I feel that is is underreported that ....
|