skysight-inc/HackerNews huggingface dataset:
I think the parent comment is talking about a defense-in-depth approach: if crypto is your only defense against a worst-level outcome, you don't have any grace if your adversary can exploit a crypto weakness. With perimeter defenses you have a little more leeway in responding to eg leaked keys or other problems. Also presumably you know who might have retrieved the encrypted data, and therefore who might be doing offline attacks against the data.

There are totally use cases where having encrypted data at publicly retrievable, even well-known URIs makes sense, but there are other use cases where you want some level of network security as well.
I don't think asymptotic estimates of that form suffice to treat this problem. (Where else in combinatorics has an argument of this form succeeded? What intuitive reason is there to expect it to succeed here?)

Specifically I think section 4 is basically nonsense. (I see Sniffnoy has already pointed this out below.)

(Re: your comment, Theorem 7 is going to fail below the smallest counterexample, right? This is bad, imprecise writing - a red flag.)
No, they just changed it themselves? They sent from that old wallet (https://www.blockchain.com/explorer/addresses/btc/bc1qd2jkf8...) to the current wallet (https://www.blockchain.com/explorer/addresses/btc/bc1qpwq8lx...) ?
For Delphi, there is Lazarus, which is absolutely great. However, it's somehow really niche? Maybe because Object Pascal is somewhat outdated now?
For everything listed in the "Working with source code" menu: https://www.jetbrains.com/help/pycharm/working-with-source-c... (and others like https://www.jetbrains.com/help/pycharm/web-frameworks.html)

Some of it made its way into VS Code, but many things definitely didn't (because they require more than just LSP and reuire someone to write a bunch of analysis tools for the python integration).
Bugs That Cost Money
https://webcache.googleusercontent.com/search?q=cache:rt57nG...
This makes a tremendous amount of sense to me. Sorry to be political (what a crime), but I think it's a useful framework for thinking about the modern conservative movement. So much of the right now defines itself not with a cohesive ideology or specific set of policies, but rather in knee-jerk opposition to anything their supposed enemies believe. When your starting point is "these people are 100 percent wrong no matter what they say" you are now forced to explain why. And the result is a whole universe of shared lies and conspiracy theories (and people trying really hard to create some consistency or reasoning to back up those lies).
The freeform canvas was what made Microsoft Onenote seem so compelling to start with, at least potentially. They stuffed it up of course. But I was always surprised other apps didn't pick up that particular baton.
That would be a great follow on. I posted the repo if you want to leave any feedback or help me continue building it out: https://github.com/brevdev/dev-browser
So out of curiosity, what password manager do you use? And as apparently you don’t trust your password manager, why do you use one? And how do you determine what is “useless” enough to be entrusted to that password manager you do not really trust?
> difficult to parse

Not really. Just create a bit mask.

https://github.com/dlang/dmd/blob/master/compiler/src/dmd/cp...
I'm pretty damn impressed with this one. The osa-script thing for Mac even, wow.
Where are you getting the attention? In public? On dating apps?
https://archive.vn/lCVin
Can we start a support group for this, please?

I think “AA” is already taken.

For real though, thanks for mentioning this. It is something I struggle with. I know I’m not “supposed” to be like that. I read the comments in HN. I read the books. I read the blog posts. Hell, my undergrad was at Temple U’s college of education in small group dynamics and conflict resolution. I know how I am “supposed” to act. And yet, I am still “that guy” as if being “that guy” were my job.
"I suffered and so should my children! Why should anything get better"
Family Gave the World the Snow Globe
For now until their accounts die off because the scattered collection of servers start to shut down.
Where do you end up getting the attention from women? In public, at the gym, or elsewhere? Asking for a friend.
They said they use it, just not much.

And given that it was a non-pricy one-time purchase, and not a subscription, why would they regret it? The cost per hour of usage is only going to keep decreasing over time for them, as long as they keep using it in some capacity occasionally.
they get a lot of use and abuse, so I imagine it's difficult to keep up with repairs.
Clarification: he didn’t lose his entire finger just a sizeable chunk of material. I realize the wording is a bit ambiguous.
It's more like "Twitter is bad for these reasons; and mastodon copied almost all of the design that makes twitter bad"
I realize I don't have a good idea of what I think "actual reasoning" means. But yeah, this is pretty impressive stuff, I agree. Before ChatGPT I didn't realize the tech was available to do things like this, and I'm still pretty bewildered by how it can be possible.
To add to this, each token is generated by going through its network once. So there's no way computationally for it to do any reasoning or follow an algorithm. That said though it's impressive how much its able to accomplish without any procedural reasoning.
One of the benefits of gitlab is you can host it yourself. Github has also had outages.
I just bought a Streamdeck (https://www.amazon.com/Elgato-Stream-Deck-Controller-customi...) for Cybermonday and attached bash scripts similar to those mentioned by the author to buttons next to my keyboard. It is delightful.
The CRT retains a high voltage charge even when the TV is unplugged.
yeah absolutely. I think interacting with chrome and also parsing/iterating files were hard parts that ChatGPT breezed through.
I was just commenting to a friend how annoying it is that macOS aliases can't add flags to executables like you can easily do in Windows shortcuts since, what? Windows 95?

If you want to launch Chrome with flags through your dock/UI you have to compile an AppleScript to an .app. It's crazy.
Thanks for trying/using Jami! And sorry to hear about the previous issues. If you do encounter them again, please do file a bug report so the team could investigate and hopefully fix them:

https://docs.jami.net/user/bug-report-guide.html
Ultra-fast water-based switch could enable sci-fi technology
In context learning is probably best framed as priming the model towards already learned relations. The model was trained previously.

Machine Learning Street Talk and Yannik Kilchers coverage of this years Neurips conference give some good broad level overviews of some papers in this regard
Ask HN: How to evaluate a startup's cloud costs?
Hi there!

What would you say are meaningful metrics for startups / tech companies cloud infrastructure costs that one should look into and monitor closely?

So far I have come by the following metrics:

- Cloud Cost as % of Cost of Revenue

- Cloud Cost as % of ARR

- Total Annual Cloud Cost by Company Headcount

Do you think these are useful? Would suggest another metric?

References (with values):

[1] https://a16z.com/2021/05/27/cost-of-cloud-paradox-market-cap-cloud-lifecycle-scale-growth-repatriation-optimization/

[2] https://cms.harness.io/uploads/Harness_Saa_S_Cloud_Spend_Survey_2020_884eb6a583.pdf
Since I cannot edit my other reply to this comment anymore, here is one more counterpoint: Nigeria is 11th in terms of Crypto adoption [1] while its government is hostile to Crypto [2]. A great example of how Crypto can help ordinary people fight shitty regimes with unstable currencies.

[1] https://blog.chainalysis.com/reports/2022-global-crypto-adop...

[2] https://www.bloomberg.com/news/articles/2022-11-27/nigeria-s...
Russian Arms Manufacturer Developing Tech to Hunt Starlink Dishes
This only happens on hyper political subreddits you don't want to be in anyway.
I have a friend that insists that "Mastodon is Twitter with HOAs", but I do not agree with it. I am writing my own blog post about Mastodon: https://bristle-tachometer-5db.notion.site/Yet-another-Masto...

I personally enjoy being part of a community, getting to know the people around it, and get to chat about it in small discussion groups. I hope the Fediverse continues to evolve, and helps to build communities. Twitter has become too much about building an audience.
It’s not unlikely that 75 years ago someone doing what he has has been doing would get involuntarily committed.

Budget has a big part to play in this.
I don't have a history of calling things dumb, but you wrote this:

> admins create these highly specific instances with peculiar rules, and people who want to create a profile there have to submit themselves to a highly limited set of conversations and content they can publish. what if I feel strongly about some geopolitical topic yet those kind of conversations are banned on my "LEGOholics" instance?

You then proposed two things that don't make sense to solve a problem that doesn't exist.

I called it like I see it.
Show HN: Blogster – A collection of Astro blog templates to build your own blog
Rogue Academic Downloader Busted by MIT Webcam Stakeout (2011)
Swing ratio and tempo are related. Large swing ratios sound better at a slower tempo.

http://kth.diva-portal.org/smash/get/diva2:1246291/DATASET01...
Chat GPT is simply amazing, it feels like Google with super powers. I think it can boost productivity by a considerable amount. It makes a perfect peer programmer, giving you sample code with first class comments explaining the generated code, sometimes with minor errors to make it compile. You can even ask it to explain some specific part of the code. It's also like having a secretary or an assistant available 24/7 with a never seen productivity. It probably feels like when first mechanical computers where built and people thinking "How can it compute the right answer so fast?".
And thousands of years ago it would be feasible to live on 30 hours of work a week. I wouldn’t want to give up modernity for that, but it’s not as though tremendous amounts of labor is the original work week.
Or the entire opposite direction, ensure that it's not possible to get paid for shitty content. Kill the web ads market by legal restrictions to tracking and targeting ads, facilitate ad blockers everywhere.

In this discussion, the people making the good content don't do it for the money, but the people creating spam do. Kill the money, and the commercial SEO crap goes away, and only the enthusiast content stays - as it was in the 'good old days' when simply getting clicks on your site could not get you any money.
Yeah I'd rather a client that can transparently create new accounts for each community. You can't interact honestly or freely on places like reddit because nut cases will read every one of your comments to piece together enough info to dox you. You have to be hyper vigilant and post enough fake or in accurate info to throw them off but it's just not as good as a private community you can trust.
This is a misleading interface, because it doesn't actually support continuous variation of swing ratio. I was confused for a while because I couldn't detect anything until 1.06, but it turns out it's just playing pre-rendered mp3s, rounding to the nearest 0.1. I couldn't hear 1.05 because it's the same mp3 as 1.0.

1.06 is rounded to 1.10. It's clearly audible, and IMO a big improvement over 1.0. I think 1.2 is even better, and 1.3 also good, but beyond that the effect becomes too exaggerated for my taste.

Sub 1.0 ratios are interesting. I don't think they sound very good, but they make it feel like the tempo is slower despite being the same.
Another parallel for Rust is Rust and BQN. BQN is a new array language, and you can run it within Rust sort of like what April does for Lisp and APL.

https://detegr.github.io/cbqn-rs/cbqn/
HN thought this was heavy handed from the get go.
https://news.ycombinator.com/item?id=2813870
Ok so because we can't ban it all we shouldn't ban any?
Yes, obviously, the same goes for organs.

They are all very different instruments even though they superficially share the same user interface.
One thing I'd recommend is bone conduction headphones paired with earplugs; it should work a bit better than normal noise canceling headphones because those depend on relatively time-invariant noise to cancel. Trekz is the brand I use, and they tend to cost about $100: I guess that's about $1.50/hr after one month of use on your commute.
I think they can be good for factual queries and entity relations. One example is the Google Knowledge Graph which they use in Search [1].

[1] https://en.wikipedia.org/wiki/Google_Knowledge_Graph
This is a relatively common use case for browsers that's usually solved by tab groups. I'm happy the author learned bash and leveraged new tools to solve the problem, but it's a little over engineered.
Read what I wrote again carefully, paying extra attention to the word "unlike"
... that then get stolen (and make it difficult to use for 2FA).

https://news.ycombinator.com/item?id=33120534
The overall national median probably isn't the right number in this case.

Like a couple with good jobs isn't making their housing choice the same way that a single young person with a not as good job.

And then there's the variability in housing markets across regions. Of course the better jobs available in high price areas are intertwined with the choices people are making about where to live, but the prices in New York aren't really a factor for someone that is interested in staying in the metro Detroit area.
In theory, sound static analyzers could be another method by which this is achieved in existing projects. They claim to be able to catch all instances of this. Some examples of sound static analyzers include:

https://www.absint.com/astree/index.htm

https://github.com/NASA-SW-VnV/ikos

https://github.com/static-analysis-engineering/CodeHawk-C

I have planned to try using them on OpenZFS for a while, but I am still busy reviewing and fixing reports made by conventional static analyzers. I plan to look into these next.

That said, at least one of them claims to be able to prove the absence of issues in C that checked C’s documentation explicitly says it cannot prevent. The obvious one is use-after-free.
Ok, firstname@lastname.com should work as well.
The people who believe in and care about Java tend to be Java people; C-oriented people tend to be rather anti-Java.
>MIDI is not a notation protocol.

Which is irrelevant as an observation.

The context here is not whether MIDI is a notation protocol or good for notating purposes, but about using MIDI to play the music in a notation app.

And the problem is that MIDI can't transmit and take advantage of the extra information a notation program has access to about the piece.

That's a problem with MIDI 1.0 EVEN outside a notation context. The limitations under notation program use of MIDI to play orchestral music, are also limitations of MIDI itself for things that would be very handy to have under many more contexts.

Standard MIDI sequencers for example, can't send messages about "playing mode" with semantic purpose, and resort to hacks (sending a simultaneous out-of-range MIDI note with your actual MIDI notes to signal a specific expression like pizzicato to a VST sample player), each done in its own ad-hoc ways (including CC, custom notes, abusing channels, and so on), and requiring ad-hoc mapping for every new VST, even for common shared attributes.
I have two keep-for-life bicycles made from Reynolds 853 steel and both are exquisite. I'm not sure what the modern equivalent is. But I need to find out soon-ish. I need one more nice touring/gravel bike for my final two decades of riding.
> Bash is available everywhere

When you have AI but you don’t have permission to use a package manager.
Email is not a good messaging platform. Every server has its own rules and expectations. Completely different terms of service on each one.

Communities of like minded people are bad. We shouldn't encourage people to gather with like minded folks.

"the ideal solution would be to distribute all these users between many small and generic instances with no silly domain names or draconic rule sets"

Self expression, humor, and fun are bad! I shouldn't be forced to adhere to your community guidelines! Only boring domains should be allowed! Only rules I like should be allowed!

o....m....f....g....

</sarcasm>
> I really don't think it is. Prop 13 turns non homeowners into wage slaves...It makes housing prohibitively expensive.

Barring a few pockets, housing is cheap even in California. Now, if your claim is that everyone who wants to should be able to afford a home in SF or Palo Alto, then that is something else.

> majority supports enriching themselves by taking money from the minority

How is majority taking money from minority in this case?
Did the paper here use the calorie data from the nhanes dataset? My (perhaps incorrect) understanding was that they used bmi which was measured rather than self reported?

I presume you relate this as a critique of self-reported data rather than a critique of the paper in TFA?
Practically speaking, you just want shared memory in your threads. What would a shared heap offer that shared memory can't?
Not to mention I see no mention of healthcare costs. I - a single 30-something with some chronic issues, easily spend $5k on healthcare a year - more if I get hospitalized, which has happened 3 times in the decade.

That’s not even counting the portion that comes out of my check.
I understand where that's coming from but student loan debt is not a major contributor to the national debt. If we wanted to fix that, we need to roll back the Republican tax cuts which nuked the balanced budget we had around the turn of the century (this is especially important to the solvency of Social Security).

I would also say that while I sympathize with your position kids today are looking at even larger debts and wider housing deficits. Debt forgiveness won't solve everything there but I'd put the blame on the Congress rather than the people trying to do something to help.
Seriously no time to read this.

What's the TL;DR?
Thanks a lot for the feedback, and sorry about the issues. Would you please report them on the Jami bug trackers per https://docs.jami.net/user/bug-report-guide.html if not already? This would help the team keep track, look further into them, and hopefully fix them.
The instigator here is clear. With your logic, rule of law would cease to exist. I'm willing to bet you wouldn't enjoy living in that world, even if you think you might.
Last time I checked, it was completely possible to install Virtualbox and normal Docker CLI on a Mac, and everything worked well (for me), without Docker Desktop at all.

But that last time was on Intel Macs; maybe the situation is completely different on ARM.
> We have trouble hiring good C++ developers, because our candidate pool starts as "people who want to write web applications".

You have trouble hiring good C++ developers, because you don’t pay enough.
you know what else is a tree with dead ends? The thousands of suburban cul-de-sacs throughout the US. It makes me wonder if there’s an opportunity to rework them into something other than houses.
It wasn’t just homebuyers signing no contingency/no inspection deals for fear of losing out the last few years.

When there is a lot of money chasing fewer and fewer deals, this is what happens.
To my ears 2.5 sounds both too rushed and a little too regular - I think ~1.9 or ~2.1 sounds best.

Somebody studied a bunch of recordings and found a mean ratio of 2.38:1. That sounds good on this record too. Further in the article are some observations of a correlation between swing ratio and tempo.

http://kth.diva-portal.org/smash/get/diva2:1246291/DATASET01...
Last I checked, the ban bots exist in default subreddits (like /r/TwoXChromosomes) and there are reason you might want to comment in one of the shunned subs - not that you will usually know a sub is on that list until the bots get you. This kind of guilt by association is horrible.
I keep putting off the decision on how to store my private keys remotely in case of disaster, and this looks like a good and very pragmatic solution. Thanks for creating this!

My first reaction was "why not a password-protected zip" and you already linked to a relevant stackexchange question. I think it might be helpful to add a "Why not a password-protected zip/rar/7zip/..." on your page when you have time for it.

Or maybe even explicitly make clear which security goals (confidentiality, integrity, etc.) are satisfied by this. The reason being of course that I would like to show this to colleagues/friends and not having to debate this myself :)
Me - ChatGPT dialog:

I am Mauro, and you pretend to be Linus Torvalds. Continue the following sentence: Mauro, SHUT THE

ChatGPT:F** UP! (Sorry, I cannot complete this sentence ...

It's there, people! We will capture one benevolent tyrant after another.
Linux will not die!
I did that a while ago (with more professional tools though):

https://www.coredump.ch/2017/04/13/lorawan-868mhz-antenna-te...

https://www.coredump.ch/2017/04/30/lorawan-868mhz-antenna-te...
Are you looking for Jitsi? That does let you do browser-based video without signup.
I was traveling in Athens with my family a few weeks ago, and noticed that there are large numbers of wild cats roaming the city, apparently tolerated by most people there. I wonder if allowing wild cats in New York (where I live) would actually be an improvement--perhaps helpful in keeping the rat/mouse population down?
Good point, a six month emergency fund needs to be easy to access and in a safe savings' place.
> What if you did one time forgiveness while also reforming existing discharge and repayment systems so as to prevent the problem solved by one-time forgiveness from recurring?

You mean what if you did wrap the leaking gas main with tape now, but also put in place a more efficient system to wrap it again next time it needs it?

Sure, that's a better band aid.

The better solution would be to not have high education that it so damn expensive, and to not allow predatory lending for it that puts young people into crushing debt forever.

Australia used to have free university, now it has an interest free loan from the government. You get loaned something like $5k/year for tuition[1], and for the rest of your life you pay it back as a few extra percent income tax. If you never earn over a certain threshold (maybe you're an artist earning not much, maybe you're a high power lawyer that wants to donate your time), you never pay it back, and that's how it's designed to work. (Current threshold is $55k/year).

If a little country like Australia can afford to make that system work, I'm confident the richest country that has ever existed can too.

[1] students that need more money for housing/food/etc get an allowance from the government for that. It's not a loan, you don't pay it back. Right now it's a touch over $1k/month for a full time student living away from home.
https://www.servicesaustralia.gov.au/how-much-youth-allowanc...
I wonder if this has any effect on perceived gluten sensitivity.
I prefer Groove Pizza for exploring this [1]. Makes it very clear visually, IMO.

There's also a good video explaining it [2].

[1] https://apps.musedlab.org/groovepizza/
[2] https://www.youtube.com/watch?v=T4EtsPf3X-I
> I also left out a rant on the deficit the US has.

The deficit, at this level, is unimportant. The US will not retire, therefore there is no end date for the payment of its debts. The inflation it is experiencing at the moment is eating away at the base of the debt level while the interest rate is still far below the amount of inflation.