skysight-inc/HackerNews huggingface dataset:
Sure, but booleans are the lowest hanging fruit, most programmers won't write many functions which take 3 floating point numbers and are then modified to add a fourth but they will write functions which have three flag booleans and then add a fourth.

The generalization of the author's lesson is the New Type idiom. Don't use basic types like "integer" when you can invent types which correspond to the actual meaning of your values. A Duration, a FileDescriptor, a DatabaseHandle, a KeyboardScanCode. Once we do this it's obvious that if the function takes a FileDescriptor and a Duration we should not give it this KeyboardScanCode we have twice, that's clearly nonsense.

Rust piles on extra value for its own New Types (as yet you cannot directly grant this to your own types although if they're enumerations they get it for free) - niches. Result<(), OwnedFd> is the same size (a single 32-bit integer) as the C int you'd have used for this purpose in a much less capable language, but since it's a Result type it has all the same ergonomics as if it was much more complicated and heavyweight than that.
UN decided couple of years ago that Diego Garcia is a part of Mauritius. Check the official UN map.
> In contrast, the originally worded question "Is f computable" is a modally invalid question, analogous to the Sleeping Beauty or Red Envelope paradoxes. It's like, grammatically incorrect.

I don't think these paradoxes are relevant here. They only highlight a fact that application of the pure mathematical notion of probability to the actual reality is sometimes a non-trivial process. It's not a surprise, if you think of it the fact that the probability theory works _at all_ when applied to reality is extremely puzzling and has been a subject of various scientific and philosophical inquiries (see "probability interpretations").

Now the resolution you propose ("would" f be) doesn't seem to resolve anything. The purpose of "god" question is to force the reader to abstract away from a particular P-NP problem and understand that the whole concept of computability is useless for constant functions. So what you suggest is helpful only if you could also apply it to the original P-NP question, which I don't see so far. How the modalities approach come into play here, for a well-defined mathematical question?
I don’t get the god thing. Why is f computable, just because we know the possible outputs? By that logic the halting problem is computable because h(f) is either 1 or 0.
Oh interesting, I didn't know! How reliable is it? Does it work well even if you partly copy functions / with blocks etc. ?

I just tried it in vscode, it didn't work at all, copy pasted a single line to another function and it kept its indentation and vscode showed a pylance error about unexpected indentation.

I just have the official Python extension by Microsoft, perhaps some more configuration is required?

I don't really write any Python, I'm sure there is a way to improve the experience.
> IP address

Great. So an app can plug my IP address into a geolocation query, and might ultimately determine that I'm somewhere in $city. Or maybe the next city over. Or maybe half a continent away.

But sure, this "works" without consent, since there is no extra step to enable networking for an app.

> nearby wifi networks

This doesn't work without consent.

> camera footage

This doesn't work without consent.
> Somewhere in the HP hierarchy reality is removed.

This has been the case for well over a decade at least by now, unfortunately :(
> The initial movements were surely about equality and human rights. But this seems to have been achieved decades ago.

To me it feels like passing laws is one goal; changing social perceptions is a more fulfilling but trickier goal. Studies consistently show, for example, that women continue to take on a larger proportion of household chores and admin, despite both being in full time work.

Compare it to racism, or homophobia. Are there laws to prevent discrimination and to specifically prosecute hateful acts against these groups? Yes. Do we still have progress to make to remove racism and homophobia from society? Also yes. It seems like a lot of people would agree with these in those cases but not in the case of feminism. I think that partly this comes down to a sense of "but I don't hate women, I just think they're better placed doing the housework and child-rearing".
This is the future that they warned us about.
that's because service will be outsourced now that everything is online.
SSDs are still too expensive for high volume storage.

Enterprise purchases will be much lower, but as a consumer you can buy a 12TB helium-sealed HDD for $100-$200, while solid state alternatives don’t even reach that capacity in a single unit and cost 5-10x more.
So are you. Your brain is just an lstodd simulator that it fine tuned initially to get food and positive attention as a baby and then the crucible of your adolescence.

What’s amazing is the way these human models can confabulate rationality when really it has no idea why it says things.

You do get free rein to generate tokens in your minds’ eye based on stimulus and memories which is a cool gimmick.

I personally don’t believe humans will ever achieve real general intelligence.
Yeah, if congress manages to function at all, they can makes the law, but the courts can declare those laws unconstitutional for reasons not mentioned in the constitution, and in the end the laws are executed by a President who has no reason to consider the law in his official duties (since he's above the law when it comes to official duties, thus, why have any regard for the law at all).
You're certainly welcome to pay for it yourself if you feel that strongly.
> no one is charge saw this coming

They just don’t care. Corporate tactics 101 - push limits until someone screams bloody murder.

It’s the big corporate equivalent of move fast and Break things that is so beloved of SV
I am using external dependencies I’m just usually not packaging my project.
Creating a real world React Native app from scratch with Expo and Metricalp-2024
We are going to develop a ToDo application in React Native. The user can add, update and delete todos. But, while we are thinking this as like a real world application we will have some annoying ads in screen User can upgrade to PRO account to get rid of ads. So, in our app will have a second screen /upgrade-pro screen. In this screen we will have a button to upgrade pro. We will use Metricalp to track user behaviours to analyze our app. Trust me it is gonna be fun.
I should say *the joint RH/Microsoft/et al wider push for PKCS11/TPM2/FIDO2 stuff
It's significantly more than that.
Why do you need to merge these items at the point of collection? Why not just stream the sensor data off with temporal correlation data and assemble them elsewhere?

Either way, galvanically isolating 5W isn't too terribly hard either.
I'm a big fan of my b&w Brother laser printer even though I don't do big jobs. It always works, is fast, and cheap.
yeah, agree. will fix :)
That part was responding to where you said "Usually isn’t good enough. I’ve had residential IPs that are on public record belonging to me personally. IP addresses can be personally identifying information, so they need to be treated that way."

My point is that whether you can determine the IP address from the hash or not doesn't matter. The hash itself is PII.
Properly handmade rings are stronger, I think. And there's no seam if you do it properly.
> TicketMaster markets their SafeTix technology as a cure-all for scammers and scalpers

Scammers - yes; but how scalpers? Does this mean there is no way to resell or give the ticket to another person?

Edit: The answer was couple of sentences later; looks like yes, unless via an official marketplace. I like this even less than scalpers.

"SafeTix makes it harder for people to resell tickets outside of TicketMaster’s closed, high-margin ticket-resale marketplace, where they make a boatload of money by buying low and selling high to customers with no alternative."
Boeing has many problems, but this seems to be a case of everything working as intended. Boeing discovered an issue and reported it to the airlines, the FAA followed up with a directive mandating the inspection that Boeing already recommended. The issue in question hasn't caused any of the units inspected so far to actually fail to operate, but since it theoretically could they need to be fixed.

If this happened on an Airbus plane it wouldn't have ended up on the front page.
Until the next covid lockdown.
Yes, people do rely on them still. Some airlines still stipulate a printed pass (despite the phone pdf/app still being viable). There's also a bunch of forms that still need printing out to be signed (no docusign). I guess that will tail off over time but they're still needed now. Just maybe not for you, some do.
Well, many industries rely on advertising to sell their products, and I wouldn't say those industries are inherently worse than others.
If not for the immense pressure to publish or perish...
I went for years without a printer at home. If I needed something printed, I'd mooch off a friend or the office. Then I found a small-business grade brother laser printer for dirt cheap at a thrift shop and I've really liked having it.

Short story you're trying to read but the endless scroll makes you lose your place? Print it. Sheet music you want on-the-go without buying an ipad pro? print it. Funny picture you want to tape to your wall? Print it.
Rye-powered Python deployment platform a la Vercel?
Simply answer how would you want to be cared for if you were ill?

1) A comfortable bed

2) Engaging entertainment/task (eg folding laundry is helpful for some disorders)

3) Safe from abuse

4) Basic medical care

5) Place to sit for sunshine

6) Opportunity to hold hands / human touch
Sometimes facts are simple.
Some landfill 'burps' contain airborne PFAS, study finds
This is explicitly expounded upon in the original:

> The deeper lesson Sipser was trying to impart is that the concept of computability applies to functions or infinite sequences, not to individual yes-or-no questions or individual integers. Relatedly, and even more to the point: computability is about whether a computer program exists to map inputs to outputs in a specified way; it says nothing about how hard it might be to choose or find or write that program. Writing the program could even require settling God’s existence, for all the definition of computability cares.
Transforming Task Management: A Strategic Approach for Achieving Your Goals
Navigating through the myriad of productivity and to-do apps can be overwhelming, yet many professionals still struggle to manage their tasks effectively. This often results in stress, overwork, and even burnout, despite the sea of tools available. As a business consultant, I’ve seen this firsthand.

Starting the day by diving into emails can trap you in a cycle of constant busyness, making you feel productive without actually achieving your goals. I found a way to break free from this cycle and want to share it with you.

# The System
“Embrace your work and life as a process, and work systematically towards your goals.” This task management system, inspired by modern software development methodologies, breaks down into:

1. Task Management
2. Weekly Planning
3. Daily Check-ins and Check-outs
4. End of Week Reflection

## Task Management
This system organizes your tasks into Goals, Milestones, and Tasks:

- *Goals:* Significant objectives you aim to achieve.
- *Milestones:* Key steps within your Goals guiding you towards achievement.
- *Tasks:* Individual actionable items contributing to each Milestone.

Example:
*Goal:* Market Research - Identify target audiences and understand their needs.

*Milestones:*
- Define Target Market
- Competitive Analysis
- User Needs and Preferences
- Market Trends and Opportunities
- Validation and Feedback
- Market Entry Strategy

*Tasks under "Define Target Market":*
- Persona Creation
- User Segmentation

Implement this by arranging tasks on a Kanban board with columns for Goals, Milestones, and Tasks. Prioritize and work systematically through each column.

## Weekly Planning
Spend 15 minutes at the beginning of each week with a cup of coffee or tea to set your priorities. Move relevant tasks from your Task column to a “Weekly Plan” column. Focus on realistic goals and avoid letting meetings disrupt your focus.

## Daily Check-Ins and Check-Outs
Start each day with a check-in to set your primary focus, pulling items from the Weekly Plan to the Today column. End each day with a check-out to evaluate your mood, lessons learned, and achievements. Track these in a spreadsheet to monitor your progress and mood trends.

## End of Week Reflection
Reflect on your progress at the end of each week. Analyze what worked, what didn’t, and why. This helps you adjust your approach and continuously improve.

# The Benefits
This task management system offers several key benefits:

- *Strategic Focus:* Breaking down your goals into manageable tasks helps you see the bigger picture and work strategically.
- *Manageable Workloads:* Keeping tasks limited to one week ensures a steady workflow.
- *Increased Productivity:* Regular planning and reflection align your efforts with your objectives.
- *Enhanced Self-Awareness:* Daily check-ins and check-outs maintain your focus and mood, promoting continuous personal growth.

# Adapt the System
I encourage you to try this system. Share your experiences and join the discussion below. Let’s learn from each other and take control of our tasks!

Ready to stay focused? Comment below and share your methods!
HP learned from that mistake
One of the bigger things I try to hammer in to a junior developers mind is to be conscious and thoughtful about their individual commits. To basically never just "git add ." whatever might just happen to be different in their work area, but to ALWAYS review the diff and make the commit a logical collection of changes.

With the lack of staging area it really seems like this encourages the exact opposite. Seems like a good way to get secrets as well as just general junk and clutter committed to your repo history.

If I am working on a big project, I will start to commit change sets as parts of the code solidify without committing other less solid changes. That seems pretty basic. I don't want half finished changes forever committed to history.
The question is malformed because it contains a term that cannot be evaluated.
Gleam has a lovely, friendly community.
The OpenAI models are also aligned on top of their base training on order to have them behave in a certain way.

Therefore it is not really a proxy for the real world.
> It was tied to the previous owner at a hardware level and support said I had to contact them to release their account, even though it was no longer active.

It wouldn't surprise me if there was a resale cost.
Why were they able to change the adhesive being used during the rollout (i.e. different to the original one used, that works). This screams of the flammable tape issue they had in Starliner too. Shoddy QA and procurement process.
So write too many zeros to your drive, the disk becomes demagnetized, and the head will crash?
Makes me think of Light Table. Does this exist for Common Lisp?
Any given program P either terminates or not. So yes, for any fixed P the function that h_p() that returns 0 or 1 is computable. Same is true for a function h_N(P) that accepts only a finite set of possible inputs -- it's a switch case.

However a generic function h(P) that can accept any program P is not computable and the switch-case approach won't work.

Long story short, the question of computability only considers whether an algorithm exists or not, not whether humans know it or not -- that is irrelevant to the question.

Consider the following example from wikipedia [1]:

> The following examples illustrate that a function may be computable though it is not known which algorithm computes it.

> The function f such that f(n) = 1 if there is a sequence of at least n consecutive fives in the decimal expansion of π, and f(n) = 0 otherwise, is computable. (The function f is either the constant 1 function, which is computable, or else there is a k such that f(n) = 1 if n < k and f(n) = 0 if n ≥ k. Every such function is computable. It is not known whether there are arbitrarily long runs of fives in the decimal expansion of π, so we don't know which of those functions is f. Nevertheless, we know that the function f must be computable.)

> Each finite segment of an uncomputable sequence of natural numbers (such as the Busy Beaver function Σ) is computable. E.g., for each natural number n, there exists an algorithm that computes the finite sequence Σ(0), Σ(1), Σ(2), ..., Σ(n) — in contrast to the fact that there is no algorithm that computes the entire Σ-sequence, i.e. Σ(n) for all n. Thus, "Print 0, 1, 4, 6, 13" is a trivial algorithm to compute Σ(0), Σ(1), Σ(2), Σ(3), Σ(4); similarly, for any given value of n, such a trivial algorithm exists (even though it may never be known or produced by anyone) to compute Σ(0), Σ(1), Σ(2), ..., Σ(n).

[1] https://en.wikipedia.org/wiki/Computable_function
I don't think so, according to the article it was the airlines doing visual checks themselves.
Elixir's approach is great imho :
https://hexdocs.pm/elixir/keywords-and-maps.html
Money is power.

If you think otherwise you are more of a fool than I can fathom.
You have a lot of firms that care about predictable and performant building that are shifting to you, and one of the things that comes up is SBOM generation for ingestion into tools like guac.

https://guac.sh/

https://pypi.org/project/sbom4python/ https://github.com/CycloneDX/cyclonedx-python

Your recently added ability to unpin dependencies so devs are more encouraged to stay compatible as they dev, then generate a correct explicit requirements.txt for reproducibility, makes both vuln management and the SBOM step a far easier thing than poetry etc.

Thank you!

For similar reasons, we use https://hatch.pypa.io/latest/why/ and appreciate that it plays nicely with `uv`.
Freedom and independence are propaganda in the same way that high school football coaches tell their players they can get into the NFL if they work hard enough
Runs-on: Self hosted, on-premise, GitHub Action runners
The Perpetual Quest for a Truth Machine
Probably not!

Thinking of a way for smart people to formally encode questions and hand them off to dumb computers is what led to the whole field of computing in the first place!
Maybe because we didn't have 2 Airbus planes crash and doors blowing out of planes while they are flying because of criminal negligence on the part of Airbus.
The issue with inkjets isn’t running out of ink, it’s long stretches between prints resulting in clogged heads and terrible print quality. Usually followed by dozens a of minutes of cleaning, or a clogged not-empty cartridge that needs replacing anyway.

After yet another clogged inkjet which might print again if I buy a full set of inks for more than the replacement cost of the printer, I’m shopping for a small laser printer.
Windows has a scan app ( ms-windows-store://pdp/?ProductId=9wzdncrfj3pv ) that can commandeer a scanner connected via USB even if the scanner's own software doesn't let you. Not sure it works with every model, and it's not very rich in features, but I've successfully thrown it at two scanners that I couldn't get any use of otherwise.
“Leased”
Let me preface by noting that I don't necessarily disagree with any part of what you wrote. However, there are design patterns that exceed the guardrails you're thinking of, and those are the patterns that benefit the most from shared_ptr.

Typically, they involve fine- to medium-grained objects, particularly those that have dynamic state (meaning by-value copies are not an option.)

An example might be a FlightAware-like system where each plane has a dynamically-updated position:

class Plane { ... void UpdatePosition(const Pos &); Pos GetPosition() const; };
using PlanePtr = std::shared_ptr<Plane>;
using PlaneVec = std::vector<PlanePtr>;
class Updater { ... PlaneVec mPlanes; };
class View { ... PlaneVec mPlanes; };

Updater routinely calls UpdatePosition(), whereas View only calls const methods on Plane such as GetPosition(). There can be a View for, say, Delta flights and one for United. Let's simplify by assuming that planes are in the sky forever and don't get added or removed.

Destructing Updater doesn't affect Views and vice-versa. Everything is automatically thread-safe as long as the Pos accesses inside each Plane are thread-safe.

The key here is that Plane is fine-grained enough and inconsequential enough for lazy ownership to be ideal.
EU just needs to keep slapping them with fines until it sinks in that laws are not suggestions
Unsure what the actual point of this is.

There are plenty of themes for HN available if one doesn’t like the barebones nature of the base site.

Since this does appear to be a total rebuild then does it not only support all the current features of HN, but what else does it do better ?

Right now it seems to fail at being mobile friendly which is a huge fail in this day and age.
For people who print very rarely and don't use them for photos, I would instead recommend a laser printer (black and white is enough for any official documents) because inkjet printers dry up after a while, which ruins their quality. Brother is quite good in the laser department.
Transforming Plant Fruit Decay into Melody and Meaning
Not sure I follow.

It's not really about 'mens rights' it's about whether you are interested in true quality above economic output. Sure you could paint the lack of engagement in true equality in this area as a sign of one-sided gender based campaigning - but I think the original poster is saying that what's really driving a lot of this are bigger economic factors - increasing the output by getting women into the workforce etc, while pretending it's about equality.

So for example, there was a big push for equal pay in the BBC in the UK ( quite right ) - however what tended to happened in practice was the higher paid men getting the push as oppose to bringing up female salaries to match.

This is because salaries for 'talent' are negotiated by agents based on perceived rarity - if it becomes more acceptable for women to be a presenter then you have doubled supply.

And in general people the lower end of pay is based on what they need to survive - so in a societal model where only one person in a family was working, then you needed to pay them X - if both are working you can afford to halve the salary without the workers not being able to live.

It takes a while for these effects to filter through as employers are loathed to generally out and out cut existing wages - but increased supply of labour will surely impact salaries over the long term.

Note none of the above is a reason to not pursue equality - it's just you have to have your eyes open to the bigger picture in terms of who's hands does the benefit of the increased economic output end up in....
You add the gradle wrapper to your project. They upgrade gradle a lot, but one doesn't have to.
Did Boeing discover the problem? It reads more like the problem occurred in the field (on operational aircraft), was reported to Boeing, then Boeing reported the issue to the FAA.
I have a bunch of bookcases at home, thank you for your suggestion. However, I will keep using apps, since that bookcase is not really helpful when I am visiting a book store, strolling around, and adding new books to my wishlist or checking if I already own it. The bookcase also does not recommend me new books based on my reading habits, sadly.