skysight-inc/HackerNews huggingface dataset:
The article being discussed paints a very incomplete picture of what Idris does, but Idris seems to be in agreement with pron's comment here: it allows functions that loop forever, but if you want to write a proof, you'll need to ensure that it terminates. In fact, all functions are, by default, allowed to be partial.

https://edwinb.wordpress.com/2013/02/19/on-partial-functions...
It’ll have to be cultural shift. The same way you get free food and beer, or a budget to buy your own gear, we need to start allocating a no-nonsense dev budget to get licenses.

Of course, we’d have to create a marketplace that has modest price points. The marketplace isn’t supposed to be filled with enterprise grade Jira solutions that cost - I can’t even imagine what it costs.

I’m not above paying a few bucks for all these things that I’ve used in my project if it was as seamless as npm install. But it’s not. Some take donations, some take bitcoin, some have a enterprise version with their own payment portal, some require you to call their sales staff, etc. There is a ton of friction here.

For these things to become profitable means we as developers have more places to generate income, it’s a win win.
Betting on people ridiculing the name as "McP"
When Mars is ready in a few years, many will buy a one way ticket to escape from governments, tax collectors and other similar criminal organizations on earth. The only question will be, for how long will you be safe?
Genuinely curious: How do you efficiently navigate such an extremely large code base using vim? ctags? Any plugin recommendation?
I'm only slightly older than Vim itself (but much younger than vi), but I've used it for virtually my whole career. The one thing the author's missing is the real reason every Vim user uses it:

Vim is not an editor. It's a language. A text-editing language.

When I'm editing, I'm thinking things like:

- change these 2 words: "c2w"

- remove everything in these parentheses: "di)"

- delete this line: "dd"

- where is this declared: "gd" (this is a custom CoC.vim mapping)

Any editor implementing that language would probably see very good adoption in Vim user circles (e.g nvim).
> Why are so many coders

It is unclear how many coders do in fact. There's a very LOUD subset of programmers that absolutely do, because they'll tell you they do every chance they get. But if you only listened to the comment section on sites like this you'd think that nobody uses Visual Studio, IntelliJ, Eclipse, etc rather than them being more stereotypical for professional shops than Vim/Emacs.

If you look at Stackoverflow's survey[0] it gives you some idea, but because it is a [Select All that Apply] question it can inflate IDEs that are good for occasional/general purpose usage (e.g. Vim, Emacs, Notepad++, VS Code, etc). They should ask people what IDE they use MOST.

It is the same thing as Windows, you come to any programming message board you'd think 99% of programmers use Linux professionally, but in the corporate world (which is the majority of programmers) Windows rules the roost.

[0] https://insights.stackoverflow.com/survey/2019#technology-_-...
I am sure I misunderstood something, but what does that 80% mean, and how does it differ from "the data we currently have shows that one shot of this vaccine is not likely to convey a decent amount of protection."?
My daughter's art class has her using Sketchup to create 3-D buildings. She put together an entire town.

School-supplied Chromebook + Google Classroom, no paper at all!
The critical piece for me is which-key: it displays available keybindings as-you-type (inspired by the Emacs package of the same name) – https://github.com/VSpaceCode/vscode-which-key
Not really, a tremendous amount of game code doesn't benefit from multithreading. So, this also doesn't have anything to do with Rust.

A better argument might be Rust and Vulcan, though. Even still, you can get very far with just using OpenGL.
Did you mean you're not going to apply for citizenship?

Does the global tax extend to green card holders who are not citizens?
> Modern IDEs are magic. Why are so many coders still using Vim and Emacs?

The title answers the question to some extent - I prefer Vim over IDEs because I am allergic to "auto-magic". Also, unlike most IDEs, Vim will still be there after 5 years, 10 years, or 15 years.
Right, we're about 8 months from the first recovery, so that's what's known. As time goes on, that number may increase.
> We pay through the nose of asymmetric internet speeds. I hope starlink and other factors push for a price revolt.

But StarLink still has to talk to a ground station. I doubt they will let a Canadian customer just connect to an AT&T station or T-Mobile even if they are in range. Could the local operators even segment the territory into exclusive zones by placing the ground stations a certain way?
Multi Media, LLC | Full Time | Los Angeles / San Francisco / Irvine | (REMOTE)

Multi Media, LLC is a full-service provider of live streaming video platforms and online community forums, where broadcasters can engage and interact with their audiences using high quality video content in real-time. Our proprietary platform is an all-in-one flexible solution that allows businesses of all sizes to hit the ground running and provide the foundation for exiting live interaction and social engagement, while also fully supporting out-of-box customizable, HD live streaming capabilities.

We rank on Alexa-List as top 50 Globally and top 20 in the US, serving over 10-million daily users a worldwide community of fans. Rest assured you’ll be joining a top notch team! Since 2011, we have offered our employees a classic and transparent Engineering Culture, giving them the freedom to research solutions and the space to implement those solutions in the way they choose.

We are currently hiring for:

• Sr. Backend Software Engineer [Python/Django | Backend Web Development] (https://apply.workable.com/multimediallc/j/D4A8BBA27F/)

• Product Marketing Manager - Notifications (https://apply.workable.com/multimediallc/j/1EED228737/)

We're looking for passionate, driven, and creative folks to help us build the best company and product possible!
It's about retribution and the idea that lawyers can influence the justice system and let "bad guys" go free. A lot of the states with lax laws around naming people accused of crimes are the same ones still dishing out the death penalty.
My increase in productivity was because of the auto completion feature from Sublime that I could not turn off, I found myself typing two letters and then waiting half a second for the drop down to appear so I could select the word. When I tried making a Jupyter notebook for a presentation I was planning and tried to type code there I realized: "I don't know the syntax, because I never needed to learn it. If I present like this I'll look like someone who doesn't know how to code". Was really ashamed of myself at that point.

So I forced myself to write code in Vim without any plugins for two weeks until I could type fluently. I was in insert mode most of the time, and did not use hjkl movement naturally, but it worked wonders, I could write words without interruption, my thoughts flowed freely.

Then I tried switching back to Sublime and felt less precise. Like vim was this stone path I was walking with confidence, and Sublime this fluid river I needed to row a boat on. Also for some reason I noticed that when using Vim, my wrist would feel lighter, while switching back to Sublime and using a mouse my wrist would suddenly gain "pressure". That's when I made the switch to Vim permanently and started customizing it. Only switched to Emacs, and later Spacemacs due to poor "Find and replace in project" functionality.
Cheers

I'll admit (although it annoys me) that I couldn't follow what was going on there. Nix x Erlang's gnarly build system seems like complexity junkie crack to me, but then I'm getting older.
How to statically type 'this' for a regular function in TypeScript
Besides what's everyone has said so far, what I love the most about my emacs is that the only thing I have on my screen 95% of the time is code. No side file tree, though helm find files has a sweet UI I use hundreds of times a day. Magit is there in three key strokes and out when I'm done giting. My window navigation is sweet. Sometimes I have zero splits, sometimes I have a dozen, and it's easy to navigate between each split, resize them, undo split modifications etc. My flycheck shows me errors in a great UI when I need it and doesn't show when I don't. Same with helm-imenu that that shows me classes, functions, methods and attributes when I need them and only then.

I'm sure you can do that with all the editors, but when I see peeps using VScode or myself using Xcode, everytime close to 50% of the workspace is filled by stuff I only need temporarily.

Emacs let's me see code most of the time, yet has all the classical IDE features one could dream of. <3
Still using Vim from time to time but this discussion was more relevant when powerful IDEs were not free.
Depending on what you're printing photos for, you may find it more convenient/a better fit to use a laser for text based things (including recipes), and getting photos printed at a print center (better color fidelity, lots of high quality paper options, etc). That's what I do, but, again, it's rare I print photos (and when I do it's generally for display or similar, so stuff that an at home consumer printer is just subpar for).
His step 2 could then be to renounce his US citizenship.
In the early nineties, when we were coding on Sun Sparcstations, the only real options were vi and emacs. I'd tell new college grads to use vi. After a few weeks I'd tell them about the existence of emacs.

Some would switch, most never did.

Nobody was forced to use an editor against their will, but before ubiquitous Linux availability in college, it's not as if they had any practical Unix experience.
I'd recommend watching The Cyprus Papers [1], done by Al Jazeera Investigations, mentioned in the article.

[1] https://www.youtube.com/watch?v=Oj18cya_gvw
>Take this as an opportunity to send me a six figure yearly contract or fork the project and have someone else work on it.

Oh yeah, for sure i would hire someone with that attitude.
> On top of the obvious tax benefits in Cyprus

There are no tax benefits for US citizens in Cyprus. Giving up your US citizenship involves a significant exit tax.
"The only country" that you know of.

According to this, https://en.wikipedia.org/wiki/International_taxation#Taxatio..., Hungary, Myanmar have the same as the US. Spain and Turkey and several others have it for some citizens.
I'd hope people were leery of rich people entering government long before this news.
My team deployed lots of stuff on Kuka robots from across the world using a VPN with remote pendant software and few PTZ cameras around the robotic cell. It can be done.

The thing though is you still need physical space for integration but a lot of the developed can be fully remote.
Building a Firebase-like direct frontend access to your database tables is far from the only use case of GraphQL. Many (probably most) apps inevitably need backend logic that does more than just pass through and format data for the frontend. GraphQL can still have a lot of other benefits in terms of enforcing data structure and eliminating other types of boilerplate.
I worked for a blockchain startup that was not in the ICO space -- they had a compelling pitch if you didn't examine it too closely.

Now that I'm gone I think it was a "well intended" venture that could only survive on milking the flush VC market.
ssh -X doesn't work?
I believe they already do this.
Nursing home Covid-19 cases rise four-fold in surge US states
>The meat & dairy industry received the majority of the benefit from the $867 billion farm bill passed in 2019.

No, they didn't. The majority of the 10 year funding bill went to SNAP (food stamps). [1]

I do hate how I have to waste my time researching your ridiculous claims, I do wish such extreme takes could just be out right deleted before they cause any damage.

[1] https://www.cnbc.com/2018/12/11/massive-867-billion-farm-bil...
You can declare you no longer want to be US citizen.
The easiest way is to move to Puerto Rico.
Another way is to run the Super Graph servie alongside your Rails app. Super Graph can decode and use Rails cookies and it's in Go so very fast and lightweight. Super Graph automagically converts GraphQL queries into a single efficient SQL query. https://github.com/dosco/super-graph
I really wish GraphQL weren't named in a way that seems to cause confusion about what it's for and its relation to SQL.

It's not a replacement for SQL. It's a replacement for REST. And the intent is to provide a statically typed, holistic interface and encourage best practices in API design. It's also quite nice because there are clients that plug into it and offer substantial benefits as a result, like Relay.

There are lots of ways people write resolution methods for GraphQL, and this article provides a good number of them. You can think of them as query optimization approaches if it helps. But it's not quite like SQL, where in SQL you say whatever you like and it just gets figured out. GraphQL forces an amount of intention and asks schema writers to consider the most concrete use cases possible rather than just enabling super generic ones.
Oh yeah my bad, in that case, let's say "X.Y.Z.T said it doesn't support recursion".
given the high demand for US citizenship, I don't think it is unreasonable to attach a cost to carry it.
I’m sorry, but this is missing the point. You’re forbidden from traveling FROM a country on whatever list (some are outright lists, some are based on the infection rate, etc.).

Traveling FROM the US is the problem, regardless of where your passport is from. Getting a passport (or even a residence card) from an EU country would only allow you to get back to THAT country, it doesn’t just suddenly open up the world to you.
Xpcspy: XPC message interception, serialization and filtering
The US DoD can block any patent or make any patent top secret.

Why would they need to do something like outsource to JPL to get patent? Pretty sure I’ve seen patents by scientists on behalf of the airport?
> Apple's never been a budget-product company, it's always been high-end.

The Apple II would like to politely disagree.
This website is broken on Brave browser Android. It looks fine until you try and scroll. Here is a working non-JS url. https://www.vice.com./en/article/n7wxgk/can-you-get-rich-fro...
Although by chance you might pick a good password, you have absolutely no guarantee of the strength unless its generated from a distribution with known entropy. The problem with assuming any particular distribution for the attackers is that they tend to constantly update their attacks as password trends evolve.

Random password, picked uniformly from strings up to 1000 characters? Almost certainly at least 900 characters, extremely strong. Probability of picking "password"? Less than the probability you're currently hallucinating, or that there's a bug in your code, or that an attacker guesses your password by pure chance.

You can't show that particular string isn't easy to guess- perhaps it follows a common pattern of humans spamming "random" keypresses with far lower entropy than one would expect. Can I show that I could guess something without seeing it beforehand? Probably not. Don't settle for "I couldn't guess this password" when you can get "No one can guess this password".
So, what is this? His passion for the Mediterranian? Reconnecting with his ancestor's roots?

BTW: All tax systems are draconian, at least to the middle class. Not to people who can afford creative lawyers.
Ha, I actually all three of Vim, Emacs, and a more IDE-like editor:

- Vim: this is my home editor - in particular, I use Vim keybindings in the other editors. Mostly I use it for editing config files and other scripts, and occasionally to perform more complex editing tasks in files I'd usually use other editors for. I have a good configuration for editing these sorts of files. I have tab completion, project search, and the like set up here, but not more complex language-specific editing functionality for the most part.

- Emacs: for Org mode and Magit primarily. I'll edit other files here if it's convenient (especially if I'm editing a file linked to by my Org agenda) - I use Doom Emacs, so there are some sane defaults installed for other languages - but I probably won't adopt Emacs as my primary editor, since it's prone to lag and lock up too often. Maybe that's due to Org, and I could fix it, but since Emacs' support for multithreading and async isn't the most robust, it seems like a better of use of my time to leave Emacs dedicated to Org mode.

- IDE: At Google, there is a web IDE that is integrated with syntax checking, build system, source control, that I use most of the time to edit code that goes into Google's main repository. I've briefly tried to set up such integration with Vim and Emacs - they exist, but it hasn't been worth my time when a frankly pretty good solution is actively maintained internally.

Perhaps I would use VSCode if I were working elsewhere, assuming its plugins are more robust than Vim/Emacs language integration plugins. The Language Server Protocol has been a boon to all the editors I use.
I have collected all companies in this post to a list on this spreadsheet, feel free to take a look: https://docs.google.com/spreadsheets/d/1zxzkCovZ1-47OCdL3VT1...
In Canada, there are some 'value providers' (that are just subsidiaries of the incumbents, no real MVNO competition here) that sell 3G plans. But it would be stupid to restrict them to 3G spectrum because that's a waste of spectrum, so they get rate-limited to "3G-speeds", which they consider 6mbps.

Funny thing is, I'm on the same network, and if I disable 4G and go on 3G, I get ~16mbps on my speed tests...

Like, 5G and 4G save telecoms money by being more efficient with their spectrum, requiring less tower/leases and less power. Their equipment needs regular refreshment anyway, upgraded or not. But in Canada they still sell it as a more premium service.
Be honest - did you write this just for the name and resulting gags?
> There is no way to dodge taxes as a US citizen by moving abroad

Well, no way to "legally avoid"; "dodge" is broader, and there are probably many ways of dodging taxes that are easier if the institutions you deal with in your daily life aren't subject to US jurisdiction and regulations designed to expose tax evasion to US authorities.

Also, typically you want to have at least one national citizenship, so if you are planning to legally avoid US taxes by renouncing US citizenship, getting some other citizenship is usually step one.

Of course, there are other reasons it is convenient to have citizenship in an EU member state, even if you are a US citizen, so its not necessarily step 1 of a tax dodge.
Any stack really if you have a well-gelled team that knows how to communicate and collaborate well together. If you don't have that as your starting point, things will be hard.

Rails is great for certain types of web applications because of the fast feedback loop.

With that said, there are many other good stacks out there today that allow you to go fast. I think Rails is really a victim of its own success. What DHH got right was to focus on developer UX. Now all the other major stacks have understood that there's a new normal in terms of minimum acceptable developer UX quality level and minimum feedback cycle speed. Spring Boot (possibly with Kotlin), .Net Core (possibly with F#), SwiftUI, Jetpack Compose, React Native, React, etc. etc. Everyone is building to the "sexy" dev experience that Rails introduced. jQuery and Prototype were a big deal when they first came out as well.

You also need a good CI/CD pipeline and modern DevOps practices so you can decouple deployment from release.

But like I said before, team communication above all else.
Or at least Peter David...
For someone like Eric S., it must be very easy to get a new citizenship, and this will help him to setup some of the schemes that, while legal, will allow him to evade billions of dollars in taxes over his lifetime. I believe this is just a way to simplify his tax dodging schemes.
> They setup a local company in country Y wholly owned by the parent.

The discussion is about non-FAANGs here. In my experience this isn't always the case and companies aren't always willing to do so just to hire a remote talent. I personally know someone who was hired for a US based company in Berlin, and when he was laid off, he had to spend few thousand €s from his own pocket to take care of the legal stuff for closing the company.

I understand remote work is the future, but we can't brush stuff under the carpet and say everything is hunky-dory.
Hey what happened to this idea they had to create google country? Didn’t fly?
I got an automated message from my local states's department of health services. It simply said they're "trying to contact me and the interview will only take 5 minutes." However, having not scheduled any interviews with the government I had no idea what they were talking about, so I chalked it up to spam or polling attempts and ignored several similar calls.

I'm now wondering if it was an attempt at contact tracing. Had they simply stated what they wanted in the message I would have been pretty likely to call them back myself or answer a later call.

I have no idea where they got my cell phone number from, but the whole thing seems poorly handled at best. Anyone with legitimate business will state the nature of that business and allow for a return call. There's just so many solutions to this problem but nearly zero aligned with incentives.
Sure, the company I'm with is Xplornet. I'm not happy with them but they're the only option until Starlink.

Bandwidth is around 2-5 mbps on a perfect day. Will frequently drop to 500kbps depending on the time of day, weather, etc. Several times per month I'll lose internet completely, and particularly bad storms have knocked out my internet for several days before.

I can sometimes watch YouTube on 240p, streaming music isn't too bad, and browsing text-based website (ie HN) are slow but palatable. Once the monthly cap is hit, the speed drops to 128kbps which is pretty much unusable (even for text websites).

Latency is also pretty bad. Real time conversations aren't really possible, but thankfully Zoom has a phone dial-in option. Here's an example:

PING 1.1 (1.0.0.1): 56 data bytes
64 bytes from 1.0.0.1: icmp_seq=0 ttl=58 time=635.123 ms
64 bytes from 1.0.0.1: icmp_seq=1 ttl=58 time=839.064 ms
64 bytes from 1.0.0.1: icmp_seq=2 ttl=58 time=661.220 ms
64 bytes from 1.0.0.1: icmp_seq=3 ttl=58 time=584.197 ms
Request timeout for icmp_seq 4
64 bytes from 1.0.0.1: icmp_seq=5 ttl=58 time=629.539 ms
Request timeout for icmp_seq 6
64 bytes from 1.0.0.1: icmp_seq=7 ttl=58 time=733.270 ms
64 bytes from 1.0.0.1: icmp_seq=8 ttl=58 time=658.290 ms
64 bytes from 1.0.0.1: icmp_seq=9 ttl=58 time=590.062 ms
^C
--- 1.1 ping statistics ---
11 packets transmitted, 8 packets received, 27.3% packet loss
round-trip min/avg/max/stddev = 584.197/666.346/839.064/78.501 ms
Reasons Linking Commits to Tickets Will Help Your Team Work Smarter and Faster
Oh, if it was the only bad thing he done - but the work conditions are terrible at his factories, he actively sabotages unions, he is absolutely just sells this engineer image of him: he is NOT a founder of tesla, he simply bought the title, he takes credit for his workers’ accomplishments, the only thing he engineered in tesla for example is some design work. He also sells himself as a self-made millionare, while his father has an emerald mine in South Africa.

So basically he is a narcissist scammer.