skysight-inc/HackerNews huggingface dataset:
Evan’s debugger gets you most of the way there:
https://github.com/eteran/edb-debugger

You have to build from source but it’s easy to do.

I’m thinking of devoting a summer to writing an Ollydbg-like UI wrapper for LLDB, because I miss Olly so bad when I leave Windows.
It will probably be hacked to shreds, but then again the map is most likely immutable ;).
The Web needs the equivalent of public access television or public radio -- platforms that are sustained for public good via public money and/or donations
Nah, it's just a toxic combination of MBA's (?) being sociopaths to have the ideas + the companies involved having enough lawyers to shield them from any real harm.
I’ve seen fretting for years about the collapse of the dollar as the global reserve. Lately I have started wondering if this might not be good in the long run, and if maintaining the dollar as a global reserve is actually a very costly and economically distorting thing.
Another way to interpret this is that when unrestrained, Pfizer cut some corners and insufficiently represented the test population. Of course, this all depends on the reasoning behind that request.
I don’t understand the basis by which you think this election was “tight”.
If you are doing any native Windows development and also need to interact with a lot of COM objects and apis it's really hard to beat Delphi. It's so much nicer than dealing with C++ and WTL.
Yeah pica but can you eat an aluminum can and not die? Wouldn’t that certainly cause internal bleeding?
Sounds like the 3 week delay was merited if Moderna originally had a mostly white study group and thus wasn't properly testing the effects on the entire population. This is very important to do in medicine. And I wonder if that means that Pfizer did not use a broad sample set of the population and DHS was not there to keep them in line? Or maybe they did this correctly from the get-go and it was sheer luck that Moderna had the additional needed oversight?
Arctic Report Card: Update for 2020
Many of America's first colonists were the people who were kicked out of Europe because they were too prudish. That Puritan streak has never really gone away here.
I wondered whether there was a conscious link in the minds of early language designers to Church encoding of booleans. (well, other than McCarthy and Lisp)

A Church boolean is either:

true = λt.λf.t
false = λt.λf.f

So instead of writing an expression with keywords like

if bool then yep else nope

Just use the boolean as a function and apply it to the then and else clauses like

bool yep nope

So the shape is very similar to modern languages, but with less syntactic scaffolding.
Pfizer is BioNTech's manufacturing partner and did logistics for clinical trials, they didn't do the R&D. There are other international licensees of the same vaccine, e.g. Fosun in China.

And I suppose they spent a handy sum on marketing to pull off this being known as the "Pfizer vaccine" in domestic media despite this. Note the article headline is "How Pfizer Delivered ..." not "Developed".
Nope. Per Crunchbase, Goodreads took only $2.8m in funding to cover the more than 6 years they were in operation.
Everyone else is accumulating debt too. To escape a bear, you just need to run faster than everyone else not faster than the bear.
One would also do well to remember that Norway has a population of 5m, vs US at 325m. Norway is also 85% ethnic Norwegians (making for a pretty culturally homogenous society).

The United States is operating at a scale that may break the Norwegian system. I don’t know that it would, but let’s see the Norwegian system work at five times the size (25m) before even entertaining the idea that it would work at 65 times the size.
Yes, that's what the parent poster was pointing out. ;)
I also use library things, and thanks to their change to their business model their free accounts work great for tracking my home library and what I read. I also like their app for scanning barcodes into my library.
For "out" variables, you can increase the indirection and pass a char＊＊ (pointer to a pointer) to the method as the argument.

Then the pointed-at pointer can be manipulated within the method body and changes will be visible on the outside as well, giving you both the numeric return value as well as the shortened string as the output. This is what the second argument of the strto{d,f,ld} function does: https://devdocs.io/c/string/byte/strtof
The various OWL dialects are intended for reasoning, in combination with RDF etc.

In my opinion, all these languages fall short for the reasons I mentioned: In particular, even though one can express knowledge and rules in these languages, they do not allow convenient reasoning about the rules themselves, for example in order to dynamically interpret them with custom execution strategies.

Jena suffers from the same shortcoming. The documentation you link to shows an example that illustrates the issue:

Model rdfsExample = ModelFactory.createDefaultModel();
Property p = rdfsExample.createProperty(NS, "p");
Property q = rdfsExample.createProperty(NS, "q");
rdfsExample.add(p, RDFS.subPropertyOf, q);
rdfsExample.createResource(NS+"a").addProperty(p, "foo");

I can now create an inference model that takes this knowledge into account:

InfModel inf = ModelFactory.createRDFSModel(rdfsExample);

OK, but how do I actually process these relations themselves if I want to reason about them? For example, suppose I want to write a program that tries to minimize the relations, or rewrite them for more efficient processing. How do I represent and access the rules themselves within this framework, when I want to reason about the rules instead of only using them with fixed reasoning engines?

Datalog makes this easy, because every Datalog knowledge base is also a valid Prolog program, and every Prolog program is a sequence of Prolog terms. Hence, we can use Prolog to easily reason about knowledge and rules that are stated in Datalog or Prolog syntax. This ability is what I miss most severely in the current semantic web stack.
Thank you! Will add this to my Vim to-do.
I think it's not uncommon for large corps to keep assets in other currencies for a variety of reasons. In the case of BTC though, the "melt over time" I'm not sure quite applies yet. It's still be fairly volatile, and if you're leveraged to make those purchases then there could be a risk of the loans getting called in if the asset plummets. I'm not anti BTC, but I think it needs a few years of stability before it represents safe asset in that respect.

Secondary is that in order for me to really consider it "money" rather than an asset, I think the ability to spend it as such needs to improve. Until then it strikes me as little different than any other security that you need to sell to convert into negotiable currency. Though I don't know, maybe that's a distinction without (much of) a difference.
The very promising crispr anti-cancer trial recently also used lipid nanoparticles. Seems it's a useful tech for delivering stuff into cells.
This has been debunked: https://www.nytimes.com/2020/11/10/health/was-the-pfizer-vac...

They took about $2B in pre-order guarantees from the US Federal government, which was also approximately their development cost.
OP is clearly a weirdo :)
> Follow the instructions; security code etc.

Except, at least in my case, the security code gets sent to some phone number that's not mine. So, that's not going to help. ;)
The bear case is that markets realize Tether is backed only hot air and head for the exits. Tether "breaks the buck" (price goes under $1.00), and on USDT exchanges there's a spike in all other cryptos as people buy anything and everything to get rid of it. On exchanges with actual fiat, people get spooked and start selling crypto for fiat, spooking more people into selling and triggering a market crash.

This, incidentally, is pretty much what happened when Mt Gox disclosed that they were backed by hot air because they had most of their reserves stolen.
I think part of the problem is we were told it would take 18 months, then in half that time we have a vaccine with a fast track testing process. And then within 24 hours of the vaccine being used in the UK there were reports of people having bad reactions to it due to that group being excluded from the testing. Vaccines have been getting hit hard by anti-vaxers for so long that this seems to have fallen right into their lap with a bunch of easy to use propaganda.
I really don't get the rationale behind this argument (if there even is one, at all), by medical professionals no less.

How is getting a properly tested vaccine with a known 1 to 10% probability of side effects such as headaches or fever scarier than the prospect of contracting COVID-19 with roughly a 10% probability of developing severe to life-threatening symptoms?

Yes, there might be as of yet unknown vaccine side effects but the same is true for chronic symptoms that might be caused by COVID-19.
Those lives were not sacrificed on the altar of meticulous vaccine development. They were offered to the "business as usual" gods instead.
It’s mainly because they can, but I also bet it’s that feeling that you’re “cheating” the system (like why people cheat in online video games)
That's a good example!
I think including advertisements to have logo brands or linked purchase options is a bit of a disingenuous generalization, it's not what we're talking about with "advertising" in this context.

Yes, you are promoting Apple products if you carry around a Macbook with its logo, but you aren't being advertized to. The built-in stores might just barely meet the definition, but it is very different from a random ad during a TV show or on your desktop.
I'm not sure if it's good form to reply to yourself here, but I did find this: https://lwn.net/Articles/276782/.
It appears to be a 20 part series from a(the?) Gold developer on Linkers.

I checked HN and it looks like there is an old discussion here: https://news.ycombinator.com/item?id=9597406

So, I'll probably give this a read when I find time. Hopefully someone else will find it useful as well.
Isn't OR in most languages non exclusive? If you want exclusive OR you use XOR.
https://www.positech.co.uk/cliffsblog/about/
The meaning of “and” in natural language predates the meaning of “and” used in logics and set theories. I’m not convinced that all semantics of “and” can be derived from set operations.

1) not every clause is a predicate and applying logical operators to a non-predicate makes very little sense to me.

2) I don’t see how ordering, time, and causation can be inferred, if you treat each clause as a predicate.

“I punched Bob and apologized” has a different meaning than “I apologized, and punched Bob.”

The AND as used in logics simply doesn’t embody this usage.

—-

It was a sloppy wording of mine to say that AND just join clauses together. I meant to say that it joins clauses together, and the relations between the clauses are not necessarily set union. Of course it can’t embody all relations, but more than set unions.
"Instead of drawing down our gold reserves, however, we gradually draw down our domestic manufacturing base and it gets replaced piece-by-piece in foreign countries."

To me, this is the money shot. I hadn't seen this expressed before and it makes perfect sense. I'm baffled that we (the US) caused this to happen to the US. I'm (unhappily) registered Republican but I argued vociferously to a Dem friend in 2000 that our inability to manufacture critical components was going to kill us. Kind of literally: AFAIK, the last LCD panel manufacturer in the US closed around then and we could no longer manufacture LCD for our military vehicles... (Even if this anecdote is untrue, the point remains valid...) I argued that, even in the presence of free trade, a country should have the ability to tariff imports to the extent that that country could maintain a 25% (or something) domestic market share.
Weirdly, I keep getting books I like in the search. It would be nice if I could add more than three authors because my reading is already extremely diverse, like music listening there is very little that I dislike (According to spotify, I listened to over 500 genres of music this year -- although I'm not really sure how useful that is because of how every piece of music seems to be categorized into it's own genre).

For example, I put in:

Mort - Terry Pratchett
Mortal Engines - Stanisław Lem
My Lesbian Experience With
Loneliness - Kabi Nagata

And Judith Butler was in the search results. So instead I realised that Mort and Mortal Engines are adjacent, genre-wise and tried:

Mort - Terry Pratchett
My Lesbian Experience With
Loneliness - Kabi Nagata
Gender Trouble - Judith Butler

and in the search results I got:

The Far Side comics
"This Book Is Full of Spiders"
Douglas Adams
Kurt Vonnegut
Brian Lee O'Mally
Calvin and Hobbes

All of these works I have enjoyed quite a lot -- I used to be able to quote the radio show of The Hitchhikers Guide to the Galaxy from memory, I own all of the John Dies at the End series, and I'm wondering about getting the special edition of Calvin and Hobbes because there's quite a lot I haven't seen and it's pretty timeless.

The rest, mostly consisting of PG Wodehouse and Oscar Wilde, are works that I consider myself interested in yet unexposed to, but they are hardly opposites of the books I put in?

So I'm not really convinced of the utility of this tool as it stands.

Perhaps it is tailored to a single type of reader that only reads books within their purview (Perhaps, political history books, or purely science fiction books) to the exclusion of many other interesting and worthwhile genres?

----------------------------

Edit : What is especially interesting about this is that when I enter only

My Lesbian Experience With
Loneliness - Kabi Nagata
Gender Trouble - Judith Butler

I get a book by Sappho(!) and a literal deluge of mostly-feminist literature with only a handful of anti-feminist works -- with the touchpoint that those anti-feminist works are trying to sound and look feminist!

I'm not sure how Sappho is directly in opposition to Nagata's work, and it strikes me that anyone who has read both Nagata and Butler would also be familiar with the works of Sappho?
Deutsche Bank raises prospect of moving half its New York staff
Games Made Under Crunch Conditions Don’t Deserve ‘Best Direction’ Awards
No, although I don't think you'd try to make a website backend in lean.
Née Betrusted[0], in case anyone is wondering.

[0] https://betrusted.io
SENIOR PRODUCT DESIGNER

Location: South America
Remote: Yes

Willing to relocate: No

Technologies: Figma, Adobe, etc.

Portfolio: https://www.nico.im

Dribbble: https://dribbble.com/hyped

Email: nicogarcia@gmail.com

About: I'm a Senior Product Designer. I currently* lead a design agency called Hyped, where I do hands-on work and lead teams working for startups from around the world in projects that span from pure upstream concept work to ready to ship products.

*I'm in the process of selling 100% of my shares to my partner and now will be looking to join a fast-moving & growing startup
Token foreigner here: I prefer buybacks. Dividends have all kinds of messy tax implications. Cap gains don’t!

e.g.: Most countries tax foreign dividends at full income tax rates. 15-30% IRS withholding taxes on dividends.
Software RAID and virtualization. You install it, (optionally) RAID drives together, then you can assign cores to certain OSes and do PCIe pass through (among other things). Basically, it’s a GUI for VT-x, but runs “below” your OS, not “above”.
I understand why it is desirable! But why is Bitcoin better for this than, say, an index fund?

Even in the case of an index fund, you are ultimately buying shares of businesses which decreases the cost of financing for those businesses and helps them to grow. It's not as impactful as an angel investment in a startup, but it still means that your outcome is linked to successful economic activity that you helped to finance. In the case of Bitcoin, no such activity takes place, so where is the reward coming from?
Show HN: You can blow a tubular bubble that 'should' be impossible
All you need is a pan of soapy water and a straw. While blowing a hemispherical bubble on the surface of the water, you can withdraw the straw from the bubble, if the flow rate of air is correct. The tubular bubble connecting from the straw to the hemispherical bubble 'should' break up into a series of spherical bubbles due to the Rayleigh-Plateau instability, but the airflow stabilizes the system (even though you might think that the Bernoulli effect would make things worse).
It is an interesting questions. My feeling is if-then-else falls some where between invented and discovered, something like mathematics. Once we had discovered the need for conditional control flow, any decent assembly language programmers would quickly discover many patterns for how it could be used. Eventually, these patterns were clarified and codified into languages and more abstract formalism. Like in much mathematics, that abstract formalism was am inevitable discovery once we took as axiom the basic logic of program control flow with conditional jumps.

It is such a basic, clear, and useful formalism, it is hard to imagine it not becoming widespread under some name/syntax.

But if-then-else is only clearly inevitable if you take as axiom the existence of store program computers with control flow. I can much more easily imagine that early on we invented a very different way to do computation as a whole. It seems likely that what we have actually invented is on a path toward a local optima.
Related to this topic is a conversation Steve Levitt had the other day with Moncef Slaoui, who has been a scientific lead for "Operation Warp Speed": https://podcasts.apple.com/us/podcast/moncef-slaoui-its-unfo...
Great resources.

I can also recommend language exchange platforms as a great tool to make new friends and have regular conversations and practice speaking in foreign languages.
Is the reason it's easy to reason with mathematically because it was designed to be pure or is it pure because it was designed to be easy to reason with mathematically?
I have the hp 41 cv app on my iPhone and it's fantastic. I paid once many years ago and have never been asked to pay again. A great group of enthusiasts keep it going.

That said, I've had recent occasion to do some programming for celestial navigation on a handheld- and the TI is a lot easier to use for that.
This is something that Pfizer got asked about during the hearings on Friday -- their execs stated that they tried to recruit minorities heavily in the beginning of the study and continued doing so in later recruiting rounds (I don't recall if they mentioned actual number though).
Many retirement accounts (x% of $7.4 trillion) cannot be invested directly in bitcoin or even GBTC. For that reason, I bought MSTR.

That said, I'm nervous about the debt raise because it begs for regulatory action.

One thing's certain: the successful raise and the increased size point to tremendous interest in Bitcoin from investors of all sizes.
Just deleted my paypal account. Thanks for the reminder.
Thanks for the recommendation! Sounds like I may have just been reading the wrong books :)
As a programmer currently learning sales by necessity, I agree wholeheartedly.
The argument against needing to learn vocabulary seems to ignore the problem of understanding native speakers who are talking to you. I can certainly say a lot of things with some creative use of a small vocab, but I won't have a clue what people are saying to me.

More generally, I think language learning can be a bit like dieting, in that there are a lot of complicated individual factors, and the method that works for a given person is the one that motivates them and that they actually persist with.
As someone who would heartily be first in line (and even be part of trials if I were eligible), I understand how people can be hesitant to try such a new and fresh vaccine, iff the reason is "it's too new and has been developed way too fast for comfort".

Beyond that though, to hell with people who still somehow think "only those at risk need to be vaccinated".

I somehow came across an acquaintance who was telling me "I can't wait for people to take the vaccine so everything can reopen, but I would never get it myself". Such absolute trashy selfishness.
Most medical practices are not parachutes
The "meticulous vaccine development" is a religious belief in the middle of a pandemic. It helps no one but makes the elites feel better I guess?
You say seeing a badge like this on a website is just noise for you, fair enough. I simply have a different experience with this sort of thing. One example I used in another comment on this thread is random graffiti with a kind message. Those can and have brightened my day, and I don’t feel they are cheapened by the fact that everyone on the street sees them.

Though I can tell you “I like your shoes” isn’t in the rotation, things like “you are a special person” are, and I get that it can sound dishonest, but I genuinely believe everyone is special and that some people will receive that message in the way that I intend it. There are also messages like “may you be happy” or “thank you for being here” and perhaps you would agree that these can genuinely be addressed to strangers. I’m certainly grateful for anyone who visits my GitHub repos, or who takes a look at this project and gives me feedback, so thank you. :)
Also: ISBNs often change when publishers are bought, split, sold, merged etc.
It is important to have a variety of uncorrelated assets, but in the case of Bitcoin it's still quite volatile, not always for clearly apparent reasons. It seems to be developing a place for itself, but I think it still needs a few years of less volatility for it carve out the niche many people want it to have.
> yearly expenses for the bank to keep up with the legal paperwork on that account

Wouldn't the yearly expenses to keep up any individual account be such a small fraction of a single cent, that we might as well call it zero?

Account information is literally just a few strings of bytes, and transaction info is similar. Even with a lot of transactions it'd likely be less than (say) 10kB per year?
you naively ignore the actions the US MIC has taken in the name of power amd hegemony to keep their dollar traded and in power so that it fits your cozy illusion. the US has spent decades performing coups and destabilizing countries and regions of the world, propping up puppet leaders under their wing, political assassinations to etc all in the name of economic dominance.
> You can redraw it with ^L, or disable the tui while it's running.

I often run into a problem where switching to TUI after a crash disables local echo for some reason. I can't see my typing and TUI's output is totally busted. CTRL-L doesn't fix this, I have to exit the debugger and run "reset" in my terminal. Does anyone know why this happens or how to fix it without exiting the debugger?

I've even tried suspending with CTRL-Z, running "reset", then resuming gdb. This fixes the shell, but TUI is still busted, even with CTRL-L.
Author makes some big claims without much evidence. The poor conditions of US prisons, and lack of focus on rehabilitation is I think pretty well known for anyone who cares, along with the opposite reality for Nordic prisons.

But you can't just throw your hands up and say, "money! corruption! racism!" and completely ignore that the American people asked for this system in response to rising crime waves. No matter how little corruption you get the American people as their thoughts stand today will never adopt the Nordic system.