skysight-inc/HackerNews huggingface dataset:
It's a great start, but lacks important detail about the particular muscles in each group and what is worked by what exercise. For example, there's some explanation that the rear delt head is important, but then it's left to the reader to figure out how to target them.
They actually still do this in Hong Kong, but not much, and it's unheard-of elsewhere due to the size of the cranes needed, most ships not having their own cranes, and safety concerns.
Actually it is vice-versa.
Brown is a color whose hue is orange and which has low brightness.

You can use "orange" to describe a saturated or even a monochromatic color, at any brightness, so orange can be used to describe a color of light.

You cannot use "brown" for any color with high brightness, like you cannot use "black" or "gray" for colors with high brightness.

Given a brown color, if you increase its brightness, at a certain level it will no longer look brown.
> While enrollment in higher education overall fell 2.5 percent in the fall, or by more than 461,000 students compared to the fall of 2019, the decline among men was more than seven times as steep as the decline among women, according to an analysis of figures from the National Student Clearinghouse Research Center.

7x is a big multiple. The article offers some explanations but not enough to get me past the “wow” response. The bigger picture is just that the 60/40 split between college educations has flipped to favour women now, and was the opposite a decade ago, but the short term 7x is still crazy
I don't agree at all. Advertising a game engine as something that could potentially be used to make a monetized game shows a level of quality (or aspiration to that) beyond what most engines manage. It demonstrates that the developers think the engine can be used to make more than just toys that people give away.
I feel sorry I never exceeded those limits.
Video conferencing is real time. You don't have the latency budget to do really intensive CPU based encoding (although ibviously there is still encoding). Hardware acceleration for video encoding is also quite common in many consumer products.
To be fair, British Seaside is black & white and rainy, all the time, for all intents and purposes.

Before moving to England, I never had a use for the word “dreary”. But it fits a place like Morecombe or Blackpool so perfectly.
This joke relies on the listener knowing that the regularized sum of 1+2+3+... = -1/12.
Unless you're able to create a new form of incentivization that rewards journalists adequately, you will get more reliance on ads, and more flamebait/clickbait/polarization/shallow content and so on. The present system is not conducive to journalism. I would say it is outright detrimental to it.
The joke is that the Ramanujan sum of 1 + 2 + 3 + 4 + ... is equal to -1/12, so the check should be $3 * -1/12 = minus one quarter. [0]

[0]: https://en.wikipedia.org/wiki/1_%2B_2_%2B_3_%2B_4_%2B_%E2%8B...
I don't get the hate directed at snaps. Yeah they're not great, just don't use them. Ubuntu is just Debian, you can just grab packages from the usual Debian repos and use your .debs as normal.

The issue with further publicizing those images is that Debian cannot reasonably offer community support for those nonfree bits. Only the vendor can, or some other company that signed a deal with the vendor. (Canonical happens to be one of those companies)
> I can't give details because they don't exist.

Right. And if the argument depends on those details, then it's not a very convincing argument.
Hobbits – multi-platform GUI for bit-based analysis, processing, visualization
Yeah, that doesn't really fit the bill. I'm talking about HAM radio definitions of 'long distance', where one of the shorter hops is ~150 miles. I might as well stick with Part 15 as use U-NII.

That's the problem - hn regularly has threads talking about how decentralized infrastructure is so important. Having a (dialup speed) p2p network that is built on long range connections would be insanely reliable and would probably revolutionize what we think of as the Internet.

- ISPs would be optional

- access to the internet would be the one-time cost of the hardware

- a totalitarian government trying to shutdown the internet would have to hunt down portable repeaters over hundreds of square miles

- the infrastructure would be in the hands of the people, not megacorps like verizon and comcast.

But that requires encryption, and spectrum allocations that can cover the distance.
Thanks for sharing your experiment. I’m curious about soil composition and density as you pointed out its importance. I definitely feel like my lack of success is mainly with my soil.

Do you have any resources to share about it?
Video encoding and video decoding are apples and oranges.
just wanted you to know that I found your site about a year ago (somehow?) and have always loved it. Nice work!
That's a "great on the surface, bad when you think about it" thing if I've ever seen one.

Who cares how fast the code is, if it isn't the correct code?
Management by metrics leads us astray
I set up a garage hydroponics 'farm' (produced about 3-5kg of microgreens) with the intention of going to local restaurants. Honestly, the flavour is out of this world and that's pretty much with everything you grow too with hydro/aeroponics.

From first hand experience though, the electricity is a huge cost plus being in Poland right now, my labour costs would have swallowed up any profits.

These won't replace traditional farms BUT a farm growing fields of lettuce could and should be replaced for other variants of root vegetables etc. Lettuce, leafy greens and herbs IMO should be grown in vertical farms as it's low effort and really it's all about getting maximum taste into each leaf. Lettuce doesn't really provide that much in terms of nutritional benefits, especially when it's been transported for hundreds/thousands of miles so local or as close to the end user it vital.
It's referencing a theorem from string theory, as discussed in this Numberphile video: https://www.youtube.com/watch?v=w-I6XTVZXww

The catch is that this isn't valid in what we consider standard mathematics, and you can find many discussions of this online, but this one is fairly short and straightforward: http://curiouscheetah.com/BlogMath/infinity-and-string-theor...
> I think much of new tech is mercenary. They aren’t from the area. They came to make money. They don’t care about the neighborhood. When they can make more money elsewhere they will leave. In fact, with COVID-19, many have and are.

That’s literally the history of SF and why the city even began existing. The ‘attitude’ isn’t anything new, SF is built on gold mining and get rich opportunities.
Paraphrasing, can't remember the exact joke:

Recruiter ask candidate developer: "So, why do you want to work in our office in Mexico?"

"Because I want to be a señor developer"
that's what i was thinking, i've seen this before.
So the programmers joke here is the silent nod to jamie zawinski, as a maths savvy guy who is bartending?

https://www.jwz.org/about.html
Nicely done, congratulations on the launch!

This brings back memories. In 2017 I had launched a similar 'chat-app network' platform[1] for privacy focused dating using Bot API of the respective platforms allowing communication between,

Messenger <-> Telegram <-> Viber <-> LINE

It was quickly selected for acceleration by one of those platforms. The features included half-duplex messaging(user had to wait for reply to send a message to prevent harassment), optional location, near-far dates switch etc.

Adoption was quick, the first major issue I ran into was that in SE Asian countries many used their children photographs for profile picture in chat apps, which obviously was a no go for dating, so I had to implement Amazon Rekognition to detect age and make those users change their profile picture and their profiles weren't displayed until it was changed. At peak it processed 200,000 images/month.

Obviously bridge approach as in Beeper(Matrix) is a more reliable approach than using Bot API, especially due to UI/UX limitations and even platform stability issues(Some bot API were nascent).

In about a year it even crossed the Trough of Sorrow with ~2,40,000 users on Messenger alone.[2] But had to let go of it as I fell sick(was told I could become quadriplegic[3]) and as single founder bus factor hit my startup.

I received several offers to buy the platform, but I didn't sell it as I was not sure whether the buyers would stick to the privacy promises. So I just nuked the platform.

Even if I had continued, I'm not sure whether I could have monetized successfully as selling digital content was explicitly prohibited by these platforms because of Apple Tax/Google Tax(it would mean that the chat apps function as app store).

[1]https://www.youtube.com/watch?v=aeuL8_Qinhs

[2]https://web.archive.org/web/20181203031208/https://finddate....

[3]https://abishekmuthian.com/i-was-told-i-would-become-quadrip...
Go for a language that 90% of beginners won't ever touch, you'll find a much higher quality of learning resources.
Not that long -- remember, the horse went extinct in North America and were unavailable until the Spanish brought them in the 16th century, so hunting from horseback was relatively recent technology.
Dividing n elements into groups of at least size g minimizing size of each group
It's very simple: you test things because we can't rely 100% on developers to create the right thing or to create it without any bugs. The same goes for automated test software. I've personally created unit tests that were failing for like 2 years but due to a bug still showed green in CI.

To go back to the joke: manual QA is infinitely more likely to find the exploding bathroom than a unit test would ;)

Automated testing is a fantastic tool, but manual QA is still very valuable.
Works now thanks. Yup HN hug of death lol. Someone should write about it. The influx of HN users and how they had to scale things up. Etc.

It'd be a useful read for beginners.
TIL on HN: doing a little bit of physical activity will make you deformed.
Exactly this. A lettuce grown in California that's shipped to NYC is going to be incredibly low in 'benefits'. IMO vertical farms do have a role in the future and that is to swap out lettuce/leafy greens/herbs grown on a traditional farm to something more calorie efficient, local leafy greens grown in cities and towns.
"Trudging slowly over wet sand

Back to the bench where your clothes were stolen

This is the coastal town

That they forgot to close down

Armageddon, come Armageddon!

Come, Armageddon! Come!

Everyday is like Sunday

Everyday is silent and grey

Hide on the promenade

Etch a postcard :

"How I Dearly Wish I Was Not Here"

In the seaside town

That they forgot to bomb

Come, come, come, nuclear bomb"
To me the appeal of this product is that the intent seems more personal.

The types of interactions that you only want to share with a small crowd or a few friends.

All that goes out the window if you're just going to sell all my personal thoughts that you want me to share with my friends.
Interesting details. Is using Synopsys DesignWare problem?
There are 10 kinds of programmers: those who know binary, and, uhm, nine others.
I have solved the halting problem. Every program you write compiles and executes as HALT; and therefore it's possible to determine if a program halts! It might not be correct but it sure is fast!
Many doctors publish research. Is that not science?
I commented on this asymmetry before, Chinese propaganda operating freely in the west on western platforms, while western propaganda being filtered in Chinese platforms is a real foreign policy conundrum since both parties are following relevant local regulations. Hard to see how west can match without adopting similar (anti)values. Didn't take long, this only validates Chinese filtering model and plays in China's favour. I'm sure there's going to be much rationalization and wank over differences between private and government control. But IMO it's perfunctory and doesn't change the underlying effect of political censorship, in the end that's the only validation China needs.
Well done site.
I have a little mixed feelings about the target audience.
Working out for many years (gym and calisthenics) I know a lot of exercises. Beginners might be tempted to approach their fitness by asking that question:

what muscle I want to grow today?

That is not the way to go.
If you start out or especially during a pandemic where you need to work with everything you can get go for composite exercises that hit more muscles and are the opposite of isolation exercises you might be tempted to choose from a page like this.
Beginners: full body workouts.
Advanced: 2 to 3 day split.
Expert: you know your drill. and will do whatever works for you.

So who should be using this site?
Beginners and advanced should use a plan that is preconfigured. Pros know what exercises they want to configure into their routines.

Don’t get me wrong: It’s nice to have for reference but do yourself a favor and use some preconfigured workouts if you’re starting out.

You won’t get a sixpack by only working out abs. Train your whole body and reduce body fat. That’s the way to go.
I truly admire those that can code via voice input, it may even be envy if the mobey they spend on it. I wonder why we can't have custom commands, or meta language as you aptly call it, with siri and google.

I do not feel this makes voice input much easier though, that lack of good meta language means editing will still suck.
Thanks for this write-up. What about ADTs and pattern matching?

Afaik, they are not available in Typescript and the emulations that I've seen are very sloppy.
China is not east Germany.

Heck today's China is not the 70s China.

I'm more afraid of going to the US, where any Chinese person can be labeled a 'CCP spy' for no reason.
If you're going to reach out anyway, couldn't you call them without checking the feed? I guess I don't see how this is different than just unfollowing your Facebook friends and going to look at their profiles on Sunday.
So now the point isn't that many languages are supported, rather which ones make use of dynamic and dispatch interfaces?
How would that explain the increased amount of TEU volume in the "Port of Los Angeles Weekly Volumes" chart shown on the site?
That sounds like "clout".
Raspberry Silicon: Raspberry Pi Pico now on sale at $4
Yes, card carrying members of Antifa Inc. Pvt. Ltd. did that. It's certainly not standard protest behavior to avoid things like the parent post, or actual law enforcement violence.
Raspberry Pi Pico and RP2040 Microcontroller
Memfault (YC W19) Is Hiring Engineers in Boston and Berlin
The economy turns bad and a programmer has to become a hammer hand to pay his rent. The builders are working on a new house, how do you tell them apart?
Microsoft OneDrive Introduces Face Unlock in Android App
Backport frankenware is probably the biggest reason I wouldn't recommend Debian.

They do not have the time and resources to figure out every inevitable configuration, and they end up supporting a mishmash of unsupportable software.

Backported ZFS just brings fear in my eyes, these filesystems have to have many decades of testing before people are comfortable with it, and Debian finds it acceptable to make a custom patched version. Not cool.

If you want to store all your data on that configuration then by all means, but I'm afraid I won't run a distro that plays games to avoid changing a version number.
I'm sorry, but your point is completely lost on me.

I literally run my life on omnifocus. I have done so since it came out around 2007. My data is private and on my webdav server.

The software has been: useful and pleasant to use.

(well, except that OF1 was better than OF2 and compounded with ios 7 the transition sucked)

(also, this is in a thread regarding Adobe!)
You'd be surprised to see how many WhateverFactory classes there are in the current python project I'm working on... sigh.
>because they provide features requested by developers/users

That would be if Google cared for developers/users.
Classic christians
Just to be clear, the backporting part was just hearsay that it was under debate, so don't take my word for that one.
1 + 2 + 3 + ... = -1/12 total beers

-1/12 beers * $3 / beer = -$0.25

negative -> pay them for taking the beer

The -1/12 result is pretty widely known, but not particularly true. It's called "analytic continuation." There's a nonrigorous proof that's accessible at a highschool level - see [here](https://en.wikipedia.org/wiki/1_%2B_2_%2B_3_%2B_4_%2B_%E2%8B...)

Delightfully, this comes up in string theory, in computing the dimensionality of spacetime.
It’s bigger than a joke but pretty funny: http://www.stilldrinking.org/programming-sucks

Money quote: “Also, the bridge was designed as a suspension bridge, but nobody actually knew how to build a suspension bridge, so they got halfway through it and then just added extra support columns to keep the thing standing, but they left the suspension cables because they’re still sort of holding up parts of the bridge[…] Would you drive across this bridge? No. If it somehow got built, everybody involved would be executed.”
Don't click this link, copy and paste it. JWZ redirects clicks from HN.
The drivers (e.g. for Intel's iwlwifi) don't work without the firmware.
If I could wave a magic wand and repeal a single law, it would be Prop 13. That shit is un-fucking-believable. Such blatant, corrupt, crony-capitalist legislature.
$4... that's just sweet!
The privacy policy you have currently does not mention what you do with the content that users share with each other.

Do you provide this information to third parties?
> slaughtered each other just as much as the Europeans did to themselves and to others.

The Europeans killed 90 to 95% of indigenous people in the Americas, killing tens or hundreds of millions.

Yes, there was obviously war and conflict between indigenous communities. But it was not anywhere close to the scale the Europeans did to others.
There's an old Joel on Software one related to string concatenation:

Shlemiel gets a job as a street painter, painting the dotted lines down the middle of the road. On the first day he takes a can of paint out to the road and finishes 300 yards of the road. "That's pretty good!" says his boss, "you're a fast worker!" and pays him a kopeck.

The next day Shlemiel only gets 150 yards done. "Well, that's not nearly as good as yesterday, but you're still a fast worker. 150 yards is respectable," and pays him a kopeck.

The next day Shlemiel paints 30 yards of the road. "Only 30!" shouts his boss. "That's unacceptable! On the first day you did ten times that much work! What's going on?" "I can't help it," says Shlemiel. "Every day I get farther and farther away from the paint can!"
It's answered (I believe) right below the chart: "Importantly, the data does not solely include TEUs arriving in a particular week. It also includes TEUs arriving in prior weeks that the port expects to handle in the stated week."

In other words, it includes the backlog that's building up. "Expects to handle" isn't the same as "can handle." That's going to go up until the backlog is cleared.

(There is data that could prove me right or wrong, but the article doesn't provide it.)
I recall hearing somewhere that sqlite isn't hardened against opening maliciously crafted database files; can anyone substantiate it? If so, that would make this a lot less compelling.
I forget where I first read this essay, but I have a tendency to go through periods in which I fixate on some person and exhaustively read everything I can find about them and Feynman was one of those people for me at one point (another was Hunter S Thompson - perhaps I have some attraction to brilliant and also deeply flawed people).

There are many interesting points in this piece that are worthy of further discussion but I just wanted to call out for appreciation one of the most poetic passages here:

“Stands at the sea... wonders at wondering... I... a universe of atoms... an atom in the universe”

Beautiful, and also for me personally very charming because I hear it in Feynman’s voice as I have heard it in numerous videos and audio recordings, so down to earth and with the same kind of Long Island accent that my paternal grandmother had.
Ask HN: What satalite ISP do you use?
Last week my president executed an order to have internet disconnected [0].

And for days I had no access to any webbased services that I used.

This has got me thinking that I need to start looking at ISPs beyond cellular networks.

I wanted to know what ISPs that cover East Africa, which you guys may recommend.

[0]: https://www.dw.com/en/uganda-shuts-down-internet-during-presidential-election/av-56243961
> having been a proprietary kernel driver developer for Windows, FreeBSD and Linux

May I ask how you learned how to do this? I'd like to learn too! I had a great experience developing a Linux user space driver for my own laptop's LEDs. Couldn't figure out how to control the fans though.
> Manual Math that allows you to override the rules of arithmetic

Although finance types would be interested. (and OO programmers)
Some high level info on the Pico [1]:

- New RP2040 microcontroller with 2M Flash
- Micro-USB B port for power and data (and for reprogramming the Flash)
- 40 pin 21x51 'DIP' style 1mm thick PCB with 0.1" through-hole pins also with edge castellations
- Exposes 26 multi-function 3.3V General Purpose I/O (GPIO)
- 23 GPIO are digital-only and 3 are ADC capable
- Can be surface mounted as a module
- 3-pin ARM Serial Wire Debug (SWD) port
- The power supply achitecture is pretty simple (you can power the unit from micro-USB, external supplies or batteries)
- Buy price is $USD 4.00
- MicroPython & C++ SDK
- Pinout Diagram: https://files.littlebird.com.au/Shared-Image-2021-01-21-17-39-47-GVzHd.png
- When using MicroPython, the programming model is similar to other boards where you have to unplug and plug back in the board. I hope this is ok on the Micro-USB port.
- The isn't currently a version with header pins, so you'll have to add your own, or get one from a Reseller who will mode them for you (like this one [2]).

The burried the lede is that Raspberry Pi have created their own silicon (just like that other fruit company).
They call their Microcontroller the "RP2040":

It boasts some impressive specs:

- Dual-core cortex M0+ at up to 133MHz
- On-chip PLL allows variable core frequency
- 264K multi-bank high performance SRAM
- External Quad-SPI Flash with eXecute In Place (XIP)

Source:

[1] I've had access to prerelease HW and work at: https://raspberry.piaustralia.com.au/products/raspberry-pi-p...

[2] Maddy (with her steady hands) has hand modded 100 of these: https://raspberry.piaustralia.com.au/products/raspberry-pi-p...
"God is real!"
"Unless declared integer."
TypeScript supports ADTs (discriminated unions) and not-quite-pattern matching using a combination of features: union types, literal types and control-flow based type narrowing.

Here's an example from the TS handbook: https://www.typescriptlang.org/docs/handbook/unions-and-inte....

What you need to understand about TypeScript is that it ultimately is just JavaScript. After TS 2.0 a decision was made that TS will align with standard EcmaScript and will not implement any* run-time features not part of the ES standard or ES proposals.

Because of this decision TypeScript cannot have a proper dedicated pattern matching syntax until JavaScript gets one. TypeScript does support some pattern matching using ifs and switch statements and other control flow structures, but that's as good as it gets until JS improves as well.
Is there a free source code for this?