skysight-inc/HackerNews huggingface dataset:
I'm not so sure about the cheaper at scale.

Renting is usually more expensive than owning. The larger you get, the more expensive renting is compared to owning.
Doesn't that lack the diversity people in California like?
The professor's "work" wasn't published through a university; She published the work as a company she directs.

"RECEPTIO is an independent, non-commercial research centre under private law (run by the International Philological Society), whose members do not receive any pecuniary benefit from their research activities."
But hold on - do you really want to be significantly slower on your way to the hospital or doctor, for symptoms that you didn't think merited an ambulance; but actually do? This isn't an uncommon kind of trip, it's a pretty common one. Adding minutes to millions of trips adds deaths that are much harder to count up, but are no less real. Now add in kids left alone for an extra few minutes times millions, etc, etc. There are tradeoffs here; risk doesn't lie on just one side of the equation.
Ok. I will define why the market is perfect or nearly perfect: it is a free interchange between parts. No coercion exists in an exchange.

As for buyer and seller. Buying is the action of purchasing a product of service. Trying to get a service cheaper under coercion is a bad thing. Trying to sell it more expensive... will not work in the presence of alternatives. If no alternatives exist and no regulation is artificially shrinking the market, how can u go set a price for the seller? that would be coercitive and clearly baf, after all if they r the only ones able to produce the service (in absence of absurd regulations) and people buy it it is bc they give it the same or more value of the purchase price

Third parties putting conditions (a triangular relationship where it should be binary, the third party does not pay cost just sets a rule because yes wothout paying any cost).

Given these premises, in order to satisfy your need you have two options: choose an alternative or produce it yourself. After all, if you want something in the first place it is bc there is value in it. How come you want someone go to pint guns at them? No way!

Regulations usually shrink the market and create artificial monopolies. Those people who force monopolies are interventors who also have incentives, and sometimes way more perverse than the producers, which create some wellness for the others.

So you create a system where the person produces something has to play under the rules of the ones who produce things for others and where the regulators (persons not producing goods or services) pay no cost for it! That is absurd under any sensible view!!!

That is why you cannot just say that the market is bad.

The only limit to the market should be negative externalities.

And even those create a market incentive from the seller to not do things that afe negative. The buyer could choose an alternative. But if they do not and noone claims damage, after all people maybe do not care as much for that as those third party interventionists continuously claim, right?

Otherwise you would hear them...
>As knowledge and science advance, the need for religion decreases

Citation needed, massively!

If anything, the powerful technology and knowledge we now wield (weapons of mass destruction, mass surveillance, modern logistics and coordination, global communications) only makes it more important that we don't forget the hard-earned scoial and moral lessons of our pre-scientific ancestors - lessons that were often encoded in evolving cultural systems like religion.
m_bIsLaughing

There should be more tips, like use "l" as a prefix to any number, like shorts. Also, make sure to sometimes distinguish shorts, ints and sometimes not!

Also, when you've accumulated about ten years of this, start using a different making scheme and make sure there are preferably random bits of Hungarian notation around. Make sure there's no record of why and no explanation of what Hungarian notation is and how to use it.
Not necessarily gamify but make it fun. I recommend 'Code' by Petzold. This book explains how computers work and has some methoids how to add numbers or build an adder yourself and it is super fun to read.
I am afraid the analysis is off. ChatGPT does not seem to understand how places relate to eachother fundamentally.

> What is closer to miami, florida or new york
> Miami, Florida is closer to New York than New York is to Miami. Miami is located on the southeastern coast of Florida, about 1,200 miles south of New York City. It would take about a 20-hour drive or a 2.5-hour flight to travel from New York to Miami. On the other hand, it would take about a 28-hour drive or a 4-hour flight to travel from Miami to New York.
> how would that relate to the joke
> In the joke we discussed, the husband wants to go to Florida for vacation and the wife wants to go to New York. Since Miami is closer to New York than Florida is, the couple could be seen as compromising by choosing to go to Miami, which is closer to the wife's preferred destination.
First time post, small-town hacker; my neighbor (unidentified) is emitting an odd, 42dB at-my-door frequency that I've identified as 1451 hz. It's been ongoing for about a week, and I'm (hopefully) of sound enough mind to have some certainty that the tone is generated by design rather than as a waste product. I ran around with a dB meter and it could only really be coming from a condo near my own, upstairs in a townhouse-style home. The man who lives in this home wears a nice suit and doesn't avoid me or act friendly in any overt fashion, which is more suspicious than actually being suspicious by far. The only associations I find when searching the frequency (1451hz) are something to do with soothing tennitus; why would this neighbor be blasting (I would estimate 80db at the source, but I wonder whether it's directed, as I would find such noise annoying personally) this set tone over day and night. I have confirmation of the existence of the tone and I guess I just don't know what steps I should take if any? It's not horribly bothersome.
I don't train every day rather 4 times a week. 2 running days and 2 days calisthenics/gym.

I find that to be a good mix.

For calisthenics pull ups are a staple so you'll need a pull up bar if working out from home. Personally I prefer the outdoor gyms unless the weather forbids then I hit the indoor gym.
You are probably confusing "automation" with "mechanisation" here, and maybe also with "computing".

It is very easy to automate set theory, at least when it is just embedded in first-order logic, and at least compared to type theory. Automation of first-order logic is MUCH further and MUCH easier than automation of type theory, which is usually not much automated at all apart from a few tactics here and there.

Furthermore, the prevalent use of type theory for mechanised interactive theorem proving is based on the work of Church on simple type theory, and extensions of that into dependent types. Computer scientists like the lambda calculus and types, and it gives a nice and general way for implementing binding. It also is straightforward to compute in it, but that is also easy to implement for set theory if you are interested in it (most people doing set theory are not).

Ultimately, though, both set theory and type theory are just specific mathematical theories. This became apparent to me after I discovered what is probably the best foundational logic, Abstraction Logic (AL) [1], in which you can represent both as mathematical theories. AL is like first-order logic, but plus operators (and therefore binding), and like higher-order logic, but minus static types.

What is missing for AL is an actual system implementing it, but that is in the works.

[1]: https://obua.com/publications/philosophy-of-abstraction-logi...
Cracking encrypted LastPass vaults
Blank Page – To 2023 and Beyond
Humanism fills that need. It doesn’t matter that it’s new, Islam and Christianity were new once, and corrupted since.
Fighting for a better version of this world does not imply having a utopia in mind. You can simply help people avoid bullshit as much as you can. In fact, this is what this essay does.
My son is just starting to code for a class in school. If only the author was grading his assignments…
I've noticed that way of framing too, and once you see it, you see it in many places, not just Google products.

Basically, portraying rules (that are to your disadvantage) as some kind of laws of nature. So for instance:

"To continue, you need to install the app".

Instead of

"We're not letting you read more of this since we think you're webbrowsing this on mobile and want you to install our app"

Quite often we're indeed being lied to as if we're little children.

But in this exceptional case, the "Fun disabled by administrator", it's frank! That must be because its this third party, the "administrator", which is to blame for the restriction. Were it google themselves setting the rules of the game, they would probably not frame it in the same way.
That's VBE/AF but I'm not aware of any VBIOS that actually contained the VBE/AF extension functionality, despite that being the original goal; instead, VBE/AF mainly exists as a TSR "soft VBIOS" and only for relatively few early GPUs.
As the unit cost of destruction constantly decreases, logarithmically; we might guess instead that keeping the mental attitudes of individual actors in line is more important as tech surges forward. If you have a better method than religion to do this (and I don't discount the possibility) do drop a description of that.

"Humanism" highly correlates with lock sales worldwide as far as I can tell. It's not defense at all vs drug addiction. Humans feel great when drugged up.
Checkout the scalebar Not to scale
> ...Honestly I think this is a good thing, ...

I don't think this is the case. My understanding is that, being officially a non-profit "library" and an "archive", Internet Archive is in the unique position of not having to delete content that gets DMCA'd by the copyright owner. They can just remove access to it by the general public, while still preserving it so that it can be made available once copyright on it expires, or even be accessed with permission, e.g. for research purposes that can be assumed to be protected by fair use.

Where stuff can get controversial is when the Internet Archive lets just anyone access material that's still in copyright, but that's exactly what's addressed by the DMCA takedown process.
And often hand crafted guys have more character, story and quality behind them and people often pay more for them. So goes both ways sometimes.
Funny enough, I know some engineers who go to work, non-remote, to escape from their wife and kids for a bit and work becomes an avenue to relax! And having to take care of an aging parent who lives with me, I can understand.
If everyone behaved like that, our society wouldn't have the wealth needed to make anyone's lives comfortable and secure, except for the lives of the rich.

A job that provides an income to a worker, and generates wealth for society, is not bullshit -- even if all it involves is making crappy consumer products, or working on an assembly line, or doing paperwork all day. In fact, such jobs are the reason the majority of people no longer live in 19th-century conditions -- and the lack of such jobs in regions that used to have a lot of them is a primary driver of populist politics.
My city has 3 board game cafes you can go to to try out various games. Pre-pandemic there were more.
The truth is, it doesn't matter on HN.

Facebook, Oracle, and Qualcomm are all with Original Sin. You will hardly find any support regardless of its situation.
There's an argument to me made that the age/popularity of a belief system does correlate with validity, given that their individual memes are subject to Darwinism.

Of course it's not everything, but I don't think humanism on its own would work without an older religion as its "bootstrap".
- JIT

- WebAssembly support

- Data immutable object

- pattern matching

- create gems with –ext=rust support

- syntax_suggest
So what's the catch here? Is ChatGPT dumb because the average human is just dumb and ChatGPT is learning from the average human? (and HN audience is comparing chatGPT to themselves instead of comparing it to the average joe).

Or is ChatGPT is really dumb regardless?

I think a good answer to that is to train ChatGPT on limited sets of data. But OpenAI is not really very open about how and on what they are training this thing...
I read it as secretary De Santis was actually Professor Rossi, in an attempt to be distanced from the accusation.
There will only ever be thousand people in the top 1000 richest people. There is no guide that can help you become one, you will have to displace one of them to get that title and you cannot displace them by copying them by the way so the argument that the advice doesn't match their behaviour is kind of useless because you want unique circumstances that nobody else had before you.
>In reality, the Wikipedia Foundation is doing just fine. In fact, they make so much money from donations, they spend (read: waste) massive amounts of it on various social ventures instead of using it on the service that caused people to donate in the first place.

Meanwhile they refuse to roll out an onion service, which would enable folks to read it without fearing chilling effects and reduce the load on the network’s limited number of exit nodes, which due to a combination of sociological and technical reasons are much more onerous to run than relays.

Wikipedia overwhelmingly focuses on the wishes of editors, a small and separate group from the users (readers) in a manner unbecoming an alleged charity.

https://defcon.org/images/defcon-17/dc-17-presentations/defc...

https://blog.torproject.org/tips-running-exit-node/
It does but I needed something a little more focussed and featured. Safari surfaces a lot of information from Google suggestions to bookmarks. My brain really wants the focus to be just tabs. I like the idea of visually seeing a list. And on top of that really focussing the keyboard shortcuts.Also

- I can't switch between two tabs really fast. My workflow often involves alternating between two tabs.

- I can't quit, pin, mute a bunch of tabs using the Tab Overview with just keyboard shortcuts.
Why should one choose humanism instead of personal prosperity (egoism)? Religions have an answer. Humanism AFAIK doesn't.
https://davidgerard.co.uk/blockchain/the-dao/
No, this is not true. The greeks are fairly often the only ones allowed to organize parties for non-members or promote then through whole campus or who can get guaranteed housing together.

They don't really exists outside of setup where they are officially supported. But yes, negative sentiment toward them from students in general and administration that have to deal with them exists.
The Japanese concept of `Mono no aware` seemsto fit into this ideal. The tragedy and loss of life itsef

https://en.m.wikipedia.org/wiki/Mono_no_aware
Yet there is a very large societal problem here worth pointing at. Parental time with children in this society is bizarrely low by anthropological standards. You can get a look at the stark difference by reading the book "The Old Way," about a nomadic society.
> ...in which you can represent both as mathematical theories...

There are many logical frameworks (LF's) that are targeted at this same space. They're especially useful for exploring automated conversions of high-level "theories" to different axiomatic systems.
Yup the cmd+shift+a in Chrome was something I wanted in Safari and was the inspiration behind this.
If you put something out for free on the Internet, don’t expect credit. Why would you?
There is also this [1] that shows the links to the sources of its knowledge in the same page

[1]: https://beta.sayhello.so/
Free (and messy from data user perspective) tagging of OSM is not a bug but feature: the system is optimized for map creator. Maybe it is the main thing why OSM was (and is) success compared to many other crowdmapping attempts.

Sure map users now need to do cleaning and quality control, but this is always application-specific and cannot be forced to the mappers. I feel OSM balance between structure and freedom is good enough.

Now some map applications are quite standard: eg nice base map and navigation, so for these quite many companies have built own data cleaning/structuring/rendering stacks, where only some pieces are easily available as OS, rest is kept as business secrets. I hope Overture will provide usable OS full stack here. Certainly this will be also specific to the contributors own interests, and it does not try to “fix” OSM into well structured database.
> If you do not control your means of transport, someone else does and they can take it away from you at any time.

The car does provide "freedom of movement" in a libertarian fantasy way, but in reality one gives up your privacy with a drivers license. Speed traps and cameras track license plates, police can stop you, and you need to be sober. You are paying rent in the form of license fees and parking tickets; and you are paying for fuel which relies upon a long and complicated supply chain.

In urban areas, one might imagine other types of freedom. Such as the choice of walking/biking/bus/taxi/tram/subway in addition to driving, or some combination of those.

> I fear peak hours will become something of a bidding war where nobody wins.

If only there was a public option that wasn't surge-priced.
Yeah, I only meant as opposed to judgmental equality, not the quality of being a proposition.
The lifetime of a galaxy isn't that much different than 80 years, right? Right? As Lincoln said, everyone's legs are long enough to reach the ground; but even so, mine are short compared to his.
Ask HN: What are your predictions for 2023?
- Use lists instead of long paragraphs.
- One prediction per list item.

Historical:

2022: https://news.ycombinator.com/item?id=29746236

2021: https://news.ycombinator.com/item?id=25594068

2020: https://news.ycombinator.com/item?id=21802596

2019: https://news.ycombinator.com/item?id=18753859

2018: https://news.ycombinator.com/item?id=16007988

2017: none?

2016: https://news.ycombinator.com/item?id=10809767

2015: https://news.ycombinator.com/item?id=8822723

2014: https://news.ycombinator.com/item?id=6994370

2013: none?

2012: https://news.ycombinator.com/item?id=3395201

2011: https://news.ycombinator.com/item?id=1970023

2010: https://news.ycombinator.com/item?id=1025681
Traffic will be negligible on a single user instance. It’s also possible to put cloudflare in front of it (needs extra configuration I couldn’t figure out before my patience ran out though).
> I flip the coin and ask you what is the probability that it landed heads.

> - A frequentist says the probability of the coin landing heads […]

A frequentist says the concept of “the probability that it landed heads” makes no sense whatsoever.
What would have happened if there is a road closure and you need to drive extra 20kms? Or a traffic jam that would make you wait one hour?
Some people are still crying when it costs $500 to do a backup restore. They will learn one day.
There are some companies now focused on this kind of assisted fiction like https://verb.ai/
Lean is well engineered, is also marketed as a programming language, and expressive enough to do proper math in it. Type theory is more elegant to implement than set theory based on first-order logic. That's about it.

Nevertheless, first-order logic is not the last word when it comes to formalising set theory, I think Abstraction Logic (AL)[1] is. When you start formalising set-like and type-like things in AL, the border between sets and types disappears. That border is just an artefact of history, useful for foundational studies, but will lose its importance for anything practical.

[1]: https://obua.com/publications/philosophy-of-abstraction-logi...
> I was able to go from a blank slate to a copy of my desktop config on my new laptop without doing anything more than sticking in a USB drive, booting up and grabbing an IP address from said laptop.

... And all that stuff you did via SSH after grabbing the IP address?
would they have been better had their sale been to google? Coz that was the only possible alternative outcome tbh.

At least it seems oracle's stewardship of java is good enough (atm at least...).
It is a sales role (part of the sales org), but not paid comission - that is only account managers.
It's far from tautologous that Christ was born on Christmas day (25th December) for a number of reasons:

1. There are no historical references to the date in the Gospels. We can have a good guess at the year, since Luke the evangelist writes that the taxation survey bringing Mary and Joseph to Bethlehem was instigated by Caesar Augustus whilst Quirinius was governed of Syria. We could make some guesses of the season due to the shepherds looking after sheep in the open country.
There is nothing in the New Testament to suggest a specific cause to celebrate the birth of Christ, unlike his death commemoration in Luke chapter 22 for example, for which we have a much better idea of the time of year, since it was at the time of Passover, a Jewish festival which had a regular occasion based on the lunar cycle.

2. There are some suggestions that the Christmas festival was instigated by replacing Roman pagan festivals around that time, after the Roman Empire accepted Christianity as the state religion.

3. In modern times there are millions of people around the world who know very little about the story of the birth of Jesus Christ, or his significance. You'll find many places filled with pictures of Santa, reindeer, elves and other winter festival stuff... So many people could be forgiven for thinking Christmas is about Santa, not Jesus Christ.

As to the OP question 9, there is ample historical evidence for the existence and birth of Jesus Christ, for his death by crucifixion, and even for his resurrection from the dead (unless of course you take a priori leap of faith to believe that the material world is all that exists).

The significance of the birth of Jesus Christ is far more important than the date:

'but the angel reassured them. “Don’t be afraid!” he said. “I bring you good news that will bring great joy to all people. The Savior—yes, the Messiah, the Lord—has been born today in Bethlehem, the city of David!'
Luke 2:10‭-‬11 NLT
https://bible.com/bible/116/luk.2.10-11.NLT

Merry Christmas HN!
You can deal with bent cards and give copies of the manual, filing away an original. You can make sure all the pieces get put back in the box. You can make sure to give them to appropriate ages: High school kids (aged about 14-18) are going to be more responsible than 5th and 6th grades (ages 10-12).

I mean, they let us use computers in a computer lab - you know, back when mice had an actual, easy-to-steal tracking ball. We had to turn the mice upside down so the teacher could see that we didn't steal it. Similar things can be done here and it isn't like they'll be playing games with the frequency that we used to visit the computer lab.

If this all fails, though, you can play digital versions. My game group does plays online sometimes and while it might not work well with everything, it does work.
If a person can read he should be able to see that PG's Tweet broke the rule. There's nothing too complicated about it - the rule clearly stated that X was not allowed, and PG did X.

You seem like someone who can read, so the charatable interpretation is that there is some kind of mental block that's stopping you from seeing the clear truth.

If you want to stop talking, OK. Either way I hope you have a merry Christmas.
Can totally see that. I see.work colleagues who are new parents who seem to enjoy spending as many hours at the office as possible.
ScreenToGif is pretty simple! I often use it at work, and find that it serves the purpose of sharing short snippets perfectly