skysight-inc/HackerNews huggingface dataset:
This takes me back to the days of ordering a custom injection molded 4 pin connector for a Garmin III+ or IV, back in the days when you wouldn't just 3D print one and throw in a few pin connectors.
And just like that, I'm down the drama rabbit hole.
This protein folds into 140 individual small domains- we can easily cut it up into small chunks, and computationally fold each individual folding domain.

Because of the modular nature of this type of protein (polyketide synthase or PKS) we actually can already design and build proteins like this.
That strongly reminds me of Meteor. It's crazy to think how many modern problems were solved by design there years ago.

I wish you the best of luck, having a real-time database on the client does make things much easier.
Link seems dead now? The whole site is down
If you have this kind of revenue, you don't approach anyone, they approach you.
Well, any additional FFI overhead, right?

The cost for exposing very little tends to be that marshaling costs more due to the requirement that values be copied between domains rather than shared.
There's anyway, at the moment, more people that are more discerning. Maybe not for tuning your cheap upright piano, but it's pretty likely there's more concert halls with more amazing grand pianos than there ever was before.
Well now I might as well be in ChatGPT, and that’s not going to get Cursor its $600m return is it?

(Because this is what I actually do. I go there, ask a question, absorb the result, transfer to my code.)
> Who is Microsoft to decide what others do on their machines?

That would be an amazing rant had it only ended with "Sent from my iPhone".

Since the Blaster worm incident two decades ago, we're in a new era where security at scale becomes the forefront responsibility of the companies developing the product. That includes writing more secure code, having more verifications in place, adopting more secure technologies, but also, limiting user capabilities in order to avoid at scale security incidents.

This isn't about Microsoft. Some of these "forced" limitations are: UAC (User Access Control)/SUDO, Bitlocker/Full disk encryption, App sandboxing/On-demand permissions, Signed firmware and boot mechanisms, signed release binaries, Jailbreak-protections, Limitations on raw packet operations, auto-installed updates, forced security updates, closed source code, built-in anti-malware.

When you have a billion devices running around the world, you can't say "hey we'll let this arbitrary group of billion people do what they think is best for them", because you then end up with Blaster worm, and the whole Earth falls apart.

Think about the more recent CrowdStrike incident. That kind of deployment has been performed by professionals, not even regular people, and yet, it's managed to bring down the entire world to its knees. People might have died because of CrowdStrike.

CrowdStrike happened because one of the "user-empowering" features: ability to install kernel drivers on a machine. Now, people are begging Microsoft to adopt a more isolated, user-mode-only device driver system, so this kind of incident won't happen. Yes, some users who want to install their precious kernel driver could have problems, but at least the world would keep running.

Microsoft is nowhere to be blamed about this. Secure defaults is the responsibility of every product that intends to be used at scale.

If you'd like, you can disable Secure Boot, keep your data in plaintext on your hard drive, let all applications run as root, and you'd be the most powerful user in the universe. I'm all for personal freedom to disable the security features, but, at scale defaults must always prefer security over capability. That's not about Microsoft, or Google, or Apple. That's about at scale risk management.
That is just the first step -- we both know the next step is replacing them entirely, and you would if you could.
I'm not even sure how their packaging even works. Last I checked they had some kind of extra installer that works at runtime?

I have no idea how they keep version conflicts from breaking everything. Do integrations have isolation or something?

I wish python had a native way to have different libraries in the same project depend on different versions of a transitive dependency, seems like that would make a lot of stuff simpler with big projects.
I find some of the examples to be strange and self-inflicted problems.

In one example of the couple who travels internationally a lot and complains in being limited in what they can bring, they mention that they only like to take hand baggage.

Well, if you check your bags in, then you can take all these things.

So it seems like some non-trivial subset of travelers want to insist on not checking bags AND complaining about the rules.

This feels a but unreasonable to me.

Frequent travelers would often have credit cards that reimburse you for baggage fees. So what’s the problem? You have a choice.
Move over, microplastics!
Newspaper companies once made most of their money from ads. It was not uncommon to have an entire floor for classifieds.

Then along came modern adtech and it's data driven behavioural advertising. Newspapers couldn't compete with this. Nowdays they'd be lucky to have a small corner of the office taking classifieds as an example.

The problem with the modern adtech is its extreme privacy violations to the point of GPS tracking vulnerable/marginalised groups and opening them up to physical harm.
You can be tracked by the cops just for using a "free" weather app using GPS data sent by that app to ad brokers.

However, I wouldn't want to see the big corporate newspapers returned to their previous position of being the all powerful gatekeeper of most news either.
Batteries are included. Nannies are optional.
That is a fairly accurate concept of how a single PKS "module" works- which extends a growing carbon chain by 2 carbons, plus whatever side groups or modifications it makes to those 2 carbons. Then the entire thing is passed to the next module to repeat, and so on down a long linear "assembly line" that you can think of like the conveyor belt that moves a car down a factory one station at a time.
I recently started a project with C#/.Net8 with Sveltekit using adapter-static, and it’s been pretty great so far.

Different tech, obvs, but similar spirit. I like the idea of starting with my own monolith with a clear path to breaking out the frontend in the future if we need to scale.
Bit late for that:

Kennedy Withdraws From Presidential Contest in Arizona

https://www.nytimes.com/2024/08/22/us/elections/rfk-jr-arizo...

Robert F. Kennedy Jr. has filed paperwork to withdraw from the presidential race in Arizona, a spokesman for the Arizona secretary of state’s office said on Thursday night.

The move comes a day before Mr. Kennedy, an independent candidate, is set to give an address in Arizona about the future of his struggling campaign.
> I don’t really know how to work with the definition of ordinal arithmetic in terms of successors and limits.

What a shame... I think the dude is overcomplicating stuff just by not understanding this.

As an analogy, the naturals are the closure of 0 being a natural number, and to each natural number, having a function that gives you another number not in the set, as the "next" natural number (called the successor of that original number).

The class of ordinals are just the closure of having 0 be an ordinal, and to each *set* of ordinals being able to get the "next" ordinal, (i.e. the smallest ordinal that comes (not necessarily immediately) after all elements in the set). Then omega is the "next" ordinal wrt the natural numbers (aka finite ordinals), and that's what's meant by a limit ordinal, defined by exclusion, as not the "next" ordinal of any set of ordinals that has a maximum element (the natural numbers have no maximum element, but the natural numbers and omega together have omega as the maximum element); the "next" ordinal of a set that has a maximum element is equally the "next" ordinal of the set containing just that maximum element, and we can do a +1, just as with natural numbers, hence we call it successor ordinal.
Where there are corrections, they often tend to be correlated and in a consistent direction.

e.g. Feb 2023:

> Overall, revisions to monthly growth in 2022 meant 311,000 more jobs were added last year than previously reported.

https://www.businessinsider.com/job-growth-unemployment-rate...

The surveys often seem to minimize both booms and busts, and the revisions tend to reinforce the trend.
China Hits Xi Jinping's Renewable Power Target Six Years Early
https://archive.today/1nDJq
---"Everything being equal" Open Source Software provides more value than proprietary.---

Where is the added value for the end user in your opinion?
>The katsu curry craze is a specifically British phenomenon; it isn’t derived from a larger international trend. American supermarket shelves are not laden with katsu curry products.

I can think of a few grocery stores here that have "Katsu Curry" at the to-go section - definitely not the finest example of the art, but still pretty good. It has been pretty popular in San Francisco for a long time. Although, the post-pandemic era, I've definitely noticed a large uptick in places that serve it. I can think of a few reasons why that is, due to SF's history and culture. I have very fond memories of my last job circa 2015 or so: waiting in line for Muraccis on Kearny.

It doesn't seem anything like what's going on in the UK at the moment, though. I hope that larger trend takes hold here, it really is one of my favorite comfort foods. Golden Curry is a staple in my home.

Also, I've not often seen it called Katsu Curry in the US. That is definitely a name that would be considered accurate, but more common I've heard might be "Japanese Curry" (an important distinction) or "curry rice". It is definitely the same food, though.
HyperLogLog – an algorithm for approximating the number of distinct elements
You just need a key binding to turn it on when you want it. Obviously it would be very difficult to write thoughtful code if you leave it on all the time.
From what you say, seems like Meteor + React would deliver almost the exact syntax you want, although it's MongoDB instead of SQL.

Reference: https://react-tutorial.meteor.com/simple-todos/02-collection...
Book of Numbers - God demands a census, and then prohibits censuses because only God can call for one.

Echos of this are found in Revelations, where all are required to have a number for buying and selling.
A simpler definition of a convex function f is f(x) = sup { l(x) | l <= f where l is linear }.

If l <= f is linear then E[f(X)] >= E[l(X)] = l(E[X]). Taking the sup shows E[f(X)] >= f(E[X]).
I think it's important to note that, as your article says, the laws being passed in New York in response to the fires are all in regards to battery certifications. Not all lithium ion batteries are the same and it's important to understand why some (the 268) catch on fire and others (all the other ebikes in NYC) don't.
Five Guys in a Limo – legendary movie trailer announcers [video]
Note that the Justice Department is suing Georgia Tech for violating required cybersecurity policies in its military contracts division. This would be analogous to MIT allegedly not following required cybersecurity standards at Lincoln Laboratory or Berkeley allegedly having security lapses at Lawrence Livermore.
Curious if anyone can comment on how Cursor compares to the current version of Github Copilot.

I've been using Cursor for many months now. The biggest feature it had that I wanted when I first used it was searching your own repository. It indexes all of your code in a vector DB so that it can then use RAG to make suggestions against your own codebase. That was the "killer feature" for me - I don't get a ton of value from inline code completions, but I get LOTS of value if I can ask "Is there a utility function in this repo that does XYZ?" when working in a large codebase with lots of developers.

Does anyone know if Copilot offers this know? I thought I had read a while ago that they added it, but a quick search just now brought up some relatively recent posts that said they still don't have it.
The game is already over for those who worry about the NSA spying on them.

Using Windows in its default form means Microsoft already has a full backdoor into your machine, authorised by none other than MS itself.
The most exciting thing to happen to programming is the chatbot enabling millions of enthusiastic people to write code.
I mean, Meteor did a lot of these things, and they worked fine for toy examples. But if you started to do something of any scale meteor choked.

To be fair, maybe it was unrealistic to expect Meteor to do real-time communication for my game.
I need a solution to the other side of this problem: an AI agent that will get me through the KYB process of a bank so I can open a business account.
> In particular, the so-called surface gravity at the boundary, or event horizon, of such a black hole is zero.

In space-like coordinates the event horizon is always an infinite distance away, so you can never reach the event horizon anyway. Like an infinitely deep hole in space.
Emission is only one of many problems with animal agriculture. Others include:

- Land use (over-grazing, deforestation for pastures and feed crops, most of crops grown are for farmed animals, etc.)

- Water use

- Inefficient feed -> food conversion

- Nutrient runoff leading to eutrophication

- Increasing risk of zoonotic diseases and antibiotic resistance

- Bioaccumulation (of PFAS, pesticides, heavy metals, microplastics, etc.)
Funny to see more praise for the technical/artistic details of the Severance intro. I recently came across another domain specialist geeking over it, but on a completely different aspect: harmony. https://alpof.wordpress.com/2022/05/04/severance-main-theme-...

He dissects the chord progression into two "near-T6 transformations" and an "inverse Tarnhelm transformation". I followed along because I've been building my own tonnetz-based harmony experimentation tools. I'll just confirm that no matter how you cut it, it's a pretty wild chord progression.
I’m feeling the upside with being given the opportunity to talk to chatbots on every site possible. I didn’t think we’d be here in my lifetime to see the AI uprising, so I would give all of the energy possible to talk to Amazon Rufus to better learn about myself and products.
I haven't given alot much attention yet, but one feature that sets aerc apart is its focus on git-email workflow. Viewing, applying and sending patches is much easier with aerc. Remember that the author of aerc (Drew Devault) is also the developer of sourcehut.
The Asparagopsis supplements I think you are referring to are arguably clever, but

> Before these were invented we were looking at a situation where meat consumption (or at least beef) may have to be phased out.

They haven't really changed the game, at least not yet. But assuming optimistically they can reduce cow methane emissions and downsides can be avoided [1], the magnitude of the reduction [2] probably will not make or break the continuation of the cattle industry.

[1] https://www.murdoch.edu.au/news/articles/seaweed-might-not-b...
[2] https://www.theguardian.com/environment/2023/jul/13/seaweed-...
The frequency illusion is funny—I just learned about the ordinals and now I’m seeing articles pop up about them everywhere.

It’s only mentioned briefly in a footnote in the article, but one of the most mind-blowing concepts related to ordinals is called the Goldstein sequences.

These are basically sequences that start at an arbitrary natural number n and follow some simple rules (like the Collatz conjecture) to go from one item in a Goodstein sequence to the next. Much like the sequences in the Collatz conjecture, the Goodstein sequences can reach incredibly (extraordinarily) high numbers before eventually coming back down and terminating at zero. However, unlike the Collatz conjecture, the statement that all Goodstein sequences eventually terminate at zero for any starting value n has been proven.

But here’s the remarkable part: the proof that all sequences eventually terminate requires axioms “beyond” what you think of as involved in standard arithmetic. Specifically, we require the ordinals and transfinite induction to prove that all sequences terminate (i.e., there is a proof that Peano Arithmetic cannot prove that all sequences terminate; ZFC can however).

What this means is that you can create an extraordinarily tiny Turing machine (or a Python script that’s about 10 lines of code) whose halting behavior requires these bizarre axioms that most non-mathematicians have never heard of to prove. That is just nuts to me for some reason.
Long Term Prometheus Storage at a Fraction of the Cost
Pretty sure that's fake news. To my knowledge, they've only deprecated authentication with your regular password via IMAP, you'll now have to at least create an app password.
There are some interesting options:

* Codeium
* Tabnine
* Supermaven
* GitHub Copilot

All of these have plugins for VS Code. However, my preferred approach is using an LLM with the Zed editor. You just need to provide an API key of your LLM (GPT-4O in my case). I find the chat panel alongside my code incredibly useful. Additionally, the ability to apply inline transformations to selected code with custom prompts is really useful.
That's because you don't know enough to understand why bitcoin is far more useful to humanity than air conditioning. In fact it's not even comparable.
Configuration Management Camp 2025
Claude's API now supports CORS requests, enabling client-side applications
Not that many people use Copilot Chat, anecdotally. We've focused on codebase chat when building Cody (https://cody.dev), since we can use a lot of the code search stuff we've built before. It's hard to build, esp. cross-repo where you can't just rely on what's accessible to your editor. You can try it on the web if you sign up and then go to any repository's sidebar on https://sourcegraph.com/search, or get it for VS Code/JetBrains/etc.
If you look at this graph by EpochAI - https://i.imgur.com/13ERny1.png

You will see that by this projetion, every major model henceforth would be considered 'Covered Model' due to the compute power >10e25

Which the law states that all models >10e25 & =>100MM$ is covered - which puts it a an auditable thing by the attorney general and its auditors.
KY prisoners hack state-issued computer tablets to digitally create $1M
Is there no equivalent of Amazon.Lambda.APIGatewayEvents as provided for .Net?
Energy use is only bad if the user is doing something you disagree with. When crypto miners were in the news, it was terrible because crypto mining "provides no value" (to the people doing the criticizing).

Now that AI is using massive energy and the usual nags are coming out to criticize it, suddenly HN is promulgating the glorious benefits of such excess energy use. Pot meet kettle. Human nature never changes
'Wartime CEO': Urbit's Founder Returns in Shakeup at Moonshot Software Project
If we fix business banking onboarding there will be no need for this!
probably some kids in a basement. most security admins I've met are total frauds. sophisticated for $1m? no
they're just trying to keep their jobs after being revealed as totally incompetent.
These are fantasy numbers.

> 23 million * $40 * 12

So you're assuming every single developer will pay $40 a month for Cursor??? And I say this as someone who does pay $20 a month for Cursor.

I also think it's quite the stretch to say the number of SWEs will grow meaningfully due to AI, especially when it seems like half the time you hear a pitch about how it will make software developers obsolete.

To be clear, I can easily understand how $60 million is a good investment, but I chuckle at the $100B+ valuation.
AutoLayout is a good example of the last generation of Apple APIs. Even the easy things are painful but if you need to do something really complex there's a way to make it work.

Right now I'm stuck in a situation where any SwiftUI widget except for List has terrible performance but List imposes all these other constraints I can't live with so it looks like once again it's back to UI/NSCollectionView for me.
Apparently it has been commercially available to cattle growers since 2022 but not sure on uptake https://www.future-feed.com/buy-asparagopsis
Compiling Math Statements to Executables
That's not really what the cause of it was, tbh.
This is just a hook to advertise their product. Hopefully I've saved a few clicks.
Order arises from (1) everyone following the same rules; and (2) everyone being subject to a shared system of informal social reinforcement. Immigration injects a foreign population that was socialized according to different rules, and isn’t part of the system of shared social reinforcement, and so creates disorder. There is no orderly society that has a significant share of immigrants.
You're right about keeping an offline copy of emails - especially with the help of an indexer like notmuch or mu. But I'm not sure why you mentioned it here. In case you think that aerc supports only IMAP, it has good integration with local maildirs and notmuch. Somebody else mentioned that maildir support felt like a second class citizen. This was true during the initial phase of the project. But the developers changed their mind some time later (there's a blog post about it somewhere) and gave it a better UX.
At least some of cpu cycles in llms result to useful computation. That is in stark contrast to crypto mining where computation is done for the sake of computation scarcity.
I seem to hear less about reducing carbon footprints nowadays, but maybe it's just being drowned out by ai hype.
ESA's JUICE spacecraft set to attempt lunar-Earth flyby on route to Jupiter
I installed OpenEmu and evreything but I couldn't find supported games for PS1 :-( I downloaded a few 7z files, but when I tried to drag them to app they failed. I gave up
I don’t know what country you live in but it’s impossible to decrease your attack surface when targeted by a Nation State Actor. Even more impossible if you live in the country in which the Nation State Actor controls through a plethora of agencies and relationships with corporations.
More like UC Merced, not UC Berkeley. UC Berkeley has Lawrence Berkeley Lab.

It's quite common for universities to acquire government contracts. It's not so common to fail to meet the NOC, SOC, and/or Endpoint Protection requirements entailed in those contracts. It's even less common to lie to DoD about it.

If you want the money and the prestige, maintain compliance. It's not that difficult.
Your username really missed the mark on this one :p
Oh, it’s not shittified, I just mean it’s a way to pass the time that’s basically interchangeable with tons and tons of other ways to pass the time. That’s most of what people do on the Web, and that’s what most of the content’s for. It’s all solitaire (the real card game) or reading the magazines in the doctor’s waiting room. Just something to do.
Thanks for this. I haven't looked at aerc in a few years and this is a good reminder.
Pretty sure many of them come pre-pwned