skysight-inc/HackerNews huggingface dataset:
thank for the correction, then my position is that with rowspan and colspan tables were sorta nice :)
Right, but Google supports Google search without bang operators.
> I think ultimately it comes down to how one implements their GTD system

In "Perfect Time-Based Productivity"[1], Francis Wade pulls this idea apart and discusses how you can create a system that is suited to the time-demands you currently have. eg. the system a CEO with days full of meetings needs is different to the postal worker whose time demands are fairly clear and dictated by someone else. The real gold in this book though, is about how you need a "trusted system" - ie. we all have multiple channels (work email, IMs, personal email, phone(s), family, colleagues, ...) creating demands on our time, and we each need a system suited to our own mind and our own siutation for remembering and organising those demands, which nobody else has permission to add to.

[1] https://www.goodreads.com/book/show/23600431-perfect-time-ba...
Nope, Iran has every right to behave as it does but that also gives the collection of countries that act in congress together the leeway to label it a 'rogue state'. The center point of this subthread was whether such a label is appropriate.
That only means the conspiracy goes deeper.
I have comparable experience consuming media's interacting with people and such. Or maybe there could be less emphasis on writing since you can't reach as many people.
I really like your idea and had similar thoughts - curious how you would build this, and if you planned to? I saw in your comments you ran a website that sounded like an earlier version of Reddit - could you share the name of the site? My email is orangegummy@gmail.com if you aren't interested in publicly posting that info ( I would have emailed you but there's no contact info I could see)
How about all the routines that are written in x86 assembly? Of which, in a performance sensitive application such as a game, there probably are a lot.
Hi Mike!

The word "inferential" has to do with being able to be logically inferred, that is, deduced.

Russell's Principia Mathematica specified that each proposition must have an order to block paradoxes such as Russell's paradox.

See the article linked above for further explanation.
Chinese scientist ‘in shock’ after finding herpes virus can survive in oil wells
- There is only one lug, see photos.

- Polyester caps are AC rated

- Transformer is 300VA
Is your reticence due to your far of others implementing your ideas?
I lament the pressure for US nuclear families to fissure apart. It may not be overt pressure but it's consistent, delivered in countless expectations (do job|college and move out|away) and assumptions (gone yet?)

My parents died when I was 14 & 21 respectively. Decades before, my dad moved my mom away so we grew up w/o any extended family nearby. When my first child was born, my wife and I were on our own - which would surprise zero Americans.

Objectively I was good parent and a terrible parent. With no ongoing guidance, the terrible wound up outweighing the good (because w/o exp, what we have are hunches, anecdotes and ill equipped reasoning). My kids and I will spend the rest of our lives repaving my bad roads. This result would have been different with extended family nearby and - critically - some on hand.

Some American ideals (eg:individualistic independence) come with an unreasonably high price. We would be a far better people if we elevated keeping 3+ generations together and normalized housing that would support that.
+1 on Note Air. Cancelled rM2 because of no browser and Android support in Boox.

Was a good decision.
I disagree with you. Introducing a database too early is overengineering. My first principle is KISS. I have encountered code that was similar to the example: it was the handling of messages received from automatas in a nuclear plant. I have done some refactoring so that the code had a structure closer to the specification (we had very good specifications). It was quite similar to the third example with recipes.
Makes total sense. I haven't tried it yet but it would have really made life easier for me a couple of years ago. :)
Yes, my solution was to just use Markdown and bold the tasks so that I could see all of them in VSCode without losing context.
Yes, my issue is with the DOM itself and the browser makers that add new stuff all the time but they have not added any major improvements to the included elements and add the needed one.

Part of the solution would be to have Mozilla and google check what developers need and add that but IMO there is a giant chance a Google developer will invent yet another framework instead of working on adding more css support for the "select" or scrollbars.
I think it is pretty clear from this chart that Sweden has excess mortality and that they correctly account for COVID-19 deaths: https://morberg.github.io/covid-notebook/excess.html
These companies are international so they can choose to not do business with a country. It is a negotiation, just one that governments tend to do better at. If Blue Cross North Dakota sits down at the negotiating table and then Aetna New York sits down at the negotiating table and then Canada sits down and then the European Union sits down, who is going to win a good deal and who is going to get screwed?

You can say it's cheating when governments win lower prices for their citizens like this but I'm not much inclined to care. I don't want to subsidize the continuation of our more-market-based-than-usual health care experiment when the results have been clear for decades. Compared to our peers, we're in a hole. Let's stop digging.
As you love your creation, look critical at the actual proposed "savings" of money. This will be totally uninteresting to broadband and local mobile users, but think different countries and most expensive data they offer to users, tourist and roaming mobile data plans, or satellite internet (remote territories and open sea vessels), what would they potentially save? How large is this audience? Will they be interested? Base your fee on this data.
The following theorem says that every theorem can be used in another proof:

⊢∀[Proposition Ψ] (⊢Ψ)⇒Ψ

The above theorem is completely standard mathematical notation.
You must be confused, they said they want to look good...
Fully fuel requires at least 8 tanker launches IIRC. Fully fueled Starship weighs 1,200 tons, 1,100 tons of fuel over 8 launches is nearly 150 tons per launch.
I got a lifetime subscription on a cyber Monday for Brain.fm a couple years ago!

I also got a lifetime subscription for Focus@Will on cyber Monday too.

I use Focus@will a bit more but sometimes get bored and use Brain.fm. Both are really effective!
I believe I am a good writer. On my first job as a developer I kept getting very positive feedback on my writing. I ended up even starting a newsletter with writing advice for software developers[0].

So 4 months ago I started looking for a remote job. I applied to 250+ positions. All very suited to my skills (e.g. I wouldn’t apply to any job asking for “senior” or “fullstack”). I got about only ~15 interviews, 1 offer.

The message is that I believe strong writing skills won’t help you get a job. It will help you a lot once you start the job, but I don’t believe it helps at all at being hired.

Things that I do believe help you get hired: a well-written CV, a CS degree, a top-branded college, a top-branded former employer, a good public sample of your code (open source, side-project, etc), interview skills (be calm, articulate, charming, clear explanations and thought process), practice at technical interviews of the specific type of the positions you are applying to.

My advice is to practice your writing skills after you get a job, not before.

[0] https://writingfordevelopers.substack.com
Using GUIDs for ID makes the db less friendly to query. Writing down an ID of a row is much harder when it's a GUID. I know it's not normal for people to be directly working with the DB but it is a little bit of developer ergonomics.
It’s probably in a container format (WebM or Ogg?) that Chrome recognizes but Safari doesn't.
Off-topic: Thanks for working on Homebrew btw! It just occurred to me that I've never donated despite using it so much but now I have. Link for others:

https://github.com/homebrew/brew#donations
Ask HN: Know of an automated way to pollute the date big tech has on me?
There are people that try to avoid as much as possible sending data to Google / Facebook / other. Using custom built Android, not using the google store or using it on dedicated phones (I know a guy who has a special phone just for the school's whatsapp group), etc.

I am not one of those people. However, I was thinking that instead of not sending data at all maybe I can send them some fake information about that will dilute the profile they have on me.

With Facebook, things seem easy, to like / visit some pages that are not in my interest.

With google / gmail / analytics however, this becomes pretty hard.

Thoughts?
You're agreeing with me. If societies with less respect for the self-sovereignty of their knowledge workers can't improve their productivity the solution indeed isn't more management and never was.
The complication is that the defender nukes you when he loses.
Not all the ports in macports are big sur ready for x86.

There are some dependencies in autoconf about warnings vs errors in defining implicit functions that has caught out some ports and others that use the "search for the .so" instead of dlopen to check for a library.

clang now defaults to error if you turn on the implicit-function-definition warning. [1]

Big Sur doesn't actually store the .so files for system libraries, it has one big .sym/.so for all of them. [2]

[1] https://developer.apple.com/documentation/xcode-release-note... under Apple Clang Compiler:

Clang now reports an error when you use a function without an explicit declaration when building C or Objective-C code for macOS (-Werror=implicit-function-declaration flag is on). This additional error detection unifies Clang’s behavior for iOS/tvOS and macOS 64-bit targets for this diagnostic. (49917738)

[2] https://developer.apple.com/documentation/macos-release-note... under Kernel:

New in macOS Big Sur 11.0.1, the system ships with a built-in dynamic linker cache of all system-provided libraries. As part of this change, copies of dynamic libraries are no longer present on the filesystem. Code that attempts to check for dynamic library presence by looking for a file at a path or enumerating a directory will fail. Instead, check for library presence by attempting to dlopen() the path, which will correctly check for the library in the cache. (62986286)
And your account histories as well! It sucks(more than sucks) when Google only lets me what I want from someone else’s browser.
Presumably, the most common search preference lists would be used by very large numbers of people -- for example, almost all programmers would rather see Python (language) queries over Python (snake) queries and would probably all be using whichever search preferences become the most popular and well-maintained, like "mit_cs_club.json". A subset of those would also be into anime and enable their anime search preferences (probably more particular), and some of them will also like mountaineering, pottery, and baking, and will have such preferences configured as well. Yes that might be enough to identify you (just like searching for your own name would be) but those preferences don't need to be attached to you, just your query, and you could disable or enable any of them at any time.

It would basically be like sending a search query in this form:

"Python importerror help --prefs={mit_cs_club, studioghiblifans_new, britains_best_baking_prefs, AlpineMountaineersIntl}"

If you like baking, anime, and mountaineering, it's probably convenient to leave all those active for your searches, even your purely programming-focused searches. But you could toggle some of them off if articles about "helping to protect imported mountain pythons" are interfering with your search results, or if you want to be more anonymous. If you're especially paranoid you could even throw in a bunch of random preferences that don't affect your query but do throw off attempts to profile you. You could pretty easily write a script that salts every search with a few extra random preference lists, for privacy or just for fun, and make that an additional feature. The tool doesn't need to maintain any history of your past activity to cater to your search, so I think it would be a good thing for privacy overall.
MAD only lasts until it doesn't. I don't think someone like Trump would have handled the Cuban Missile Crisis well.

There's also the risk that these systems fail. Even if they blocked half the ICBMs, it costs too much to let the others in. But it also costs too much to not invest in such a system.
Don't know what the situation is like today, but not so long ago not all architectures supported floating point numbers. Math operations were emulated in software libraries, which was slow and buggy.
The paper this post is concerned with is satirical, and Cantor's argument showing the uncountability of real numbers is correct. Note that there are a couple technical steps skipped by some expositions of Cantor's argument. What part of the theorem are you uncomfortable with?

> If a proof technique could prove untrue theorems, it wouldn't be very convincing, would it?

But Cantor's diagonalization argument can be used to prove that the integers cannot be mapped to integers if and only if every theorem is true.
Stopping the world after 72h of CI fails seems like a dangerous decision, especially if you have a large team working on a monorepo. Note that fails can easily 'pile up' and the 72h are not necessarily all caused by the same change. I would probably get paranoid, feeling the constant pressure not to be part of the cause for such an occourance.
Small heads up for phone or other bandwidth-constrained users, it's a 200+ MB video.
crazy apple forgot to do this. they are forgetting their base, as per usual.
It's a puzzle within a puzzle as the post author describes and describes in detail in the presentation he has made. Took me back to my college days.

Here's the direct link to the presentation the post author links to in the blog

https://math.ucr.edu/home/baez/ramanujan/ramanujan_whittier_...
Because the working alternatives aren't nearly as lucrative for the health care industrial complex.
How do you feel about acronyms? Do they improve or hurt communication?

From time to time, Musk will send out an e-mail to the entire company to enforce a new policy or let them know about something that's bothering him. One of the more famous e-mails arrived in May 2010 with the subject line: Acronyms Seriously Suck:

There is a creeping tendency to use made up acronyms at SpaceX. Excessive use of made up acronyms is a significant impediment to communication and keeping communication good as we grow is incredibly important. Individually, a few acronyms here and there may not seem so bad, but if a thousand people are making these up, over time the result will be a huge glossary that we have to issue to new employees. No one can actually remember all these acronyms and people don't want to seem dumb in a meeting, so they just sit there in ignorance. This is particularly tough on new employees.

That needs to stop immediately or I will take drastic action - I have given enough warning over the years. Unless an acronym is approved by me, it should not enter the SpaceX glossary. If there is an existing acronym that cannot reasonably be justified, it should be eliminated, as I have requested in the past.

For example, there should be not "HTS" [horizontal test stand] or "VTS" [vertical test stand] designations for test stands. Those are particularly dumb, as they contain unnecessary words. A "stand" at our test site is obviously a test stand. VTS-3 is four syllables compared with "Tripod", which is two, so the bloody acronym version actually takes longer to say than the name!

The key test for an acronym is to ask whether it helps or hurts communication. An acronym that most engineers outside of SpaceX already know, such as GUI, is fine to use. It is also ok to make up a few acronyms/contractions every now and again, assuming I have approved them, e.g. MVac and M9 instead of Merlin 1C-Vacuum or Merlin 1C-Sea Level, but those need to be kept to a minimum.
It's a lot harder to write something short and concise that efficiently communicates to team members than something long and wordy that requires a lot of reading.
As with all things - practice and find someone who can give you honest, constructive feedback.
Cerebras speeds-up computational fluid dynamics
Trump Fires Christopher Krebs, Official Who Disputed Election Fraud Claims
> What does it matter if people say Biden didn’t win?

You're asking if rejecting the result of free and democratic elections and pushing for the subversion of a democratic regime by arguing in favour of installing an illegitimate ruler at the highest position in government matters.

Well, it does matter if you intend in continue living in a democracy.

In the past it didn't matter to those who pushed to overthrow democracies in favor of a dictatorship.
Not answering your question but in my experience reading assembly output of the two compilers the unoptimized output of Clang is atrocious while GCC is closer of what a human could have wrote. Clang seems to have to do better in optimization passes to archive similar results. Usually Clang was a faster compiler in O1 but I don’t think it’s true anymore.
Exactly! So the drill is entirely optional if you have something like tape. Or a railing or a piece of wire.

It's crazy how often my clients ask for a solution for me to cod while a way cheaper one / pragmatic one can be done in minutes that is enough for them to test the hypothesis for their product market fit.
Not necessarily - carriers are a peace-time fleet.. their value is in force projection and unparalleled logistics.

When it comes to a shooting war though, the US Navy has an entirely separate war-time sub fleet. The carrier fleets would back off to a safe distance and provide logistic support until the subs and bombers decapitated enemy weapon and radar systems, and air superiority could be established. Then the carriers could move in to provide close air support missions and targeted air strikes.
In Le ton beau de Marot, Douglas Hofstadter talks about how writing the book using 90s-era desktop publishing software allowed him to spot widows, orphans and other typographic ugliness as he was composing the text, and he would fix these by rewriting the text rather than adjusting the typography, which resulted in many improvements. I prefer writing in WYSIWYG editors for this reason – it’s good to have an external trigger that prompts you to try rephrasing, even if it’s effectively random.
What kind of use cases have you had with the regexps that were not covered? (Just curious as I've not hit this). The builting regexp support can do many kinds of advanced regexp things such as having a callback fn return the substitution or precompiling into regexp objects, lazily iterating over matches etc.
I like that list. I went to go star the repo after reading it and looks like I already starred it ages ago!

I have a friend I am mentoring and am definitely going to put this on the reading list. I don't care if it is called a 1x engineer or not, it is a solid list!
IDK for me as a non-native english speaker, it's harder to discern non-native english from native english speakers when inspecting written communication as it is when listening to spoken communication. I assume it's the same for native english speakers, but please say if you disagree.

Also, I think it's easier for non-native folks to both comprehend others and communicate as they can look up stuff or use google translate.
After the first try the attacker has to defend from multiple attacks too.
Prizes seem like they'd be even less efficient. Basically trying to guess the cost to R&D a new drug, with the added risk of not receiving the prize if you're to late or not quite effective enough to meet the threshold.

I see the benefit for things like a covid vaccine where the economic benefit is so large we can afford to drop exorbinant sums. But what's the right prize for a newer better lipitor or xanax, or a treatment for malaria or Huntington's?
Read through r/malefashionadvice and their wiki, they have a bunch of info on how to improve your style. Specifically, they have threads every day called What Are You Wearing Today which has people take pictures of themselves and what they're wearing specifically (brands, name of clothing SKU) which you can then pick up to buy if you like it, or find alternatives for it.

https://www.reddit.com/r/malefashionadvice/wiki
Because you normally cannot make remote destructive changes without the --force. Unless you know the commands that does that by default. That is bad UX.
I like it. In general, writing should be short and to the point. On the other hand, I also enjoy reading and writing long complex sentences precisely because the audience for them is limited to people who want to put in the work to understand them.
I once read a definition of a 10x engineer that I really liked: "An engineer who doesn't create heaping piles of technical debt."
Idea: A way for browsers to disable JS on pages after the initial content of a page has loaded.
So Basecamp wrote it years ago and now every company will make its own pice of PR-come-to-work-with-us crap out of this? You don’t have any personal thought on top of that?
ldd tells me go depends on libc and libpthread (at least on linux), so it still needs c code at runtime.
Microsoft's main problem is marketing - to be more specific, a naming problem.

Windows everywhere

They doomed Windows phone with the name WINDOWS.

Their windows on ARM, Win RT push was also handicapped and doomed the moment they named it Windows...

Explanation.

Windows means:

1. BSOD, instability, viruses,

2. Expectations of ability to run billions of existing windows software

The first thing that popped in anyone's mind about Windows Phone was 1 above.

For ARM, many frustrated customers returned their store-bought Windows ARM devices after they got home and could not run normal vlc, chrome, existing games...

Microsoft having realized this, has spent the last 4 years+ working on the ability to run classic windows apps on windows for ARM. They placed their bet on faster chips - Apple got there first.

If Microsoft names their ARM operating system something else, initial marketing dollars would be initially higher. But it would be worth it.

To developers, nothing will change, it's the same UWP, same APIs.

Imagine xbox was called "Windows Gaming". It too would be dead.
Yeah I think it is incredibly tiring how everyone said "it's both faster and more energy efficient" when the benchmarks have shown something far more obvious and boring. You can make ARM chips that are just as fast as x86 chips and they will end up consuming roughly the same amount of power during heavy calculations but much less in idle. The fact that ARM is king in idle power consumption isn't a surprise. It's ARM's bread and butter.

All the wishful thinking was wrong but that doesn't mean ARM is doing badly.
Right, I didn't know what Notion was and since the author posted in the comments too I thought this was the author's personal blog or something.

Indeed, I got way more upvotes for this than for any other comment I posted recently (currently 13 points, edit 1 hour later: now 5 points. But usually 1 or 2, or when I'm lucky 3 points). People: don't upvote comments like mine :p
But then you don't inspire other people to come up with better questions if the question is only known to the senator ('s team) until eventually revealed to the public once asked.