skysight-inc/HackerNews huggingface dataset:
I also got a chuckle because the author is a professional AWS architect and still couldn't avoid accidental charges. Well, architect isn't salesman! Thankfully the mistake was corrected by paying the bill in full.
> the trick is to describe the algo in enough detail so that there is no room for misinterpretation

We could create a syntactically unambiguous form of textual representation of instructions.

We could call such a piece of text something specific, like a "program".
My father-in-law just crushed my wife and I in Scrabble.
That's a very neat hack, the level of dedication on display is amazing as are the writing skills.
The humid heat in Houston is a kick in the ass, Dallas is more bearable to me at least.
Sure, may as well record the professor and no one needs to go to class at all.
Debian now I think but otherwise yes.
The sun crypto card which did blob in the host, super-enciphered key never leaves card en clair to perform sign.. that wound up running the ICANN dnssec root signing for a while. They also wound up moving to other HSM when spares became an issue IIRC, not wanting to be stranded in Oracle.

The E10k was interesting if you went with 'run this Java process and do millions of iops' non-stop. Like tandem/stratus type stuff, or even IBM. But.. sparc and solaris.

that's two innovative, "nobody else much had it" things.

And ZFS. A good legacy. I really regret sun and apple not getting IPR sorted there.

I liked sunview. The sun-1 was OK, the microvaxen we had was less polished physically but truth be told ran faster maybe. (Happy days in ucl-cs mid/late 80s)
Will the sun ever shine again or will it forever remain obscured by dark clouds?

It feels strange that the professional unix workstation has gone the way of the dodo precisely when many of its genes are triumphant
That's assuming validators are economically rational actors and that external incentives don't outweigh enclosed ones.
> On one end, cities obviously need stadiums

Do they? And if it's such a good idea, why doesn't basic capitalism fund them completely?

San Diego finally got rid of the pox that was the Spanos family and seem to be doing much better for it.
If your problem has an algebraic structure, you can rewrite your code in many more ways than you could if it didn't.

For instance, associative (not even necessarily commutative) problems do not have to be processed as given, but can be chopped up into hardware-size chunks, each of which is treated in a "flat" manner (ie. suitable for mapping to a warp or loop).

Rings lead to generalisations of https://en.wikipedia.org/wiki/Horner%27s_method , etc.
It's not a communist state
Ask HN: Tools/tips/tricks to digitize/clean up/upscale/enhance old photos?
In talking to my family this holiday season, I’ve decided to start trying to help digitize and clean up a ton of old photos. Some are in good shape and I just want digital copies at a high resolution, some have some wear and it would be great to fix bleaching and water damage.

What are the best tools and apps to do this? Any great AI tools to help with enhance/upscale/repair work?

I have an iPhone 14 pro, a multi function printer with scanner, and a canon m50 camera if that helps. Also a Mac user.

Who is doing this for fun or as a hobby? I’m stressed my family has great old pics that can be so easily lost or destroyed, would love to help preserve this stuff.
This time of year, you do get the pages for things that were always broken, but nobody noticed before, because they only show up when the system has been running without changes for more than two weeks.
I did unspeakable multiplication with regex this weekend to help a friend fix an ebook. Feel free to ask me how
You learn to make sure everything you do is well-written, properly backed up, tested, verified, reviewed.

In theory, yes, you should. In practice - not necessarily.
> Overture data will be available for use by the OpenStreetMap community under compatible open data licenses.

I had been seeking this confirmation. Both can, and will be using one another's data.

And Parent indicates Overture like an administrative fork of OSM.
So it begins! AI is going to permeate an increasing amount of existing software. Eventually, all software will have some form of intelligence built into it.
Hardly surprising, considering that the state has failed massively to tackle homelessness and is perpetually on the edge of ecological ruin. Massive, long-lasting drought that may turn the most fertile soil in perhaps the entire world into a dustbowl, and failure to bury power lines + casual arson causing massive wildfires that regularly burn down lots of property. Of course, this doesn't even account for the major problem that will ruin the entire west, which is the rapidly shrinking Colorado river and its watersheds.

The law and order situation in the cities is also poor, and open drug use has turned LA, SF and Oakland into urban hellscapes that are an eyesore.

The entire country is in a phase of migration to the south. Westward migration continues but the main trend is migration to the South which is relatively unencumbered by wacko environmental regulation prone to abuse and a lower tolerance toward crime. Also has a better water situation I suppose and overall courteous and friendly people also.
Huh? The product they are trying to make is very obviously useful. It's like a new way to make electricity: I don't need to study the market much to know if I can pull it off there will be customers.

Org charts and performance reviews are things basic to any big organization. Even three men and a dog need to know who walks the dog.
Only to be supplanted by the next gen of companies who took an AI-first approach
You can cite anything whose veracity or authority can be established in some way.

Websites are easy as per that criteria.

The one I find annoying is when people cite like this. According to XYZ [1].... It establishes where the idea comes from, but sometimes lacks details that are needed to reconstruct the idea.

[1] Personal correspondence
Nice! Which colorful shell did you use in the demo?
Huh? This is not asking or telling? Is it suggesting at least?

https://responsiblestatecraft.org/2022/12/22/how-twitter-hid...
I don't have a strong answer for you, but I can absolutely echo calisthenics. I've only just started (can't even perform a full pull-up yet, just hang for a few seconds), and I've already noticed my shoulder pain is disappearing rapidly, and my posture, both sitting and standing/walking, has improved a lot, I almost feel like I'm being pulled upright by some force, which is not only good for my body, but it actually makes me feel more confident.

For people sitting at a desk all day, 100% recommendation, no holds barred.

Returning to your question. I've tried a number of workout regimes over the years, including full-body twice a day, every day, and various splits, and for me, the one I've managed to stick to is full-body every second day, and I'm now testing out sticking cardio inbetween.

I do feel that doing full-body every day does just catch-up with you pretty quickly. You get overtrained and also just burn out mentally on it.

Personally I don't like the mental overhead of a split, and I also like to work out every part of my body due to chronis pain that the workouts really help with, so if you're anything like me, I recommend starting with doing full-body every second day, and then experimenting from that base once that has become routine. You don't want to be experimenting too much without first building yourself a base from which to launch out from in my opinion; but having said that, I only reached that conclusion through experimentation. Haha.
> That really is the metaverse - a federated system of 3D worlds. It's sluggish, because most of the people running regions don't have enough server power. Think Mastodon for 3D.

You might want to take a look at the Matrix.org approach to this: https://thirdroom.io/

Fun fact: Apparently Matrix (the protocol itself) was made after a brainstorm session on how to create an improved and decentralized / federated Second Life game :)
As it happens I was going to set up a homelab in the new year, and an RSS reader was one of the things I wanted to host. Thank you!
I think you're overstating the case against ZFC as a practical basis for proof formalization. The Metamath project has got pretty far even without powerful tactics and so on, and has an appealingly simple kernel. That work continues in Mario Carneiro's Metamath Zero, which does add some pretty basic automation, and is able to prove a simple C-like compiler among other things.

Of course I admit that Lean is pretty much cleaning everybody else's clock, but it's not clear to me that's because of the inherent superiority of type theory over set theory. It's equally plausible that it's just well engineered, and there's been a lot more attention on automating type theory by computer scientists.
I just had a massive realization and I want to start sharing it around. It's funny that this happened to be on the front page at the same time

I think we're at a major inflection point in society and need to make some MASSIVE intentional changes to how we live

https://kemendo.com/blog/TEOTWAWKI.html
I run two small fediverse instances, a misskey, and a pixelfed. both have fewer than 10 users, and the federated timeline only "clicks" once every few minutes. I am on several "medium" instances of ~10,000 users, and the admins that actually do the work on the infra are so tight-lipped - this bugs me.

You come to me and ask "how much does it cost to do X", and i know? I'll tell you. I'm a CC0 / public domain kind of person. I don't get the secrecy. Look, how many full cores/threads and how much ram/cache, and how much storage/io, and how much ingress and egress. Sure, those you can obfuscate a bit, but can i run a 10k user instance on 2 dell rackmount machines from 2014? on a single Ryzen? A single Epyc? a half dozen raspberry pi?

the chances of being able to parry "i run a php webservice" into retirement levels of money is nil, so i don't even understand the premise!

To answer your question more directly: I run misskey on a 4 thread, 8GB mem, 80GB storage VM, where i interact directly with the hypervisor (proxmox). my cost is nothing, but i guess this would be maybe $10/month? I'm not including the monthly cost to host the hyper, the /24, etc; we used to own the metal, but my partner decided there are things more important than owning the metal, right now. The upside is, when i take a snapshot, that isn't managed by disks that i can physically touch. Makes them slightly more reliable to me. Other people may have weirdness about this.

of the 4 "cores" the daily average is about 3% CPU usage, with monthly spikes up to 12% average usage. as far as bandwidth, the daily average is under 9kb/s and the monthly averages are under 22kb/s. a small fediverse instance with a single user is likely completely doable with a co-lo raspberry pi!
There really needs to be a better layer than vanilla S3. PUT costs are absurdly high and it’s a terrible filesystem.
Transformer Stockpiles–and Grids–Come Under Threat
I was responding to the parent’s

“ non-scientists try to assert "the scientific method." Imposing a rigid methodology on science, that doesn't reflect the reality of how science is done, can be used as a weapon against science.”

I think the “trust science” stuff is mixed into the same cargo-cult co-opting of science by people who are actually more worried about politics, identity, and generally what I would call “scientism”. To be clear, I think such people would NOT like Feyeraband. If you believe science is The One Source Of Truth, then Feyeraband is a heretic.

You’re also bringing in the other side: Those that reject science for cultural reasons. I think they don’t give a crap about Feyeraband. I also think the “trust science” scientism stuff is partly to blame for this cultural backlash.

I think Feyeraband is right, and that it strengthens the pursuit of science to acknowledge it.

I think scientism leads to the scientific method being misunderstood and misapplied, and makes public trust of science way more brittle.
> I do not understand why homotopy type theory posts are so popular on this website.

Martin-Löf type theory (and, therefore, homotopy type theory) is like an idealized programming language that is capable of expressing both programs and proofs, such that you can prove your code correct in the same language. Hacker News is a mostly technical community that often likes to geek out on programming languages.

Homotopy type theory is an especially cool flavor of type theory that finally gives a satisfying answer to the question of when two types should be considered propositionally equal.
Yes, it's not so clear to me either. But I'm willing to grant this point for the sake of the argument.
First let me clarify that something can be a waste of resources even if it creates some value. For examlple if I can create 1 value from 1 dollar or 100 value from 1 dollar the 1:1 ROI is a waste of capital in terms of value. With that in mind if we compare the value of the return from sports, which includes the labor and capital costs of the stadiums, as well as the profit consumed by the owners and athletes from ticket slales after the upfront cost is payed, to housing or education, we find that the value is very low. Additionaly, in the US, there are multiple sports (basketball, baseball and football) and multiple sports teams (some states even have more than one for each sport). Compare that with other countires that just have one sport (soccer/footbal) and one team. At the very least, the sports industry in the US is a waste of capital compared to soccer, which would fill the same demand for watching sports at a much lower cost.

But those two points aside I think the demand for watching other people play sports is flawed to begin with. And I think your example given with writing is perfect to lillustrate why. Written works each have a different value to them. A different lesson to them or different story. Writing a book that has already been writen has no value as a book. For example writing a chemistry textbook that is worse than an existing one (at the same price) has no value, unless there is value in reading both. But the value of sports is to fulfil some primal urge (the "point" of which, by the way, is to play sports yourself). Any way the urge is fulfiled has the same value. There is no "type" of sports when we consider the underlying demand that generates it as an industry. It also creates a second order demand of "follwing" the teams, which is the only reason the games can't just be replayed from 20 years ago. Which, by the way, compare that to writings from hundreds of years ago that are still read today. There is no need for the best players to play to fulill the underlying demand of sports. It is just the result of competition. In fact there is no need for televised sports at all compared to watching others at a local park or playing yourself. The same definetly cannot be said about writing: especially technical works but also fiction given that the work provides something more than just entertainment once you finish reading it. Although if you don't accept that fiction can ever do that then it's value is greatly dimminished. With respect to art I'm not sure what to say. I would say we already have enough art such that one already cannot consume all of it. The value of art is also controversial. It would depend on how you view that to say whether or not to extend this same sentiment to it. But many of the issues with sports can be seen in fashion, for example. So yes it does extend to other industries, although I think it is perhaps most clear in sports.
Also all the "no more ICE by 2030" mandates I've seen allow plug-in hybrids which solves the biggest complaint people have (range)
> I don't think that's enough to appease those who invest their lives in identity politics.

This is the weird one for me - I'm not sure how it took over the left to where younger people are confused that my father was a serious leftist/communist before identity/racial politics took over, and since he totally rejected identity politics they assume he was some sort of right-winger, which is bonkers if you knew him.
If you continue 10 more years, you have 697B. If only 200% return was easy...
Obivously not directed at you, but I would actually take this as a cynical take, for goodness sake, it was just a happy coincidence that the number was misprinted (which evolved into this, and he didn't dispute this). It seems that he was angry on NORAD (which its merits and dishonors can be discussed endlessly), but I hate the absolutism of his post.
It can't "just" put for mechanical parking system.
Try: Please write an article on Meghan and Harry in the style and voice of a movie review.
Then have it elaborate on parts.
There's probably better ways.

Once it hits a filter it's better to edit the prompt that caused it. If a filter is in the conversation it's more likely to continue.
It's hard to justify spending lots of time learning fundamentals while working on real projects. The kinds of things taught in college.

So, assuming one is a programmer, whatever one's weakest areas are: math, algorithms, assembly, operating systems (Linux), networking, distributed systems, electronics, machine learning, etc.

Or if one is already really solid in all fundamentals, and lacking more practical expertise, then a modern popular programming language like TS/JS, Go, Rust.

Or if you just want to learn for fun, I'd read recommend reading a lot of biographies of historical figures. And/or learning a foreign language.

And of course, learning how to cook your own food, exercise your body, and sleep well are probably more important than anything else you could possibly do for yourself.
Could be a made-up persona to separate themselves...
"North American Aerospace Defense Command (NORAD)
"

When will NORAD start celebrating the Great Wiccan Sabbats, including Samhain ?

Should a secular nation's military be promoting one religion's holiday ? Do NORAD do anything similar for Muslim, Jewish, Hindu, Buddhist, Jain, Sikh, Zoroastrian, Yazidi, or Wiccan celebrations ?
Detect GPT Chrome extension: changes icon color if content is AI-generated
At 300k to 400k, how many could be accounted for by lockdown/student effects? Australia where I live is 26m down by similar order of magnitude that many due to insufficient in migration, and drops on tertiary students from overseas. (Queensland, my home state which is very like California according to some, is a net inwards growing population. People like Sunshine and beaches)

How much is net decline by excess deaths? Probably a low 20k-30k figure (based on AU excess mortality. Web says 28k), but perhaps CA population had excess older demographic Sunbird type people and they relocated?

It would also cut across all classes. I wonder how much is work forced translocation, by the company more than the individual. If Boeing (bad example I know given its Seattle not Los Vegas, so ignore the out of state issue please) stopped an entire line but jobs open up on the east coast for other production lines then internal relocate is cheaper than hire local sometimes.

The Californian economy is huge. Is it maybe moving to fintech and IPR with labour cost out of state?
I wish board games cost $20, not the $50 they charge.

For $50 I have to be careful to make sure any game is an awesome game, and indecision means I don't buy very often. If they were cheaper I would be more OK taking a risk on a new game.
Monero just makes different trade-offs [1], mostly more privacy at the cost of more bloat [2].

[1] https://phyro.github.io/grinvestigation/why_grin.html

[2] https://forum.grin.mw/t/scalability-vs-privacy-chart
I assume there are spies working in all different companies, governments don't even need to officially tap into those companies. What the private companies can do is to strength their security, and make sure it cannot happen easily.
I would also add that sometimes this is even not intentional. Some founders, employees, VCs dont even know how PMF looks like. Sometimes it can also be tricky - take B2B Co. - “we reached 1M$ ARR in 1yr post launch - we hit PMF” - then you dig dipper and everyone who bought the product are the founder/vc friend.
> It was to provide a small, parsimonious foundation for all of mathematics with a minimal number of "obvious" commitments, to give us confidence that the mathematics we're doing is consistent

I would argue that type theory does a better job at this than set theory. With set theory, you need to believe in two separate things: (1) the language of first-order logic (or some other logic) with its inference rules, (2) the set theory axioms. With type theory, there is only the language of lambda terms. And the rules for type theory are straightforward and intuitive for programmers, e.g., you can only call a function on an argument if the function's domain matches the type of the argument. Contrast that with set theory, where you have highly counterintuitive and seemingly arbitrary axioms like the axiom of separation.
You’ve Met MrBeast, the YouTuber. Now Meet Jimmy, the Business Mogul
Thank you. :) This reinforced my dream-big ideas.
i got:

Yes, you are getting a workout. Even though your height above the ground is constant, you are still expending energy to walk up the escalator against the downward movement.

Edit the answer and try again. Some conversations are dumber than others.
I personally don't use LastPass due do their history of failures. My point is that the tweet in question and people around here are insinuating that attackers have gained access to unencrypted passwords in the infrastructure of LastPass. This would a new low for LastPass and I would advice to not jump to conclusins gegarding this aspect unless other stories like this pop up, i.e., passwords getting hacked despite being resilient against brute force attacks.
I would prepare for a long distance trail or triathlon like a pro - with proper rest etc - you could learn a lot about yourself and your body.
How Traditional French Butter Is Made in Brittany [video]
I don't think you intended "propositionally" equal in your final sentence. Equality is data in HoTT. If you take the propositional truncation then you usually throw away too much.
Should have moved to Florida instead.
If you are talking about Chinese Communist Party, you are basically talking about everyone in China. It is like 1/10 Chinese people.
So are you saying the homeless are leaving or the homed are leaving because of the homeless?

I mean, it sounds like you're throwing a lot at the wall but I can't piece together a narrative other than you think California sucks?
Note the posts being censored here were child porn and pictures of Hunter Biden’s penis. I agree the US government wants you to censor that.
As someone who grew up in Los Angeles (California; it's a dry heat) it's a drier heat and not as bad to be out in. I do the state fair every year and hardly notice the temp.
Precisely my point, though I didn’t say it precisely. The notion that we’re ever not dependant on the actions of other people is utterly fictitious.
The instance I’m on is spending over $1000/month.
The demand for new housing in California is high enough to absorb pretty significant costs and I'd be willing to bet regulatory expense is not even in the top 3 factors driving building costs (and definitely not the top 2), so saying it's "not worth it" seems like it ignores the top of the market (which tends to be the market migrating in to CA) that's willing to pay a premium for what they want where they want.

With some of the recent changes to building policies I think we're going to find out that NIMBY local policy and regulation aren't the fundamental problem, but we're up against the limits of how capital naturally engages with building projects: chasing demand towards the high end of the market and staying well back from diminishing marginal returns.