skysight-inc/HackerNews huggingface dataset:
Actually they realized Alef was useless without a GC, hence why Limbo on Inferno, Plan 9's sucessor was GC based.

Below taken from https://en.wikipedia.org/wiki/Alef_(programming_language):

Alef appeared in the first and second editions of Plan 9, but was abandoned during development of the third edition.[1][2] Rob Pike later explained Alef's demise by pointing to its lack of automatic memory management, despite Pike's and other people's urging Winterbottom to add garbage collection to the language;[3] also, in a February 2000 slideshow, Pike noted: "…although Alef was a fruitful language, it proved too difficult to maintain a variant language across multiple architectures, so we took what we learned from it and built the thread library for C."[4]
I really don't understand the issue.

Protonmail is subjected to the Laws of Switzerland. These laws require that foreign requests be first approved by Swiss authorities, which is already a huge protection from rogue actors, as it shields the company from having to comply to most requests.

Once it's passed that hurdle though, Protonmail has to comply (although they seem to do some due diligence and reject some of these requests, or at least ask for reconfirmation[1]).

Even if they cooperate, Protonmail can only send limited information about the account[2].

That limited information was apparently enough to correlate with other mail services used by the accused, and LEA managed to get more incriminating information from these, including email content.

Mail services often send/receive un-encrypted emails to/from other regular systems like gmail. That means there is an inherent weakness that can be exploited. Swiss law has more stringent requirements than other jurisdictions on what can be collected but it's not a free pass to illegal activity.

Know your provider and its limits and take appropriate measures if you need more protection.

[1]:https://protonmail.com/blog/transparency-report/

[2]:https://protonmail.com/privacy-policy
At $WORK I use a dynamically typed language at least 75% of the time.

I often wonder how much time (== money) I waste debugging existing code which has a logic error that would have been caught by any type system, or trying to piece together the type of some variable when writing new code. I expect it’s significant.
The Great Exodus from China Continues – Bitcoin
Works on android on Firefox
Java, Python, Ruby, Smalltalk, C, C++. That seems like a really small world for someone that calls himself a "craftsman". How about doing a bit of Haskell or SML to see what a static type system can be?

> I also realized that the flexibility of dynamically typed langauges makes writing code significantly easier. Modules are easier to write, and easier to change. There are no build time issues at all. Life in a dynamically typed world is fundamentally simpler.

Isn't he mixing static and compiled languages here? I'm also not convinced at all that dynamically typed code is easier to change. Easier to write maybe, but I thought his whole thing was that writing is the easy part and after that software rots and you have to change it.

Edit:

> I thought an experiment was in order. So I tried writing some applications in Python, and then Ruby (well known dynamically typed languages). I was not entirely surprised when I found that type issues simply never arose.

I don't think understanding code you just wrote and not having issues in it is a great experiment with a lot of meaning.
One university in the UK is offering students a £10K bung to defer their studies for a year.

https://www.theguardian.com/education/2021/jul/22/exeter-uni...
Google "the problem with typescript", there are people who don't like it. I don't know how many they are but saying "no one" is silly.
Nuclear weapons don’t grow on trees. Bug grow by a side effect of programming.
Way to save Google meet chat/transcription?
I have a billion client calls and hate taking notes. Anyone got a good workaround or tool?
Either you are a founder, or you're not. It can't be changed, the same way we can't change who was the first man on the moon. Musk isn't a founder of Tesla, and that also means that he'll never be the founder of tesla.
energy use != emissions
An AI Engineer’s Personal Journey into Law
With your 1980's ford, you outsource all off the complexity to a local shop. You're enjoying 100+ years of investment in internal combustion engines. In the future, with wide-scale adoption of EV's, local shops will respond to market demand. We're in early phases. The Model T was launched in 1908. In 2121, I think it's a strong possibility you'll be able to get your 2080's Ford serviced at a local shop.
.whl packages don't run arbitrary code, they're just zips.
What is Impostor Syndrome and How to overcome it?
The UK has an office for tax simplification. I'm not sure I've seen any evidence of their work though.

https://www.gov.uk/government/organisations/office-of-tax-si...
I really don’t think the one/two words are representing the companies in any meaningful way personally.
You do realize that in order to get milk from a cow there is a precondition that ultimately leads to slaughter anyway? Unless you can afford keeping every calf and won’t exploit them for milk further.
I'm sorry but come on. The writing has been on the wall for decades now. If you run Windows on your computer, it's not your computer, and you have to comply with whatever Microsoft says or does.

I haven't had Windows on my computer since Windows 7. Instead I've been using modern Linux distributions. This is freedom. My computer doesn't slow down, is lightning fast, and just works, year after year.
It's completely ridiculous to take a cut for that. One should get a raise for it. Office space costs money. Where there is no need for office space, a lot of money is being saved.
Every CRM starts with a spreadsheet or every applicant tracking system starts with spreadsheet. Many organizations love to start with spreadsheet and then evolve to application (Ready or custom).

At https://www.dronahq.com we support
1. users to connect to their spreadsheets and build applications on top. or pull data from multiple datasources e.g. spreadsheets and support ticket system and build custom tool.

2. We understand people love columnar database like spreadsheet or airtable.com, hence we offer an built-in database called 'sheets'

3. We support most excel formula and functions for binding data or writing complex business logic i.e Logical Functions, Date and Time Functions, Text Functions, Math Functions, custom functions
How do you know they are unvaccinated? Do you expect vaccinated people to mask up for... Ever just to feel safer? At that point who's the selfish and entitled person? The guy just living his life or the one expecting people to wear masks even if they are vaccinated just to make you feel safe? Unless you assume that anyone without a mask is unvaccinated.
Launching the World’s Biggest Space Telescope
Sorry, I can't find where it discusses why it may have looked fine in the past, can you point me to it more precisely?
That page is "fake news". Musk didn't found Tesla, that's the whole point.
Or delete the file in question on disc, the full path is encoded, and I've come across scripts and lua modules that does it for you.
My wish is a language that lets you instantly run changes but build enforcing static types. For example, if I change the signature of a function, I can update one url that uses it and instantly see the changes, and the language/tooling tells me there are 4 places where the code broke. I guess Python or JS will be the first to reach this goal.
I think they are talking about "economic" growth rates, which are independent of population growth rates.

This actually makes me lean towards saying that the economist is right, money is arbitrary anyway so if the argument is actually that the economy can increase forever I see no reason that can't happen physically. It's not real, it can't be real in the future and it's barely real now.
I think you are complete right, but maybe I believe so in part because of my age.

To me the general undertone in all the arguments I have heard over time is either "we now have this tools/service solving that us" or "why would I need to learn all this (complicated) stuff, I've done fine without it".

The first variant I just never have seen being true, but that might be hard to see by someone who is reluctant to learn/understand anything about relational data organization.

The second variant I can to some degree sympathize with, because it does seems daunting to me, how much time/effort the young kids these days have to spend on keeping up with the ever changing landscape of new smoke and mirrors technology (very little of it fundamentally new or innovative). Learning something that appears to be far removed from the tools they already know will no doubt feel like a challenge and maybe therefore also as a waste of time.

However, the apparent resistance to learn about something as relational data organization (because this is actually about far more than just SQL), feels to me as rather troubling regarding the quality of software design.

The way I've hears some people talk about SQL and relational data organization, made me even wonder if they should even be allowed to call themselves software engineers. To me they sounded like architects telling me that concrete is such an outdated and unstructured mess that they no longer need (to know about) it to design buildings.

The problem is, buildings and software will be build anyways (for there is a need) .. and if their architects can get away with saying they don't need to know about some fundamental theory, then good luck with the quality of that software. No amount of tools/services that supposedly abstract the challenges of good structured data design away, can ever solve that problem.
A year after Beirut explosion, parents seek justice for their daughter
You need to get out more. =)
That page has probably the worst cookie banner experience I've ever seen! 3 pop-ups later, 5 second delay between each, and the page jumping back to the top after each of them, I gave up and decided no article is worth this amount of suffering. I got to read the first paragraph tho, I guess that's something....
If you use Postgres or SQLite, TEXT is preferable for strings.
Emissions aren't the only thing you need to measure - you would also need to factor in resource consumption for manufacturing. The conjecture that the economy can continue growing on virtual goods is an interesting idea, but you can't eat virtual goods and if the economy growing also depends on population growth, something will break at some point.

Note: I'm not entirely convinced economic growth depends on population growth, but historically that has been the case in most countries that haven't exhausted their windfall natural resources like oil and have healthy export markets.
I never said I was a middle manager. You’re assuming that an experienced view is somehow an endorsement of the status quo. I specifically lead a very high performing senior team and this issue is the reality that we struggle with.

You need to have a realistic view of how things work to make progress, and managers banding together is comically unrealistic.
This has never been an issur for me in my 13 years as a professional programmer, most of those in static languages. I prefer static typing due how it encourages good design and how in good static typed languages like Rust it id almodt always true that if something compiles then it also runs. But, no, merge errors have never been an issue for me with either dynamic or static.
I would say self hosting is best. At least if you lose your domain name you still have your emails.
“Deleted all comments” is click bait IMO. This is a YouTube video, so the choice is either to allow commenting, or disable the comment section with all existing comments with it. The title reads to me to imply MS is doing some kind of censoring. Yeah that is one of the result of what they’ve done, and that might be the main intention, but heavily implying this in the title without evidence is bad journalism.
My recollection of the beginning of ProtonMail is that they said they'd comply with Swiss laws. My impression was that there would be instances in which they would at least have to reveal information they carry. Which of course in almost all cases would include information that helps identify account owners. I mentioned one of the less-obvious ways in an HN comment a couple months ago: https://news.ycombinator.com/item?id=27328945

I know zero about Swiss law, and am not a lawyer, but some account being used to threaten murder (if that's what happened here) seems plausible legal grounds to layperson me, that a country would compel the company operating that account to reveal what they know about it.

(And also plausibly ethical/moral grounds. Were you starting a privacy service, you'd think hard about scenarios like someone doing something really-really-really bad using your service. Having some information, and being under the jurisdiction of a legal system that you trust for a just decision (JaaS), could mitigate some of the risks. And you'd want to disclose that upfront, both so that you could be entirely honest and be able to honor your commitments to users, and also to hopefully discourage the really-really-really bad.)

FWIW, here's an old page of Protonmail's, which ediff says they've edited only slightly since, no changes that looked suspicious to me: https://web.archive.org/web/20151116013004/https://protonmai...
>As well as why it does not follow the model of οὗτος in declension.

Well, okeanos does follow the model of οὗτος in declension.
This apparent decoupling in western nations is an illusion made possible by globalization, where resources are extracted from the global South. When you count in production, no more decoupling can be found.

Find the sources for these from for example:

https://www.tandfonline.com/doi/abs/10.1080/13563467.2019.15...

Edit. Here specifically on decoupling:

https://www.sciencedirect.com/science/article/abs/pii/S14629...
Craigslist has been utterly disrupted by FB Marketplace where I live, unfortunately.
I'll admit react is not the ideal technology for frontend but it is also not a bad one especially given the alternatives of designing one's own ui library.
It is in demand not because it's the best technology but because it's well funded, has extensive library support and there's a wealth of tutorials online to learn it. Best technologies often don't win the popularity race.
React is still a very powerful way to create reusable uis but you need to be familiar with its internals and state management.
I personally would prefer writing my uis in something like elm which is far better designed and has some great ideas but in most projects I have to stick with react because everyone knows it.
I'm kind of out of the loop, but I expect that if I cannot get Windows 11 then eventually my Windows 10 machines would no longer be supported with updates and so on, right?
I guess I will check if I can play my games and do my work using Linux... I feel confident that I should be able to.
If you use IntelliJ IDE in their commercial version (at least of PyCharm) they integrated DataGrip. Basically if you connect to your database and give an option to fetch your schema the IDE starts scanning for strings and if it detects SQL it provides IDE features to it as well (like auto completion, and some refactoring etc).

I think ORM and query builders were trying to hack around to make IDEs understand SQL, when in reality this approach is what actually was needed.
I find this accident to be too suspicious in this context. I know that I am looking backwards and finding patterns where maybe there aren't any, but it's just too tempting to connect this dot to the other dots.

https://snbchf.com/2020/02/durden-credit-suisse-md-dies-frea...
A dysfunctional education system does much worse than failing to teach what average speed means. I seriously, seriously doubt the reasoning "Colombians can't math" is accurate, and don't believe the causes reliably imply "Don't hire Colombians for dev roles"
I'd like to see SQL as a first class citizen in a static typed language with tuples & record polymorphism.

disclaimer: I hate ORMs.

Something of interest:
https://smlsharp.github.io/en/
alert is also broken in other way. When triggered by onblur, it causes infinite loop. But the bug is marked as WontFix because "Chromium team highly recommends that you not use JavaScript dialogs".

https://bugs.chromium.org/p/chromium/issues/detail?id=666205

https://developers.google.com/web/updates/2017/03/dialogs-po...
https://twitter.com/andyyen/status/1422658759600525319

Even less than that, apparently.
What I wonder is if n-nitrosoglyphosate is more/less carcinogenic than any of the other things nitrites could react with to create n-nitroso-x compounds.

Nitrites are heavily applied as a preservative. Not sure if that’s where the ones in saliva come from or if naturally occurring (in large amounts anyway).
Ah, found it in one of the earlier HN threads: https://news.ycombinator.com/item?id=7352391
To be fair to the article, it does extensively quote prominent people in this field. Some of the most scandalous content in that article, to my taste, is direct quotes from Ord and Bostrom.
Is it? All that's ever worked for me with ORMs are simple CRUD apps that don't require referential integrity. We currently need to support one built on Django/ORM where this isn't the case and e.g. deleting an object can require deleting thousands of others.... which the ORM helpfully renders into thousands of queries and can take you half an hour. Luckily the creators soon decided to switch off all timeouts....
The monkey's paw - you get your wish, but now instead of one annoying query language, you have two!
Yes, lets all move into the wilderness and use our own dung as fuel for our campfires...
How serious is MS about requiring TPM? I haven't read too much into it but every time I hear people talking about it they say there will be workarounds or MS will eventually budge. The same with requiring online accounts.
While I agree with most of what you said, the things you mentioned are more about type inference and good naming than static vs dynamic typing. (While you definitely shouldn't) You can, for example, write Haskell without ever naming a single type.

Considering the use of features like auto, I personally prefer writing unspecified variables while programming and getting the statically inferred types live from the IDE, which for example aids when composing a complicated expression whose type I don't fully know while writing.
The NIH Syndrome
You basically open your Terminal, run dozens of NPM commands and install dozens of libs and start writing javascript, css and jsx. Then you run commands to build and deploy.
I just wanted to give a easily understood example. Specifically to point out that even limiting the length can make problems.
I mean, the answer is that the LED bulbs have a lower environmental impact than CFLs or Incandescents.

https://www.energy.gov/eere/articles/study-environmental-ben...

I think this is easy enough to find though... maybe they just don't know how to find this stuff.
> few that make partner and rake in decent cash, which is only like average FANG entry salaries

What entry level FAANG pays partner salary [1]? I need to apply.

[1] https://www.glassdoor.com/Salary/Sidley-Austin-Partner-Attor...
I disagree that copyright is FOSS only protection.

But it is true that this proprietary product extracts is value on the basis of open source software exclusively.

Yes, it would be nice to have the source of autopilot in exchange, but I think far more important would be for third parties to have the same access to the code to provide similar tools.
Yes, but I meant as development not as final customer. I agree that even those examples don't affect real software projects.
There are two possibilities, and the following isn't a valid choice, so...
"Microsoft disables comments because of overwhelmingly positive reception of Windows 11!"

They don't want to deal with criticism and likely consider everything a sunk cost, so it is what it is and nothing will change.
It's a real testament to Chamberlin and Boyce that no one has been able to come up with anything better in ~45 years.
No, ORM provides an inspectable central entry point for your models with a standardized API. That's the feature.

That's why you get a great django ecosystem: the ORM abstractions allow all libs to rely on the fact the rest of the code access the model the same way.
>Heck a few thousand years in the future we could all wire up our brains directly into hyperspace and still grow at 1% per year.

The economy ultimately comes from material goods. The digital economy is only a facade built on that substrate. And it's already pushing its limits, which is why everyone, from FAANG companies to the guy selling some digital asset online, is pushing to sell something or another as hard as they can, with all the conviction and integrity of a snake oil salesman.
Hey Thomas, weren’t you running Latacora last time I checked?
Forget about it. No car made after 2024 will be a stick shift. By 2035, GenZ will celebrate as humans are declared too stupid to drive cars for themselves. All stop lights will be removed, and cars will negotiate intersections over a network, slowing or speeding up in advance, and never going below 100 KPH. Peds and motorcyclists will be arrested as they try to rally in intersections to force the AIs to slow down and allow humans to cross. But yes, you will still have to give a blood sample to get in your self-driving car, which you don't own.
I appreciate the creativity but confused by the monetization strategy, at what company do they actually pay and use replit to build a serious app? Its just too toyish.
https://youtu.be/VdOr5FpLKR8

"And now it's time for In Our Time, the programme that just starts. The Byzantines..."
And developers use zillions of libraries too. In the end devs write less code.
It appears that these theories are not relativistic and claim that energy is not conserved. Therefore they will have significant trouble explaining almost all particle physics experiments.

From the perspective of a theoretical particle physicist these theories are also awkward because they try to fiddle with non-relativistic quantum mechanics like the Schrodinger equation. But that equation merely arises in the non-relativistic limit of the more fundamental relativistic quantum mechanics, more commonly known as quantum field theory. Therefore, if you want to probe the foundations of quantum theory then quantum field theory seems like a much better place to start.

As an analogy, these attempts sound like a nineteenth-century person trying to understand gravity starting from F = m g h rather than F = - G m1 m2 / r^2.

For these reasons I would not be supportive of significant funding for theoretical or experimental research in these collapse theories.
This is quite similar to an unsafe use of a variable in a thread, and would have the same consequences.

You have to make certain assumptions about the nature of the program as compiled, if those assumptions are wrong, poof!
A few caveats to this, in addition to the spouse problem:

1) You are shackled to this for ten years. Dropping out early isn't just bad - it's a financial catastrophe.

2) It's based on qualified payments, not "time served" or the like, and there's lots of things that can disrupt those. Plan to fight with your loan servicer.

3) Republican administrations tend to do a will they/won't they thing with approving the actual loan forgiveness.
> The question I would have around automated building construction is "why use bricks?".

Well, eventually roads will also be optimised for self-driving cars not human drivers. But until then, self-driving car have to interoperate with the existing, pervasive, legacy infrastructure, even if it isn't optimal for their needs.