skysight-inc/HackerNews huggingface dataset:
We did something similar to this, but used ~ instead, like so:

~ Definition title
The definition data should be indented at the same level
as the title. This let's you nest definitions also:

~ Like this
Here's a nested definition.

We also allowed : instead of ~ but most people seemed to prefer the latter. We didn't collapse anything in rendering though, but it's not a bad idea. The resulting markup when rendered to HTML was actual definition lists (<dl>) though, not details, so that'd either have to be done by nesting details or css magic I suppose.
There are examples of the sort of reason I want dynamic linking under https://news.ycombinator.com/item?id=28734875 and you also really want it for profiling/tracing, and possibly debugging, e.g. in HPC with the MPI PMPI mechanism.

libabigail is one tool for checking that a library's ELF versioning hasn't lied about ABI compatibility when you're building packages, for instance.

Unfortunately people typically don't follow Drepper's advice (as far I remember the article) on building shared libraries, particularly using symbol versioning a la glibc.
> Why not just import external dependencies into your project at a function/class level rather than at a package one: if you only use FooPackage.BarClass and FooPackage.bazMethod(), you should be able to choose to make your project depend on just those two things, ideally in a completely transparent way by your IDE.

TFA is about programs that require a linker at either compile and/or run time. The references in the rest of your comment to Java and JS suggest that your experience with programming in languages that require linking against compiled libraries might be limited.

What you describe is precisely what the linker is for! It looks at the code you wrote (and compiled), sees that it calls FooPackage.bazMethod(), and then goes and looks for that call along the linker search path using a combination of implicit and explicit library names. If it's the static linker, it imports the code for that call, and then recurses to check the dependencies of FooPackage.bazMethod(). If it's the dynamic linker, it does the same, except differently (runtime pointer swizzling etc. etc)

When you link your program against libfootastic.a, the linker is doing exactly what you suggest, and in most IDEs that step is going to happen automatically. When you link your program against libfootastic.so, the linker will do exactly what you suggest, but at runtime.

> Better yet, why even depend on binary blobs or hidden code (that's ignored by your IDE) in the first place? Why not just download the source for every package that you use and upon updates be able to review the code changes to the package much like a regular Git diff?

Many large end-user desktop applications do precisely this. For Ardour (I'm the lead dev), our build system downloads 80+ source code packages and builds them locally to create a 2GB installed dependency tree of compiled libraries and ancillary files. There are a lot of arguments against doing this, and some arguments in favor.

However, we can't compile each file from each dependency as part of the Ardour build because the build systems for those dependencies are complex and independent. There's no way to force the developers of libfftw (Fastest Fourier Transform in the West) to somehow prepare their code structures so that we can trivially replicate their entire build system as part of ours. If there was only a single build system for EVERYTHING, sure, maybe this would be feasible. But there isn't, and I'm completely certain that there never will be.
Check out the HN's vax success story of the day - Portugal, "where there's no one left to vaccinate" [1]. They don't seem to be doing great. Also the worsening hospitalization rates for the vaccinated.

[1] https://news.ycombinator.com/item?id=28734080
But should distributing and ensuring the security of software that users install on their own systems even be the responsibility of operating system maintainers?
> Consequently, knowledge is the most vital asset to be able to use the financial opportunities that crypto offers. Knowledge about how to use the technology and, more importantly, about cyber security. How can I keep my money safe? Which dapps are good to exchange, loan, and lend money, and how do I recognize scams?

I think increasing knowledge is one of mankind's highest aspirations. If after doing research, you find it isn't for you, so much the better. At least you've increased your knowledge.

People who knee-jerk react and downvote without having knowledge of the space seems to be the norm here.

Crypto isn't something that can be learned in an afternoon, or be taught with a few comments. It is an overlap of technological and social space that is evolving constantly.
I've broken iPhones around 10 times.

Not a single time was the cost of repair even close to the cost of a new phone.
Very neat, but my preference would be for it to very rarely expand the file, instead of very rarely rarely decompressing wrong. Then you could actually use it in practice. It would be pretty straightforward to change it as far as I can tell.

Edit: If c+1 would wrap around, you could fallback on encoding as C0(x) || enc(0) || Mac(C0(x) || enc(0)).
The reminds me of Rocky's Boots(https://en.wikipedia.org/wiki/Rocky%27s_Boots) taken up a few levels.
Apple has topped the Greenpeace rankings for major tech companies for the last 4 years. One of the main reasons is the iphones industry leading service life. This is also why they retain such high resale values. They just last and last, and get more than double the software update support lifetime of even Google’s own phones.

If you primarily care about the environment when getting a phone, the iPhone is the clear choice.
Laura Ingalls Wilder (Little House on the Prairie) very nearly lived to see Sputnik launched.
Why should or would this infuriate you?
> Drive letters never caused much issues for me.

It’s an inelegant relic from a very, very distant past. A poor design decision that QDOS copied from CP/M more than 40 years ago and that Windows users are made to deal with to this day.

The registry is a database where a folder should be. It’s such a bad idea that Microsoft doesn’t use it for its new apps since .NET
Coursera has both NAND to Tetris parts up now.
> All food is organic. "Organic" is this context is a marketing term and nothing more.

This is a straw-man. "Organic" here refers to the growing methods, not the food... no, the people who coined the terms were not as stupid as you are trying to make them out to be.

And yes, "organic" is marketing term, but it is a regulated marketing term that provides some useful information to the customer.
Central banks debase currencies to discourage people from hoarding cash and using it as a store of value instead of investing it into productive assets. They are not perfect but they don't pretend to be something they are not.

Bitcoin claims it's a "currency" but almost everyone uses it like a store of value (HODL) because its value keeps increasing.
Thanks, it’s just good old LAMP. Search is AJAX with https://tarekraafat.github.io/autoComplete.js/

I’m no web dev and to understand modern web frameworks and their ecosystems just seems like a tremendous undertaking at this point.
It was called newgrounds.
For the author: It's Johns Hopkins, not John Hopkins
Martin Heinz – Making Kubernetes Operations Easy with Kubectl Plugins
Efficiency does not matter when you burn coal!
Yes. It's at the stage where people are just told how to feel and they do

Plot twist it's a house boat worth $220,000 (from a bankrupt sale). Arguably a working man's house.

So is it hypocritical again?

https://www.100daysinappalachia.com/2018/10/fact-check-does-...
Might be a long time though right?

> On average, to brute-force attack AES-256, one would need to try 2^255 keys. (This is the total size of the key space divided by 2, because on average, you'll find the answer after searching half the key space.) So the time taken to perform this attack, measured in years, is simply 2^255 / 2,117.8 trillion

> Expressed as an exponent of 10, that’s 2.73 * 1061. Written in full format:

>27,337,893,038, 406,611, 194,430,009, 974,922,940, 323,611,067, 429,756,962, 487,493,203 years.

>In English: 27 trillion trillion trillion trillion trillion years.

From-https://scrambox.com/article/brute-force-aes/

I’d love to hear Hacker News opinions on how long that will be valid due to faster computers, quantum computing etc. Or if it will always pretty much be valid in your opinion?

The number they get for all the PCs on earth trying it is still 13,689 trillion trillion trillion trillion years. The universe is only 14 billion years old and estimates of what the universe will be like in even a trillion years are more like science fiction than science because it is so wildly long.
"A lot of land"? Where exactly? The private timberland? The Federal wilderness? Or the desert? https://i.imgur.com/Us5Wyt0.jpg
Ask HN: Are people only smart until they talk about things you know more about?
Hey, all.

Have you ever noticed people who you regarded as smart/intelligent, show themselves not to be that smart when they talk about something you know a lot about?

Say, you come to Hackernews/Reddit and usually see people on these sites as knowledgeable people. But when they talk about a topic you know very well, you realize they aren't that smart.

And, if this happens to the topics you know a lot about, what about the other topics you don't know much about? Are they wrong about those too?

So my question is: is there a name for this "effect", that you "lose trust" on someone you regarded as knowledgeable when they talked about something you know well?
There's absolutely no need for just one-ring-to-rule-them-all copy of libz.so. Shared libraries can be versioned and garbage collected like how habitat (hab) does it: in separate directories.
Monkey uses brain to control prothetic arm (2008)
> Maybe that’s true, but it also hollowed out the U.S. manufacturing base and consequently the middle class.

Citation needed.

Edit: Just as a counter point consider reading this article: https://www.latimes.com/opinion/op-ed/la-oe-schiller-shrinki...
It does, but we're already moving to a world where deployed apps are one of the very few things running in a container, which is itself running somewhere in a VM, so there's less sharing to achieve.
I think alcohol is more intoxicating than cannabis.
Isn't it pretty self explanatory?
Would be nice though to have an example that does demonstrate the power of Cypher.
Havana Syndrome most likely just crickets: declassified Dept of State report
Top tools to learn to become a complete Java developer
Great book. I put Vinge in the same small group of criminally-underappreciated scifi authors who can really think and really write as Adrian Tchaikovsky and Nick Harkaway. Highly recommended.
No, the assembly line was popularised in the UK during the industrial revolution, but was used in Venice for shipbuilding in the 1100s.

The moving assembly line for manufacturing was created by Ford, and inspired by the Chicago meat industry.

> (In WW2, Detroit made weapons 3x or more cheaply than the Germans, who clung to individual craftsmanship. For example, if you watch period films, you can see Detroit machining several parts in parallel. They also redesigned all the sample parts provided by the military with cheaper materials and less parts or machining.)

Germans didn't cling to individual craftsmanship, especially post ~1942 manufacturing was heavily automated.

> Kaiser pioneered modular construction of ships in WW2, making a new Liberty cargo ship every few hours and a new aircraft carrier weekly (!), totalling 120 carriers by he end of the war.

Modular shipbuilding has been a thing for a long time. Post-1942, Germans built submarines with blocks constructed in different places and brought together for assembly.
So, you link against a GUI toolkit that can be used to display images. Images in many different formats, including some that haven't been used in more than a decade and are unlikely to ever be encountered.

Do you want the GUI toolkit linkage to automatically include every object module for every possible image file format in your static image, or do you want the GUI toolkit to use runtime dynamic linkage (explicit or implicit) to import only the modules required for the image formats actually encountered?
TAO uses MySQL doesn't it? Would that make it more of a service built on top of MySQL, rather than a unique graph database?
I guess cost would be a factor. It seems like they could also offer some sort of service where phones can be reverified if the shop can evidence where it got parts.
I think looking at things like Stargate SG-1 seasons 9/10 show why it's better to be left with such questions than answers. And I think that no author would be able to satisfyingly describe concepts like that anyway, just the way that their "mortal" characters perceive such concepts.
Author here. I don't know why my own submission of this [1] didn't catch and this one did. Oh well. XD

I'm open to answering questions, and I'll be hanging in the thread.

[1]: https://news.ycombinator.com/item?id=28728801
This reminds of that episode from Futurama where Fry has a nightmare but was actually an ad for underwear.
Swedish fuel retailers required to display eco-labels at pumps
What is it with this cynicism in this thread? Does it need to spell out 'People who use computers to create' for you?

It's a very bad faith interpretation.
Don’t need to catch a steamy scene from film when we have the internet full of pornography on demand.
Getting a PhD young is mostly the luck of a birthdate and a benevolent advisor (and probably a non-experimental topic). Isn’t the uk system 3-year which makes it more likely. The trick is the pertinence of the work that’s done and who you impress.
For sake of argument we will be presuming below that ZFC is consistent.

While it is true that ZFC is model-complete in your sense (which holds for all first-order theories as you note), ZFC has many non-standard models that come with with non-standard sets of natural numbers within them. There are Σ₁-sentences that are false in models with standard sets of natural numbers but are true in models with non-standard sets of numbers.

Tarski's definition of truth, which I'm using for the definition of (in)completeness in my comment, excludes non-standard models because it requires, for example, for a Σ₁-sentence ∃x. P(x) to be considered true, that there actually exist a numeral (e.g. a closed term such as 42), 'n' where P(n) is true (recalling P is a decidable predicate the truth or falsity of P(n) can be determined (in principle) by calculation). When a Σ₁-sentence is only true in models with non-standard natural numbers, such numerals that witness P do not exist.

Some people argue that non-standard natural numbers are just as good as standard natural numbers, and you can try that argument I suppose. However, if I'm hiring someone do formal analysis of some algorithm and they "prove" that it is terminating by showing it terminates in some non-standard number of iterations, then I'm just going to fire them because such a result isn't helpful for reasoning about programs.

There is a material difference between standard and non-standard natural numbers. The standard natural numbers are formed in a natural way from the terms that make up the formal language of the first-order logic under consideration (i.e. the terms that are numerals), but the non-standard natural numbers cannot since they include "numbers" that have no associated numeral. Also note this way of characterizing the standard natural numbers won't work for characterizing "standard sets", because we do not expect all sets to come with canonical concrete terms denoting them, like we do expect for natural numbers.
If you just update an encryption library and ship only that… then who’s tested all the applications against the new version?
People live in VR world that good enough to enable them to live however they want.

It is the only way to achieve world piece. Nobody can have conflict with each other if they don't interact with each other.
That's a good point. I'd guess that it's optimized more for investor/employee attention than the broader market. It's evocative of cool physics and "disruption" instead of the blandly pleasant tone one takes to appeal to consumers.

I wouldn't be surprised if they rebranded if/once they start offering flights.
Thanks for telling us about the option to use the original aspect ratio! I'd basically given up and might never have found out.
Almost all TVs have an option to zoom to fit 4:3, so there’s no need to stream a cropped version. At least they should provide an option to view the original.
Anyone know why piholes default config has this site on the deny list?
People who were upset about the existence of the Federal Reserve used to advocate something like this as part of a plan to destroy the fed and put the money supply "back into the hands of the Treasury."

Yesterday's advocates would probably be repelled by today's arguments in favor of the idea; today's advocates would be repelled (and might be dissuaded!)by the identities and other philosophies of the people arguing for it then.
The word "static" is being conflated with "stable".

A "static interface" isn't a thing. There's stable and unstable interfaces, and static and dynamic linkage. Not strongly related.
The Gell-Mann-Amnesia effect probably comes the closest to what you are looking for. It doesn't refer to the loss of trust but rather to the effect that we tend to forget that a source is not trustworthy. In the words of Michael Crichton:

> “Briefly stated, the Gell-Mann Amnesia effect is as follows. You open the newspaper to an article on some subject you know well. In Murray's case, physics. In mine, show business. You read the article and see the journalist has absolutely no understanding of either the facts or the issues. Often, the article is so wrong it actually presents the story backward—reversing cause and effect. I call these the "wet streets cause rain" stories. Paper's full of them.
In any case, you read with exasperation or amusement the multiple errors in a story, and then turn the page to national or international affairs, and read as if the rest of the newspaper was somehow more accurate about Palestine than the baloney you just read. You turn the page, and forget what you know.” (https://en.wikipedia.org/wiki/Michael_Crichton#Speeches)
If economists did their work without ever leaving academia, you certainly could argue that they're simply "trying to make predictive models to better their understanding". But as soon as they begin advising governments on policy, they abdicate that argument.
The whole philosophical core of libertarianism is to seek for a minimal set of rules and systems that doesn't evolve into warlordism or any other corrupt power structure. The idea is to maximize individual liberty and keep it that way.
“Central banks debase currencies to discourage people from hoarding cash and using it as a store of value instead of investing it into productive assets.

So they claim. Could it also be that debasing the currency is far easier than taxation as a form of wealth appropriation since the effect is subtle and indirect?
Ask HN: Why aren't there more big yet serious communities like Hacker News?
It helped not being a specific political target of the state.
Guessing the word beacon in the url?

Never go full Scunthorpe etc.
This is in my list of top 10 (ish) books I've read.

If you've enjoyed it, He's got two more books in the Zones of Thought universe: A Deepness In The Sky, which follows Pham in his Queng Ho days before A Fire Upon The Deep (recommended!) as well as Children Of The Sky, which follows Ravna and the children on the Tines world as a direct sequel to Fire Upon The Deep.
> graph databases push foreign keys, joins, referential integrity, and migrations to the application layer

All graph databases? With just a bit of googling I can find ones that support migrations through ETL with foreign keys translated to edges at that point, and claim to have transactions with immediate consistency—even some claiming ACID.

Joins are not even a thing in graph databases; being able to directly query across edges obviates the entire concept.
Java (and C# and C++) have become kitchen sink sink languages. Everything is just thrown in. That makes it less productive for me. I've decided I don't want to carry around that much in my head all the time in order to read somebody else's code. I switch languages a lot these days.

Go is getting generics in (hopefully) in a few months. Some features are missing but most don't cause much pain and can be either simulated or worked around. Error handling is its biggest failure, but outside of that I find is at least as productive as other compiled languages in the same space.
The orange car in the picture seems to have already been dipped in coating and maybe "baked", and then painted with orange "aerosolized" paint. The inside of the car has orange overspray all over, and where it is thin we see the brighter yellow undercoat.

Basically, this is a way to print graphics on an already painted car.
Presumably because you're too reflexively cynical? There's an option between rabid optimism and wild conspiracy theories, and it's just "mild optimism/pessimism + wait and see"
Weird take. Petty theft (like the one being discussed here) can definitely be correlated with inequality.

I agree that most people will not steal. That's been my experience of growing up in a country with rampant poverty and inequality (and crime).

That said, the more people are in need, the more incentive for them to look for solutions outside of a system that has inherently failed them and the people they know.

I have myself been robbed and assaulted multiple times. I have had relatives kidnapped. Cars stolen leaving or entering their own garage, sometimes in nice areas of the city. I have been myself held at gunpoint by both criminals and police. The house I grew up in has been burglarised multiple times. I have not once, and don't know a single person who has been assaulted or robbed by a middle or upper class person.

There is probably also some correlation between white collar crime and corruption, and poverty, but I suspect the direction of causality goes the other way around in this case.
That’s exactly this!!! Thank you very much.

To what extent you think this should affect our trust on news sources/websites like Hackernews?
Yes, but my point goes further than that.
Wizards and Warriors, Part Five
it looks like the

claimComp(address) method

and the claimComp(address, tokenAddresses[]) method

can be used, but its only if you supplied to some pools in the past and I'm not sure which pools. Someone told me TrueUSD but I haven't been able to confirm and I can't tell which claim transactions onchain are results of the glitch versus normal Compound UI behavior from normal users

so you would just make a transaction to the Compound Comptroller contract address with the hex data for that contract and method variables

unfortunately it seems like there are multiple Comptrollers and its a little expensive to play around with on mainnet, I might branch off and try a few transactions in a local environment so I don't waste gas trying to figure it out on mainnet. But I really just want to be able to tell and its weird how hard it is to find these details with all of this reporting. Hope this space matures to the point where this is the baseline level of reporting.
I was wondering when something like this would be written. We’ve come full circle.
Increasingly in Hollywood, the creative assets for movies are being produced before the scripts are even written. So e.g. for a movie that they know will have a fight scene, they just go in and capture a bunch of different sequences with different outcomes. Anyway it could be kind of weird to have the same done with sex scenes.