skysight-inc/HackerNews huggingface dataset:
For sure criminals would fully be in favor of this idea, as that's who the police tend to go after.

Disclaimer: My wife runs a police intelligence unit that catches actual criminals from ring info, like those people stealing the packages from your front door or breaking into your house.

Disclaimer2: I fully do not trust Amazon with the info, but I do trust the police having the info to catch criminals, as thats what they do with it.

Disclaimer3: The police only get ring videos that are forwarded to them from ring users, they have no generic access to ring data. The victims of crime tend to forward videos of the criminals in hopes the police can catch them.

My wife actually wrote her thesis on the win win aspects of this for fighting crime [1]

[1] https://calhoun.nps.edu/handle/10945/56879
Yeah, the same thing has happened in Malta.
You lose credibility when you throw out nonsense like "The USA is turning rapidly communist." I do not see any argument that could be made to justify such a claim.
Yes, it's possible: Google, for instance, did it not only after taking outside investment, but after it went public (in 2014, 10 years after it went public) https://www.investopedia.com/ask/answers/052615/whats-differ...
It has, but something fundamental to our atmosphere (even before the great oxygen holocaust) is that it has lots of potential for 'exchange'; ie, its not fully reduced. Part of our earth system depends on the reduction side (us, heterotrophs, etc..) and part depends on things being available to oxidize (co2, previously in greater quantities n2). The fact that both are observable and present would indicate that our atmosphere is being maintained at a stable(ish) state far from equilibrium.
Closing email with “thanks” gets the most replies
I wish I remember the site from a decade ago but I feel like this existed sorta with a site that used to hold auctions/sales for people selling their website. I wish I could remember the site now, would be fun to look at it in wayback machine. I remember things like traffic numbers, sources, revenue etc.
well, what does pronounced mean? how much time difference is too much?

when I give it more thought, it feels to me that when we say time, we're really say how fast things move relative to other things, and that makes it easier to reason about how different parts of your body are not upset about experiencing time differently
This came up in a recent podcast. They thought that the plain clock model doesn't account for real progress being made, and that a better model is the "configuration spiral": it looks like the clock when viewed from above but shifting your perspective a bit reveals that it's actually a spiral that describes how to build abstraction layers. Not that we hit the mark every time, but that a clock is too reductionist.
Coke did blind tests at the time that showed New Coke was more popular (it's been too long, but I feel like there were some independent tests during the scandal time as well). The outrage when they released New Coke was all about nostalgia, nothing to do with taste. People were simply offended that Coke would have the audacity to change the flavor they were accustomed to.

I still remember the scandal. It was hilarious. There was a recent redux on a smaller scale when they modified the recipe for Coke Zero.

IIRC, the big difference between diet coke and coke zero is that one is based loosely on the formula for coca cola classic, and the other new coke. That may be an urban legend, though.
It depends where you live. In Seattle, I agree, what's the point.

In other parts of the USA and world, they are very much perused, enforced and law enforcement likes the proof.
There's plenty of nixie tube clock kits out there, but how many receive WWV (or WWVB) for accuracy? This one is one of the best, it shows the acquisition and decoding of the WWVB signal and the setting of the clock. I promised myself to build it someday.

https://www.youtube.com/watch?v=smUwbzA9SEo&t=844s
Try

https://www.emclient.com/
In Coq the user generally writes meta programs to generate proofs as programs at varying levels of automation (Ltac scripts). Here they used IC3 to automatically produce proof that their state based model of paxos satisfies the invariant.

In principle one could build an automated proof system for a state machine-esque formalism written in Coq using Ltac but that would be a nightmare in practice.
Reproducible builds allow verifying that your build is correct by rebuilding it
It doesn't help you verify that the server you're connected to is running the binary you've been given.
are there guarantees that "Small Science" is productive? Regardless of how knowledgeable I am I don't think I can do experimental particle physics in my garage.
you can scan QR codes from PNG on unix. There's several commandline tools to extract the contents.

The handwaving about phones is handwaving. use a real camera, use a pi with a camera, steal the QR code and photocopy it and do things in a cleanroom, screengrab on your laptop.. there is a huge list.
Mortgage and auto loans are usually cash secured, so there are no gains to realize. This tax treatment could (I would say should) only apply to e.g. shares on the difference between the cost basis and amount used to collateralize the loan.

One quirk of that is that regular Joe could then get a loan against their cost basis in their portfolio and still have no taxes. E.g. they bought 10shares of $X at $100 and now it’s $200. A loan secured against those shares would not be taxable up to $1000 and the portion between $1000 and $2000 would be taxable. This still stops mega billionaires from never paying taxes because the cost bases on their shares are usually very low.
> We expect that some package authors will be eager to adopt generics. If you are updating your package to use generics, please consider isolating the new generic API into its own file, build-tagged for Go 1.18 (//go:build go1.18), so that Go 1.17 users can keep building and using the non-generic parts.

I have a feeling this won't happen.
Sadly, I’m still stuck with 68 so I can keep using the external editor plugin.
Aliens Can Watch ‘I Love Lucy’:
https://www.lscheffer.com/tv.pdf
Isn't the "noise problem" with Go error handling the control flow rather than the lack of generics? You want to return early (and potentially add context to the error) if there was an error, otherwise continue on. How are you thinking of solving this with generics?

The previous try() proposal added new control flow. That's part of the reason it was criticized so heavily -- it hid a control flow construct in something that looked like a function.
The thing about Common Lisp is, code doesn't rot. It doesn't matter if CL code is 5 years old or 30, it runs. I have yet to see even one ounce of bit rot. CL code is as eternal as solid gold, honestly. And sometimes, yes, there's a few ways your code will fail to run, mostly because you're shooting yourself in the foot (eg starting slime in a different directory than what you're meant to).

Versus Python, I didn't even get to use Python 2 before I started getting nagged and harangued by various exceptions in the terminal about how I had to migrate to Python 3.

And it depends what you're doing with CL, how well it works for you. As an algorithm designer, I use literally no libraries. I don't glue anything to anything. I just use the batteries that come included with Common Lisp (SBCL is great), forget about connecting to the internet, forget I/O, forget graphics and GUIs and OOP, and just focus on coming up with as many ideas as I can per minute, until I crack the algorithmic problem. Just with the austere tools that come included in SBCL: xor (#'logxor), popcount (#'logcount), #'sort, #'svref, #'pop, #'push, #'make-array, #'dotimes, 'lambda, 'labels, 'let, 'do, the basics.
Been using it for the docker compose that builds my entire homelab (~30 services, fairly complex config) and I love it. It's saved me from some really nasty bugs a handful of times.
I was really hoping Apple had a big leap
forward in fingers-on-glass interaction
planned.

Me too, but even if they solved that challenge -- I think there's an even bigger and insurmountable challenge there: a sizable percentage of users, particularly "power users", frequently use their Macbooks "docked" and hooked up to an external monitor and keyboard.

While many people happily type on their laptops all day long with no external monitor or keyboard, there are also many people (me included) who think that's an absolute ergonomic disaster and greatly value the extra screen real estate of an external monitor.

So, honestly, there's no way the Touch Bar could have been good enough for me to use it.

The whole idea was just misguided.

What Apple should have done IMO was allow an iPad or iPhone to fill that role. I still do not understand why my iPad can't be an amazing accessory to my Mac. With the right software magic and integration, it could be everything the Touch Bar was while simultaneously doing a lot more, and is of course extremely compatible with external keyboard use.

Well, I can guess why, actually -- it would require a lot of coordination between the Mac and iDevice teams and that is challenging.

(However I'm encouraged -- Sidecar is a good first step. Let's see more...)
I was talking global but sure in USA 40,000 per year. So an ongoing disaster of a far larger magnitude than covid all told, which is only 20 years worth of automobile deaths so far.

So my point stands for USA as well. And we're generally not talking about crimes here, we're talking about people deciding not to wear masks, not to get vaccines, or to attend events or go about in public or go to work perhaps against advice of experts, but not breaking criminal laws.

And who are you to be the decider of what exact number is acceptable or not? Who are you to say 40k/yr is okay? Some people surely believe that's far too many, so are you an anti science grandma killer for driving? No. Neither is someone who doesn't get vaccinated, doesn't wear a mask in public, and doesn't shut themselves in their homes and avoid going out in public.

Can you not see that people can have different thoughts and values, assess risks differently, or have different opinions on the trustworthiness of government advice, without being evil boogymen?
People who are worried about theft from their doorsteps, people breaking into their homes, and so on. I mean you can say "not worth it" but I think the pitch is very easy to understand really.
There are other things that make JSON a bad configuration language with poor human readability and writability. Lack of multi-line strings is a big one. The requirement to put a comma after every array item and object member except the last has made me write more syntax errors in JSON than I've ever written in YAML. Also, JSON is unsuitable for config files with lots of Windows-format paths, since backslash is its escape character.
Right, and I'm suggesting that it's not much of a stretch to infer that given the nature of the headline.
Name checks out, pussy.
Nice, I didn't realize. All the tutorials and stuff out there all show a hierarchical schematic as the only way to get multi-sheet, instead of just a flat schematic with some stuff on one page and some stuff on another. I know the UI has changed a lot over the years.
I don't see how it changes error handling. To implement a generic error handling function you would need a non-local return statement (panicing is not error handling). And a generic monadic Result type would make error handling more verbose due to its reliance on closures for subsequent actions.
People should be free to volunteer their own footage when they or their neighbors have been victims of a crime. Police should not be free to pull footage without asking or telling the owner of the camera.
Well, if they start from a police abolitionist position obviously the rest of what they say follows.
Because the hill of "whats wrong with email/calendar/notes/todo/video" is a steep hill to climb.

IF you focus on email, lots of clients are better. If you seek integration into calendar services, you can't beat Google Mail.

I am running the current spec outlook on OSX, and its a dog, slow, lumpy, badly designed. Mail.app has problems but its better by far, but harder to configure in some ways.

Maybe outlook is the embrace-extend-control example we need to cite, when people ask why we worry about the modern Microsoft?
More likely we’re looking at codesign/correct-by-construction for fully general purpose verification.

In many cases it’s possibly to refine a state machine based specification to an imperative implementation (and thereby carry safety properties down to the implementation) but at present the implementation usually looks like the state machine (thus codesign)
There's a reasonable chance of Tesla creating patents that generate a license fee from every car produced, basically in the globe.

It's kind of the reason Toyota has a monopoly on hybrids: they have a patent on the best kind of hybrid system. Ford held a similar enough patent that Toyota entered into a license agreement with them.

Getting a 20 year monopoly on key EV/battery tech will be worth an unimaginable sum.

I don't agree with Telsa's valuation, but I can appreciate why investors support them at their current price.
I heard similar story probably a hundred times over the years about wrong initial choices. Whole 8(Amstrad/Spectrum instead of Atari/C64) 16bit (ST instead of Amiga) computers, cpu (386SX, Cyrix, K6, P4 Celeron, P4 generation on intel side in general, AMD Bulldozer) or cpu socket(anything ss7 instead of slot1 Celeron 300A), graphic cards (too many to list), motherboard chipset (via/sis instead of intel), ram (P4 with sdram), Zune :) etc. It always ends in the same way with victim seemingly doubling down and choosing to endure the pain out of spite instead of doing the logical thing and selling off bad components. Very weird way of coping with cognitive dissonance by being stubborn with a mix of post-purchase rationalization/Stockholm syndrome. And no, its not always about money, some of examples I stumbled upon were worse and more expensive (picking ss7 platform in 1998 is one great example).
This reminds me of the first true atomic wristwatch[1].

[1] http://www.leapsecond.com/pages/atomic-bill/
Technology Radar – Volume 25
That's actually how it works, the police only get info forwarded to them from ring users. The police have no access unless the video is forwarded to them from a ring user.
I think their point is that you can have a strong leader that doesn't have control of the company through ownership mechanism.

Steve Jobs at Apple is a perfect example, since it was a publicly traded company that Steve Jobs didn't control. However, he was still able to be an extremely effective leader as the CEO.
Can't really say I'm shocked to learn a guy who would have to pay more taxes under the new tax plan opposes it.
So, consider for a moment that I've understood MMT for almost two decades now.

Also consider that there is a lot that MMT does not address, in its maniacal focus on whether it's possible to fund government programs without paying for them with taxes. There are other problems, like assuming savings demands are inelastic, but let's just focus on the distributional aspects.

One of the main drawbacks is that ZIRP or massive deficit spending is always and everywhere correlated to increasing wealth inequality vis-a-vis nations that have more balanced budgets.

Then consider that none of the social democracies that have large safety nets use MMT principles and all of them run fairly balanced budgets for a reason, and that reason is not lack of knowledge about fiat currencies. Really there is a lot less here than meets the eye, and you pay a big price for adopting these kinds of policies.

ZIRP is also a great way to privilege land over productive investment, because when you increase the duration of assets, then you want more stable assets whose value is guaranteed at the expense of more risky (productive) assets.

And it's a great way to drive down the marginal product of capital -- a good example of all these effects playing out would be Japan. Rapidly increasing inequality, small businesses are starved for loans, but tons of free money for incumbent bureaucracies and housing, and hugely inefficient large corporate bureaucracies.

By the way, it's no accident that Warren Mosler is a wealthy former hedge fund guy. It is literally the utopian economic policy of Finance, because MMT is clear that it does not want banks subject to discipline on the liability side of the balance sheet (Mosler owns his own bank and would like lower funding costs), and folks like Mosler even advocate eliminating income taxes entirely and funding the government -- oops, I forgot to say "anchoring the currency" -- based solely on a property tax. So this is a mix of forced savings, inefficient business, rising inequality, and credit allocated towards non-productive industries at the expense of productive industries.

Anyways, if you want to create a feudal society, then this is a good way to do it. But don't worry, there will be a job guarantee in there for you.
Ring cameras don’t arbitrarily share feeds. Police can request access but it’s opt-in: https://www.eff.org/deeplinks/2021/06/ring-changed-how-polic...

If your CEO thought they could just access Ring camera feeds at random, they were misinformed.
This makes me wish there were a translation of https://www.mcmillen.dev/language_checklist.html for configuration/markup/document languages. :)
LOL this just made my day.

slidefist

a rope with a shallow angled blade, used to make the opening at the end of a balloon into its top

"a canvas slidefist to lift a baby full of clothes"
What kind of data protections and access control is in place? Could a cop access the ring data of an ex lover?
How to make your Android phone charge faster
> 1. Whatever happened to increasing tax rates, like pretty much every other country? Why these weird gimmicks?

I got tired of reading the daily play-by-plays, but something to do with appeasing Kirsten Sinema's objection to a more straightforward tax hike.

Very few people are going to give up US citizenship. A lot of these guys can't even stand living in Florida; they're not going to hang out in the Caribbean for the rest of their lives.
Elon Musk controls less than 25% of the voting shares of Tesla, yet the company still exists and in fact is thriving.

How many shares of Apple did Steve Jobs control when he was the CEO?

This is just a ridiculous argument that companies can only succeed if the Founders/CEOs have absolute voting control. There are many examples of shareholders being more than happy to put their votes behind whatever the CEO wants as long as they believe in the CEO.
I went to a an expensive private school for college and there were a lot of old money students there. They didn’t all have the last name “Carnegie” or something else imminently recognizable, of course.

Plus, that money may get divided and spent over time, but it’s usually invested. It’s not like after 100 years it’s the same amount of money adjusted for inflation, if the next generations didn’t mismanage it.
No. Who could learn some of those as the project/product evolves in a few years.
Sounds like we need a YAML: The Good Parts talk

See also https://www.youtube.com/watch?v=hQVTIJBZook
I would love to know as well, although I think the answer will paint a terrifying/depressing picture of how most people view this existential threat
Raft has been manually verified which was the hurdle here that makes the result interesting:

https://github.com/uwplse/verdi-raft
> The browser vendors are working on it.

How's progress?
I think it's more that we cab tease out a lot of information from very little data by just making some assumptions (physics). This is also why it's so difficult (impossible?) to anonymize personal data - very little of it can lead to understanding who you are.

It is remarkable what astronomers/physicists have achieved though.
Thanks for pointing that out and unfortunate that I misrepresented it, granted I didn’t read the article properly. As they note themselves it is a best-effort estimation based on publicly available data. Without digging into the data and methodology further, I’m assuming that they are probably at least in the right order of magnitude.

One thing I’m noting is that they exclude ~70% of miners and assign ~30% as exchange miners (note that those two figures only coincidentally add up to 100%). One possible methodology error I can see (and again, further digging would have to be done to verify) is that exchanges often pool their user wallets together; it could be that for some exchange(s), they mistakenly lump together several users as one. Since their claimed concentration is very high, it should be feasible to look at the top 50-100 to cross-check.

Would be awesome to get more research like this.

Overall it’s an insightful article and the authors show great understanding.
That clears up a lot. The original post was not nearly as specific regarding the subset group you’re singling out.

It may be that there is misalignment between what that subset is targeting and what their targets are targeting.
> Imagine the alternative HN title "Law Firm Sues Kellogg for Not Enough S'Mores in S'Mores Pop-Tarts".

It would be more akin to them advertising specific ingredients in S’Mores but the food stuffs not resembling S’mores in any form. It’s not as good an example as advertising strawberry but selling a predominately apple/pear artificially coloring it like strawberry. What’s the purpose of all this bait and switch? Allegedly so they can charge more than for apple/pear pop tarts.
I am eager to provide subscribe to this project, with recurring donations.
> People should be free to volunteer their own footage when they or their neighbors have been victims of a crime.

Yes, that’s how it works: https://www.eff.org/deeplinks/2021/06/ring-changed-how-polic...

> Police should not be free to pull footage without asking or telling the owner of the camera.

They are not free to do that.
TOML is actually pleasant to use for like 99% of use cases honestly.
Solvitur ambulando — "it is solved by walking"

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

(though not quite the intended meaning here)
I do exploratory programming all the time in C++ and Haskell. I know Lisp (scheme, Clojure) however I prefer typed languages. Types enable me to sketch out a whole application without writing any code. The types will tell me if the architecture is fully specked. And when done, the implementation step is simply to add the code needed to implement the type contracts. I often implement code with zero or very few bugs that way.
Does anyone know the impetus for using [] in generics? I know Nim opted for the same syntax and I assume it has some parsing/tokenizing benefit like the switch to using “fn” a la Zig or Rust. However, the syntax seems needlessly ambiguous with array notation sharing the same operator. I know I’m not alone because I’ve seen others mirror my concerns on Nim forums [0].

[0] https://github.com/nim-lang/Nim/issues/3502
I've only used it a bit and it's like glorified autocompletion. It messes up a lot in some ways too, often suggesting getFoo when in kotlin we just use foo.

It is really fun to see it sort of understand your code though, and every once in a while it does a smart suggestion that could've taken a while for me to figure out myself.
That being said, I just can't believe he would
have been happy about the various issues
with the old MacBooks. So many things feel so
wrong

It's an interesting question for sure.

During his life, he certainly did champion a lot of form-over-function decisions: the "cube" G4, the hockey puck mouse on the iMacs, etc.

And then he also championed some similar decisions that most people regard as roaring successes: the removal of legacy ports on the MacBooks felt an awful lot like the decision to ditch legacy ports on the original iMacs.
Only if the ex lover forwarded the video to the cop.