skysight-inc/HackerNews huggingface dataset:
Thank you for the recommendation! I will add that to my list. So far, the following 3 books have been very useful to me (in the following order).

1. Propositions and Predicate Calculus by Derek Goldrei: The first 3 chapters in this book helped me learn propositional logic and helped me learn the basic ideas about the relationship between models and logical statements (syntax vs. semantics). For some reason, this book's transition from propositional logic to first order logic left me in a daze, so I started up on the book below.

2. A friendly Introduction to Mathematical Logic by Christopher C Leary and Lars Kristiansen: The first 2 chapters of this book were a great way to see a fully fledged axiomatic first order proof system in action. They do a great job of setting up a complete proof system with all the gory detail. But this book only focuses on axiomatic proof systems before moving on to results about compactness and incompleteness. While the precision of this book is one of its best strengths, I found myself getting lost in the specifics of the particular axiomatic proof system they create. Felt like I was missing the forest for the trees a bit... and I wanted to learn more about other proof systems as well. This lead me to the book below.

3. Intermediate Logic By David Bostock: This book is a bit less rigorous than the previous two. It is more focused on philosophers than on mathematicians. For me though, this was a welcome change. Chapters 4 - 7 of this book are very useful because they develop 4 different proof systems. Semantic tableau (ch. 4), Axiomatic (ch. 5), Natural Deduction (ch. 6) and Sequent Calculus (ch. 7). This is the book that really helped the idea of formal proof "click". I don't think it would have been as effective had I not worked on the more rigorous previously mentioned books first though.

What excites me most about the book you mention is the connection to lambda calculus. That has been completely absent from the books I have read so far. Also excited to dive into it after seeing an article from quanta yesterday on HN about the Curry-Howard isomorphism connecting lambda calculus and types to proof systems.

Thanks!
Parent comment was comparing YouTube TV to YouTube Premium.

Two different products. YouTube Premium removes the YouTube-inserted ads.

YouTube TV is a different product. It tries to compete with cable and satellite TV (which also serve ads despite hefty monthly fees)
Whats wrong with the Slack version? It's on-par UX for me for recording, and wins just because it's already in Slack?
Are you saying that half of the graduates from Britain's medical schools are unqualified? That's pretty damning all on its own.
> So Job’s fictional carpenter would get outcompeted by the hypothetical free market where carpenters of equal skill are producing more at lower cost.

I think the point of the story is that Jobs's carpenter is not even trying to compete with Walmart trash products. He is deliberately avoiding the market that is sensitive to higher costs.
I signed up for sling for October to watch the baseball postseason, it's gone after that.
Compare it with a cable subscription, not YouTube Premium.
I'm currently running SQL Server and Postgres in the same project, and I would love to dump SQL Server. Its geospatial "capabilities" are so laughably bad, they should just stop advertising that they exist at all, and the unpredictable locking behavior alone should disqualify it from being used in any modern software project. And sure, it has column stores, which postgres has in extensions, but even if I needed column stores, SQL Server would still be last on my list, because there are so many better options out there.
Former soldier searched Google, Reddit for spying tips, prosecutors say
As reasonable as that is, the starting point for this is a person that wants to install smart switches and other home automations.

This is already a job that requires fairly decent electrical knowledge, especially if there are 3-way switches involved.

Turn-key solutions exist for people that don't want to deal with the complexity.
The corporate VPN and proxy setups tend to fail or be slow. This would add non-trivial startup time to any app, and catastrophic startup time to integration tests.
But can it play Bad Apple?
Because there's enough people like me to make it profitable. I don't want to feel committed every time I turn on the TV. Sometimes I just like to watch whatever's on, carefree. Different strokes, all equally valid.
I've seen some amazing prosthetics on the internet, I've been seeing them for decades, but none of them get wide use. They're either all "experimental" or so insanely expensive that nobody can get them. These kinds of articles can make us feel good about science and hopeful about our future, but the reality is that the people who need these things are basically never going to have one or anything close to one.
According to the article, the Dod educates 66k students. That's less than half the size of my county. Yet, the comparison is DoD vs states, not the more useful DoD vs counties (or some unit closer in size).

I'd love to see how DoD schools compare against top-notch school systems. And average school systems (in case the quality of country school districts isn't a bell curve for some reason).
everyone knows you can't prosecute a bf and gf of the same crime
Thank you for adding the deeper insight! The competition and the methods used are very fascinating indeed.
Sports. That has always been and will always be the answer to this.
That's why I love HomeAssistant!

I programmed a dead man's switch tied to the presence feature so if my phone or smartwatch don't show up in the house for six months, it turns on the "HAUNT FAMILY" program. There's no way I'm leaving my afterlife up to crosstalk from a distant neighbor.

That reminds me: I have to hook up the smart speaker so that it says "WHAT ARE YOU DOING, DA- HONEY?" any time my partner walks up to the RaspberryPi.
Desmos does have a Github page, but unfortunately the main codebase is not public. Their API docs are well written, though, so it's really easy to embed Desmos into your site.

[^1]: https://github.com/desmosinc

[^2]: https://www.desmos.com/api/v1.8/docs/index.html
Where do they say that the winners used that cluster?
Funny, Do you know who controls the news outlets ?

Normal people are not working as "propaganda writers".
After the Human
There's a bias where most of the content is produced by the most hardcore group of people. This is, of course, no different with home automation. You can do Home Assistant without making it your hobby, it's just that most of the posts you see are from people who are way too deep into it.
The best reason to do great work as much as you can is intrinsic satisfaction you get from that.

Also, think longer-term: if you can program well enough, then you can write great software quickly which is a huge asset when making your own thing and selling it.

It is quite rational to optimize for your own wellbeing in these ways even in orgs that are not fully conducive to long term careers.
Interesting. At one point it was fairly well "known" that Netflix used Scala. They presented at Scala conferences and had lots of open roles mentioning Scala. And Scala fans used Netflix as an example, claiming that they used Scala for recommendations, APIs, etc. But maybe it was all a psyop.
In the same vein, don't tell your boss that you're going to refactor something, add tests, or write documentation. These are implementation details that you bake into your estimates and are part of doing software development. Your boss likely has no visibility into the tech debt in your codebase. Talking about refactoring, tests, and documentation gives the boss the opportunity to say "No, don't waste your time on that".

It's not lying to your boss, it's part of doing quality work.

Of course you shouldn't let perfect be the enemy of the good. You do still need to ship. I'm just suggesting that you don't let your boss know the ways in which you can increase your tech debt by cutting corners.
It's not just about saving time. Acquisitions like these also help companies like Atlassian increase brand value because Loom is extremely popular and is a great product. Now Atlassian gets to claim all of that under their brand.
Definitely midwit tier. Getting some benefits from home automation is trivial. Now if only Alexa’s response time wasn’t trash …
They were using on-prem Atlassian, no cloud link and no self-updating, of course.
It's already started and no one even cares.
I think luckily you can turn off auto sms fallback - but it does indeed default to on.
> If I find an unmuggable version of utilitarianism with more explanatory power, I'll let you know.

Functional Decision Theory
That’s because the TV system is going to collapse soon, and gambling and data neeed for gambling will replace that revenue.
In addition, in my personal experience, I've encountered individuals who claim that they are maintaining a nutritious diet by consuming ample amounts of potatoes, believing this equates to a significant portion of their daily vegetable intake.
You should really just create at least one page talking about each project idea. I use dreamhost because I can host unlimited* websites for like $40 for the year.

that way the domains look seasoned in googles eyes.

Here was the video I watch.

https://www.youtube.com/watch?v=IVeybVWSUP4
This is also the best reason to NOT use stuff on base! The day I got pulled into my squadron commanders office because my dorm “was a mess” was the same day I applied for BAH.
JSON Tool CLI
Personally these can be the best bugs though because you have an opportunity to learn something new (your work environment is everything though). Compare that to a ticket in an older codebase with hard multi-cause bugs that are just painful to debug and leave you with nothing but a deeper understanding of something that is slipping into irrelevance by the day.
To watch your EPL team you need
Youtube TV, Peacock Premium, Paramount Plus (UCL/UEL) and ESPN plus (domestic cups) :/

Youtube TV is the most expensive of the bunch, going to see if there are any other options like IPTV
But at that point why not block all ads without paying? (That's what I do.)
Not available in my country (US)
Depends on the properties you want to verify
Examples are here: http://storage.googleapis.com/music2text-public/index.html
I hope mlb.tv someday offers all games (without blackouts) and no commercial breaks. Just leave the cameras in the field and crowd between innings. I'd pay good money for that.
> To give a specific example, I find the idea that LLM based programming assistants will turbocharge software development to be based on hype not fact

We already have empirical results suggesting this is not just hype: https://www.nngroup.com/articles/ai-programmers-productive/
- What are you building?
Creating a market for high school athletes to monetize their persona online.

- What problem does it solve?
There are players in college but no one is serving the high school market. They're excited and grateful we are helping find sponsorships with businesses so they can monetize their personas.

- Whom does it benefit?
High school athletes and the businesses that do a sponsorship deal with them.

- What traction do you have so far?
50% MoM growth in athlete signups since June. We're proud to share we have 160+ athletes on our platform today.

- Is it live for people to try and provide feedback?
Liveish! We've validated their 1st sponsorships with us on our Instagram page here.

https://www.instagram.com/athletesxyz/
How quickly we forget history. Horses were also lethal. Look at the number of people killed by horses, either being thrown from them, trampled by them, or run over by carts pulled by horses. Streets were not some utopic garden of pedestrian safety prior to cars. There were no jaywalking rules because society had evolved over thousands of years being rather acceptive of horse-related dangers. When the new device came around, no matter its relative danger, then new regulations were needed. There were once almost zero regs regarding candles, objects that killed thousands almost daily by fire. But soon after electricity came along then we suddenly needed rules to manage the new "dangerous" thing despite its use preventing untold thousands of deaths.
If you are that knowledgeable person in this domain, try to refute/discuss my content instead of asking my credentials.

What is the best alternative to Vulkan extensions in your opinion? Remember that Vulkan supports vast number of devices. I think that making featureset mandatory for all devices is not sensible approach here.
They also say every server should be a separate process, which is debatable. When using languages that lack real threads (Ruby, Python, etc) you have no choice.
I really appreciate creators who add chapters to their YouTube videos, especially their sponsorship advertisements, since you can easily skip over them.
Oh that's nothing. Check out CONFSERVER-5926. Create April 2006 and finally closed with resolution Duplicate(???) in 2019.
Why watch a known propaganda outlet when sources are available elsewhere?
It has been so long since last I saw any ad on TV/videos that when I subscribed to YouTube TV a few months ago, watching ads made me nostalgic. I told my wife that I was really enjoying these ads.

But after about a week it got really annoying. Now debating if it is worth keeping.
The relationship between you and your job is very personal. What works in your situation does not necessarily apply to others.

I find it similar to having kids. Most of adults have them, but the impact they have on their lives is so different. It all depends on financial situation, support from the rest of the family, friends, health situation..

In many cases this is not a different league, but an entirely different game with different rules and goals.

The article calls the lack of pro-activeness a CBF, but that is a symptom and not a cause. The fact that you CBF might not necessarily be a problem with you. It could be that you are in a different frame of reference compared to some other people who "do things perfectly".

Maybe moving maximum amount of Jiras into a done state is valued more than delivering this excellent refactoring. Maybe skipping unit tests and dropping feature branch to testers is perceived as a more pragmatic approach. Maybe your perfect commit will be unrecognizable a couple months later, because company is "moving fast".

People with great jobs in great companies will not understand this and call it laziness, procrastination or any other thing that will put you at blame. Just like people with great families will not understand what it means to have abusive parents.

Software development is about processes, but often developers have no say in setting up those processes, there is no feedback loop. Some naive manager will push to maximize some theoretical metric. In some cases you can adapt, circumvent certain obstacles, but sometimes you just CBF.
In less colorful language, you might say that the result is not worth the effort. You can put it even more sharply -- you have an idea of what to do, but it's just not a very good idea. The right reaction (yeah you! in the mirror!) is to generate some more consequential ideas.
That's why I like Shelly. The stuff connects via WiFi. The protocol is MQTT or REST. Stuff I know and can understand.
To protect pedestrians... oh, those evil automakers.
Do you feel you faced any detrimental challenges your non-military family peers didn't, as you made the transition from high school to college? If so, what?

Have a child soon to be in a similar situation, so any thoughts helpful.
I had two successful hires who just graduate from college, with no machine learning experience (major in accounting and civil engineering). With 3 months training by working on real world projects, they become quite fine machine learning engineers.

You probably do not need AI experts if you just need good machine learning engineer to build models to solve problems.
In your case, it might just be. Tinnitus due to TMJ, tight neck muscles, etc is very common, and in all those cases it is curable by treating the underlying mechanical issues.
Sure, I continue to pay the mortgage based on my purchase price. But I’m in the same situation if I simply stay in the property I bought, as its price drops.

My point was that a drop in all property prices doesn’t stop you from selling and buying in order to move. Just like an increase in all property prices.
And thank goodness someone did. Although, my boss getting ticketed for walking across an empty downtown LA street just shows it's still ripe for abuse. And the most ironic part was the cop running his car up onto the sidewalk to jump out and write the ticket.
IKEA bulbs (Zigbee compatible) always turn on when you turn the dumb light switch on, no matter how you turn them off.
This is not wisdom, this is someone venting.

The truth is way more nuanced than “the master carpenter would get outcompeted.”
> Same thing with people feeding their cats (obligate carnivores) a vegan diet and stuff.

This is just animal abuse.

> My wife was into rabbits for a bit, and we had one woman from a rescue tell us that you can bond two females together. [...] I figured out this is just some extension of extreme feminist politics that weirdos are trialing live on their unwitting pets.

There was a lot of this sort of rhetoric back when gay marriage was on the horizon-- people started looking to the animal kingdom to normalize homosexuality. Gayness is what it is, but nothing these people spontaneously presented aligns with anything I've seen in a lifetime of organic animal ownership.

In my experience, female animals of every kind do not get along in captivity-- they don't become lesbian lovers, they just kill each other (try having two female roommates!). They're crazy aggressive (my female dog becomes a violent rapist of my male when in heat) and in ownership or dogsitting it's only female dogs that have ever bitten through my skin. Of four cats, the three females fight each other constantly, and two of them constantly sneak out to kill rats. In humans, sororities are a discreetly-abusive nightmare, and lesbian domestic violence rates are roughly 2x that of gays (and ~1.5x that of male heterosexuals).

Best keep them separated.
I'm in my 40s but I grew up in Dubai, where the tv station (there was only one each for English and Arabic content!) only showed ads between shows. I basically gave up on tv after coming to the US - there is no way I can ever get used to ads in the middle of a show.
People who are into D&D and people who are into open source programming already both have time consuming, creative, indoor and sedentary hobbies. I think they mostly look for additional hobbies that scratch less-overlapping itches.
Unless there is true change, both in delivery & content, most everything reverts back to the way it was. Music delivery seems (semi-)permanently changed, as it is nigh unimaginable for the album as it was known to make a comeback, market-wise. No similar change has happened or been allowed to happen on the TV-heritage side of things, & so we get new, shiner versions of the Old Ways.
Surely they will be public domain by now??
> (BTW, manufacturers, if you want to use touch sensors and you don’t want to lose the massive midwit market, make things that automatically turn on when first connected to power, without waiting for a touch.)

...and if you ever lose power to the house, suddenly all devices turn on.
Who controls the news outlets?
I mean obviously this is a court and you're supposed to not lie. But is there not a conflict of interest here? They were together at one point, were business partners.

Why wouldn't she just blast him as hard as possible, as that's her way out. Surely most of this testimony has to be taken with a grain of salt. She is 100% not capable of washing her hands, she knew what she was doing.
You'll notice I never blamed developers in particular. This attitude is shared across "software as a whole" including developers, their managers, their PMs, their exec leadership. Everyone is part of the machine that is prioritizing money and a short-term horizon over craftsmanship and quality, including but not limited to the developers. We all have agency.
The second one is pretty darn important as context! If the incentive to excel on this test is lower, even if it's the same for high achievers, might easily move the mean and median.
They raised $200M and last raised at $1.5B.

Depending on liquidation preference clauses I don't think any employee outside the founders will make much from this sale.
the perils of "big car"
In 25 years, Atlassian is by far the worse platform I had to write code for. Worse than Oracle. You smell the pile of turd you are sitting on at every corner. For obvious reason, they embraced the corporate agile movement and can't coordonate anything. Their software is a patchwork of nonsense.
YTTV does not really have the ability to not show ads. Those are put in the streams they are carrying. Could they negotiate with the channels to not show ads? Maybe, but no channel is going to allow that.

A different way to think of this is to consider how many ads you would see on TV if YTTV (and every other bundled TV provider) did not have to pay carriage fees to the channels. How many ads would they have to sell to make up that lost revenue?
Both the Democrats and Republicans are big business parties; they represent different factions of big business. Democrats represent finance, entertainment, and big-tech (which is, honestly, mostly finance); Republicans represent mainly manufacturing and extractive industries.
"Power-controlled remote pressers. This is utterly cursed, but hear me out: I want a gadget that I physically attach to a remote. When the gadget gets power, it presses the “on” button on the remote. When it loses power, it presses the “off” button."

Except that too many remotes have one button, and one signal, for both on and off.
TV and cable box remotes out of sync is the most common result.
I used to be a utilitarian, but it made me morally repulsive, which pushed my friends away from utilitarianism. I had to stop since this had negative utility.

More seriously, any moral theory that strives too much for abstract purity will be vulnerable to adversarial inputs. A blunt and basic theory (common sense) is sufficient to cover all practical situations and will prevent you from looking very dumb by endorsing a fancy theory that fails catastrophically in the real world [1]

[1] https://time.com/6262810/sam-bankman-fried-effective-altruis...
https://www.nasa.gov/wp-content/uploads/2023/10/nelson-tagsa...
Oof! Thank you for sharing that.

This is one of the reasons that smart bulbs and the like are generally bad - you never want a situation where the switch doesn't just act like a switch.

Smart houses should be designed from the perspective of remaining identical to use when the smarts go away. And if there's weird behavior it should all stop if you unplug the hub or controller.

I generally like in-wall smart switches but even there they tend to die faster than dumb switches, so you may be leaving your survivors a bunch of calls to an electrician.
In terms of improving democratic ideals, getting rid of the electoral college for the presidential election is far more important than implementing ranked choice for any other election.
Or maybe the winner optimized his code, resulting in faster time to get results. Either one is equally plausible!