My thanks to Sourcegraph for sponsoring last week at DF. Sourcegraph helps you code better and stay in flow. It’s a code search and intelligence tool for all your company’s code to help you quickly understand code, find usage examples, track down bugs, as Tweet
Hello, HN! Figure is a little side project I’ve been working on. Someone described it as Bejeweled meets Wordle. I built the puzzle interface and website in Next.js and React, which was a first for me and overall a great learning experience. The daily pu Tweet
Dan Spielman asked me to blog about the Held Prize. I first present what he send me, and then have some thoughts. FROM DAN: -------------------------------------------------------------------------------------------------- Nominations ar Tweet
It’s getting late, but I can’t help myself. Reading too many wrong things about symmetry and physics on Twitter has forced me to do this. And, John Baez says I don’t explain things. So, here’s what the relationship between symmetry Tweet
Planck’s constant used to be a measured quantity and now it is exact by definition. h = 6.62607015×10−34 J / Hz Rather than the kilogram being implicit in the units used to measure Planck’s constant, the mass of a kilogram is now defined to be Tweet
Jason Snell, writing at Six Colors: I was struck by this section of a report by Politico’s Eric Geller involving the deletion of Secret Service messages related to the January 6 insurrection at the U.S. Capitol: The phone resets occurred as the Tweet
Learn how to get an interactive shell and interface Docker containers with it. Related Stories Mounting a Single File in a Volume Using Docker Communication Between Multiple Docker Compose Pro Tweet
[This is a transcript of the video embedded below. Some of the explanations may not make sense without the animations in the video.] Thanks for clicking on this video, by which you’ve ruled out a possible world in which you never watched it. This alterna Tweet
[This is a transcript of the video embedded below. Some of the explanations may not make sense without the animations in the video.] Thanks for clicking on this video, by which you’ve ruled out a possible world in which you never watched it. This alterna Tweet
2022-08-06 13:55:20 @ La Ciencia de la Mula Francis
Poesía cósmica en movimiento, así bautizó el astrónomo Mark McCaughrean, @markmccaughrean, este vídeo que nos sorprendió a todos. Se observa cómo cambia la posición de seis estrellas de primer plano […] La entrada El movimiento de seis estrellas Tweet
If I could, I would lock myself up in a cabin in the woods and not read any news for two weeks. But I find cabins in the woods creepy, and I’d miss the bunny pics on twitter. And in any case, I have something better to offer. If you want to take a step bac Tweet
If I could, I would lock myself up in a cabin in the woods and not read any news for two weeks. But I find cabins in the woods creepy, and I’d miss the bunny pics on twitter. And in any case, I have something better to offer. If you want to take a step bac Tweet
Graphql is great, but is totally over hyped. This is probably more of a rant or a frustrated dev outburst. but beginner to mid level developers are lead down the path of USE GRAPHQL especially on youtube... and this is just unfair and wrong. The good: - Tweet
Feeling very upset about a feature request. The main reason is, the requester behaves like I am hired to customise the software for him. And I should keep working until he is satisfied. Even if I don't like it, they keep saying this is very good feature, Tweet
Forrest Brazeal, head of content at Google Cloud, recently argued that serverless functions are the cloud's biggest billing risk for developers as there's no simple way to protect against recursive calls and they can scale out almost indefinitely on all Tweet
Tom Warren, reporting for The Verge: Amazon has signed an agreement to acquire iRobot , makers of Roomba robot vacuums. The deal is valued at approximately $1.7 billion, and Amazon will acquire iRobot for $61 per share in an all-cash transaction. “ Tweet
Ming-Chi Kuo, on Twitter: My latest survey indicates Foxconn’s iPhone production site in India will ship the new 6.1” iPhone 14 almost simultaneously with China for the first time in 2H22 (India being one quarter or more behind in the past). In the Tweet
Cheng Ting-Fang and Lauly Li, reporting for Nikkei from Taipei: Apple has asked suppliers to ensure that shipments from Taiwan to China strictly comply with Chinese customs regulations after a recent visit by senior U.S. lawmaker Nancy Pelosi to Taipe Tweet
I recently got an account for using OpenAI’s DALL-E 2 image generator. The example images I’ve seen are sorta surreal combinations of common words, and that made me think of the Major memory system. I’ve written about the Major system be Tweet
Emily Feng, reporting for NPR: China has fired several waves of missiles over the Taiwan Strait, hitting targets in the waters that encircle the island of Taiwan after a visit from Speaker of the House Nancy Pelosi triggered a tense military standoff Tweet
It’s getting increasingly difficult on YouTube to reach the audience. Even high-quality content disappears under the weight of videos being published and YouTube is really only interested in keeping viewers on the platform - it’s not interested in showing Tweet
Welcome, August --we’re opening the month with another great week. Here’s what the Apache community has been up to: ApacheCon™ – the ASF’s official global conference series, bringing Tomorrow’s Technology Today since 1998. Registrations are op Tweet
At the QCon Plus online software development conference this November 29 to December 9, over 1,500 senior software engineers, architects, and team leads will learn about important trends our Program Committee believes will have the most impact on softwar Tweet
Comment I don’t think I’ve ever written about it before, but I believe there is an analogy between software development and rock climbing. 🧗♂️ I first started thinking about this in terms of source control. Tweet
Given a random variable X, you often want to compute the probability that X will take on a value less than x or greater than x. Define the functions FX(x) = Prob(X ≤ x) and GX(x) = Prob(X > x) What do you call F and G? I tend to call them the CDF (cum Tweet
2022-08-05 15:27:36 @ La Ciencia de la Mula Francis
Los cristales de tiempo propuestos por Frank Wilczek en 2012 son físicamente imposibles. En un sistema disipativo la simetría traslacional del tiempo está rota (si no fuera así se conservaría […] La entrada Un cristal de tiempo continuo basado en Tweet
Let f be a monotone, strictly convex function on a real interval I and let g be its inverse. For example, we could have f(x) = ex and g(x) = log x. Now suppose we round our results to N digits. That is, instead of working with f and g we actually work wit Tweet
Lemmy is back in Boston, MA 26-28 September for Business of Software USA Since 2018, Lemmy the lobster has been the official mascot for BoS Conf USA. During the pandemic they stayed in i-sea-lation, but is now fully vaxxed and ready to return to the BoS st Tweet
We settle the complexities of the maximum-cardinality bipartite matching problem (BMM) up to poly-logarithmic factors in five models of computation: the two-party communication, AND query, OR query, XOR query, and quantum edge query models. Our results an Tweet
We prove that QCSP$(\mathbb{N};x=y\rightarrow y=z)$ is PSpace-complete, settling a question open for more than ten years. This completes the complexity classification for the QCSP over equality languages as a trichotomy between Logspace, NP-complete and P Tweet
Ride-pooling is computationally challenging. The number of feasible rides grows with the number of travelers and the degree (capacity of the vehicle to perform a pooled ride) and quickly explodes to the sizes making the problem not solvable analytically. Tweet
In this paper we study a maximization version of the classical Edge Dominating Set (EDS) problem, namely, the Upper EDS problem, in the realm of Parameterized Complexity. In this problem, given an undirected graph $G$, a positive integer $k$, the question Tweet
We settle the complexities of the maximum-cardinality bipartite matching problem (BMM) up to poly-logarithmic factors in five models of computation: the two-party communication, AND query, OR query, XOR query, and quantum edge query models. Our results an Tweet
Computing a directed minimum spanning tree, called arborescence, is a fundamental algorithmic problem, although not as common as its undirected counterpart. In 1967, Edmonds discussed an elegant solution. It was refined to run in $O(\min(n^2, m\log n))$ b Tweet
In a classical scheduling problem, we are given a set of $n$ jobs of unit length along with precedence constraints and the goal is to find a schedule of these jobs on $m$ identical machines that minimizes the makespan. This problem is well-known to be NP- Tweet
We provide a convergence analysis of gradient descent for the problem of agnostically learning a single ReLU function under Gaussian distributions. Unlike prior work that studies the setting of zero bias, we consider the more challenging scenario when the Tweet
Checking whether a system of linear equations is consistent is a basic computational problem with ubiquitous applications. When dealing with inconsistent systems, one may seek an assignment that minimizes the number of unsatisfied equations. This problem Tweet
This paper considers a combination of the joint replenishment problem with single machine scheduling. There is a single resource, which is required by all the jobs, and a job can be started at time point $t$ on the machine if and only the machine does not Tweet
In this paper, we study some multiagent variants of the knapsack problem. Fluschnik et al. [AAAI 2019] considered the model in which every agent assigns some utility to every item. They studied three preference aggregation rules for finding a subset (knap Tweet
In his seminal paper of 2004, Ulrich Junker proposed the QuickXPlain algorithm, which provides a divide-and-conquer computation strategy to find within a given set an irreducible subset with a particular (monotone) property. Beside its original applicatio Tweet
Given a weighted undirected graph $G=(V,E,w)$, a hopset $H$ of hopbound $\beta$ and stretch $(1+\epsilon)$ is a set of edges such that for any pair of nodes $u, v \in V$, there is a path in $G \cup H$ of at most $\beta$ hops, whose length is within a $(1+ Tweet
The goal of a sequential decision making problem is to design an interactive policy that adaptively selects a group of items, each selection is based on the feedback from the past, in order to maximize the expected utility of selected items. It has been s Tweet
In 1961, Gomory and Hu showed that the All-Pairs Max-Flow problem of computing the max-flow between all $n\choose 2$ pairs of vertices in an undirected graph can be solved using only $n-1$ calls to any (single-pair) max-flow algorithm. Even assuming a lin Tweet
Juli Clover, MacRumors: Apple today released an updated version of the 15.5 firmware for the Studio Display, with the update coming more than two months after the Studio Display firmware was last updated. The prior version of the 15.5 firmware had a Tweet
2022-08-04 21:38:13 @ La Ciencia de la Mula Francis
En general, los físicos sabemos muy poco de química (yo solo estudié una asignatura en primer curso). A pesar de ello nos asombran los avances de la síntesis en química […] La entrada Síntesis química de una nanocinta de Möbius de carbono fue es Tweet
Hi everyone, Jolan here, with my first actual blog post! It’s been a couple of months since the last release of the Kotlin API for Apache Spark and we feel like all of the exciting changes since then are worth another announcement. Let me remind you Tweet
Hi everyone, Jolan here, with my first actual blog post! It’s been a couple of months since the last release of the Kotlin API for Apache Spark and we feel like all of the exciting changes since then are worth another announcement. Let me remind you Tweet
The solutions to Einstein’s equations that describe a spinning black hole won’t blow up, even when poked or prodded. The post At Long Last, Mathematical Proof That Black Holes Are Stable first appeared on Quanta Magazine Tweet
2022-08-04 14:31:40 @ La Ciencia de la Mula Francis
La gran pérdida de brillo (Great Dimming) de la supergigante roja Betelgeuse fue una de las grandes noticias científicas entre el 27 de enero y el 13 de febrero de […] La entrada La caída de brillo de la supergigante roja Betelgeuse fue debida a Tweet
2022-08-04 13:03:26 @ La Ciencia de la Mula Francis
La confirmación de los candidatos a galaxias con z > 15 observadas por el telescopio espacial James Webb es prioritaria. La galaxia CEERS-DSFG-1 no se observa en los filtros F115W, […] La entrada Muchos candidatos a galaxias con z > 12 obs Tweet
SaaS companies that are focused on the enterprise market need to evolve their infrastructure to meet the security, reliability, and other IT requirements of their customers. IT admins and large customers are two important sources of requirements to drive Tweet
Nvidia has developed PrefixRL, an approach based on reinforcement learning (RL) to designing parallel-prefix circuits that are smaller and faster than those designed by state-of-the-art electronic-design-automation (EDA) tools. By Claudio Masolo Tweet
Aidan Ryan, The Information, “The Metaverse Real Estate Boom Turns Into a Bust”: The metaverse is in the midst of a real estate meltdown. Sales volumes and average prices for virtual land have plunged this year, part of a broader slide in crypto and n Tweet
I decided to get one of the TS80P soldering irons that everyones seems to have been raving about for the past year or so. The main reason I wanted to get this is bacause you can easily flash it with an open source firmware called IronOS which I think Tweet
With the Graviton Challenge last year, we helped customers migrate to Graviton-based EC2 instances and get up to 40 percent price performance benefit in as little as 4 days. Tens of thousands of customers, including 48 of the top 50 Amazon Elastic Compute Tweet
Posted by Akua Prempeh Developer Marketing When we ask you what you like best about Firebase, a lot of you tell us it’s the community that makes Firebase special. We are excited to highlight developers in the community who are using Fir Tweet
2022-08-03 18:50:39 @ Ole Begemann: iOS Development
iOS 16 beta 4 is the first SDK release that supports Live Activities . A Live Activity is a widget-like view an app can place on your lock screen and update in real time. Examples where this can be useful include live sports scores or train departure tim Tweet
YC's job board now lets job seekers filter by equity offered on the job description. Over 380 startups have posted roles with equity, with some early engineering roles offering 2%. Tweet
Partnerships between engineers and biologists have begun to reveal how birds evolved their superb maneuverability. The post Geometric Analysis Reveals How Birds Mastered Flight first appeared on Quanta Magazine Tweet
The previous post discussed how to use org-mode as a notebook. You can have blocks of code and blocks of results, analogous to cells in a Jupyter notebook. The code and the results export as obvious blocks when you export the org file to another format, s Tweet
2022-08-03 14:50:41 @ La Ciencia de la Mula Francis
El movimiento de un péndulo simple está determinado por dos variables de estado, el ángulo y la velocidad angular, o la energía potencial y la energía cinética. ¿Cuántos grados de […] La entrada Una IA que estima las variables de estado de un sis Tweet
Entity Framework (EF) Core, Microsoft's object-to-database mapper library for .NET Framework, brings performance improvements for data updates in version 7, Microsoft claims. The performance of SaveChanges method in EF7 is up to 74% faster than in EF6, i Tweet
The Sepolia testnet will undergo a post-merge execution layer (EL) upgrade at block 1735371, expected on August 17, 2022 The upgrade will cause EL clients on the network to disconnect from peers which have not transitioned to proof-of Tweet
Hello and welcome to another issue of This Week in Rust ! Rust is a programming language empowering everyone to build reliable and efficient software. This is a weekly summary of its progress and community. Want something mentioned? Tweet us at @ThisW Tweet
Today we are announcing the general availability of license-included Visual Studio software on Amazon Elastic Cloud Compute (Amazon EC2) instances. You can now purchase fully compliant AWS-provided licenses of Visual Studio with a per-user subscription fee Tweet
Yours truly and Ben Thompson’s podcast — two episodes per week, 15 minutes per episode. Not a minute less, not a minute more. If you’re not listening, you’re missing out. Best $5/month you’ll ever spend, trust me. I aspire not to be this fellow w Tweet
David Zierler, the oral historian at the American Institute of Physics, has done many in-depth interviews with theoretical physicists in recent years. Today I came across a 2020 interview with Shelly Glashow, which was very interesting in general, and also Tweet
You know how on your iPhone when you visit a website like, say, Reddit or LinkedIn or TikTok or Quora — or dozens of others — and the website presents a popover panel that covers the whole damn page telling you how much better it would be if you’d install Tweet
Microsoft has announced a private preview of the backend service that powers its Visual Studio Code editor, along with a specific CLI to manage it. Visual Studio Code Server can be installed everywhere and easily used through VS Code for the Web running Tweet
Remote collaboration has been around for a while and works very well for knowledge sharing, but software developers often need something more advanced than just screen sharing. Code With Me is a collaborative coding tool built into the majority of JetBrain Tweet
Remote collaboration has been around for a while and works very well for knowledge sharing, but software developers often need something more advanced than just screen sharing. Code With Me is a collaborative coding tool built into the majority of JetBrain Tweet
You can think of org-mode as simply a kind of markdown, a plain text file that can be exported to fancier formats such as HTML or PDF. It’s a lot more than that, but that’s a reasonable place to start. Org-mode also integrates with source code Tweet
Now that NASA’s James Webb Space Telescope’s first images and data are out, you might be wondering: What comes next? The observatory has a packed schedule of science programs looking at all kinds of cosmic phenomena, like planets, stars, galaxies, black ho Tweet
Posted by Patricia Correa, Director, Global Developer Marketing The Indie Games Festival shines a spotlight on some of the best games on Google Play, and celebrates the passion and creativity that small games studios bring to gamers w Tweet
Christopher Kanan is building algorithms that can continuously learn over time — the way we do. The post The Computer Scientist Challenging AI to Learn Better first appeared on Quanta Magazine Tweet
Meta AI recently open-sourced NLLB-200, an AI model that can translate between any of over 200 languages. NLB-200 is a 54.5B parameter Mixture of Experts (MoE) model that was trained on a dataset containing more than 18 billion sentence pairs. On benchma Tweet
Today, I am excited to announce AWS Skill Builder Individual and Team subscriptions. This is a new way for you to learn about cloud technologies and get practical experience with hands-on training. Between 2013 and 2016, I spent three years delivering AWS Tweet
Sourcegraph helps you code better and stay in flow. It’s a code search and intelligence tool for all your company’s code to help you quickly understand code, find usage examples, track down bugs, assess the impact of a change, and more. Who uses Sourcegra Tweet
Jason Zinoman, writing for The New York Times: A solitary figure, a microphone and a stool. Those are the primary images of stand-up comedy — as reliable and ubiquitous as a book’s cover, spine and chapter titles. But there is another element in the Tweet
AWS re:Inforce returned to Boston last week, kicking off with a keynote from Amazon Chief Security Officer Steve Schmidt and AWS Chief Information Security officer C.J. Moses: Be sure to take some time to watch this video and the other leadership sessions, Tweet
Speaking of what’s new in iOS 16, I greatly enjoyed last week’s episode of Upgrade, wherein co-hosts Jason Snell and Myke Hurley interviewed a series of three guests to talk about what’s new in an area of their expertise: James Thomson (developer tool Tweet
2022-08-01 19:28:45 @ Apple Developer News and Updates
Apple Entrepreneur Camp supports underrepresented founders and developers of app-driven organizations as they build the next generation of cutting-edge apps and helps form a global network that encourages the pipeline and longevity of these entrepreneu Tweet
2022-08-01 19:25:41 @ La Ciencia de la Mula Francis
Juan Martín Maldacena publicó en 1998 una conjetura que le hizo famoso, la correspondencia o dualidad AdS/CFT entre una teoría de cuerdas de 10 (9+1) dimensiones compactificada en un espacio […] La entrada Estirando el chicle de la dualidad AdS/C Tweet
Special guest Michael Steeber joins the show to discuss his new project, The Apple Store Time Machine — an intricately-detailed explorable walkthrough of four of Apple’s original retail stores. Sponsored by: Retool : Build internal tools 10× faster Tweet
2022-08-01 18:00:40 @ Apple Developer News and Updates
Max Frimout is an audio engineer for Odio, and it’s his job to transport you and your ears to a different world. From his home studio in the Netherlands — stocked with keyboards, instruments, and a tangle of wires and boards more suited to a ‘50s B-m Tweet
The Kotlin 1.7.20-Beta release is out! Here are some highlights from this preview version of Kotlin: The new Kotlin K2 compiler supports Lombok, all-open, Parcelize, and other compiler plugins. We introduced the preview of the ..< operator for creating Tweet
The Kotlin 1.7.20-Beta release is out! Here are some highlights from this preview version of Kotlin: The new Kotlin K2 compiler supports Lombok, all-open, Parcelize, and other compiler plugins. We introduced the preview of the ..< operator for creating Tweet
John Voorhees, writing at MacStories: For the past several weeks, I’ve been using Mail exclusively on all of my devices, which has been a refreshing change of pace. Still, it’s not perfect. Of the features I use most in third-party mail clients, the s Tweet
Code isn't the only way to contribute to open source. The popular Apache TinkerPop project has a recognizable and memorable identity thanks to graphic artist and Apache committer Ketrina Thompson. Tweet
A hidden link has been found between two seemingly unrelated particle collision outcomes. It’s the latest example of a mysterious web of mathematical connections between disparate theories of physics. The post Particle Physicists Puzzle Over a Tweet
This week's Java roundup for July 25th, 2022, features news from OpenJDK, JDK 19, JDK 20, Spring project updates, Helidon 3.0, GraalVM 22.2, Quarkus 2.11.1 and 2.10.4, Micronaut 3.5.4, Eclipse Vert.x virtual threads incubator, Jakarta EE 10 updates, Inte Tweet
2022-08-01 13:26:12 @ La Ciencia de la Mula Francis
El 1 de enero de 2020 se clausuró el mercado de animales vivos de Huanan, en Wuhan, China, y se procedió a su rápida desinfección; se tomaron muestras de diferentes […] La entrada El origen del SARS-CoV-2 en el mercado de animales vivos de Huanan Tweet
The speedometer style gauge view has long been a feature of watchOS complications. In iOS 16, macOS 13 and watchOS 9, Apple introduced a gauge view that work across all three platforms. Note: Apple deprecated the ClockKit gauges in watchOS 9. Gauge Vi Tweet
Slate 0.82.0 made significant updates for its support of editing on Android devices and introduces `useSlateSelection` and additionally adds a React hook that triggers whenever the selection changes. Plate 15 improves its Link toolbar, improves paste Tweet
ESPN: Over a 15-year period, beginning with his junior year at the University of San Francisco, Russell had the most remarkable career of any player in the history of team sports. At USF, he was a two-time All-American, won two straight NCAA champions Tweet
James Gregory’s series for π is not so fast. It converges very slowly and so does not provide an efficient way to compute π. After summing half a million terms, we only get five correct decimal places. We can verify this with the following bc code. Tweet
The CNCF recently published a new whitepaper about Kubernetes Policy Management. The whitepaper highlights the importance of Kubernetes policy management when it comes to the security and automation of clusters as well as workloads. Also, it goes in-dept Tweet