skysight-inc/HackerNews huggingface dataset:
> This makes a bit more sense than what you originally wrote.

It re-states what I originally wrote, I'm glad you find it clearer now although since this is a matter of history it was all there for you to read if you cared. I don't think I have time to say everything two or three times until you "get" it.

> Features like disjunctive logic may not be able to be proved "sound" for things like borrow checking but that's not the point or intent.

The soundness problem is, unfortunately, fundamental. It's not about the borrow checker. C++ doesn't care whether your program has any logical meaning at all, so long as it is syntactically OK in these cases - of course in such case its meaning is unknown, but the standard explicitly tells compilers not to worry about that, the important thing is that the gibberish compiled, a C++ programmer can congratulate themselves on another successful project.

Maybe I need to expand the abbreviation I used, IFNDR: Ill-Formed, No Diagnostic Required. This is what the standard says to wave away such problems, not only with concepts but throughout the language. "Ill-formed" means this isn't actually a C++ program and so the standard does not define what it means, but "No Diagnostic Required" means the compiler needn't give an error or warning, it just presses on anyway.

[ You might imagine surely they could give a diagnostic, but actually they can't because of Rice's theorem. For a sufficiently powerful programming language you have to pick: 1. Your compiler sometimes gets "stuck" forever trying to decide whether a program is valid. 2. Your compiler reports errors in some otherwise valid programs. 3. Your compiler reports no errors in some invalid programs. Rust chose (2) and C++ chose (3) ]

> C++ concepts as they exist allow you to call concepts if they fulfill the concept.

Once again you've got turned around. The question isn't whether you can call concepts but whether anybody else can implement the concepts, and you simply can't do that. C++ 0x Concepts had "concept maps" to fix this, in Rust obviously the traits are explicitly implemented, but C++ 20 Concepts doesn't have an equivalent.

> Granted C++ template's are amazing powerful, and amazingly difficult to debug.

They're copy-paste. A slight improvement on C pre-processor macros. I suppose it's in the name, "templates" like a mail merge system. It's childishly simple like the cups and balls trick. The resulting mess does indeed produce unintelligible error messages and is also unsound in both obvious and surprising ways.

> In contrast, I do find it very useful to define default algorithms for any numeric type that matches. It's a core part of C++ numerical libraries.

Useful here meaning only you get better error messages than from SFINAE?

> using Rust's trait system requires the traits you want to target to already exist and to be implemented for the types in question.

I think it obviously follows that you can't use things which don't exist.
Poverty in the west is often of a different kind than in India. Deep poverty in India can look living in self build house in a slum, with no or low and irregular income most of which goes straight into food and necessities.

Deep poverty in the west often looks like having a stable income and roof, but being completely overwhelmed by high unavoidable static costs such as rent, health insurance, loan paybacks, etc. Of course this style of poverty is also present in India

They're different kinds of experience. I suspect the former is more dangerous, scary and unpleasant, but the latter is more depressing and suffocating.
Wait, I thought the fact that the CIA intentionally provided misinformation to manipulate Congress (esp during Vietnam) was fairly common knowledge....
Then they shouldn't sell at all, only rent out.
And even with exFAT, permissions will be borked up. So it would be suitable for media hard drive, but wouldn't be suitable (for example) as the mount point of /home in a Linux partition that is also readable from a Windows partition.
It's probably a mix of side projects and luck that got me to where I am today. The former because I had an interest in running gaming sites and coding games that kept me invested in learning about web development and programming in general, and the latter because I was in the right place at the right time to get a job in the field. Seriously, I received the phone call while on the train back from another interview, and somehow got invited into the office very shortly afterwards.

Every role since then has involved some sort of amusing story or another in regards to interview timing, people looking for staff at the right time, connections, etc.

But I'd say aside from the obvious luck component, a certain degree of interest in the projects I chose helped the most, since it's very difficult to stay invested in a project when you don't care much about what you're making and you're coming up agaist hurdles you didn't expect.
IMO this is exactly not how to do a PhD which should be about exploring a topic and becoming an expert over time. A meandering path concentrated around self directed learning.

If you want clear deliverables and a set path to follow, just get a job in industry.
I wonder how you think this could work.
Everyone converging on The One Filesystem, and miraculously supporting all filesystems from the past? Something new is invented in the area every few years, would you have that stop, so as not to break compatibility?
Super cool! I did something like this for personal use using a Discord bot (which you can also just POST to with no fancy backend if you want).
Why is that so hard to believe? Generally filesystems aren’t designed to be super portable, but rather reliable, scalable and fast.

If you’re using one disk/filesystem with multiple operating systems, you are absolutely an outlier, not the general use case.

The only reason that FAT is somewhat portable is that it’s extremely simple and limited. This is also the reason why you absolutely do not want to use it for anything else than USB sticks and the likes.
Frankly, the only thing I wish I would have realized beforehand is
that you’re basically forming your young adult friend group with
a bunch of people who are going to be spread out over the globe in ~5 years.

For a lot of us, this is a problem with standard 4-year college as well. It's frustrating that it's so hard to colocate with college friends once your careers have taken you all in different directions (often with very little choice in the matter). I suspect that's responsible for a big chunk of social dysfunction in the USA today: so many people spend 4 years building a circle of friends, and it fractures irreparably 5 minutes after graduation.
"comme un imbécile, je marche" has the double meaning of "I walk" / "I fall for it". A possible translation would be "And I, like an imbecile, go along with it".
MacOS is designed for the point and click majority.

You can see this in the lack of any functionality for such a simple task as window tiling.

Power users should decamp, rapidly, to Vivaldi + Linux Distro.
Attributing science and freedom of religion to Christianity? That's a bold thought.
Curious, why would someone think the two are related?

Lotteries are well known for having security issues, so not surprising that the largest lottery in US history might have issues.
I think this forum in particular often considers self-interest as the only rational option, and so appealing to the rationality of such people as a way for ethical outcomes is a fool's errand. It's why "but it's legal" is often offered up here as a defense for companies criticised for unethical behaviour.

My best guess as to why people are so willing to act as if ethical criticisms are not valid is that the commenters self interest sees themselves as a potential future benefactor of similar actions and so they see the rational behaviour as being to defend it in case they could benefit from doing the same.

I'm not saying that people cannot ever be convinced to change their outlook here, but that doing so for an adult is a way more involved, individual process that requires input from people the person in question respects, which is way more than a university ethics course can hope to achieve.
I don’t see the issue they aren’t charging the fee. The government is. The anger is severely misplaced here. Consumers should know why prices go up.
I’m not so sure those with extreme views merely “have goals in common with the left”, I think they are the mainstream left now. The Biden admin appointed a transgender health secretary(my problem is not that they are transgender, but that they were appointed specifically because they were), has tried to force states to allow or even provide medical/surgical transition to minors, in some cases without parental consent, etc. I’m sympathetic to the concerns of transgender persons, but permanent life altering procedures for children is something that should demand a massive level of evidence and public debate. From what I can tell the evidence for who and when and how to treat is still unclear and ideologues are trying quite hard to suppress any debate.
I'm absolutely, entirely sure, Apple has bucketloads of the most brilliant engineers money can buy.

I'm absolutely, entirely sure, Apple puts every single one of them to work on the Apple Watch/iPhone.

Not a single member of the "A team" will be working on MacOS.

Apple Watch is the moneymaker.
It’s an interesting concept, but looks like it’s not executed well. At least in my country, the app has three reviews (total) over 2 years, with an average rating of 2 stars.

You need network in dating apps. If no one is using the app, there won’t be any profiles. And new people won’t create profiles because no one is using the app.

Additionally the inspiration on the homepage doesn’t give me a lot of confidence: “Their cousin went on a date where the man who showed up was about 15 years older.”

It seems more likely that you’ll end up with something physically unattractive if you can’t see their profile before meeting them in person.
Hmm, I'm having issues with it on a mobile device (Android + Firefox). It looks like there's a hidden text box that I can select in order to bring up the keyboard, but typing letters has no effect. Hitting return does display a new prompt line, but doesn't have any other effect, even if one of the listed commands had been entered.
Total Commander seems to be a one-man effort. Similarly, Sublime Editor is two people IIRC?
>> The team does not seem to be interested ...

You say they seem to, did you validate that? Have you proposed new ideas, lunch and learns etc. In fact a happy team is usually more receptive and it's just that no one has taken the lead.

I would prefer a happy, less ambitious team than a toxic, ambitious team and I am saying this from experience. And it's not a problem in being less ambitious; may be they are a wiser lot!

If your job pays you well with a happy, less ambitious team; it is actually a boon in disguise. It means you are spending less energy and bandwidth and it's upto you how you use that. You can use it for personal learning, family, socialising, new hobby etc. Enjoy this team is my suggestion.
I think that "pubescent" does not mean what you appear to think it means.
The title made me think people were leaving trash in their hotel rooms (quickly resolved by visiting and reading it)

I wonder if you would get billed for forgetting your CRTs / tyres / hazardous waste / bags of asbestos when you checked out, if that was not explicitly in the contract...
Arm was a joint venture between Acorn and Apple and another company whose name I forget. It's not unreasonable to think that Apple might have some special benefits due to that.
Is there anybody still doubting there is a corporate shadow world? You know the "pulling the string in the shadow", and that without fantasy conspiracy theories.
Very nice. I use a telegram bot for doing this as telegram API also makes it a simple GET request to send such notifications to yourself (once you have created a bot).

Also it's surprisingly hard to kill telegram for some reason so it's kinda robust. My stupid mi phone is quite aggresive in killing most background apps except whatsapp and telegram.
>If you want clear deliverables and a set path to follow, just get a job in industry.

I find this to be an extremely over-generous view of what industry work is like.

But my actual point is that whether you are in academia or industry, you should prefer a position where you have some real control over the deliverables, rather than being a puppet on the strings of a boss or advisor.
Before checking this out, people might want to take a look through the issues and pull requests of which there are 500+ and 50+ respectively [1]. I was really optimistic about this project and it was headed in a great direction, but it's not in a production ready state, and it seems that the main guy behind it has decided to move onto other things. It's been about a year since there was any significant activity.

I just mention this because a lot of these little issues might only become more apparent after integrating the db into your project and so it can be a bit annoying.

[1] - https://github.com/mbdavid/LiteDB
Abflussreinigung, Kanalreinigung, WC Reinigung Und Rohrreinigung Rohr
The novel band page for a minimal electro project, I think?

Anyway, typing "bad" made me sad, it felt like an AGI was told off and deteriorating.
I highly recommend Sublime Merge. It's especially good for those that know git well already.
Same in Germany.

It's local volunteers counting their local votes and the public is welcome to witness it (if they manage to behave and not try to disrupt the count).

Until the proceedings are done the ballots do not move more than a few meters from where they were distributed and filled out.

Switzerland regularly manages large referendums on paper just fine and AFAIK they use a similar system.

But then these countries all vote on Sundays and with a sufficient number of polling stations (and higher voter turnout) so it usually takes no more than a few minutes.

The US has some serious operational problems regarding it's election system even before talking about the political side.
Yes, the article talks also about it:

> Despite her enthusiasm, Oscaga recognises that there are drawbacks

But as you said, that's an interesting concept and first try, we'll see how it will procede.
> If so, it's not a zero sum game - the 'averagely clever people who have received great tuition' and who go on to succeed might be a sign of the education system working, not its failure.

The failure is that mediocre students which come from an environment which helps them (good school, private tutors, stable home life) can be successful, while "naturally gifted" yet disadvantaged students don't.

The basic fact that parental income is still the best predictor of educational achievement should tell you everything you need to know.
I see your point and I agree. Alas, while not perfect, money is the closest proxy to measure value, not so much from the seller's POV, but the buyer's; how much money-value are they willing to part in order to acquire the goods/services being sold.
If that is truly the case, could the 'Silk Road' drop the charges?
And in reality, it is really going great for C++ based browsers and their engines like Chromium, and WebKit with all their static analyzers, address sanitizers, valgrind, etc have got their memory corruption CVE woes sorted /s

As Ladybird gets more complex, it will most certainly have memory corruption vulnerabilities, just like the other browsers and it will turn out to be no different.
Your reply removes all agency from individual countries who independently decided to join NATO. Reminds me of certain whataboutist, bothsidist discourse in circles outside YN too.
Not a GUI, but a nice TUI : https://github.com/jesseduffield/lazygit

Some videos show the workflow here : https://jesseduffield.com/15-Lazygit-Features/
I love this project. Super simple to interface with, accomplishes the task very well, reliable, good documentation. It's hard to think of better design and execution for this type of utility.

I use it to get notifications of the CI running on build.wireguard.com, which took less than a minute to get working. Sometimes I'll use it for random one-off notifications, like when a command finishes running or some shell script sleep-loop scraper finds what it was waiting for. It's the nicest thing I've had for that kind of thing since mytelephonenumber@txt.att.net.
Recycling is a scam. Just about everything you recycle gets sent to the landfill anyway. The only difference is that you feel good about yourself as you sort it into the recycling bin. One exception, I’ve been told, is aluminum.
Can a file system enforce permissions against an OS that doesn't want to respect them, short of encrypting everything and demanding the host OS supply the key?
Energy crisis: How living in a cold home affects your health
WinBtrfs has (in my limited read-only testing) worked to allow opening btrfs filesystems on Windows, though ntfs2btrfs generates corrupted filesystems which lock up into read-only mode upon certain Linux operations. I have not tested https://github.com/relalis/macos-btrfs but it exists FWIW.
Of course they can't.

The narcissistic tendency to conflate consumer preference with quality (or moral weight) is drearily common on HN these days.

We get it, you have a fetish for replacing RAM (but seem to have forgotten that CPUs can also be replaced, oops your computer can't do that? soldered it to the mainboard? rubbish).
Both are not exclusive and at least doing like OP enables avoiding the too common abuse of graduate students in some schools.
Ich schätze mal Hackernews ist die falsche Seite für sowas...
I’ve never compared the Linux kernel to a car but I wouldn’t necessarily throw it out as a useful analogy for two reasons:

- 1: sometimes we have to learn simplified but faulty models in order to understand the more complex and more accurate models

- 2: Everyone sees the world in different ways. It is often through combining these different viewpoints (or analogies) that we arrive at something closer to the objective truth. This is eloquently illustrated in the [Blind men and an elephant parable](https://en.m.wikipedia.org/wiki/Blind_men_and_an_elephant). The moral of the parable isn’t that we should throw away all analogy because it can be misinterpreted. The moral is, as Wikipedia puts it:

> The parable has been used to illustrate a range of truths and fallacies; broadly, the parable implies that one's subjective experience can be true, but that such experience is inherently limited by its failure to account for other truths or a totality of truth. At various times the parable has provided insight into the relativism, opaqueness or inexpressible nature of truth, the behaviour of experts in fields of contradicting theories, the need for deeper understanding, and respect for different perspectives on the same object of observation.
Sorry, are the down votes because people don’t believe CS departments are hiring? My department has been hiring continuously for 6 years and has had many failed searches. Our peer institutions haven’t fared much better. There are tons of openings, just visit any academic job board to see for yourself.
This discussion reminds me of a book called Range. The author’s premise is that most high achieving inventors, creatives etc are not successful because of high level of specialisation, rather it’s a their broad sampling across unrelated domains and their ability to essentially cross pollinate from their experiences that is their key to coming up with novel ideas. The kinds of people who rapidly sample and acquire range I’d say are also likely to be college dropouts.
Yep, same on Android with Chrome.
Yes, it's true that industry is not like this all the time. I've done the PhD/Postdoc route now working as a data scientist in mega corp.

The value of a PhD IMO is the pain of forcing yourself to learn things independently, work on hard problems for long periods of time and develop expertise. I think following a set path laid out by a supervisor defeats alot of this as the hard work is being done for you, you're just following your supervisor's set agenda.

Industry simply doesn't allow for this long deep, mostly unproductive work. Things change constantly and projects move, adapt etc. However the goals are for the most part better defined with a clear outcome.

A post below put this well, academia is closer to a start up lifestyle.
Traits You Can Change, and Traits You Can't
> But it’s the falls it suffered that made every other MTA strong.

Worth remembering that Sendmail was, generally speaking, first. Shoulder of giants and all that.
Show HN: Cozo – new Graph DB with Datalog, embedded like SQLite
Hi HN, I have been making this Cozo database since half a year ago, and now it is ready for public release.

My initial motivation is that I want a graph database. Lightweight and easy to use, like SQLite. Powerful and performant, like Postgres. I found none of the existing solutions good enough.

Deciding to roll my own, I need to choose a query language. I am familiar with Cypher but consider it not much of an improvement over CTE in SQL (Cypher is sometimes notationally more convenient, but not more expressive). I like Gremlin but would prefer something more declarative. Experimentations with Datomic and its clones convinced me that Datalog is the way to go.

Then I need a data model. I find the property graph model (Neo4j, etc.) over-constraining, and the triple store model (Datomic, etc.) suffering from inherent performance problems. They also lack the most important property of the relational model: being an algebra. Non-algebraic models are not very composable: you may store data as property graphs or triples, but when you do a query, you always get back relations. So I decided to have relational algebra as the data model.

The end result, I now present to you. Let me know what you think, good or bad, and I'll do my best to address them. This is the first time that I use Rust in a significant project, and I love the experience!
Its a fantastic place to 'grow up' from whining western spoiled kid into mature adult, to get some grip on how real world is, unfair, cruel, harsh, but also amazingly beautiful.

The quickest and by far best way to do this is backpacking all around, taking slow public transport, sleeping cheap, eating cheap where locals eat etc. I've spent like 500$ per month there in 2010. Yes there may be unpleasant bowel issues but after weeks you will come back a slightly better human being, and memories and experiences will be part of your personality. Best parts are usually random interactions with anybody out there, asking for directions and ending up eating dinner with their family, haggling with rickshaws, seeing how untouchable caste lives, feeling the intense heat of burning bodies in front of me on Manikarnika ghat in Varanasi... I could go on and on for very long time.

I've done in my previous life 2x 3 months backpacking like that, just big fat lonely planet book and deciding what to do and where to go next on the spot. Everybody from west we met was doing exactly this, just time varied between few weeks to few years. Felt like being in completely different universe, friends and family back home just distant dream of a dream. Both times it also felt as spending few decades there. And oh boy did it change me for the better, even I could see it.
What does information-theoretical death mean?
You might like (Extrmpore author) Andrew Sorensen’s piano live coding:

https://youtu.be/bq-260NUw5o
In case anyone is wondering: this wasn't a scam, but an art exhibit in an art museum about an openly fake civilization, done by an artist with mostly repurposed "found" objects.

The "convincingly exhibited" of the title is misleading. It wasn't about deceiving people, it was about world-building. It wasn't shown at a history museum.

It wasn't a hoax, but more of an artistic "mockumentary" for a made up civilization. Almost borgean...