skysight-inc/HackerNews huggingface dataset:
It so happens, even though I don't like C++ that I entirely agree with the rationale behind the C++ 26 introduction of structured concurrency to the language.

About sixty years ago structured control flow was rare or non-existent in most languages. Want to do X fifteen times? Well, try setting a counter N to zero, do X, increment the counter N, and if N is less than fifteen jump back to the start of your "do-X" routine. Simple.

Oh wait, sorry, somebody else who wanted to do X is also jumping to the start of that routine, and they didn't set N so now everything is on fire.

Today your programming language has structured control flow. You write a loop, the loop does X fifteen times, it's not possible for some unrelated code to just wander into part of your loop unsuspecting and cause mayhem since it wasn't prepared to count up to fifteen. New keywords appeared like "for" and "while" and "return". It's not that somehow a new tool magically fixed the problem, but instead programmers learned to write software in a more structured way using the better tools.

Structured concurrency is the same idea again, but for concurrency.

It took some time between Dijkstra writing a letter and languages delivering the nice for-each loop we're familiar with today in many languages, and so likewise what we have today as the state of the art for structured concurrency is likely nowhere close to what will be developed over coming decades, but it's already nicer to work with that the chaos of unstructured concurrent programming.
Can you post a link to your profile? There may be an obvious issue.
I like printing papers and some other material. I know there's e-ink, but they are just worse than pen and paper. I also like printing train tickets so I don't need to stress out about my phone battery. Occasionally I have to mail the government something too.

I never used paper for anything else, so from my point of view, it's not on the decline. But just steady and stable.
FYI: In my experience, modern UEFI Firmware/BIOSes will scan every FAT32 partition found on attached storage devices for bootable EFI binaries, they don't even appear to care about the GUID/type marking, just that it is FAT32. I never let OSes share an ESP, each install gets its own.
> This phenomenon likely reflects that while initiatives to integrate women in traditionally masculine roles have gained momentum, the reverse movement remains relatively under developed.

Not challenging you. Maybe it’s just the phrasing. But that sentence to me reads as if they think the presence of the biases in GPT means that they exist in the real world. And again, not challenging that the biases do exist. Just noting the trend toward trusting GPT in increasingly subjective areas that have to do with moral judgement. To me it’s not too much different than drawing conclusions about the world from religious texts.
Every teaching moment is also a learning moment. Asking kids to refrain from wanting tiny bits of assistance at hand in tough times is tantamount to asking them to lie or accept a poorer grade as others do cheat the whole hog undetected. Human's crave ease. Education promises an easier adulthood and it is no way clear you can provide it by legacy regurgitation means.
There is no dichotomy of "targeted" vs "content-related".

Advertisers want particular social groups. Large, well-defined ones. (E.g., "women with young kids and disposable income".)

What particular features you want in your ML model to get those groups is a technical implementation detail.
> With the advent of QR code tickets

Until you need an app that also monitors your neighbors heartbeat just to be able to enter the venue. No thanks I'll keep printing.
It's also the best answer.

It's all off-the-shelf electronics and standard protocols. Venue provides some wifi with a "Ticketbastard" SSID (or whatever) at entry points, and the COTS-built barcode-validating devices use that. Easy-peasy.

They might also provide other wireless networks for other purposes (definitely for vendors [$$$], but perhaps also for regular house staff, touring staff, and maybe even the guests who pay for it all!), but they'll all be under the venue's control and coordination: Other than the odd personal hotspot that wanders in, there's not necessarily any meaningful outside interference on 2.4/5GHz wifi bands in a big venue.

It's pretty easy to make short-range wifi work reliably in that kind of RF environment, such as the chokepoints where tickets are validated. (Modern apartment dwellers will have worse interference problems than that.)
I’m interested what you saw here that I clearly missed when I read it. Were you keying into something with the contemporary effort to replace a lot of language with gender neutral terms?
Untrustworthy "content" spam by an affiliate spam site.
> map, and_then, etc. I think this would be called being "monadic".

Strictly speaking, I think providing "map" just makes it functorial. Monadic would need a flatmap. (In addition to the other functor and monad requirements, of course.)
I logged in around 2024-07-09 10:22 UTC, and I hope the stories in review don't get accepted. You might want to demo the product in a slightly less open way, though.
Presumably, you can understand there are vast use cases for printed paper extending beyond trivial consumer activities of printing tickets and such yes?

I think nearly everyone on HN is aware of and may use QR code tickets sometimes but that's irrelevant to the broader need for printers in business and government.
You have misunderstood the article. The question being discussed was not "How hard is it to solve P?=NP", it was "Is P?=NP itself NP-hard", which is just an invalid question.
Having good taste - about code, about the tools you use, about what to build in the first place, about how you collaborate with people, about what’s worth spending time on and arguing about.
Maybe. Maybe not. Maybe I'd take a more pragmatic approach to drug policy if I or a loved one were a drug dealer, too?
That Sipser question is just sophistry.

A function F that calculation 1 if god exists, otherwise 0 is not computable.

A function definition F that binds F to the 1 function if god exists, or else binds the symbol F to the 0 function if god does not exist, if it can be processed, results in a function binding that contains a computable function.

However, the definition cannot be processed computationally, because of the decision that it requires. Someone arbitrarily resolves it based on their religious beliefs.

The religious beliefs were pushed into the definition time, leaving whatever function is decided on computable.

Problem is, in math, there is no definition time versus run time. There is no difference between:

if (god exists)
let F(x) = 1
else
let F(x) = 0

and

let F(x) = if (god exists) 1 else 0

Sipser is assuming that they are different and that some person with religious beliefs processed the first version above for us, and so that we are left with a F(x) = 1 or else F(x) = 0, where our own religious beliefs no longer matter.

That only makes sense if we specify that the paradigm we are in is a programming language with definition times and run times, which seems out of place in a book about theory, let alone if it is just assumed as understood.
I interpreted this as 'don't write crappy functions taking confusing arguments'. If the function had taken 4 floating point numbers, the argument would be the same - it would be confusing to know what is what.
Would it be possible to run AI/ML on an existing jira/github large project (k9mail/KDE(gitlab) and show/prove this can be useful/better etc? Thanks
I tried the non-installer exe version (32 &64bits) because that csv loading sounded very interesting, but cant make it work without installation because sqlite3.dll, qt5network.dll, qt5xml.dll nor qt5printsupport.dll can't be found.

I don't see the point of providing a standalone exe version that does not work?

Well, back to excel for csv :/
Using DuckDB+dbt, FastAPI for real-time analytics
We’re still talking about the culture. It’s not that vegetarian food is hard to make, or that it’s less tasty. You just haven’t been exposed to the culture, which is why you believe it’s not feasible but literally billions of people in India have been thriving on a vegetarian diet with thousands of dishes for thousands of years.

But yeah, in the end we all try to justify our actions. No argument will be convincing enough if one values their taste buds more than someone’s life or the planet.
Isn't this the law of excluded middle (rejected by intuitionists and constructivists)?
America feeds livestock soy. Most of the world doesn’t. Most land live stock is kept on can’t be used to grow crops.
I understand your strugles. However i think that instead of bloatbuntu an arch based solution would be "less hassle" the aur has several solutions for steam in various ways and for me to get trackmania running all it took was a yay -Syyu steam launch steam install trackmania and play. I think when it comes down to doing custumized projects like this arch based distro's seem to be less troublesome in some way or there are packages in the aur that greatly help with customized stuff, alternatively, the heroic games launcher also has trackmania.

I think server based distro's are less "flexible" for custom projects like this under the hood it is all GNU+Linux but i think arch offers more flexibility for customizations. And tbh isnt any harder/unstable/or anything else they say than any other distro. Certainly if you are allready familiar with gnu+linux. I would even recommend arch for beginners. Because of the flexibility and the aur.

however i wont say there wont be any struggles to get it working the way you want to since i have had similar "problems" in the past and i think that that will always be to some degree and you will only learn to solve them faster by experiencing more of them. But as you gain experience it will improve.

it is also a case of knowing what will work and what not. I know that i will always make a python venv instead of a conda one because the conda envoirments are doomed with torch, cuda and glibc and conda envoirments seem to get bigger in size as well however my venvs range from 10 to 30gb as well certainly for something like a comfyui with a ton of custom nodes requiring their depencies.

I understand your struggles and congratulate you on your accomplishments and thank you for sharing your experience since it gonna be helpfull for someone sometime.
I think the point is that whatever predicate you fill in for "god", the implication is strictly speaking true in classical first-order logic (and probably many other logical systems too). The pragma analogy is a good one.

Whether there exists such a predicate that conforms to your conception of God or not is a separate (non-mathematical) issue.

I think it's a bit like the surprise people show when they learn that in classical logic a false statement implies everything. Mathematics has strict formal rules, and it's important to leave aside your preconceptions of the semantics of various words like "implies" and "if" when engaging in it.
The comments on this article are like a flytrap for people with exactly the kind of misconception the article is talking about.
Does your office mail anything? That's what is 99% printing we have to do - shipping labels. And some obscure not available to file online government forms.
Yeah I understand, no need for hostility. I prefaced my question with my own bias, I'm just interested in how others feel about it. It's fine if you think HN is aware, but that shouldn't invalidate an honest inquiry.
Europe's new Ariane 6 rocket launching for first time ever on July 9
This is a very good (and funny) response.

If you're allowed to invoke God ironically in the question, you're allowed to take that seriously (meta-ironically?) in the rebuttal!
TypeScript enums, from personal experience, should be avoided in cases where the value is stored.

The reason is that the compilation from `SomeEnum` to JS involves conversion to an object indexer[0].

Should you, in the future, need to (or accidentally) remove or change an enum option, this will fail with an index out of range exception at runtime that is not obvious to track down.

Put it another way: it leaves behind an artifact in the output JS that can be a source of exceptions.

[0] https://www.typescriptlang.org/play/?ssl=5&ssc=2&pln=1&pc=1#...
I guess you could reformulate the intent of the problem as:

Let P be an arbitrary program and let n be equal to 3 if P terminates, or 5 if not.

Is it still malformed? Is so, then how about

Let n be equal to 3 Goldbach's conjecture is true, or 5 if not.
Can you explain how you would determine or know about grant availability?

Especially that "life might be more complex in infectious disease research than in oncology" - as an outsider this really caught my interest, I'd have imagined the two have similar levels of grants? Maybe more than a field like Psychology or Developmental Biology, about the same?

Does this mean more people are going into in disease research because A) it's more interesting to them? (vs Oncology)... or B) The grants from COVID mean it's a better field?
Did you want to reinstall or did you not know better? For the latter case, dd (or cp actually, you rarely need dd!) and resize2fs (similar tools exist for other filesystems) have served me well to move to new storage with minimal effort. Copy the whole disk, resize the partition, resize the FS, set new boot drive, boot from new drive.
Governing in the Age of AI: A New Model to Transform the State
> Don’t just say congress is broken and then embrace socialism and tyranny!!

Ah yes, the FTC protecting workers is one more step on the way to tyranny and socialism! Funny, it’s always socialism when you guys don’t like something.

We are only closer to tyranny _because_ of Trump and the proto-fascists in the GOP.

And Congress is broken _because_ of the same fundamentalists who refuse to actually govern this country.

People like you are the reason this country is where it’s at.
I worked a summer job in a Ticketmaster box office ten years ago and had access to the whole of their UK customer database in order to print off ticket collections. I’d type in a customer’s post code and up came all of the data Ticketmaster held on them… including their password in plaintext.
Sounds like the same question to me, for sure the students intended it that way. Many hard problems feel like you need an internal mental SAT solver to arrive at the solution.

Anyway, even if it were an invalid question, his answer still does not make any sense.
Additionally: if you care about nullability semantics within your function, then you write foo(const bar*) and pass in bar_ptr.get(), and of course check that the value is != nullptr before dereferencing it.

Otherwise, I'm inclined to agree -- don't pass around smart pointers unless you're actually expressing ownership semantics. Atomics aren't free, ref-counting isn't free, but sometimes that genuinely is the correct abstraction for what you want to do.

One more point: shared ownership should not be used as a replacement for carefully considering your ownership model.

(For readers who might not be as familiar with ownership in the context of memory management: ownership is the notion that an object's lifetime is constrained to a given context (e.g. a scope or a different object -- for instance, a web server would typically own its listening sockets and any of its modules), and using that to provide guarantees that an object will be live in subcontexts. Exclusive ownership (often, in the form of unique_ptr) tends to make those guarantees easier to reason about, as shared ownership requires that you consider every live owning context in order to reason about when an object is destroyed. Circular reference? Congrats, you've introduced a memory leak; better break the cycle with weak_ptr.)
>Claiming that tourism is just a negative is just plainly wrong

This is strange framing, and apparently the opposite of my reality.

Tourism is seen as good, and this indicates there are bad sides, too.
I for one take the pragmatic approach of not working for companies with practices I object to. Thus I’m never faced with that dilemma.
Currently, our cloud service isn't publicly accessible, so we've been exploring the best way to demonstrate our product's features and functionality. To address this, we've created some demo credentials and a product instance for demo purposes. Additionally, we've taken a snapshot of a cleaner version of the product, which we refresh weekly.

We will also explore more to see if there is a better way to do this.
"The persistent are attached to the goal. The obstinate are attached to their ideas about how to reach it.

...

Obstinacy is a reflexive resistance to changing one's ideas. This is not identical with stupidity, but they're closely related."

IMO you see this rear its head all the time in the form of language wars. Many people who are entrenched in the belief that $LANG is the best way to build software well beyond the point where it is reasonable to do so. And it's kind of funny because a lot of them quote PG in their reasoning.
Being able to patiently explain something to a layperson using simple words and short sentences, in a sympathetic non-condescending way.

The tech industry is in some kind of a communications complexity arms race spiral where normal people have no idea what any of us are talking about anymore. It created a prime feeding ground for charlatans who can sound smart for long enough before they move on to the next insanely awesome thing.
> doesn't want to introduce a dependency on a Rust compiler

you can link against pre-built .dll/.so/.dylib from your C++ code base.
Dynamic translation of Smalltalk to WebAssembly
How do you effectively apply to PhD grants, is it different to winning say Startup / Innovation grants?
The downside to ebikes, especially the cargo bike variant, is their high speed combined with their large size.

But I don't see how that can be changed, having them ride on the street along with cars is not a good solution.
Option is the better of the two. With a missing variant, there's no way to encode "infallibly successful". All call sites would have to check for a missing variant in all cases.
A classic example of this is the way parental leave is addressed in many countries.

The fact that, in many countries, women have much greater rights in terms of paid parental leave, means it's economically logical for employers to discriminate against them, plus women miss out dis proportionally on time building career.

The obvious way to solve this is to have equal parental leave rights - this then entirely removes the cost imbalance to the employer.[1]

However in many countries you don't see major campaigns for true equality - often you see campaigns to increase the inequality ( improve womens rights, but not mens ).

This is clearly driven by the worry about the cost of equalising the rights by giving men significant paid parental leave.

[1] Obviously there are biological differences - but if you widen the window during which parental leave can be taken to beyond just after birth, then both parents can participate equally - and there are working models in some Scandinavian countries.
"bricked without that HP+ subscription. Can't use the scanner because the ink is too low. The worst part is that I couldn't even reset the printer to use a new subscription! 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."

Nice everything is wrong beyond redemption, basically toxic eWaste that somehow manage to also waste your time as an added bonus... job well done !
Depends a lot on the country you live in. In most European countries "carrying an ID" is legally required if the police stops you anyway (they do need a reason to see it though), so "show an ID at the entrance" is no big deal.

It's to my understanding mainly the US where ID requirements are often side eyed because many people don't have them and there's no national standard (and due to a variety of political reasons there probably won't ever be any.)
>>but creating a new system doesn't affect the old one in the slightest.

>The idea of "new doesn't affect old" is an idea based on logical and temporal consistency. God is not bound to those.

I'm not a theologist, but I don't think god recreating the world such that 3 is not prime would affect the discussion if 3 is prime right now.

In fact, I don't think god is even capable of making 3 not prime. Prime numbers are defined such that 3 is prime, it's not possible and a logical contradiction to make 3 composite without changing the definition. And the discussion is about the current definition.

>In fact the current system of odd/even - as well as any other system and law, including the "excluded middle" - can be understood to be God's arbitrary creation

But it's a human creation, god didn't invent parity or formal logic.
How do you do this if you are mostly working remotely though? I am considering a more lab based PhD precisely because of this.
Wouldn't nuking a product after 18 months be the opposite of the wrong kind of stubborn if it's the right thing to do? That's exactly my problem with views like these, it's always the other party that is "obstinate" and doesn't listen, but what if after 18 months the product as a whole didn't meet enough expectations? Then it would be very obstinate to insist on releasing it anyway, and a more pragmatic way to reach the goal (which in this case is ultimately to have a successful company) would be to shelve the product and eat the loss. I'm not saying that's the case here, but I am sure those QA people feel like if you asked them.
Text only: https://lite.cnn.com/2024/07/07/economy/stocks-week-ahead-se...
I am not certain about this, but I think that these options no longer work on UEFI machines. GRUB does not have control over what options are presented if GRUB isn't the selected bootloader. This stuff is BIOS-only.
US blocks British court from British territory
Yes, I think we are in agreement. The GPL in this era is a wrench in the process of useful code. You have brought to my attention how intentional that was.

Rms did something impressive but he doesn't impress me in this day and age. Many revolutionaries make for poor governors; in my personal opinion the software ecosystem would be best served by cutting around him these days.
Great project. Nowhere near as involved, but I've recently gotten into designing jewelry. There are some guys in my town who'll run up and cast prints, I just need to make the design.

Got me some big husband points one recent anniversary with that.
That sounds good in principle but is it practical? As long as you have something to do while holding the lock, chances are that implementing that something requires calling a function. That or code duplication.
Insects are efficient, but not significantly more efficient than chicken.

Of the currently known methods for producing proteins, the one that has the potential to be significantly more efficient than raising chicken or insects is the culture of genetically-modified strains of the fungus Trichoderma, which produce either ovalbumin (the main protein of egg white) or beta-lactoglobulin (the main protein of whey).

These egg-white proteins or whey proteins are identical to those of chicken eggs or cow milk and they have an excellent amino acid profile.

They could easily satisfy all the protein needs of a human. Such proteins are water-soluble powders, looking the same as the whey protein concentrates that can be bought now.

Used alone, they would be bland, but they can be an essential ingredient for cooking various kinds of tasty food, from savory dishes based on various vegetables to sweet creams, e.g. with cocoa or vanilla.

I am currently using whey protein concentrate for cooking and I would like very much if a fungus-produced alternative would become available at a decent price. I prefer very much such a protein powder, which can be used to enhance both the taste and the nutritional value of any food, instead of fake meat.