skysight-inc/HackerNews huggingface dataset:
> Tree shakers are not written because they ‘are cool’

Yeah this is all very serious business. Also, one of the most curmudgeonly responses you could have given.

> #sbcl is not THE Common Lisp community

This is not my sample size of one opinion. I’m just throwing one in the pot for the very widely held opinion of the Common Lisp community being curmudgeonly.
This is not a statement of faith, it is a statement of law. Once you are dead you have no rights and any possessions, claims, and liabilities pass to that legal fiction we call your estate. Perhaps there is some non-Western culture that handles things differently, but other than the estate being more of a familial construct rather than a legal one in some instances I am not aware of any deviations from this of any significance and look forward to being shown a counter-example.
A lot of people are saying they declined to continue interviewing after receiving a take-home programming assignment that was too difficult to do in the expected timeframe. I wonder if the better tactic would be to simply tell the recruiter that it's too difficult, and see what the company says.
Now imagine it isn't YouTube but some other more significant privatized service near monopoly status, say a local grocery chain or car rental company, and they enforce a "policy" (say banning you) that is now difficult to separate from a law other than you have no voice and little recourse for action, especially as an individual.

Privatized monopolies are in general small totalitarian government regimes that reign over specific functions (markets) of life. Real competition is what breaks those regimes into a democracy where you can somewhat vote with your purchase decisions. We still have to watch out for cartels though where multiple near monopolies agree to stay out of each others territories or collude to set market practices.
We have conflicting information, One is that Tesla only has $900M Net Cash before the $2.4B raised, and how it needs to use half the $2.4 to service debt that they previously hold, and assuming the recent burn rate of ~$200M per month they will only have 10 months left.

Another is Tesla had ~$2B Cash before the raised, ~$2B Receivables, and newly $2.4B Cash raised. Not sure on Net total, and he $200M / month burn rate is only last quarter figurer and not a representative trend.

I don't know which one is right or which one is wrong, I don't have time to dig out figures either. But this proves even basic numbers that are wrong ( Assuming one of them are ) could easily be spread out.
Recall that the Ptolemaic Kingdom was created out of the break-up of the Alexander the Great's empire. The Wikipedia article gives 320BC to 30BC. Its leaders were Macedonian Greeks. The Greeks had trading cities along the Italian Peninsula as far back as the 600 BC era, in part to trade with the Etruscans. It's not that difficult to conceive of this cloth(250BC,) being included in some trade shipment that ended up in Alexandria and then carried up the Nile to Thebes.
https://www.nytimes.com/2018/04/26/health/serial-killers-gol...
I've gone to ultras. You really need to have a range for the elites vs. everyone else. It's a very inclusive sport and you have participants that are fairly overweight even. Based on what I recall from my college track days where I knew my teammates' body fat percentages (4% to about 10%) I'd estinate that most elite men are at the lower end of that. Also because most men have more muscle mass their metabolic resting rate is higher so that definitely could be part of the reason why women and men peak performance is so close in ultras. They are using 10 to 15% more calories per hour I'd estimate. Also on a hilly course they need to tote that extra mass up a lot of extra climbs.

I am surprised no one has mentioned Ann Trason that won 13 (iirc) Western States and used to win many ultras outright.
I don't know if it'd work the same way, but I've had a lot of success with Twitter's Pex files. They package an entire Python project into an archive with autorun functionality. You distribute a Pex file and users run it just like a Python file and it'll build/install dependencies, etc. before running the main script in the package.

I used it to distribute dependencies to Yarn workers for PySpark applications and it worked flawlessly, even with crazy dependencies like tensorflow. I'm a really big fan of the project, it's well done.

https://github.com/pantsbuild/pex
Is this the one deployed? https://evannex.com/blogs/news/lamp-post-charging-is-coming-...
Teach them C. Get the screen flashing.
I've never coded Rust - is there any distinction between a really important crate used by millions of people and something really obscure with 3 users? Are all the crates subject to security audit?
https://news.ycombinator.com/item?id=19945452
Heavily used in hardware design and verification.

Equivalence checking, logic synthesis and optimisation, formal verification, etc.
Swiss voters approve tighter gun laws, lining up with the EU
I dunno, Python is the epitome of a "meh" language. Guido has help Python back with his antiquated "get off my lawn" attitude since he created it.

The language itself is inferior in expressiveness and performance to almost any other modern language. The only reason anyone uses it anymore is the network effects of the library are very strong, especially is fields relating to ML and data science.
previous large discussion: https://news.ycombinator.com/item?id=19945452
Africa's digital economy needs support
Your friends uploaded their contacts and your number was in there.

All Facebook did was a simple match. Nothing crazy or nefarious.

Sometimes it really is that simple. Your phone number isn’t a secure, hidden piece of data. It’s scattered around and anyone you’ve ever give it to is at risk of disclosing it to a 3rd party, whether it be a website or another person.
Not clear there's any intent to censor here by the courts, so much as mediate a dispute between two equally disreputable vendors of bogus lie detection systems.

More concerning is the fact that so many large law enforcement institutions continue to use these systems even after the fact of their ineffectiveness has been established beyond a reasonable doubt. If such institutions cannot weigh and respond to evidence correctly as it relates to their own investigatory methods, why should we have any faith in their ability to handle evidence correctly in the course of those investigations themselves?
In short, the dude surfs the AI investment wave with absolutely no clear plan.
Parallelism allows multiple threads interleave with each other. It does not guarantee parallelism (two or more threads executing at the same time). It's similar to multiple threads operating on a uniprocessor system, with the difference that I/O can happen in parallel.
Modern swift, c++ and java/.net/electron/old objc are a completely different ballgame.

Sure everything can be reverse engineered, but the last 4 are so much simpler to RE. This is like saying all normal doors can be easily keybumped, so let's just leave the doors away.
It’s not infix, but keyword args which have been part of lisps since at least the cltl2
Let's go a step further: imagine living in a new company town that Google bought/built. Three DMCA-claims and you're in violation of TOS, all your content (including what's in your apartment) is deleted and you're kicked out of town and driven to the town limits.

I'm sure there will still be people here who are quite happy with that because "it's not the government doing it" and they reckon they're not next in line for the same treatment.
I think the best way to practice math has already been discovered. Get a book, pen and paper, and practice math problems that are very challenging to hard for you. Do this day out and day in.

Problem? ... It's not very fun. You always feel frustrated and dumb because you don't understand it. So you'll eventually stop practicing at all because you feel like you don't make any progress.

Same thing with chess; play only with Grand masters (if you can find them) and after a few years of getting your ass kicked, you'll eventually get good. (Disclaimer: I only skimmed the article)
> This character has all the hallmarks of a quack. The judge's decision is questionable at best.

This is an adversarial system, not an inquisitorial one. It's not the judge's job to decide the truth of the matter without briefing from both sides. If one side doesn't show up, that side loses by default because otherwise it would be advantageous for a party being sued to just not show up to court.
Do you have any idea of the volume of internal complaints that is going on? Obviously not, you only see the things that get leaked.
The media believes it works, so not agreeing to take one can be used in the court of public opinion to ruin a reputation.

For example there's currently a women missing in Hawaii this week called Amanda Eller, her boyfriend was given a lie detector (which he "passed"), the police announced he wasn't a suspect and his test pass. Imagine if he had said "hell no!" as you yourself would.

That's the problem. Police keep using something that doesn't work, but if you refuse they will take the refusal itself as suspicious and the media will find out. It may not hold up in a court of law, but good luck ever getting another job with google returning articles about how you MAY have killed someone.
The Forensic Brain Wave Analysis (FBWA)is supposedly nearly foolproof. Although anything that's declared to be infallible makes my BS detector go off.
Top ‘Live-Streamers’ Get $50k an Hour to Play New Videogames Online
You say Google et al want people who don't just "do what they're told", yet one of the most distinguishing aspects of these places is a hiring process that specifically selects for people willing to jump through absurd hoops and full buy-in to the corporate mythology that doing this means you are simply better and smarter than anyone who doesn't.

That's not how you foster counterculture. In fact, that's probably why Google went so long without any internal employee conflict.
Not only noise but also the reduction in emission is huge. Consider the recent court case in London where the question is whether air pollution killed a girl as well as a recent research indicating that air pollution, especially in cities, is impacting health much more then previously thought
If the claimant takes you to court and loses, there is no penalty, I assume? There's punitive damages in the US - any chance that would be applied to such a case?
RxRS Scheme has mutable conses as well. One of the reasons Racket isn’t called MzScheme anymore is that its primitive conses are immutable (iirc)
Unlocking New Capabilities for the Web (Google IO 2019)
Home computers didn't ship with compilers either. On an Atari ST you had the option to get a commercial C-Compiler from DRI and Megamax. The DRI compiler suite required you to disc-jockey multiple floppies to compile (in two stages), and then link the final executable, where intermediate object files had to be stored on floppies as well. RAM disks only helped so much on 1024 or 512 KB RAM.
> It's not bits of litter, is information you may not want to share.

I'm sympathetic to that, and if someone wants to draw up legislation around the use of DNA without some kind of due process I'd be supportive of that idea.

But it would be very difficult to regulate the collection of DNA, given existing law on property rights + the fact we spew it everywhere we go in the form of spittle, skin cells, sweat, etc.

Also, the utility of DNA for the purposes in the article is only present when it's tied to a person. It would be a massive undertaking to plan out sifting through everyone's garbage 1 by 1 to build a DNA database.

There's much less of a privacy threat from someone collecting unknown garbage, and if you're not a suspect in a murder it's unlikely in the near future anyone will steal your trash specifically.
Only Immigrants Can Reverse America’s Baby Bust
Ownership of land by those without Skin in the Game can easily lead to this sort of thing. Times 1000 when by a politically hellbent bureaucracy.
Here's the entry at the NNT site for daily aspirin [1].

[1] http://www.thennt.com/nnt/aspirin-to-prevent-a-first-heart-a...
> However, the power in the lie detector comes from its name - "The Lie Detector" - and the common belief that it actually works.

In this case no need develop and pruchase a non fuctioning product that may or may not be abused by the legal system, just make up a story: that little box in the corner is a "100% accurate voice lie detector" and be done with it.
It’s simple, scalable, powerful, and modular. They put four of them in the Semi.

Connects with 4 bolts and 3 wires. Drops out for easy service, it’s an extremely impressive piece of tech;

https://youtu.be/m4eQ7nN_Lwo

https://www.teslarati.com/tesla-model-3-drivetrain-design-el...
I don't think Python is worth using for most new non-data science projects nowadays. The language is ugly and hard to work with. Also the performance is terrible.
Exploring the Social Demographics of New York Schools
I've always assumed it's just two normal distributions overlapping. Where the tails reach both ends (it's possible to find men or women being the best and worst). But where the centres are offset by some amount.
The set may be larger than reported. E.g. I didn’t sign the Maven petition because I was up for promotion and work in Cloud.
Interestingly, there is a legal term related to one-sided contracts:
https://en.wikipedia.org/wiki/Unconscionability
I didn't mean to say that SPAs were easier at all. They're not. I think they're under most circumstances much harder than traditional webapps. That being said, my experience is that users and in my case clients are starting to expect SPA features and it's harder to try and coax extensive SPA functionality out of a traditional web app than it is to just write a SPA.
Yes, it's a similar idea. The only difference I can see is that in our library, the dependencies are automatically tracked, and there is some additional clever scheduling around when a function should be run.
> If __ are so great, then it should be possible to summa­rize their bene­fits in concise, prac­tical terms. It should be possible to demon­strate the power of __ in one hour, not 100. If __ advo­cates refuse to do this, then we shouldn’t be surprised when __ remain stuck near the bottom of the charts.

This paragraph seems like it would be equally true for almost any subject you filled in the blanks with.

As someone who had to learn a foreign (natural) language in school, I can see the benefit now, but there's no way I could explain it, and certainly not in an hour. It's a type of learning which causes a change in how you organize things you already know. How do you sell that?

(No, I don't believe "so you can talk to people in that language" is a realistic benefit. I don't think even my school thought that. The selection of languages offered is simply not useful. I've never met anyone this side of Stuttgart with which to use my German. Of the top 10 non-English languages spoken in my state, only 1 was offered as a class at my school. It almost looked like they went out of their way to find teachers in less common languages.)

(BTW, that's also the same answer as "If Lisp is so great why isn't anyone using it?" It works for any subject. If trig is so great, why aren't you using it? If music is so great, why did you stop playing after you graduated, and were no longer required?)

I'm not trying to downplay the importance. It's a real problem, for many fields. As a Lisp programmer, it's my nature to try to sell everyone on learning Lisp even if they won't use it, and also to over-generalize problems to nearly the point of absurdity.

How do you get someone to want to learn something when it may have no immediate and apparent practical value to them? Especially today when their whole "learning" slice is competing with Netflix and Facebook and all the rest. I guess the trendy answer right now is something in the neighborhood of "freemium gamification" and for reasons I can't explain that makes me sad.
In the recorded interview, Sam Altman says climate change is such a hard problem that we need strong AI first to solve it. I have doubts about this for several reasons:

- Human psychology is one of the biggest obstacles (maybe the biggest) in solving climate change, and I'm not sure how a strong AI is supposed to fix that.

- Building carbon-neutral energy sources is a hard problem, but most experts are optimistic about our ability to solve this (for example, nuclear fusion).

- Considering that we have no idea when this strong AI will be ready (Sam acknowledges it in the interview), it would be dangerous for us to just rely on such a breakthrough to save the climate (and save our children, grand-children, etc.).

Edit: I'd be happy to know a bit more about how a strong AI, such as envisioned by OpenAI, could solve climate change :-)
This was a fine recap; I’m surprised more hasn’t leaked to the press. Google’s culture is shifting for the worse, but I won’t give specifics because that would require leaking.
Death of the Warrior Professor Hassin Mabrouki
What Are Cybersecurity Labs?
In my current project, I started using a SMT solver to type a language I'm compiling (find out the "best" types for every expression). Then I also used it for storage ressource allocations (finding out which programs should store their output so that later retrieval is the cheapest), and then again to layout some graph on the GUI; and I have another similar use case already in mind.

Of the many ways to solve a complex problems that we have on our tool box -- algorithms, neural networks, constraint solvers -- I would totally agree to say that solvers are underused. But when you get used to them it's not hard to find use cases.
But which test, and how many whales?
I suppose it's all relative, but at least in Rails, while I suppose it's trivial in an absolute sense, it's much harder than doing stuff "the rails way."
"The reaction to telling the suspect this, and what they do next, could very well result in a confession"

... sure, you can extract "confessions" using all manner of lies and pressure tactics like this. A person who is persuaded that the machine is 100% accurate might just decide there's no way out and play along with confessing in the moment because they have no other alternative and it's a very stressful and unusual situation to be in. These are not what I'd call reliable confessions or meaningful information though.
While being a general purpose programming language, Racket is intended for Language Oriented Programming[1]. I was looking at Lisp Game Jam 2018's submissions when i stumbled on this game https://euhmeuh.itch.io/lisp-vs-blub-empire. The author made a throwaway language by wrapping Web Assembly intermediate language into racket using less than 250 lines of code[2]. This is what Racket is really about; an environment to quickly create a specific programming language for a specific problem[3].

[1] https://en.wikipedia.org/wiki/Language-oriented_programming

[2] https://github.com/euhmeuh/wasm-adventure/blob/master/src/wa...

[3] https://felleisen.org/matthias/manifesto/
> Yeah this is all very serious business

It's work and SBCL is maintained mostly by volunteers, who may have their own agenda. Sometimes there is funding from commercial projects. So far maintaining a treeshaker wasn't high on the agenda, even though the project runs for some years now.

If you shell out serious money for your 'very serious business' the commercial implementations Allegro CL and LispWorks provide maintained tree shakers and all kinds of fancy application delivery features.

> throwing one in the pot

not very motivating...

You might check out the link I've gave you above, instead.
No doubt. Twitch is also pretty easy to get in contact with regarding any content disputes as well, at least in comparison to YouTube.
For context, it's important to know that these are probably cherry picked samples. The authors make no mention of attempting randomly select these samples. For as long as text-to-speech has existed, there have been impressive demos backed by cherry picking.

The 3 Dessa team members did not in 3 months of work create anything innovative probably. Rayhane Mamah, one of the Dessa team members, had previously published a Tacotron 2 (Google's 2017 research) implementation (https://github.com/Rayhane-mamah/Tacotron-2) that has similar noise/distortion and intonation/prosody issues as their "RealTalk model".

Following on the above, Google's TTS research already demonstrated human-parity as measured by MOS score in early 2018. That research was deployed as Google Duplex in mid 2018.

Google's TTS research also showed the deficiencies of this technology. Without the invention of AGI, the TTS models do not understand the underlying text; therefore, it'll be unable to do more "complex things with intonation/prosody". Furthermore, the models suffer from overfitting. The model performance degrades significantly when performing TTS on text not typically seen in the training data.
AMD "just works" even without installing the binary blob from the vendor.

as a matter of fact, there is no need to install said binary as its most likely already upstreamed to your distribution of choice.

but nvidia still reigns supreme if we're talking actual performance ... at least after you've installed said binary blob ;)

and i can say from personal experience that the nvidia 10x0 drivers were terrible in the first ~6 month after their release. fan kept jumping between 10-80% for example. Haven't had any issues in at least a year though, but i'd expect the same kind of issues on any new chipset by nvidia, as they havent open sourced their drivers
That's not how that law works. The safe harbor protection in the DMCA is for Youtube, not their customers. It protects them from legal action by copyright holders as long as they honor the process spelled out in the statute.

There's absolutly no law requiring Youtube to host whatever content you want them to. Nor should there be, really.
What happens if there's two claims? Could a YouTuber do something along the lines of just lodging claims against their own videos in order to prevent others from lodging claims?
FWIW, stylewarning in #lisp was offering to pay someone to finish a tree shaker someone had started for sbcl, so it’s not the case that no one is interested in your project.
not FUD if it is true even without citation (you are allowed to do research on your own)
"Yet it's been used by police around the country to elicit confessions and convictions, according to ABC."

Well, getting somebody to confess by lying to them is legitimate in the US. In this case, the police tell you you're hooked up to an accurate lie detector, and the accused decides to tell (what the court will accept as) the truth. This seems reasonable.
What area do they lead? Is it the same area (search) in which having massive stockpiles of data is a huge technical advantage?
Yes, yes, yes. I've made this comment a few times on here but tools like MIP solvers are vastly unknown since they didn't take on a sexy name when they started out. However, they can outperform most heuristic based algorithms, and even solve some of the largest problems. It's how the NFL makes their schedules oh, and you can imagine how complicated that is.
If it becomes self-improving and more intelligent than humans, it can figure out how to expand out into the solar system to take advantage of stellar energy and asteroid resources.

There is more energy and valuable matter off of the Earth.
Phishing: Using an Email Server Against Itself (2018)
A couple prior discussions:

https://news.ycombinator.com/item?id=9268904

https://news.ycombinator.com/item?id=8206038
Show HN: UXY – adding structure to Unix tools
What about them? Serious question. Has the sum total of nuclear testing had any measurable environmental impact at all?