jkeisling/hacker-news-corpus-2007-2022 huggingface dataset:
> Godel used not only modern notation, but also modal logic (which would not exist until the mid-20th century)

Formal modal logic wasn't invented until the 20th century, but Anselm is using modal logic nonetheless. A modal logic is simply a logic that allows operators to be applied to propositions. Necessary-truth and possible-truth are only two possible operators. "Knows" and "believes" are two other classic examples. Anselm's logic uses the operators "actual-truth" and "conceptual-truth". All these proofs have essentially the same structure whether the operators are actual/conceptual or necessary/possible. You could even render the same proof in the modal logic of knowledge and belief. In fact, modern evangelicals often do this. The result renders as something like, "Look at all the martyrs who died. No one makes that kind of sacrifice for false beliefs, therefore their beliefs must be true."
Because general education, not apprenticeship, is for someone who has their minimum met already. Education which is supposed to benefit you in 20 years is hard to appreciate when you are worried about tomorrow's meal, rent.

Now of course someone will say "kids, whether rich or poor, do not think about 20 years down the line." They would be correct; however here the success of a kid's education depends significantly on their parents' contributions to it. If a parent is poor, and worried about their next meal, you cannot blame them for not having the energy to worry about the long term.
Good point! If I ever do anything important, I promise to write about it. :-)
I don't think there's much substance here.

Given the constraints of a typical sitcom - 22 minutes, comedy, resets each week (no new characters, no major changes to character's lives), the "formula" is basically the only option: You present a problem, you wrestle with the problem, and you resolve the problem (maybe with a subplot or two). What else can you do?

You can avoid having a problem at all. But that loses all the usual dramatic structure and tension that we expect, not just from comedies but from tragedies all the way back to ancient greece.

Or you can have multiple problems, each resolved in turn. This was done by the Simpsons in several seasons (but not in the earliest or latest). One problem would occur, quickly get out of hand, then either get resolved or morph into another problem. It made the Simpsons feel much more "chaotic" and "dense".

Otherwise, the "formula" is basically the only way to do it. Maybe I missed something the article was saying?
> What hourly rate does your salary work out to ?

If I work at a fixed salary, my effective hourly rate isn't relevant here. I can't spend the time I saved to earn more money. My only choices are spend less on DIY or spend more on ready-made.

The right discussion here is opportunity cost: what did I have to give up to use my time or money this way? That depends more on my bottom-line discretionary funds and free time than on my top-line salary.
This right here. It's FUD and it works in Florida.

I know both Florida teachers and elementary math curriculum writers. All call BS.

The latter is happy to not be the former. Republican "moms" control the schools now.
Please stop saying they’re “banning books” because they’re not approving textbooks. That’s hyperbole and isn’t helpful.
Depends how much money and for how long. Saving dollar bills for a coffee maker rather than buying a cup of Starbucks is a good start if that's your current station in life. If the market takes a dive and you don't have cash equivalents, you have to sell at a loss to cover your living expenses and can't buy more stock to capitalize on eventual recovery. Maybe a credit union checking account that pays a little interest is not so bad for someone with limited time / knowledge to manage too many types of assets?
http://archive.is/qaOG1
The M1 Mini is so small I can pack it and take it with me.
This proves that when you make an ad mentioning the competitor's products, you have to do it right.
This is complete bullshit.

He’s been banned from a few social networks for terms of service violations. That’s all.
Some backends might have some of the operations that ELVM doesn't have. One idea is to have ELVM with macros (which can have parameters); unsupported operations can be implemented using macros. Macros can be expanded independently of the backend, so this does not require changing the backend code. By examing the 8cc code, I guess that it might be possible to do it like that. Also ensure it can work correctly with different word sizes (and some backends might have option to control word sizes).
Avoiding Whatsapp is not an option where I live and work. Whatsapp all but requires a smartphone* , so smartphone it is.

* There are some feature phones that supposedly support it. These are hard to trust, and probably won't work once Whatsapp has an non-backward compatible update.
The most core inards of Emacs are subject to bitrot. It doesn't play well with any Windowing system.

And as an editor it is quite slow/sluggish.
I'm still not sure where I stand on UBI, but it's interesting that I've seen some economic liberals that are huge fans, other economic liberals that dismiss it as people "voting themselves money" and I've seen socialists that are huge fans of it and socialists that dismiss it as "an attempt by Capital to bribe the proletariat." Meanwhile most moderates I know seem to think it a pipe dream.
He doesn't own the land. Nobody in the US owns land. They are given exclusive access to land, with restrictions, but ownership is a myth.
Grubhub was profitable (Q3 2019, they made $1 million), but now that they have real competition from Uber Eats and Doordash their fortunes have soured. https://investors.grubhub.com/investors/press-releases/press...
Because the way the American social safety net works, you often wind up losing more than $5/hour worth of benefits to get that $5/hour job.

Many low wage jobs are physically demanding, have terrible (or no dependable) schedules, and offer limited hours so as to avoid having to offer benefits. It's not uncommon for low wage workers to juggle two or three jobs in order to get enough hours of paid work to survive. The problem then is that it is very hard to manage schedule conflicts between the jobs when they occur. Too many conflicts can cost you your job. I've seen this happen many times.

Check out this article in Atlantic: https://www.theatlantic.com/business/archive/2016/07/life-af...

Also highly recommend On The Media's multipart investigation into poverty in America: https://www.wnycstudios.org/podcasts/otm/projects/busted-ame...
Opposing unions in an illegal manner is not likely to impress the various oversight agencies, or any courts that get involved.

Once a company becomes big enough, claims that they're lying to persecute a handful of users become implausible because the potential liability for doing so vastly outweighs the minor benefits they might gain. And this isnt the 1920s, you can't just fire people for trying to unionize and realistically think that it will solve the problem or that no one will notice.

Ignore the names of the companies / individuals involved, their histories, etc-- just look at the incentives that each party has around lying vs telling the truth-- and it's not hard to accept that Google is more likely to be truthful about this than a terminated employee.
You are not forced to follow what everyone else is doing today. If you are more comfortable with vanilla JS and a bit of jQuery there is nothing wrong with going down that path (even for new projects).

I think new frameworks they do solve some problems, but so I do recommend to check them out. If you still don't feel like they will help you out for your given project, just stick to what you know and focus on building a great application, more than on which tools you need to use.
Doesn't solve the problem. The essential nature of the problem is that your data can disappear under circumstances that you can't control, be it because the server died, problems with the host, they're going away entirely, they decide they don't like you anymore. To fix all permutations of this problem, you have to replicate, host the data in multiple physical places.

It introduces another problem, managing the replication and testing to make sure it's working, but if the data you're trying to protect is important enough, you devote the resources.

Looked at in this light, hosting your own physical box is less useful than using two separate online services. You still have the management and testing overhead either way, but with your own physical box you also have to maintain and manage that resource too. That only makes sense if you have existing infrastructure you can plug into, and sometimes it doesn't even make sense then.
> Heck, most don't even talk to their equities departments about how they adapted 15 years ago.

I'm curious to know who you are referring too here. As far as I'm concerned, FI desks have always been more forward thinking than equities, both asset managers and FI brokerage houses.
I wasn't writing that for him. =)
At best this seems like an arms race but at worst, there are actually battles being fought (of a kind). I wonder what the digital equivalent of a nuke would be such that govts decide that diplomacy is better. Some kind of Digitally Affected Mutual Destruction (DAMD).
When you have 50x or 100x leverage, you will either get rich quick or go to zero quick.
It depends how difficult it is to displace this monopoly. Monopolies don't necessarily sustain themselves by being superior to the alternatives. Regulatory capture, vendor lock in or billions of lines of existing code are quite effective for this purpose.
Agreed. I'm too old to worry about drivers and compiling kernels. it's exciting when you are a young hacker/tinkerer. Now I just need to get work done. OS X basically 99% perfect for me. Most unix stuff compile no problem, and the OS is free.
The speculation has created a LOT more attention from bitcoin; it's possible speculation is the majority of bitcoin use, in which case hardly anyone would be paying attention to bitcoin without it. Which might be just fine, of course, it's just another thing the speculation has done for bitcoin.

I think the interesting thing the article points out is that bitcoin mining itself is inherently a form of speculation though -- you are counting on the value of the bitcoins you mine being at least as high as the money you had to expend to mine the bitcoins (hardwar, power, network access), or mining is a losing proposition.
If they (and their customers) are serious about reducing climate change at least one BEV should be really tiny and cheap (i.e., less materials and simpler to manufacture with less emissions during manufacture and requires fewer resources to run). Except for special purposes big cars need to be obsolete. This seems obvious, yet automotive manufacturers (and other industries) still seem to be making plans like we're living in the 1970's. For example product packaging has become _more_ complex and wastes more resources instead of _less_ (thanks Apple).
I think you might have been downvoted since Paul Graham is not ordinary folk writing clickbaity titles here. He indirectly founded the website you're commenting on so your comment might have been received as bashing on him.
If they do, they are likely a google engineer.
Posix thinks paths are strings. See https://pubs.opengroup.org/onlinepubs/009695399/functions/op...
It also breaks down when there are multiple overlapping programs, as there are now. Maybe each program drops $0.25 for every dollar earned... but if you are on four or more means-tested programs, that's completely removed the benefit.

Similar are the many programs that have cutoff at, say, 150% poverty level. Individually not a big deal, but when you lose a multitude of different benefits going from 25k to 35k income, it can be a perverse incentive.
Obviously it's the difference between the two.

Bricklaying requires much more labor than wooden frame construction. And it requires more skill which most contractors do not have.

It's more expensive for these basic economic reasons.
I am living in Northern Thailand that goes through the annual smoke season with often US AQI beyond 300 and in the Hazardous area. That experience lead to the foundation of my startup AirGradient [1].
More and more people here are moving beyond air purifiers and install positive pressure systems in their house, offices or schools. Positive pressure systems take the outside air, run it through a set of high performance filters and pushes it inside the rooms. This has mainly two significant benefits:

a) The positive pressure prevents dirty air from entering the room in the first place. As a results you become totally independent from the outside pollution and you can achieve zero PM2.5 inside even on the worst polluted days. I made a performance comparison between a standard air purifier and a positive pressure system and the positive pressure system won by a huge margin [2].

b) Low CO2. If you use normal air purifiers you are in a catch-22 situation. In order to get good results you need to keep your doors and windows closed. This leads to a very fast build up of CO2 in a room. High CO2 levels significantly impair cognitive performance and can lead to drowsiness and headaches. We measured the CO2 in classrooms [3] and very quickly you will see CO2 levels beyond 3000ppm (most Standards recommend levels below 1200-1500ppm).

Against Covid transmission prevention, the best setup would probably be a combination of positive pressure system (to ensure a constant ventilation rate) together with a recirculation unit (standard purifier) inside the room to trap aerosols with viruses.

We have open-source open-hardware build instructions for a DIY air quality sensor measuring PM2.5 and CO2 [4]. I am more than happy to send you some free PCBs (you just paypal me the cost of the postage) and you can build your own sensor and log the data. Contact me if you are interested.

[1] https://www.airgradient.com/schools/

[2] https://www.airgradient.com/blog/2020/03/30/air-purifier-vs-...

[3] https://www.airgradient.com/blog/2020/02/07/we-measured-the-...

[4] https://www.airgradient.com/diy/
Also, as one of two full-time working parents, with a nanny, and some other income, I do not have time for this crap. Yes, I'm getting shafted by Intuit and their lobbying, and I know it. I hate myself every year that I pay for TurboTax but then I have a glass of wine in the evening and forget about it.

Also, we buy it at Costco for a 5-seat license and split it amongst family. That takes the cost down to something much more edible.
I had the privilege of working with Beej for a couple years at my last job. He was one of my favorite coworkers I've ever had. Just great to be around and work with. Incredibly sharp, but also humble, easygoing, and eager to just solve problems.
Help us solve the problem of hotlinking.
Biontech was actually founded to use mRNA "vaccines" to mark tumor cells for your immune system, so that your immune system starts attacking the tumor cells. It was never the plan to produce actual vaccines against viral diseases, but due to their research, they were perfectly positioned to do so, when the pandemic struck.
yes, that's what shut down craigslist personals.
If the freeness encompassed saying "let's have a civil war", "these people are your enemy", "buy weapons for the incoming civil war", and selling t-shirts with a proposed civil war start date, then maybe?

How do you think civil wars start? And how many actual wars have been started by lies? Usually by the instigating government or yellow press, but in this case it's DIY yellow press letting people make up their own lies.
A bit tangential: This is one of the good things coming from PSD2 and Open Banking - increased options and choice.
I think you have misinterpreted the intended audience. It seems to me it's clearly intended as "hey, did you know this was a thing?" for a passing yet curious layman.

It rather briefly covers the main basics questions one might have after hearing first being exposed to this idea.

What even is it? Computation. With fluid.
Is it possible? Water jet example.
Okay but seriously, is it practically possible? Parallelism, so sure.
Is it useful? Venus.

I don't see how the main point of this blog post could possibly be parallelism. It's mentioned, but in about as much detail as all of the other topics I listed above.

The whole thing is also so simplistic that I don't see how it could possibly be targeted at people with actual knowledge - never mind experience - in the field.
In the famous words of patio11: Charge more!

(There also is outdated pricing information in your docs)

One thing that would make this really useful is a frontend widget that abstracts away many of the common complexities that arise and right now still have to be learned by everyone using this API. E.g. learning how to correctly construct recurring events and implementing a minimal UI for it would still be a pain even with this API. Algolia and their instantsearch.js (and React, etc.) packages are a great example for that where you get the faceting display logic for free.
I think it was a happy accident that possibly being complicit meant this didn't go as bad as it could have. We have a great example of de-escalation working.
Being able to voice your opinion without government interference or consequences is your right. However, there is no right to be heard, hosted, given air time, published or even listened to. In the example of conservatives, if you align yourself with the current batch of conservative representatives, most points you want to raise fall flat. Without other context, you’re generally judged by the company you keep. Conduct yourself like an empathic human being and it’s likely (but not guaranteed) that people will listen to you. Scream at them and only people who are already as angry as you are going to listen. That applies to humans in general.
How does this work if you have kids that will be going to college when you’re ~50? That is, how do you know at 40 how much you’ll want to spend on your children’s college education?
It's one thing for a mod in a forum to ban someone, as it sometimes only represents the opinions of that mod, and maybe be backed by rules (and trends)

It's another thing for social media to do it. although they are all private companies, they remain a very global big force, that do not have reach only in the US, but are global and can do the same and affect many countries and politics across the globe.

Soon, if not already happening, politics will be pushed to one side or the other.

And it won't be for stopping hate speech, it will and it is so that they can make even more money.

On the bright side, I am an optimistic person, and since they dared block the president of the USA, maybe be they might not flinch anymore at blocking pedophiles, hitmen, terrorists, and all sorts of vile users on their platforms.
In my opinion, what makes SVG bloated is not the fact that it's for humans or machines, this is mostly irrelevant compared to the ability to have filters, CSS animation, interactivity, advanced rendering options on different contexts...

Concerning the simple use of standard shapes, you could restrict yourself to simple shapes within SVG : thus youd already have myriads of existing implementations and tooling, it would be mostly understandable by humans, short and writable by hand/simple scripts.

You could even call them mobile SVG Tiny and Basic : it exists since 2009. https://www.w3.org/TR/2003/REC-SVGMobile-20030114/ . That would be a good start.
* Snap breaking all the things
We'll probably disagree on this, but I think we're well past the point where this is "absolutely necessary". Some of best engineering talent in the world is spent on engineering the internet to 1) misuse human psychological affinities to lure you in and keep you in and 2) build large profiles of you to make as much money from (1) as possible. Targeted advertising and the incentives it creates should be banned as a benefit to society.
Well I really enjoyed what I see so far. Partially just from the great links you recommended!

If you do have a CRUD style app I always like being able to download the finished version for when I am stuck (which is often), nothing quite like looking at the entire code to see where I am going wrong.
Interesting.

Maybe my next rant will be called "Web development was never built in the first place" :)
I guess most people, like me, aren't so worried that they can access my files but more worried about the fact they said in great big letters that they can't. Why should we trust anything they write there then? Are they stored encrypted or not? Are they reaaally transmitted over SSL or not? (ok, I know, I know...)

Just don't go putting bullshit in your product specs and no one will have any issues, m'kay!
One of my/our side projects is actually basically the same concept (different components), with a similar backstory (except they grew out of contract work - and yeah, I retained copyright), but a little further along. You can actually already trial and buy our components at http://appuicomponents.com/

We've been too busy to actually promote it since launching, but also not really sure how best to go about it. We get a bit of organic search traffic, but it's not enough to make the effort worth it so far.

I actually searched for components like ours before embarking on the projects that needed them, and would have happily paid for them, assuming source code was provided. The iOS platform isn't that stable and I'd be very worried about relying on the developer to update the component(s) fast enough in case of breaking changes. I don't know whether that means there's a sustainable market out there, but I do know some people do make a decent amount of cash with it.

One thing I haven't seen elsewhere are trial versions. We provide an x86-only binary + headers for free, which means it only runs in the Simulator.
The reason for this is the Immigration Act of 1965:

http://en.wikipedia.org/wiki/Immigration_and_Nationality_Act...

Especially look at the section called "Long-Term Results". I haven't studied this personally, but my history professor in college claimed that this act is essentially responsible for the fact that America has the ethnic diversity it does today.

Basically, before 1965 only a very small number of non-white people were allowed to come to the United States. (Partly because of immigration restrictions, partly because of the Gentleman's Agreement of 1907 in which Japan agreed to restrict immigration for us.) After 1965, the quotas were much more equal for different regions of the world.
For me, cmd+space (Spotlight) has been quite sufficient, and it's right there out of the box.
It was good until I realized it was just a drawn out rip on VB...