skysight-inc/HackerNews huggingface dataset:
Dynamic runtime analysis can be a very powerful tool, especially when it complements formal static analysis.

More interesting information can be found in the main implementation file [1] and of course in the paper [2].

[1] https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/lin...

[2] https://bristot.me/efficient-formal-verification-for-the-lin...
A lot of what is labeled and sold as "SEO" might as well be diet fraud. Plagiarism, false advertising, astroturfing, etc. It certainly isn't just letting the Google bot know what your website is about.
I agree. Calling it pipe adds confusion to FL understanding for newcomers.
That is an ungoogleable concept so unless it’s front and center in the docs or posted here every six months, nobody is going to know what you’re talking about.

Do you mean attaching a mailing list to git or a feature for syncing comments to commit ids? If the former, you think sending a new guy to read four years of yammering about code is a useful or non hostile suggestion? It’s okay to be a misanthrope, as long as you understand that about yourself and when it colors your interactions.

But this is how this conversation usually goes:

There are any number of addons and special hidden features of git. If they don’t propagate to and from developer machines without proper user configuration, it’s a checkbox feature, not a real one. And the worst kind - the ones where people can dismiss a real and near universal problem by saying “we have X at home”.

Half of the good features of version control, CI/CD, you name it, are good in part because they only require one or two people to put in the effort and then everyone benefits, whether they recognize the value in it immediately, over time, or leave the team insisting it never helped them once even though other people know that’s not true.

Any feature that requires everyone to set it up on their box requires unanimous decision. That doesn’t scale, and it barely works on a small fixed team either.

Most of the tools I see people claim git has involve changing the configs or your behavior in order to sync the extra metadata. Do it by default or don’t do it at all. This is you being wishy washy and letting someone else take the blame for it not being used.

Edit: are you talking about ‘git am?’ That has nothing at all to do with what I’m talking about and also is only used on non commercial products. The only people I know of who use this at work are professional OSS committers who aren’t working on projects hosted on GitHub. Which is zero people actually in my professional circle, and if those people know anyone they haven’t mentioned it where I’ve heard it.
This article is not about ignorance per se. It is about views in opposition to well-established consensus, e.g. "rejection of vaccines or opposition to climate change mitigation policies." These views are highly damaging to society and individuals.
Len Sassaman or/and Adam Back. Hal Finney managed hostings, etc.
Not sure what your point is, but it sounds to be in line with mine: ethnicity/race is perhaps a too rough categorization of people to be used outside of a very specific context.

Edited to please the pedantic among us.
Oh hey, this is mine. Thanks to triska for submitting it, and for his Power of Prolog lecture videos. I got started learning Prolog with them this year.

This package uses the novel (at least, novel to me) method of embedding a small C program (Trealla Prolog) through WASM/WASI and exposing it as a regular Go library. My hopes are that it can give us easier cross-platform compatibility going forward, and has some memory isolation/security benefits too. It's kind of like running a "serverless" worker architecture locally, which is kinda cool IMO.

This package is still in its early phases but I highly suggest that everyone checks out Prolog if it sounds interesting to them. It is a very powerful and very cool language that can change the way you approach solving problems. I'm currently working towards getting Prolog easier to embed and use in different languages, and I think Trealla is a great asset towards this.
There’s a thousand Welshman looking for your blood now. Cardiff is in Wales.

Initially was called the Cardiff Internet Movie Database (it was hosted at the university of Cardiff)
Wow, OpenAI should be truly taught in business schools around the world as a case study in product marketing. Despite the dozens or hundreds of similar tools, models, colab notebooks, etc. created by a wide flourishing community, these two products are top of mind for everyone. Both terribly disappointing and envy inspiring for us in the field!
I'd predict they have a plan to replace it with some GitHub-specific metadata. That would enhance lock-in and follow the usual Microsoft strategy.
What? Nix is exactly a package management tool (and build system, and language, and Linux distro). And when people refer to nix, they usually also mean nixpkgs at the same time.
The Length of Earth’s Days Has Been Mysteriously Increasing
I wish they would add a project-wide configuration check box that creates a merge commit (with comment containing a PR number) when rebasing a PR to main.

Currently, you can only pick two of the following three things, which pretty much everyone wants. People have been asking for the above feature for 5-10 years.

- leave a pointer to the code review in the git commit log

- have a linear, bisectable history

- preserve developers' commit messages and intermediate work on branches
Honestly switch out while you can. Sunk cost fallacy is a hazard for business. Could wrack up a million in consulting fees for a subpar tool here.
It is my experience that listening to experts normally is a good idea, but the idea of a scientific journal publishing research that we should all listen to scientists and not hold anti-consensus views, has more than a little possibility for bias on the part of the researchers. Moreover, would it not be odd if those who held anti-consensus views were not overconfident? People of average or lower-than-average confidence would defer to the consensus. It's almost like saying "people who disagree with others more, are more disagreeable".
Your point is very valid considering the caste distribution of Indian Americans. However,

The homicide rate of India proper is 2.9 cases per 100,000 population. That of Asian Americans is about the same.

The rate for African Americans is around 18
> If you look at these groups, you should see that many immigrants from Asia were already well off enough to immigrate, so in some sense mid-to-upper class of their societies.

There are actually many reasons why immigrants cannot be directly compared to native populations. A huge one, for example, is that you're not just selecting from those who are typically filtered according to some meritocratic criteria, but you're also filtering people who are motivated enough and sufficiently risk averse so as to upend their whole lives and move somewhere. This is what I meant by controlling for these factors.

In regards to viewing things from the perspective of race, I agree completely. I think that making decisions on the basis of race is functionally the core of racism. That being said, the people whose narratives I'm combatting are racial identitarians, they make arguments in terms of racial populations, and have to be addressed in such terms. i.e. if they say that America is a horribly racist country whose systems are dictated by white supremacy and patriarchy, the only way to tease these arguments apart is by pulling out racial statistics.
I was supposed to have learned the rolling r, since that's how it's pronounced in Romanian (my native language). It always came out as the french one though. Nowadays I can somewhat kind of do it for the common words so I don't sound terrible. I'm guessing with a bit of practice I can figure it out.

It turned out right though, since I recently moved to France. It makes learning pronunciation _much_ easier. My r is already perfect.
No! I follow the research on melanin, which has been revolutionized over the last twenty years. We need UVB and skin cancer is much less likely to kill you if you are a sunseeker. That said, every second day for heavy exposure is better for health and tanning according to another study.
Michael Burry is notorius for deleting his tweets, so the HN post link will soon be broken.

This is a copy in an archive of his tweets:

https://mobile.twitter.com/BurryArchive/status/1556004280695...

(I think he deletes his tweets to stop scammers from posting crypto scams in the replies.)
I think Subhankar has a good future ahead of him writing copy and press releases for startups.
You’re in luck, the article speaks to exactly that question!

Specifically, it says that the people “following mainstream consensus” are actually less likely to do so “blindly”, i. e. overconfidently.

So the answer would seem to be: rather low.
I want to put a $100 keycode lock [1] on the front gate so that each owner can have a separate code (and I can give my code to Amazon so they can easily deliver my packages). Myself and one other person are the only full time people in the 14 unit building, the rest are all short term rentals.

Right now, the other owners have lockboxes attached to an area on the gate and they give out the code to the short term rentals.

The board of the HOA refuses to switch the lock. Reasons have been all over the map, but one of the dumbest ones was that they were afraid the codes would get leaked out and that the other full time persons stalker would get into the building.

As an engineer, the simple logic baffles. I kindly pointed out that a code on the gate is no different than a code on the lockbox attached to the gate. Never mind that the building isn't secure at all... it is super easy to just climb the fence to get onto the property. Or her stalker could just wait till she opens the gate.

I've now had two deliveries stolen because they were left at the front gate for 10 minutes. They still refuse.

The 'horror' stories aren't really horror. It is just having to deal with people who you would never have to deal with under normal circumstances. I'd say this goes with owning any property in a city... you don't pick your neighbors.

[1] https://www.amazon.com/Schlage-FE575-PLY-626-ELA/dp/B001COEZ...
Yeah totally, that's how it works in Tokyo. Bikes are supposed to ride on the road, but if the road seems unsafe you can ride on the sidewalk. Even cops ride on the sidewalk here.

That being said, ebikes are partially banned here. Pedal assist is fine but full ebikes count as motor vehicles. I think it's a decent compromise.
I don't know anything about the subject, but I scored pretty high in overconfidence and I totally disagree with this scientifically sound, peer reviewed paper...
Just because someone is doing something, doesn't mean anyone can do something without Apple filing a lawsuit. The small players are small enough to fly under the radar. A consortium standardizing would be a target.
That would be interesting i know how it has personally effected me and others. All i can gather is that over time the people blindly following mainstream consensus are isolating themselves together and getting more and more radical ideas.
It's not a dupe: the release date was originally August 19, it has been changed to today.
>“I was worried about the flat organizational structure at Google; I knew it would be hard to help people on my team get promoted. I learned in the classes about how to provide career development beyond promotions. I now spend a third to half my time looking for ways to help my team members grow.”

This quote really reads as someone who drank the proverbial 'Kool Aid'. To me, it reads as pure platitudes and business speak.
Commit comments already are GitHub specific metadata.
From that link, 13 mini is 5.18 inches x 2.53 inches, while the iPhone SE 1st gen is 4.87 x 2.31.

https://en.wikipedia.org/wiki/IPhone_SE_(1st_generation)
> Consuming foods with ingredients derived from GM crops is no riskier than consuming foods modified by conventional plant improvement techniques.

In surveys, everything hinges on how you phrase your question. In this case, I'm compelled to agree: I don't believe there's a health risk from eating GM crops.

I do think GM crops are bad, though, because they are associated with strain patenting and seedless plants; because they contaminate neighbouring organic plots with non-organic DNA; because they are often sold in conjunction with herbicides; and frankly, because I hate the way their lobbyists act on our legislators.
dont confirm anymore guesses for them
I just want to say that “getting high” is a very crude way of describing a mushroom trip. I don’t really take them to have fun. It’s more serious than that. I take them because there are long term mental health benefits when taken with the right set and setting. (Research supports this claim.) When I had those thoughts about my parents dying, it was a subconscious fear of mine coming up from my mind, and it caused me to change my behavior to call and visit my parents more.

So I really don’t see it as “getting high”, and that’s why people call it a trip rather than getting high.

My point about the connectedness is that it’s not mysticism, that’s just how people really feel. Don’t misunderstand those descriptions as the person being more mystical than you. That’s how you’d feel on the right dose of mushrooms too.
What did it for me was just listening to _a lot_ of spoken English. Try to watch movies, youtube, listen to podcasts, etc. You need to feel it. And practice speaking to yourself or others.
Yay. Hope I get my copy soon. Assuming China doesn’t block it.
In my opinion this book is absolutely essential for anyone even remotely interested in computers! Charles Petzold is a true master!
Bootstrap with Ruby on Rails 7
I've already "completed" (and loved) nand2tetris. Would Code still be good to read?
The new post says it's now on general release, which seems pretty significant to me for such a good book.
Wow, Science has stooped to a new low. I could picture this in Pravda way more easily.

So Copernicus was overconfident in his anti-consensus view?
Or maybe just people that can't even run a basic personal risk analysis and simple experiment.

To trial it personally has potentially many orders of magnitude greater upside than downside, so endless pondering and postulating is totally pointless vs just trying it out and see if it works for you.

Tests and studies are not the most reliable way of indicating personal benefits or side effects, in numerous cases have been contrary, incomplete, poorly applied or calculated and represent a population (which may or may not be representative of your individual case).

Regardless, NIH seems to be on board, but feel free not to take it, or take it with a negative opinion and stimulate the nocebo effect - to a certain extent you get what you wish for and that works both ways.

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5664031/#:~:tex....
This one can be hard to broach with your partner, for intimacy reasons, but I think the switch benefitted us both.
Language model != Transformers. The scaling power of the transformer architecture allows LLMs to exist, but LMs are just one application of transformers. The architecture itself is extremely generic and is applicable to nearly every problem.

I'm pretty certain whatever comes after GPT-4 will still be using layered self-attention.
You might want to dig into what ResearchHub is up to https://www.researchhub.com/

If you ignore the web3/crypto aspect, they’ve got a decent start on what seems like a reasonably similar platform. They do all their dev and community building out in the open, so you can join their Discord and listen in on their community calls, etc. Might at least give you some ideas on what to target or avoid.
It's saying that people who hold anti-(scientific)consensus views generally believe themselves to be more well-educated than they actually are. That's a far cry from merely being disagreeable. It doesn't seem to say anything about actually knowledgeable scientists holding anti-consensus views, except insofar as to reiterate the thesis.
Not taking naps (even <30 min naps) and strenuous exercise.

Also taking a shower before going to bed, no screen time, light reading before bed, and not drinking water ~2 hours before bed.
I think the caste system of victimhood revolves around race, not ethnicity. Race, as we all know, is a social construct and thus provides the context.
Prior post was the announcement of the upcoming release, this is the announcement of the release. So not quite a dupe, and probably worth noting now that it is actually available (and available earlier than anticipated).
Yes, every function except the first one needs to have exactly one argument.

Others have also said that `pipe` is not an ideal name for the function. So perhaps renaming it to `compose` and have `pipe` be of the form `pipe(arg, funA, funB, ...)` (like you suggested for `applyPipe`) might be the solution. Will need to think about it a bit more.
SF or Austin will make you depressed man - people worry there too much about money and tech fame and less so about work life balance. Plus it’s expensive.

You may want to find a place where tech nomads hang out, not the hardcore corporate slavery techies.

From my personal recommendations: Bali (Canggu, Ubud), Mexico City, Portugal, Berlin, London.

Also, Tbilisi, Buenos Aires, Santa Teresa (Costa Rica).

Last three are not very tech-heavy, but very underappreciated from the overall lifestyle perspective.

Edit: also LA and Tel Aviv of course, forgot to mention as these are sort of defaults for me. If I’d pick one, it would be LA.

PS: All these recommendations come from very extensive personal experience!
This is the problem with framing the problem of online harms as an aspect of individual morality. Blaming the victim isn't helpful, nor is excusing the victim on the grounds that the activities aren't immoral.
In the Smug Lisp Weenie hymn book, it is written

But I think that
why only God can make a tree.

For God wrote in Lisp code
when he filled the leaves with green.

The fractal flowers and recursive roots:

Also in SICP, trees are all made in lisp.
b-ok.cc has the .epub available for free (but of course if you have the money you should support Petzold)
The level of paranoia nowadays is too damn high
You are probably right to the extent of multimodal for some tasks or for sensor input. But redlining a 200 page set of drawings to capture as built info is still different from assembling that set of drawings in the first place. I doubt it will be all or nothing. E.g., supporting field service will require generating particular views, but I don't see engineering review meetings skimping on monitor pixels, at a cost of N laptops per hour just to assemble a meeting.
I'm not assuming safe bicycle lanes are possible, I know they are. I've been to Amsterdam. Vancouver built fully separated bike lanes and they're immensely popular.

Second, standard European bike lanes aren't a thing. I would ride a bike anywhere in Amsterdam or Rotterdam. I would think twice before doing it anywhere in Italy.

And idk what you're talking about with walking being more sustainable, obviously you can go farther on a bike than by walking.
The abstract itself is already contradictory. How can a "controversial scientific issue" at the same time have "expert consensus"? If there was a consensus, then it would not be controversial. Or perhaps there's often not as much consensus as some people would like to believe.
https://archive.ph/DnP1T
"It ain’t what you don’t know that gets you into trouble. It’s what you know for sure that just ain’t so."

-- Source unclear, frequently attributed to Mark Twain
It is a deliberated, orchestrated effort to bark at the wrong tree which mostly arose after the 99% movement in the (successful) effort to divert.
Try the field of industrial design engineering / human-centered design / HCI. Huge growth and openness.
> All of that energy production has to go somewhere and grid-scale energy storage isn't feasible just yet. If it's not consumed, then it's just wasted.

Imo, this is the economic case for proof-of-work in cryptocurrencies as instead of shedding load into the ground or burning off gas, it gets refined into tokens that both store and transmit value. It's the missing feedback cycle in the economy. I'm suggesting a verifiably solar currency used for gambling will drive innovation in areas like graphene solar panels and other new techs. We can convert an energy storage and transmission problem into a financial securitization and risk problem that feeds back into driving optimization of the energy production problem. The sun is a verifiable random number generator that with a clock signal, the whole network can use it for consensus.

We may be talking past one another, but if macro grid economics and the politics around them are standing in the way of sustainable tech, we may need to route around them.
while I agree with you, this seems like obvious humor, and actually pretty funny. I push back on the idea that we have to be humorless evermore.
I don't have access to the full article itself, but isn't it testing the difference between compulsory schooling and a bit more compulsory schooling, rather than some school or none? To be sure, education is wider than school, but I find it difficult to believe that schooling doesn't make a profound difference, even if slightly more schooling shows diminishing returns.
Around 90% of liver disease deaths is from preventable risk factors (alcohol, viral hepatitis and obesity, https://ukhsa.blog.gov.uk/2014/09/29/liver-disease-a-prevent... ). We have the tools to fix to these (the main being more even distribution of resources in society) yet we don't.
Definite answer: https://www.youtube.com/watch?v=sTJ7AzBIJoI
That's strange. GCC is part of the stdenv on Linux and though always available.

To correct your coffee snippet:
nativeBuildInputs = [ pkgs.gcc ];
Pretty crazy is right.

The US needs to work on its violence problem. The US is a marshal society where killing people, as long as they are the currently officially designated people to hate and kill, makes you a hero.

Even though the most recent wars were illegal wars of aggression, there were "Support the troops" signs everywhere. The local dollar store even was collecting donations to send to soldiers in the illegal wars.

The US has been in a nearly constant state of war for its entire existence. It is possible to count the total years the US was at peace on one's digits[1].

The US military propagandizes our youth by paying millions to exert editorial control over content of movies[2] and video games[3]. It will cost Hollywood more to create a film critical of America's foreign policy than the DoD subsidized pro-US military propaganda, and that determines what films are made.

The CIA payed American journalists to ensure the "correct" narrative[4] regarding the US violence against the rest of the world[5] was reported by the major news outlets.

The American people have been fed a constant diet of propaganda with the aggrandizement of soldiers/police/lone action hero through violence. It is no wonder some people engage in violent acts (sometimes live streamed, and often using the same weapons / cosmetic look-alikes used in the propaganda) as a way to fame. And, with so many of our young people trained to kill, it is no wonder that this has caused problems when those soldiers come home.

[1] https://freakonometrics.hypotheses.org/50473

[2] https://www.defense.gov/News/Inside-DOD/Blog/article/2062735...
(this link is military propaganda itself)

[3] https://nofilmschool.com/military-in-movies

[4] https://www.thedailybeast.com/how-the-cia-paid-and-threatene...

[5] https://www.wearethemighty.com/articles/these-are-the-only-3...
> Cassandra B.C.

Cassandra was the priestess who warned the Trojans about the warriors in the Horse but she was ignored. She was blessed with the gift of true prophecy but also cursed that no one would believe her.