skysight-inc/HackerNews huggingface dataset:
What are 3-5 important things about us that our customers/the market don’t know?
What are 3-5 important things about us that our customers / the market don’t know? How could we institutionalize communicating it?

1. Our commitment to sustainability: This could be something that is important to your company but not communicated enough to customers or the market. To institutionalize this message, consider creating a sustainability report or sharing updates on sustainability initiatives on social media and other communication channels.

2. Our company culture: The culture of a company can be a powerful selling point, but it's not always easy to communicate effectively. Consider creating a company culture video or hosting virtual events that showcase your team and company values.

3. Our process for quality control: Customers may not know the level of detail and care that goes into creating your products or services. Consider sharing behind-the-scenes content that showcases your process and quality control standards.

4. Our commitment to diversity and inclusion: In today's world, consumers are increasingly interested in buying from companies that prioritize diversity and inclusion. Consider sharing stories of employees from diverse backgrounds or hosting virtual events that celebrate diversity.

5. Our vision for the future: Customers and the market may not fully understand where your company is headed. Consider creating a vision statement or sharing a roadmap for future products and initiatives.
Oil & gas industries have been aware of our path towards climite change for decades and have actively worked to suppress and discredit the science.

They use their wealth to lobby against the transition to renewable energy. Only in recent years have they started to green-wash now that public opinion is more unified on the topic.

The list of their crimes against the environment is endless. They make billions of dollars in profit and yet insist in cutting corners that lead to disasterous oil spills.

Read about what Chevron did to Steven Donziger, who had the audacity to stand up to them.
Yes, you are building stuff to kill people who are killing you (and democratic Western world in general). Quite ethical, if you ask me. And most weapons in the world are not used to kill people — they are used to deter people from killing people.

And, if you choose to not work for autocratic countries, you have a choice in saying who will use the weapons.
> But this is not my field.

> Would a VPN do what I need? Where are instructions that a n00b can follow?

Never used them myself but lots of HN commenters think highly of the VPN services offered by Mullvad [0]. In fact, right now, Mullvad is currently on the HN frontpage [1], from a blog post by Tailscale.

0: https://mullvad.net/en

1: https://news.ycombinator.com/item?id=37420053
Everything I can think of and more of what I'll ever need:

https://github.com/leanprover-community/mathlib4/tree/master...
yes - but calculating the consine similarity for all the candidates is prohibitively expensive.

hence heuristic.
No, they have to go through congress first.
So AI can't do my work for me, but it can automate the activity which I do for enjoyment in my coffee break?
Show HN: Vokabeln.io – AI generated, spaced repetition flashcards
Hi HN,

for the past few months, I have been building a ChatGPT powered app for learning German vocabulary.

During my stay in Germany, I wanted to get my German to a higher level. I have tried all of the top 20 language learning apps, and was extremely frustrated that most of them are about gamification and making me do childish exercises that don't really teach anything.

I have also tried Anki, but could not keep myself disciplined enough to be noting words I want to learn, translating them, and finding sentence examples. Decks did not work for me either, as I know the top 1-2000 words.

Vokabeln.io allows studying vocabulary in two ways: Either by word frequency or from collections. The collections can be generated from any piece of text, from which the app extracts (mostly correctly, trennbare verben can be tricky) vocabulary, including conjugations, and the user only marks the words they don't know.

The practice part similar to Anki, but simpler with only swiping left/right/top depending on how well user knows the word. I have found Anki's way of showing four options mentally distracting. During practice, ChatGPT generates sentence examples and word explanations (very useful for German compound words).

It's still very early work and likely has some bugs, but I'd be very glad for any feedback!

It's on Play Store and App Store (tech-stack is Flutter + expressJS + postgres), the links are here: https://vokabeln.io

The App is paid after 7 days, but you don't need to start a free trial or create an account to test it out.
My retired father did that: my kids got track extensions he made himself. His wood processing tools were much simpler than a CNC machine though.

However, it's quite easy to find second hand Brio tracks.
You will always have problems with others not sharing your ethical values.

Best you can do is strive to do better and not actively deal with those that deal in harm (according to your value set).

The main problem is that EVERYONE including yourself has positive qualities along with some ethical lapses to say the least.

You mentioned C#, you are aware that there are people in this world who consider Microsoft more evil than say JP Morgan? So pick your poison type of deal.

If you have not done much philosophy then a good place to start would be:

How to Be Perfect: The Correct Answer to Every Moral Question

by Michael Schur, Kristen Bell, et al.

Schur runs into this problem constantly that you can't avoid dealing with unethical entities.
Though I did not find Topos Theory.
From your last link:

> API callers only receive topics they've observed

> A design goal of the Topics API is to enable interest-based advertising without sharing information with more entities than is currently possible with third-party cookies. The Topics API is designed so topics can only be returned for API callers that have already observed them, within a limited timeframe. An API caller is said to have observed a topic for a user if it has called the document.browsingTopics() method in code included on a site that the Topics API has mapped to that topic.
Having worked at Salesforce, I assume it's gonna be in-house stuff from the Einstein team.
> Endgames almost always have the potential to outsmart and outmanoeuvre the opponent, like any other part of the game.

In an evenly matched endgame, sure. I think those endgames are fun, but rare when playing in person since there's usually a skill mismatch. He was complaining about the typical game where there's a mismatched endgame where one side has an obvious advantage but there's still a bunch of chase to close out the game.

There's no doubt that the endgame can get complex, but with chess a different kind of problem solving than the rest of the game and one that I understand why people don't find it fun.

I always thought there was a bit of irony with how much he disliked the chess endgame, because he was hopelessly addicted to playing go which is not that unlike to a pawns-only chess endgame in thinking.
From my childhood - works, verbally not when written.

1-1 was a race horse, 2-2 was one too. 1-1 won one race - and 2-2 won one too.
Good run-through! Just a small issue, the trailing `Map.put/3` in `add_defaults/1` is missing a key and value.
it has always been that way though, hasn't it ?

whether from boeing, howard hughes, lockheed, at&t, ford and general motors.

the pharma companies.

case in point united fruit company -- resulted in many coups in latin american countries due to banana wars
The problem is that if you fall behind in arms race, then it may mean that you are going to suffer a lot.
I love it. The terseness of writing reminds me of the economist, in a good way. Also the styling of the mobile page is top notch. It seems that the comments of its own thread are off -by-one though.
I'm surprised they don't have them working yet. An Australian carrier was decommed a few decades ago and went to China for scrap. The Australians stripped most of it but left the steam catapults intact, and I know the Chinese were using them for land based experiments.
> there’s a certain pervasive collective worship of these employers that will just not quit

That's my observation as well. And I think this applies especially to Google: for some reason it still has the reputation of this cool tech company here on HN, even though it's an advertising and user tracking/profiling company at this point, and there is really nothing "cool" about it anymore. But criticize Google on HN and you'll get downvoted really quickly.
> Do you live in california? Go outside and open your eyes for evidence.

Not any more, but I was born there (multi-generational too) and visit often: I can assure you homelessness has been an issue long before either medical MJ or recreational legislation reforn; the massive effort the US states go to bus their undesirables is well documented [0] and a much larger reason for your 'evidence.'

Skid row was arguably a direct byproduct of the Reagan era defunding of mental institutions, and I've come across anecdotal evidence that a large cohort was caused after releasing the broken and hapless former Japanese prisoners in internment camps during WW2: a Japanese colleague of mine found out her paternal grandmother spent time there for years (after she passed) while trying to find her biological family as an adult after having been adopted as a child. And guess what helped her get over this trauma and declining mental health issues?

Psilocybin and MDMA and a caring partner that tried to be there for her.

0: https://www.theguardian.com/us-news/ng-interactive/2017/dec/...
Sites that use tracking cookies rarely comply with the law as it is, and even then skirt around it via "legitimate interests" and other dark patterns. What makes you think they would disclose a behavior that is even more difficult to detect?

We can't assume good will and behavior from an industry that is built on deceiving and manipulating the user. The GDPR is a good first step at regulating these practices, but it's too vague, and it's applied far too leniently. It also obviously only applies to EU citizens, and not to the global industry.

I wasn't familiar with the privacy "budget", but it sounds like Google is trying to define privacy as a scale, where some amount of fingerprinting is OK. Users can be identified with just a few data points, and some are more valuable, depending on the context. Some might even be required for the site to function, so will there be "legitimate" exceptions to the budget in those cases? It sounds like a backwards approach that will be difficult to manage, so I'm not sure it will be a win for protecting privacy.

More importantly, I don't trust that an adtech company will go out of its way to implement solutions that go against its bottom line. These companies have a track record of abusing user data, and the only reason they take these initiatives is for good PR, which is again protecting their bottom line. The entire industry needs much broader and stronger regulation for any of this to actually improve.
I don't see why the government doing it would make it more outrageous. If democratically elected leaders pass a law outlining when and how the cops should be able to access private devices, a judge looks over a specific case and signs a warrant, the cops use a hacking tool to catch a terrorist and the evidence is presented in court, this seems like the most excusable use of hacking tools that I can think of.

The government is given power over people in order to protect us from other people and this is one tool to do it. They have cops with guns and soldiers with tanks, they can break in, search and seize, they can lock people in prison. All of these things are tools and it's they way they're used that decides what's immoral or outrageous.

The bigger problem here is that a private company has these tools and can use and sell then with no oversight.
This is great answer, thanks. I'm also in the UK and I'll take a look. I agree that the services that can be built for the government can be apolitical.

I know that during the pandemic there was a lot of interesting work going on in the NHS. I think they created teams that were outside of the normal archaic structure of the service and allowed them a lot more freedom.

Edit: Looks like the government is pretty focused on the Java stack :'(
I guess it is because of information like this that most people in the world do not trust the US justification for fighting a war with Russia in Ukraine.

I wonder how long it will take for similar memos to come out relating to 2014, Nord stream, etc
Wizards of the coast owns the patent on collectable cards, so they should be excited, since there's no way to break into the market without them suing you. They can fire all of their artists and save on costs, but still produce good working cards with AI.
China isn't attending G20 either so there are likely other reasons.

But Putin did attend BRICs remotely indicating that inability to travel was the reason.
That's what you get if you use the (simplified) example code that is in the article. It's also what you can derive from their description of the problem.

Now we don't have any Rust code to compare so we can't say how it's different. But everything points towards a memory allocation issue that is just not their in simple Rust code.
I think Go is about as simple and elegant as a board game can possibly be. And yet it has immense strategic depth unmatched by any other game.
I think of naming the days after planets (in more or less the same order) this system is due to a common source : Sumeria, and made popular by the Babylonians who used it for their astronomy and their astrology.

In fact, one could argue that in its place, naming after the days of a fortnight is more intuitive : since it coincides with the phases of the moon. Indeed, the Sanskrit way of naming days (not used popularly except in religious and astrological settings) uses a 15-day system, two in a month: The waxing phase is called the Shukla Paksha (the white part) and the waning phase is called the Krishna Paksha (the dark part):

https://en.wikipedia.org/wiki/Names_of_the_days_of_the_week

https://en.wikipedia.org/wiki/Paksha
> I don't like him. But this is a good move.

But the stated reason has turned out to be not true, once again Russian officials just used the threat of nukes to try and slow down Ukraine.

Russia has threatened nukes about every second week since the war started for everything under the sun.

None have materialised because they are just that, threats. It's a shame Musk feel for it.
Just how constexpr is C++20’s std:string?
Are you on Mastodon or on the fediverse btw? Any plan for Kagi to have an account there? (not really required, I don’t think that companies should necessarly be on social networks, that’s mostly a waste of time)
For those interested, the EU has nice maps of tree cover density at https://land.copernicus.eu/pan-european/high-resolution-laye...
The fear of a nuclear fire that would consume Earth
I did ask the same question quite often, and still do. Since you asked about product / industry, I'll skip the question of wether or not e.g. Meta is a morally acceptable employer.

Now, what I realized, is that the answer to that question is highly individual. And not straight forward or clear cut. I drew my line long ago at small arms for example, but I don't mind working on defence projects. Others see no problem working in ammunitions, while refusing jobs in high pollution industries like chemicals.

One thing I did learn so, as long as you are not a doctor, nurse or emergency / disaster relief worker, the litterally life saving jobs are far and few between. In the end, idealism, and highly appreciate people that have and maintain it, doesn't put food on the table. And as soon as you meed to be paid, there trade offs. Just what those trade offs are is up to you.

Not very specific advice so far, but there is some good news: whatever your skill set, someone somewhere has a need for it. And someone will have need for it to do good (TM) stuff. One option, unless you want to go to the front lines of social work and development aide work (in which case, if you can upend your life to do so, by all means try it), try looking for NGOs, large and small, doing that kind of work. Or rather the kind of work that aligns best with your morals, be that environmentalists or work in poor, developing countries. Pay will be most likely low, but it can be more fulfilling. Or consider some UN orgs, e.g. the UNHCR. They do direly needed work that directly benefits people on the ground.

As long as you stay in whatever industry, be aware that profits, money and power have a tendency to trump almost everything (even if not every mega corps is either Weyland-Yutani or the Umbrella Corp.). And as soon as physical supply chains get involved, well, tough luck. Because either zhe raw material and sourcing end, or the recycling end, there will a poor, litteral kid somewhere doing hazardous work for little to no pay in order not to starve. But, and that is the bad news, there is nothing an individual can about that indirect harm our way of life causes.

You can look at the very list players doing as little direct harm as possible (by your definition), or actively try to mitigate some of the harm done.

But please, try to keep your idealism alive and stay optimistic, there are already enough old cynic farts like myself out there. We, and the world, can use some more idealists to actually change things for the better.
Thanks. I appreciate it. According to

$ find leanprover.github.io/functional_programming_in_lean -name \*.html -exec html2text {} \; | wc -w
271248

That's about 1,000 pages. Some of us who are less ambitious and motivated need an under 5-minutes example to feel compelled to engage with such a large amount of documentation. Essentially the problem is "There's hundreds of programming languages I'll never have the time to learn. Show me why I should care about this one and do it quickly."

Given that, I actually appreciate the fancy example. It really shows off some interesting features in reaching a goal that's really simple to understand.

It looks similar to Haskell in that it approaches programming in a mathematically formal and rigorous way.

If you're deeply involved in the project, an example that would be really exciting to me would be a lean version of one of these proofs: https://en.wikipedia.org/wiki/Category:Computer-assisted_pro... or https://en.wikipedia.org/wiki/Computer-assisted_proof#Theore...

Start the example with how the proof was initially tackled on a computer and show the challenges faced and then demonstrate how lean can do it more elegantly.

I appreciate your time.
> if I'm not doing it, someone else will do it, so it will be done anyway.

I downvoted you for this. I considered not doing it but figured someone else would downvote you anyway.
ASMesh: Anonymous, Secure Messaging in Mesh Networks
Did some camping (with only sleeping bag) at -40C, works great. The original plan was to build an iglo, but we learned too late that snow does not stick below a certain temperature.

Luckily we had a snow storm, so soon after tugging in we were covered by an arms length of warm and insulating snow (I remember being worried to not being able of to keep my breathing tunnel operational).
The definition applies to terminals. The FCC routinely uses the term to refer to terminals, e.g. [0]

Also, in the same paragraph, you can read that they explicitly mention “video surveillance services” as telecommunications equipment, which are terminals as well.

[0] https://docs.fcc.gov/public/attachments/FCC-90-133A1.pdf
Looks like they semi-artificially replaced a loanword with a crafted name than the same thing existed.
What are our customers telling us, that we’re not listening to?
What are our customers telling us, that we’re not listening to? (Prepare /w/ data from support, social, survey, etc). What should we do?

To understand what customers are telling the company, the company should analyze the following sources:

1. Customer support tickets and logs: Reviewing customer complaints and feedback from customer service interactions can help identify common themes or issues.

2. Social media comments and reviews: Monitoring social media channels can help to identify customer sentiment, including both positive and negative feedback.

3. Survey feedback: Surveys can be a valuable tool for learning what customers think about the products and services offered by the company.

4. Website analytics: Analyzing website user behavior, such as time on site, page views, and bounce rate, can provide insights into customer preferences and potential areas for improvement.

5. Sales data: Examining sales data and customer purchase history can help to identify common trends and preferences.

Once the company has gathered data from these sources, they should consolidate and analyze the information to identify any recurring themes or issues that customers are experiencing. The company should then take steps to address these concerns, such as improving customer service processes, updating products or services, or adjusting marketing strategies to better meet customer needs. The company may also consider implementing regular surveys to gather ongoing feedback, and proactively engaging with customers on social media to respond to any issues or concerns in a timely manner.
All aboard the hype train!
This sort of makes sense, almost everyone else in the world learnt of coffee directly or indirectly via Arab-speaking people and so use their name for it, but Ethopians had it first and so have their own word for it.
I can save €6k per year by not paying any rent, but doing so will cause a huge number of problems, starting almost immediately.

Getting a cheaper place isn't completely impossible, but I'd just have to go somewhere far enough away that commuting may be impossible or impractical and that will upset my current employers.

Governments aren't the same as households — I can't force people to accept any "money"[0] I might try to "print"[0], nor do I run a central bank whose interest rates I get to set, nor do I collect taxes or customs duties — but there are analogies, and "infrastructure ≈ housing" is one.

What the UK needs more than anything else right now is a realistic economic plan; unfortunately the UK government appears to be unable to tell the difference between that, their rhetoric, and their wishful thinking.

[0] it isn't money if no one accepts it, literally printing something that even tries to be money is something I assume to be a crime without checking, and money is increasingly digital these days so why even do that?
> when I re-indent some code in a file of Typescript

What typescript mode are you using? Emacs 29.1 comes with "typescript-ts-mode" providing parser based syntax highlighting and navigation. Traditionally, re-indentation is implemented using regex based syntax tables, too, so you might enhance your experience by switching over to that newer mode.
How to replace CalDAV with a secure calendar protocol
Is 'police' that universal? I know Irish have the Gardaí - https://en.wikipedia.org/wiki/Garda_S%C3%ADoch%C3%A1na.

Yes, Icelandic has 'Lögreglu' and Greece has Αστυνομία (https://en.wikipedia.org/wiki/Hellenic_Police) but indeed most places use some variant of 'police'.
Slack, and messaging apps in general are the absolute last place I want AI functionality. I don’t want to think I’m chatting with someone when I’m actually with their AI PA.
This is the core problem. Everybody is discussing the crash dump and the exfil, but the core problem is that Microsoft neither validated the validity of keys (the leaked key was already invalid) nor the context of the key usage (the key wasn't allowed to generate admin tokens). They just checked if the key was signed by the Microsoft CA.

This is something that's incredibly obvious in a code review.