skysight-inc/HackerNews huggingface dataset:
Same here and me neither.

And that is pretty interesting...

An article that says don't use Chrome, was difficult to read in Chrome.
What might “Python, but with modern type inference” look like? Are there other existing languages that come close to matching that description?
I design RF/Microwave circuits and antennas. I’ve used everything I learned from my BSEE at one time or another, and they keep popping up.

The analog/EM/RF/Comns/DSP is a given.

Control theory showed me s-parameters are derived from Masons gain rule. Root locus stability plots are another method of power amplifier stability analysis, and of course closed loop circuits such as PLL and AGC.

I use discrete logic all the time for sequencing circuits. Do a lot microcontroller programming in C to get my RF circuits going, and have needed to do simple Verilog to test my RF stuff connected to FPGA.

The only thing I don’t use professionally is Thermogodamics, but now I’m glad I took it. I was watching a YouTube video the other day on a power plant tour. Entropy, enthalpy, nozzles, steam saturation tables. It’s all good to have some knowledge of.
The editor UI is mostly implemented in the game engine, so dogfooding the web version of the engine for the editor will bring improvements in engine functionality and probably performance to all games.
Yup agree. People who follow him are more "into" python async stuff.
There is something wrong with risk vs reward in this story. A spaceX engineer ruins his life for 27k?
At 5300MB/sec, it can exhaust its lifetime write limit in 31 hours?

We need to start expressing write endurance as a multiple of write speed.
Or taxes. Common infrastructure surely is a gold use for them.
This is the exact comparison we make in the paper.
We have subsampled ImageNet experiments as well; see Figure 3 in the full paper: https://arxiv.org/abs/2010.08127
Errr, what. Here's a quote from the NY AG, I'm not sure how this translates into your interpretation of the case.

https://ag.ny.gov/press-release/2021/attorney-general-james-...

> “Bitfinex and Tether recklessly and unlawfully covered-up massive financial losses to keep their scheme going and protect their bottom lines,” said Attorney General James. “Tether’s claims that its virtual currency was fully backed by U.S. dollars at all times was a lie. These companies obscured the true risk investors faced and were operated by unlicensed and unregulated individuals and entities dealing in the darkest corners of the financial system.
This is counterintuitive to me -- if more surface area means more light absorbed, why are solar panels flat instead of ruffled? Or are they not as flat as they look?
I run a fairly large open source project (https://github.com/facebookresearch/ParlAI/) and we use mypy. Our experience has been that it can be quite difficult to placate, so we usually treat it only as a warning. However, having our code annotated with types in many places has significantly improved developer productivity, just from having less ambiguity with what you're dealing with.
This is not a bad idea, but I am thinking whether this will only shift who is making money off the software from one big corporation to another. Maybe a combination of both - royalties to ensure developers are paid and insurance to ensure big corporations become conscious of their responsibilities.
By saying " ed few can do the hard stuff", is that not redefining use of maths to an arbitrary cutoff line.

Think of all the instances of maths used globally. Do the millions of people who more or less get the idea of an average - this is used across politics, and common discourse. Does that count as maths? I would say yes, just as a for loop is programming. No we are not expecting a compiler but just "arranging the world so it can be easily iterated over" is a fine common objective.
I retired (after getting diagnosed with incurable cancer). I was a workaholic and never thought I could quit so easily, but after quiting I don't miss work and I'm a lot happier (despite the cancer thing). If you are obsessed with work and in a position to take a few months off, please consider doing this. It may change your perspective.
Thanks! I wasted quite some time… :-D

Now there is nothing left in the universe besides:

> Paperclips: 30,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000
An example I recently stumbled upon (not philosophy, but pedagogy): https://en.m.wikipedia.org/wiki/Bildung

It's a central term that you'll read very often in German newspapers and see in public discourse, yet, there is no satisfying English equivalent.
Why would you not be able to attach certain rights to tokens that you mint and sell?
Moving from Cable to DSL
A large part of that is included in the tax on oil, though.
It's just a Pi running ARM64 Linux.

The default OS image that ships on the devices has their own touch UI shell which currently runs on EGLFS, which is basically an alternative to X or Wayland meant for embedded devices. So as it currently stands you can't run normal Linux apps in the default OS.

They're supposedly porting it to Wayland which will allow normal Linux applications to run within their custom shell. Their shell is a relatively straightforward Qt Quick application so it shouldn't take a huge amount of work to port. Though the most recent commit was a little over a year ago[1] so who knows when it'll actually get finished.

[1] https://github.com/cutiepi-io/cutiepi-shell/tree/wayland
We have ImageNet experiments in Section 4 of the full paper: https://arxiv.org/abs/2010.08127
Somebody always host the NFT image, it can be taken down from ipfs or from a cloud service like s3 at any moment. Also NFT are only worth something because someone provides a frontend to serve the "NFT metadata".

NFTs are essentially sleek frontend UIs mixed in with a speculative volatile currency less juridicial than dollars. It also helps that blockchain assets led by bitcoin are in a bull run.

The innovation is now a company like Dapper Labs can provide a marketplace like NBA Topshot providing a digital experience with licensed content. This digital experience can be traded using Paypal but using a traditional method comes with tradeoffs. Dapper Labs created an in-house blockchain called Flow. The benefits of a blockchain is it is harder for double spends to occur. Blockchain makes it hard for race conditions to occur when the source of truth is distributed among computers in a network.

It would be easier to make a database of hash values but traditional databases are less transparent than blockchains. Blockchains are too expensive. Some digital experiences are worth it, most probably aren't, enough people care about the frontend.
Things are so dire that even if we use all "guns" in our disposal it will be difficult. There is no single solutions that can help, amount of CO2 is so huge that if we would turn CO2 we need to sequester into graphite bricks we could build a wall 10 meters high and 5 meters wide encircling the Earth around Equator 32 times.

So, we need all we can think at same time, now. :/

Simply, current amount of carbon in the atmosphere has been released from sources that were not there, and we are still cutting trees more than we plant. Some calculation say we need between 1-2 trillion trees. But even then trees need a quite some time to grow and become effective.
If reading a newsletter is also your thing, I recommend Craig Mod's newsletter on his walks around Japan. Quite refreshing.

https://craigmod.com/ridgeline/
Free as in Speech, not Free as in Beer.

It is perfectly possible to charge for open source software.
Was responding to parent:
"Unfortunately, the web is not a viable platform for games."
We all thought that my dad was going to die from covid19. The doctors were very pessimistic. He lived. He recovered very slowly over the last 4 months. During the first month, he could not speak English (he was born in Norway), he needed 3 liters per minute of oxygen, and he could not stand up. Now, he has no trouble speaking, does not need oxygen, and he can walk 300 yards if he has a walker. Every month he has improved.
I tend to agree, in many cases.

But when evaluating claims of entrapment, it is really important to pay attention to narrative manipulation. Where you start the story, for instance, matters a lot. If there are people undercover, there are going to be colorable ways to paint just about anything as entrapment.

That said, it does happen, and it is both horrifying and counterproductive.

https://www.businessinsider.com/fbi-is-manufacturing-terrori...
try this: https://saylordotorg.github.io/text_introduction-to-psycholo...
Be aware that hardware encryption provided by SSDs should not be trusted. I doubt the situation has gotten any better since 2018.

> In theory, the security guarantees offered by hardware encryption are similar to or better than software implementations. In reality, we found that many models using hardware encryption have critical security weaknesses due to specification, design, and implementation issues. For many models, these security weaknesses allow for complete recovery of the data without knowledge of any secret (such as the password). BitLocker, the encryption software built into Microsoft Windows will rely exclusively on hardware full-disk encryption if the SSD advertises support for it. Thus, for these drives, data protected by BitLocker is also compromised.

Source: Self-Encrypting Deception: Weaknesses in the Encryption of Solid State Drives (https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=883...)
Yeah, but analytic perspectives on continental philosophy are valuable (unless dismissive on petty grounds, like Searle’s take on Deleuze.)
Cheap hand grinder + Aeropress + coffee guru app.

Aeropress is complicated at first, but it is worth trying. Acidic flavors works great with aeropress.
Most of that is paid through taxes on vehicle registration/renewals and fuel.
Many of the popular extensions developed by Microsoft (pylance for example), which are installed by default when you’re working on a given language, are proprietary.
PowerPoint and excel.
Throwaway because I have written some of the software behind this program.

The problem is that Amazon has set up a system where labor abuses are the only way to succeed, while keeping their hands clean.

Amazon hires Delivery Service Providers (DSPs) on contracts. These contracts are for a specific number of 'routes' on a given day. They have a handful of DSPs for each delivery station, and they even help people start DSP companies by giving them loans for vans, access to better deals, etc. But the DSP is an independent company that can operate however it wants to, on paper.

The DSPs then hire delivery drivers, each an independent contractor themselves typically. The drivers get a route of 200-ish packages and follow the step-by-step navigation Amazon's provided app tells them[0] to do. The drivers are supposed to work for up to 10 hours then bring back whatever is leftover.

Problem: Amazon rewards the DSPs that have the fewest missed deliveries, pay them more per route. The DSPs that get the most pay are the ones who have learned how to get their drivers to work longer without complaint, take no breaks, keep driving, keep delivering. The ones who abuse.

Amazon does not reward the abuses, they just reward the effects of the abuses. Amazon can say "We don't tolerate that", but they absolutely do. What they actually don't tolerate is DSPs whose drivers complain. Every DSP operator out there is telling their drivers: you keep your mouths shut or you're out.

This isn't an accidental design. The people in charge of this program are sociopaths. And Amazon's senior leadership has rewarded these sociopaths for building this very low-cost delivery system. There's a Leadership Principle called "Deliver Results", but there isn't one called "Be Ethical".

[0](And let's set aside the part about 'workers following step-by-step instructions Amazon gives them are somehow not actually employees', which is bullshit.)
There are a few broken images there; could those be fixed?
Working pretty well for me on Chromium and Firefox mobile.

iOS and everything on it using Webkit though, I'm sure there're some issues.
I agree. I understand that a small business can't compete with amazon on price and service at the same time, and I don't expect this. but it seems that most of them choose to match the price and make up the difference with terrible service/shipping. I would be happy to pay a bit more to support a small business, but I'm not gonna pay the same amount of money for an online retail experience that's worse in every other way.
I think I am the grandparent - and yes I agree, software is going to be table stakes for the next generation of corporate players (and by implication, those corporates who cannot will mean a huge gap opening up).

It's not just "can my employees write a for loop" but it's "do we store data sensibly, when upper management wants a report is there a data history stretching back to the raw (ie no manual involvement). Do we all publish APIs and work through those defined interfaces - and many more.
Moving from Amsterdam to the rural Irish countryside where I can escape to the hills on the mountain bike or road bike each day. It's done wonders for my mental health.
> Bankers are perpetually late on shit. The industry can barely manage to transfer money expediently.

It doesn't make much sense to criticize investment banks for the behavior of commercial banks. Probably the main thing that connects the two is pursuit of profit. And transferring your money slowly is profitable for commercial banks.
I haven’t seen anything like that since the 90s. Back then it was pretty common with most people either burning out or technically retiring at the age of 35
You're right, that's why I deliberately limited the scope of the argument to "home country".
We already produce a "SBOM", which is just an export of our dependencies. Our dependencies are also scanned for open CVE's, which is non-optimal because it's retroactive. The strongest forms of security operations we implement proactively are fuzzing and linting (in combination with strongly typed languages and language variants).

The article references the SolarWinds attack but then doesn't go on to explain how it occurred nor how their SBOM would've defeated it. Instead it quotes Microsoft in saying that it was highly sophisticated. Just a reminder that the origins of the SolarWinds Orion hack are still up in the air [0], which makes the definitive tone of this article all the more confusing. It is speculated that hackers compromised TeamCity and that TeamCity injected code during compile time into Orion. This wouldn't be caught by any kind of dependency inspection and doubly so if the attackers were smart enough to use all standard libraries.

Like all hacks, this one had signatures too [1]. Some that stand out to me are the network calls:

avsvmcloud[.]com
deftsecurity[.]com
freescanonline[.]com
thedoccloud[.]com
websitetheme[.]com
highdatabase[.]com
incomeupdate[.]com
databasegalore[.]com
panhardware[.]com
zupertech[.]com

13.59.205[.]66
54.193.127[.]66
54.215.192[.]52
34.203.203[.]23
139.99.115[.]204
5.252.177[.]25
5.252.177[.]21
204.188.205[.]176
51.89.125[.]18
167.114.213[.]199

It's impossible to hold definitive allow lists for IP addresses or domains, but knowing characteristics about these calls might at least make finding hacks faster, though this logic is also easily defeated.

In what I would call a very sterile software environment you might install fully-configured SE Linux on a system, limit your outbound network call destinations to approved locations, run linting with static compilation, fuzzing on your functions and binary inputs. I can still think of a myriad of ways of compromising a distributed system like that. That's not to say, "do nothing" and more to say, this is a very complex problem and something like an "SBOM" isn't new or going to solve this problem if replicated.

[0] https://www.nytimes.com/2021/01/06/us/politics/russia-cyber-...

[1] https://blog.malwarebytes.com/threat-analysis/2020/12/advanc...
At least you actually own a real object in that case. Not a token with a link to a JPEG that may disappear from wherever it’s hosted eventually...
Lots of bicycling. Also, newborn baby last month!
Hmm I can maybe understand why you think you’ll be a mid level dev without putting in hours.. you didn’t mention your location so not sure.

But why in the world can’t you afford to change jobs? Plenty of places need mid level devs and it doesn’t cost anything to change jobs.. in fact they usually pay you more.
PowerPoint is the 25%.

The other 75% was Netscape Navigator as

1) distributing info on the web is so much better than on floppies. If you were not in the loop, it was very difficult to get hold of interesting Hypercard stacks.

2) Hypercard was fixed-screen-size, whereas web used whatever screen size you had.

3) The web was cross-platform and in color. Hypercard was mac only and b/w only.
It's not clear to me what you mean by software. Software is just a tool and writing software is also just a tool, more often than not, not that interesting in itself. Solving problems using software is the goal and can be realized with various ways, like those low-code solutions you mention.

This is why I'm becoming more and more unhappy about calling myself a programmer. It just doesn't have that "problem-solving using computer technology" ring to it.
A small nit about an aside in the article: Is fcitx "the" East Asian IME for Linux? As a speaker of Chinese as a second language, I use IBus (with libpinyin), which is supported out-of-the-box in GNOME and seems to provide a better user experience than fcitx the last time I checked (which was probably 10 years ago).
Databse dies with company that set it up. And companies die all the time.
The survey may not represent sentiment toward type checking in Python. Mypy is only one of the checkers out there. Out of the 40% who don’t use mypy, many could be invested into other type checkers such as Pylance. This is certainly what many comments on the Twitter thread are about.

So the % who refuse to use type checking is likely lower than 40%
Which articles do you find extremely poor?

I love reading about classical philosophy on wikipedia, it's like reading with article-size foot notes.
I’m writing about this topic here: https://www.satishmummareddy.com/blog/definitive-guide-to-im...

The path that works for me is journaling. I start with naming my emotions and then what actions trigger those emotions and then what is the best/worst case, what can I do right now (options), pick best action item.

This process takes me from understanding my emotions to clear next action.

Unless I have a clear next action my mind can’t let go.
See flambda, the recent evolution of the ocaml inliner.

https://caml.inria.fr/pub/docs/manual-ocaml/flambda.html

https://blog.janestreet.com/flambda/
My dream is to find an no-code instrument for creating and managing of various dashboards. Something really simple and powerul with various messenger and other interface plugins.
I saw a post on hacks to bring video/animations into Emacs using :base_uri svg functionality going in the direction of subwindow glyph functionality.
What seems positive to me is that there's a good mix. It speaks to the eminent pragmatism of the way Python decided to handle typing and type hints.

I've found that there is no one best typing discipline. Different approaches work better for different problem domains. And I'm currently using Python in so many different problem domains that I find it convenient that Python now allows me to choose the best typing discipline for the job.

It's true that this means that Python isn't the best at any particular way of doing typing. But that also seems appropriate. Being a jack of all trades and master of none is sort of Python's thing nowadays.
What is your biggest weakness?
Kettle plus pour-over for me. This is what I did in the office too, but then it was a single-cup, now I make a half-pot for self and spouse. Why make things complicated before coffee is made?
Any plans for a customer journey builder?
I'm just using it to get my job done, and really couldn't imagine working with Python without it.

I'd consider static type checker as optional if you are playing around with small or throwaway scripts, but for any half serious project, it should be a requirement.

IME I don't consider it slow, and it's definitely not visibly slower than pylint, flake8, or similar tools for other languages.

Dropbox, which has one of the biggest Python codebases, uses it, and most mypy maintainers including Guido work there.
Freeze dried coffee. It quick, fast, and quite tasty.
Thank you for elaborating on that.

I will say I don't think that wordplay is a very good way to do philosophy. Of course that's a very Anglophone opinion, including the notion that there is a good or bad way to do philosophy.

But it means that I will be forever cut off from Derrida. Which is fine; there is more than enough philosophy produced to keep me busy. But it means that the praise for him will forever baffle me, and if that bothers his fans, that is not a problem for either me or for philosophy as a whole.

And if I privately think that depending on conscious wordplay means muddled thinking, I'm entitled to that. It's not an opinion worth discussing since I'm not an expert in his thought. But when people want me to engage with his work, that private opinion is likely to come out if they won't settle for s polite "no thank you".
Seems ripe for automation and some AI

https://xkcd.com/1831/
Omg yes!! That cannot be unseen!
The primary supply is limited by covid affecting the component supply chain. The demand is sky high because of miners happy still making s profit at twice the price. The cards are often going straight from primary retailers to eBay.

Lots of factors colluding to make PC gaming unaffordable.
It's a natural next step after pinning versions and keeping all dependencies cached in-house. If the rolling disaster that NPM is taught us anything, is that it's critical to have control over the update process of the code that goes into your product. Not to mention, CI runs faster if you don't have to redownload everything from GitHub on each build :).

(Though then developers don't get a day off when GitHub goes down, as it does every couple months.)
I feel like there's a lot a brainwashing and manipulation even when spouses aren't physically abusive.

My wife tells me stuff that just doesn't make sense. When I sold my nice car and quit doing track days when we got married with plans to have kids, she kept telling me that I could've kept it and that the only reason I had it must have been to get girls. That simply wasn't true. And keep it? Using what money! I pay all the bills (and benefits, and retirement saving) except for her phone and car, while she spends as much or more every month on her hobby as I do on the mortgage. Or if I tell her that we should cut back on our toddler's screen time that day, she'll say it was only .5 hour, eventhough I witnessed 1.5 hours of TV time and .5 hour of phone/youtube time.

On top of this, she occaionally tells me that I'm mean to her. This is usually in response to me giving her instructions on how to properly perform some task. For example, she said I get the whites very clean looking when I wash them. I told her you have to pre soak them with bleach or oxiclean when they look dirty. Apparently this is mean to say? Or I mention that our toddler with a heart condition shouldn't be drinking iced tea with caffeine in it. Apparently this makes me controlling. I thought this would be common sense (drinking caffeine is the opposite of taking a medication to slow heart rate, which could lead to a bad outcome).
I have never understood this fetish for short compilation times.

Compilation time is an extremely good investment if it lets me express exactly what I need and gives me the fastest possible program as a result.
Thank you! https://news.ycombinator.com/item?id=26525349#26529192 Did I miss anything?