skysight-inc/HackerNews huggingface dataset:
Obsidian Canvas is definitely local-first. You don't need a cloud solution for obsidian.

Obsidian is based on markdown files which are largely readable with a simple text editor. The obsidian canvas format is open source but I think the created it themselves. In the end, it's a JSON format that could be drawn with other tools as well.
Insist? No. Make a plea because you think it's stupid or harmful or counterproductive? Everyone should feel free to do that.
First you take video with no grain artifacts. Then you use something like Filmlook to add grain. (Dust and scratches are optional.) Then, in preparation for transmission, you remove the grain, characterize it, and transmit grain statistics to the receiver, which re-inserts fake grain.

Grain is probably something that will disappear in a few years as the old film-oriented directors die off. Along with 24FPS.
@ GianFabien addressed fabrication, in quantity you can also contact a metal fab shop or ask local hardware for suplliers catalogs.

Given the ratio from outer diam (30mm) to shaft (2mm) and whatever material and forces you're looking to bolt in place, you might want to consider an additional mid size washer to "pyramid" out the load from the head of the bolt to the base of the bottom washer.
>The Four Color Theorem, as a proof, actually contains a couple thousand smaller proofs. These were generated and checked by a computer, but it is humanly possible to check them with a great deal of effort. There was a guy -- I forget his name, and Google isn't helping me! -- who, as his Ph. D. thesis, actually went through them and checked them

I don't feel this is fundamentally different from the categorization of finite simple groups, which is also combining many small theorems and proofs, yet more widely accepted.
ad hominem

adjective

ad ho· mi· nem (ˈ)ad-ˈhä-mə-ˌnem -nəm

1
: appealing to feelings or prejudices rather than intellect

an ad hominem argument

2
: marked by or being an attack on an opponent's character rather than by an answer to the contentions made

made an ad hominem personal attack on his rival
> What makes you think Catholic school kids don’t have parents or other relatives?

> And are you trying to argue that the Catholic Church does not have a history of child molestation?

Work on your reading comprehension instead of hallucinating things no one said.
"Our customers' passwords remain safely encrypted due to LastPass’s Zero Knowledge architecture."

I take your point but I'm not aware of any hack of a major provider which resulted in exfiltration of decrypted customer secrets. Providers often enumerate how they prevent exactly this scenario [1][2], but you'd be correct that if your endpoint were compromised, it's probably game over. To be fair in this scenario just typing in your password (not using a manager) would also be game over.

If you want other options, it is possible to self-host (i.e. Vaultwarden). Personally I've been using 1Password for a long time, and their "Families" offering [3] is exceptional for me and has meaningfully improved my family security since the UX is easy enough my loved ones don't find a unique password per site "a chore".

[1] https://support.1password.com/1password-security/
[2] https://1passwordstatic.com/files/security/1password-white-p...
[3] https://1password.com/families/
> moving out at 18 seems to be something of an anomaly mainly common to the U.S. and Northern Europe.

Mainly common to the US and UK. Even "northern Europe" is an exageration, I believe. Someone correct me if I'm wrong.
> You’re thinking about 99.99999% problems and sacrificing common problems (kids being run over etc.).

Kids being run over is not a common problem, by any standard. You'd struggle to argue that it even qualified as "rare". It's more along the lines of "unheard of".

The 2016 census reports the population of 0-19 year olds as 81,880,000. According to this article in US News ( https://www.usnews.com/news/health-news/articles/2018-12-19/... ), "motor vehicle crashes" are the leading cause of death in that age group.

There were 4,074 such fatalities in 2016, making for an annual death rate of 0.005%. Every year, one in every 20,000 kids in America dies in a car crash. (Assuming 19-year-olds are "kids".) But "motor vehicle crashes" include cases where the child who died was a passenger in a vehicle that crashed, or where they were a passenger in a vehicle that was hit, or where they were driving a vehicle that crashed, or where they were driving a vehicle that was hit. NHTSA tells us that in 2016, there were just over 7,000 non-vehicle-occupant fatalities from motor vehicle crashes among all age groups combined. ( https://crashstats.nhtsa.dot.gov/Api/Public/ViewPublication/... ) This is about 19% of the total number of traffic fatalities for that year; if we apply that figure to our teen-and-under deaths, the number of kids getting run over in 2016 would be 770 out of almost 82 million kids.

In other words, the annual rate of this problem occurring is estimated at 0.000009; it is, in your terminology, a 99.9991% problem. That's still about 90 times as common as a 99.99999% problem, but I have a sneaking suspicion you were just making that number up. To a first, second, third, and fourth approximation, kids in the United States don't get run over.
https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6026962/

> It should be noted that while childhood sexual abuse by Catholic clergy has received extensive media coverage, childhood sexual abuse by teachers and others is also a serious problem. Charol Shakeshaft, who has done extensive research on the problem of sexual abuse of students by teachers, recognizes the difficulty of collecting solid data on sexual abuse; but using available studies, she estimates that “the physical sexual abuse of students in schools is likely more than one hundred times the abuse by priests.” According to Shakeshaft's research, even when abuse was reported to school officials the offenders were not reported to the police. In her study of 225 cases in New York, “none of the abusers were reported to authorities and only 1 percent lost their license to teach.”

https://www.nbcnews.com/id/wbna21392345

https://www.edweek.org/leadership/sexual-abuse-by-educators-...

https://childrenstreatmentcenter.com/sexual-abuse-teachers/

https://www.theguardian.com/uk-news/2020/dec/17/child-sexual...
I agree very much. This was ultimately an ORM trying to convert a NULL to an int. An error message like "I was trying to load EntityX and got this error" would've been ideal.

It's a reasonably common issue with running Go apps, you're relying on the coder to make good decisions to give you useful insights.

Other ecosystems I've used err more in favour of the person running the thing - compare the more widespread
Go logging libs to, say, Java, where the sysop has very fine-grained control if they need it.
I believe that the problem has been solved, it has just been poorly implemented in some cases. The general gist that more local configs takes precedence over more global configs is a simple and powerful mechanism which has worked. Yes, distros can be a mess where there are five different config directories but I believe that specific problem is orthogonal to how we solve config precedence.
Did that actually happen, or was that the headline of a breitbart article that you didn't read?
You can’t even be responsible for an 8 car crash like this, because they shifted lanes, they are responsible for the first car, but the 6-7 after that are their own faults for tailgating.
Did anyone else notice that when HBO adapted that snow intro to wide screen, it looks like they just cloned an existing chunk of snow onto the left and right borders.

Maybe it's just an illusion. But I swear I can see the seams where the widescreen pixels start
I'd get the drummer to put together the rig which holds the parts in place, bass player to make the crucial spot welds and then the lead guitarist to go ape shit with the rest, while the singer goes whoo yeah!
Santa Claus in the Cuckoo’s Nest (2014)
There's my problem with nim. I was really excited about it two years ago and tried to get into it. Unfortunately I found the community not very welcoming. All the issues I had, had been raised before and dismissed.

I've since switched to Rust. The syntax isn't quite as nice but it's outweighed by the fact that the community is great and the memory safety is a game changer!
How many deals do they need? I'm afraid of prosecutors cutting too many deals, being too lenient on the guilty, just to make their jobs easier - making practically certain cases 1% more certain in exchange for not punishing appropriately.

I think it's good to get one or two insiders - Ellison and Wang seem ideal. Why does the state need more?
Google Books is just a search engine. It doesn't yet have the natural language parsing and information synthesis power that chat gpt has
> If you want to see the canary in the coal mine, try befriending someone who works in the service industry.

I have a couple of very close friends in the service industry.

They are less well off than others I know and it’s reflected in their lives (still renting, fewer vacations), but no signs of societal collapse (have families and community relationships) there either.

What am I supposed to be noticing?
This looks great. I’m loving nim for game dev right now. Godot 3.x bindings are working great.

There is also a really nice looking binding for unreal engine 5 that is pretty far along
> where the admins go on stupid power-trips

I feel it's mostly not stupid power trips, but some more benign psychological effect: you left Twitter, set up your own Mastodon instance and told everyone how cool it is that the power to police your community (your safe space) isn't in Elon's hands, but in "ours".

Now some trivial fight happens on your server, or a misunderstanding. You could sit back and observe the situation for a bit, but damn, you went this whole Mastodon route, so you can finally act! The pressure to act is immense, even it it may be self-imposed.

Now add all the other people who feel similar pressures and are therefore quick to call you complicit. The post is there, what else do you need? Of course you must ban, de-federate, whatever. Now! That was the whole point of it. Even if nobody actually demands it, you can imagine it quite well. Better act before someone calls you out.

How did people in IRC handle it back in the time? By having a mostly homogenous group of users?
You could submit frama-c as a hacker news link.

That said, frama-c suffers from a documentation problem. It has so much documentation that it either lacks good documentation explaining how to navigate its documentation, or it has that documentation and it is not easy to find. :/
Precisely. This is stuff I’m actively working on. Feel free to reach out if you are curious.
I was wondering about Trabucco as well. His name is nowhere to be seen, but he was leading Alameda together with Caroline up until last summer.

If SBF is also going for plea bargain, will various government institutions ask from him to get some dirt on Tether (and on Binance)? Might be that they are more interested in campaign financing.
> Some IRC networks do, but it's always an ad-hoc extension. IRC qua IRC doesn't.

Sure, hence why I used the word 'Evolved'. Not all IRC networks did , but it became common place. I'm not sure what your point is here unless you're arguing Mastodon should just toss away the evolution of discussion.

> Did those have channels that passed blacklists around and would ban you on other channels' say-so, or because you were in channels they didn't like? I'm sure there were some channels that did, but it certainly wasn't seen as a positive

Yes? That was the job of the server admin? It's like you weren't around when IRC servers were starting pissing contests between the two. The freenode drama wasn't even very long ago but this kind of stuff goes way back.

> That's not the same thing at all. I'm talking about getting banned on one server just because you joined another server.

See above. I've been in plenty of IRC drama where prominent users were told to go back to servers or kicked off.
This is a two-page article. Page 2: https://www.bostonmagazine.com/health/2014/01/28/elvin-semra...
Thank you for the free zine! I found out that a discount is also available in my region, bought the 12-pack.
I'm not saying it's inherently more authentic, just that that's the perception, and that perception drives part of the appeal for film grain.
I had this gripe about it as well, but then I learned that you can force style in your own projects with a switch.
It neither really is in Europe, you have right to quiet between 22-06, but that's pretty much it. The poster defending blanket bans is German. Germany is one of those countries with excessive regulations and would be one of my last options to move within Europe.

It reminds me of people from town apartments moving to village house and then complaining about rooster making noise, tractor in the street making noise or someone dare to use circular saw on weekend! I mean I moved next to fire station (maybe 200m direct unobstructed view), should I go complaining about their sirens? Though I'd appreciate if they used just lights after like 2000 when kids go sleep and there is really no need for sirens because of minimal traffic anyway until first junction.
The helmet protects you from other things moving at you, not just you moving at other things.
Related:

Inform: A Language for Interactive Fiction - https://news.ycombinator.com/item?id=9279639 - March 2015 (50 comments)

Inform 7: An adventure game programming system based on natural language - https://news.ycombinator.com/item?id=134541 - March 2008 (1 comment)
I can rant about this for a while, but I’ll try to distill it down into a few points.

The tasks are repetitive and boring. Many dev teams are poorly managed - they claim to be Agile, but really they use Agile as a smokescreen for micromanagement. Product designers dictate widget orders to devs who churn them out for users who didn’t ask for them. Products themselves are increasingly hostile to users. SEO and ad revenue are the main optimization metrics. Some of the big players in the space (Meta, Amazon) have lots of harm to answer for. Big companies in general are eating the web alive and consolidating control of it into monetized silos.

And with all the information coming out about how harmful our technology addictions can be, it’s hard to be stoked about creating apps that glue eyeballs to the screen.

But honestly, the boredom is the biggest thing. All the technical challenges feel “solved.” I don’t care about building yet another graphql microservice or yet another “dropdown component, but like, it looks different.” It’s just not interesting or fulfilling anymore.
Many people have been down this road, including me.[1] Back in my 2012 paper, I listed prior art:

• Microsoft source code annotation language (SAL)

• Cyclone (AT&T research language)

• SCC, the Safe C compiler.

• Ccured

• MemSafe

The breakthrough will come when someone can create an automated system to convert unsafe C into safe something. AI may be far enough along to do that now. Every array in a valid C program has a size, defined by some expression known to the programmer. All you have to do is find that expression and tell the language about it. Most of the time this is easy. Sometimes it's hard. Sometimes it's impossible, in which case the program is probably a buffer overflow waiting to happen.

[1] http://animats.com/papers/languages/safearraysforc43.pdf
> You would be better off comparing it to Astree, which is a static analyzer written by the group that wrote the Compcert C compiler.

I was wrong to write this. They were written by different groups in France, but licenses for both of them are being sold by the same company, which made it easy to mistake the creators as the same group. I realized my misunderstanding several hours after making that comment and could not edit to correct the error.
I remember using the Topaz MSDOS, it was ahead of its time with Targa graphics. I'll have to take a closer look at Gigapixel.
We Just Discovered Caroline Ellison and Gary Wang Turned on SBF
This is a good play by play of the SEC’s civil complaint.

Full tweet is:

We just discovered Caroline Ellison and Gary Wang turned on
@SBF_FTX
, rattling him out to the Feds. The SEC’s civil (non-criminal) complaint is built on their participation and gives us our first “insider’s account” of the FTX disaster.

I’ve given you 12 key takeaways below:
H.L. Mencken Reviews the Great Gatsby (1925)
Thelonious Monk’s Tips for Musicians (1960)
And the previous administration never prosecuted any financial crimes, especially not Elizabth Holmes, right?

"In June 2018, Theranos announced that Holmes was stepping down as CEO. On the same day, the Department of Justice announced that a federal grand jury had charged Holmes, along with Balwani, with nine counts of wire fraud and two counts of conspiracy to commit wire fraud." [0]

[0] https://www.businessinsider.com/theranos-founder-ceo-elizabe...
Source? Because that's definitely not unheard of let alone common. In fact, as a European I've literally not heard something like that.
The race to create working, practical personal jetpacks
Twinned counterrotating gyros cancel one another.

Added weight and complexity.

Another option is a gimbal mount, though that makes any mechanical coupling more difficult, and requires more space. For electrically driven / driving flywheels, it's an option however.
validating with exceptions is good because it makes your code much cleaner to read. the cost benefits of reading and easy maintainability is extremely high

the example shows an extra time of 500nanoseconds when not throwing. this is 0.005 milliseconds. if your api takes more than 1ms then changing it to not throw will not be noticeable. even if the exception time cost was 10x higher and it took 0.05ms longer it would not be noticeable
Like the most popular language per Tiobe, python.
The Archipelago That Baseball Built
Review your Pull Requests people!
Sounds like a great way to get mugged to me
Ukraine’s Patriot Missiles Will Take “Several Months” to Arrive
Turbos are small and lightweight. The goal is for them to respond quickly to changes in requested power, with minimal lag (already a problem). So small and light, with effective (air) pumping power.

If your turboimpeller is doubling as kinetic energy storage, you're doing it wrong.
I guess my question is, why the familiarity? Why not Ellison and Wang? The confusion stuff I shouldn't have included, it was extraneous. I'm just puzzled why we're speaking of them as if they were friends or treasured celebrities.

I don't mean that as a criticism either, I just feel like I missed a beat culturally.
Replace the first "them' with "plastics"
Everything-as-a-web-app is not good.

However...

I didn't measure it, but switching tabs in an Asus C201 Chromebook sure seemed to have a much lower latency than tab switching (or clicking on a different app in a menubar) for any Linux distro I've ever used on any piece of hardware. That includes this Dell XPS laptop running Ubuntu, which is fast and well-supported with firmware.

I speculate without measuring because switching browser tabs on that Chromebook feels uncanny. It's as if there's some ahead-of-time trick that utilizes the camera to guess my impending trackpad click or keystroke. That makes me think I've gotten used to a fairly high floor of latency on my Linux machines.

Add to that the long battery life while browsing in Chrome. Add to that the fact that I open and close that Chromebook at will with the browser in nearly any state, and it never got hot, crashed, or failed to come back up when I reopened it[1].

Those things being true, it makes more sense from a performance standpoint to use Linux from within Chrome than the other way around. That is-- as long as you spend non-trivial time in a browser, it's more efficient to do Linux-Inside-Chrome than Chrome-Running-Inside-Linux. (And I have never found a Linux Firefox config on any piece of hardware that can reliably play videos on Reddit, which makes me think it's not handling video acceleration properly.)

1: The one exception: when I was running a low-latency audio app on that Chromebook which grabbed exclusive control of ALSA.
"main(int argc, char *argv[argc])" should already work with C99, shouldn't it? Or was the proposal to make some of the VLA support mandatory again?
I've been around enough projects to pick up on warning signs :) That google has been able to manage such a project is truly impressive.

Chrome is clearly the most popular browser out there but, for me, popularity counts for little. Chrome is also extremely heavyweight by most measures (installed size, memory usage, cpu usage, build time!)

Re popularity: Imagine you're at a retail store buying a coffee maker. They tell you "this model is very popular". For something that people purchase/install occasionally, popularity isn't a good indicator of quality, though it might be a good indicator of price, advertising, feature-list, or sales commission!

Personally, I want my coffee maker to make great coffee, and to keep doing that for a long time. And I want my browser to be fast, lightweight, and minimally intrusive.
John Ford and the Citizen Kane assumption (2012)
What are general rules about front yards over there? Is it illegal to put up 2-3m high wall right at the sidewalk? Additionally you could add roof to extend rainproof area.

I wonder about this since I come from European country where front yards without fence are rarity, though at least it's not that bad as in China where you can't freely go in path/sidewalk between residential buildings because all are gated and fenced complexes so you are allowed to roam only official streets, it completely kills walkability.
Percy Crosby and Skippy (2000)
What the hell, how would they have resolved this if he wasn't living at the hotel? Add mandatory checks to every apartment in the area?
It’s easy to reason. It’s a shell that takes commands first and not designed programming language.

I have no idea what 1st would evaluate (guess is that PICK is empty and can is run with you as an arg with PICK as execution context)

Second - simple. Run the with THE=tell as execution context.

Third - set variable to string containing space using backslash as escape

Fourth - set variable to string with interpolation (but also useful when it contains quotes)

Fifth - set variable to string sans interpolation (but also could be used to wrap strings with double quotes)

There are (at least) 2 rationales for that. First - shell have execution context. You need to be able to set it on command so syntax has to allow this. Dedicated programming languages ignore that because everything is some form of a block.

The other thing is actually quite fun. Shell existed before we used displays, so you could have printer connected to input. Imagine creating variable and then getting to “oh boy I need to add white space char” without possibility to do backspace. Escaping was more viable solution.

On top of that there are many shells with different APIs. Scripting languages were made so one could work with shell while having stable API and sensible construct units. Sure they either moved forward (like Python) or slipped into oblivion (like Perl), so it’s back for shell scripting for some.

But after doing some stuff with AppleScript lately I think it could be worse.
"JVM but for everyone who isn't a Java developer" would be good but WebAssembly isn't really suited for it. It works for some static native-code targeting languges (C, C++, Rust, Zig, etc) but doesn't work well for languages that most application developers use (.NET languages, TypeScript/JavaScript, Python, Clojure, Java, Ruby, etc).
Reddit is not much different than Youtube comments or IG comments. Just because people are upvoted a lot for being "politically correct" doesn't mean that they are correct.