skysight-inc/HackerNews huggingface dataset:
Is an implementation compliant if it ignores this definition for the sake of performance?

One nit with this definition is that it implies the car of a number would be a well-defined operation. For complex numbers, it would be natural for car to return the real component.

I admit, it was surprising you are defining numbers at all. It’s tricky to pin down a good definition that isn’t limiting (either formally or for implementations).

I once got most of Arc running in JavaScript, almost identical to your original 3.1 code, and FWIW it was very fast. Even car and cdr, which were implemented in terms of plain JavaScript object literals, didn’t slow down the algorithms much.

But I suspect that requiring that (car x) always be valid for all numbers might be much more tricky, in terms of performance.

I apologize if you have already explained that implementation isn’t a concern at all. I was just wondering if you had any thoughts for someone who is anxious to actually implement it.

EDIT: Is pi written as 31415926 over 1000000?
Yes, costs of larger E-Ink display have been prohibitive; I've been told its due to the low volume production.

Btw, €100 Hisense E-ink display phones are supposedly about to hit the market[1]. Perhaps they have their own factory or has found ways to minimize the cost, if so it should be worthwhile to check them out.

[1]:https://www.youtube.com/watch?v=ZzfmvYWUwB4
Most scientists are not software engineers so would not know about comprehensive testing. This was an eye opener to me when I moved from academia to a scientific software company.

The situation is improving somewhat as many grad students open source their software in github. Then have include their makefiles, documentation, and some tests. In earlier days we we software engineers would roll our eyes when management suggested using 'free' university code to save money. Sometime bringing such software up to professional industry standards took more work than starting from scratch from published papers.
Lex Bezos v. Tony Musk, they look the parts.

Elon, please grow a goatee
I think even before this "scandal" Stallman's extreme ideology has only further alienated GNU. Stallman should have been out years ago.
There's definitely a big push in that direction in the scientific community right now. More and more tools and pipelines are getting distributed as containerized workflows.

Big projects have realized the need to make their code available and versioned just as they do their input data, side by side with hashes recorded all the way along and reproducibility made as simple as possible. Now we're starting to see it trickle down into less organized/large/disciplined projects as well.
History threatened as Turkey prepares to flood ancient city
you're welcome! =)
You seem to be confusing the billboard device with the alternate mode negotiation. The billboard device is a normal USB device which shows up once the alternate mode negotiation times out. The alternate mode negotiation happens on the configuration pins over the USB-PD protocol.

The alternate mode discovery is initiated by the host, so the only way the hub could change which alternate modes it supports would be to disconnect from the host (unplugging all the devices on it, which would be particularly bad if some of them were storage devices).

(Also, I believe HDMI alternate mode with USB 2.0 is possible. The only alternate mode I know of which changes the meaning of the USB 2.0 pins is VirtualLink, which uses them for USB 3.x instead.)
Reminds me the story of the philosophy student who was asked to write an essay about "What is courage?" and handed a single page with the words "This is.".
The promise of phase-change materials
And you'll never know if you get the real thing with all the counterfeits they mix in
Did you recently get laid off from the TSA? The only purpose your "threat level" categorization of social issues serves is to marginalize viewpoints you disagree with under the brush stroke of "progress at any cost." There are conservative values that are deeply necessary for a free society to function and that afford people the privilege* of criticizing their freedoms in the first place. (*well actually a right but rejecting civil rights in favor of 'wokeness' is so hot right now)
I’ve never, ever understood this
This comic does a great job describing the problem with arguing on the internet.

https://www.smbc-comics.com/comic/2013-04-07
Anyone else remember the website "Real Ultimate Power"?
You can also install Crostini and install Firefox inside the container.
I think at the end of the day, the question is whether a compiler for this type of language could efficiently handle a function like distinct-sorted:

> (distinct-sorted '(foo bar foo baz))
(bar baz foo)

This is a function that usually requires efficient hash tables and arrays to be performant, a hash table for detecting the duplicates, an array for efficient sorting. However, both the hash map and array could theoretically be "optimized away", since they are not exposed as part of the output.

A language like Bel that does not have native hash maps or arrays and instead uses association lists would have to rely entirely on the compiler to find and perform these optimizations to be considered a usable tool.
One could wonder if these values were to be spread all over the world, the companies would be forced to follow them everywhere, even if it's just PR. For example, Nike wouldn't be able to enforce that cruel work environment on children overseas because it would have to honor the same values for good PR even in that foreign country.
One of my favorite reads that has helped me navigate this post fact society is the short essay “On Bullshit” by Harry Frankfurt.

https://en.m.wikipedia.org/wiki/On_Bullshit

It truly nails down the argument that bullshitting is far more dangerous than lying. With the current political climate it helps make a lot more sense of the craziness.
Axonal transport: driving synaptic function
Yeah you can do optional static typing in common lisp:
https://medium.com/@MartinCracauer/static-type-checking-in-t...

The typing discipline in strong. I think it also has type inference but I'm not 100% sure
You apply for the CIA/Navy Seals or your local equivalent and do VERY well in the admission test.
It’s too bad that the code and correction seem to be locked down, but the linked Twitter discussion has an explanation [1]: the code expects Python’s glob to return a sorted list of files, but it doesn’t guarantee this (the main fix is to sort the result). I had thought reading the Vice article that this would be about case-sensitive vs insensitive filesystems.

[1] https://mobile.twitter.com/bmarwell/status/11818211438352015...
What is TFA? Brief web search didn't help
Whats the current state of git submodules? It seems like you could get some of the benefits of mono-repos in that you can reference dependency projects directly like a mono-repo. You can, in theory, treat many projects like a single code base.

I don't see it used very often though. Why not?
In my opinion, it’s better not to have these discussions at all. The probability that they will be productive is very low. Unless you are an activist or a thought leader who is actively trying to change public opinion, your time is likely spent better elsewhere.
> Pedagogically, the challenge to teaching linear algebra is that you start with "here's systems of linear equations, we can put them into matrices and now here's row operations to solve them," and you end up with "now matrices are actually representations of linear operators on vector spaces, let's analyze the properties of this specific operator." Usually, this is also coupled with a reluctance to actually discuss vector spaces, since the meat of it involves abstract algebra, which usually comes after linear algebra.

There are many, many linear algebra books. There is not just one approach; it all depends on what audience the author, or author team, is writing to.
Revealing the bullshit is really fun. Can you add a feature where it somehow tells you which word it replaced?
Comparing keys is interesting, it’s a way of versioning the set of credentials you’re using.

Here I meant dumping staging values and then comparing prod values as retrieved to staging ones. As in, only compare values in prod as they are used by a deploy script or system configuration tool. That said, if you have one server, one place where secrets are kept, then it’s probably safe enough to send non-prod secrets to servers as a way of ensuring the secrets are invalid. Meaning, you don’t actually need to know the prod secrets to test staging or known weak secrets against prod.

That said, if in practice your secrets are randomly generated as services deploy, you’ll likely need to validate by observed behaviour rather than using hard-coded credentials. And if you’re practicing blue/green deploys, then staging might be just as production as prod...
Yes, and that prevents duplication of work when it's time to upgrade: https://github.com/microsoft/TypeScript/issues/33272
Being stonewalled by bureaucracy with no explanation given is nothing new.
Don't rush your child into ninja school like I did. We got my son's prophecy mixed up, he's 6.5 feet tall and blond, and ninja credits don't transfer to viking school.
Seven minutes between that comment there and this one here. Arbitrage.
Decent behaviour respectful and inclusive to all?
So if we've got 29 seconds to study copernicium atoms' properties before half of them have decayed into something else, is that sufficient time to create and cluster enough of them to know anything?

There must be some way of defining "liquid" and "melting/freezing point" that's quite different from me putting an ice-cube tray of water into the freezer.

As fascinating as the theoretical relativity/quantum thread here is -- I'd also be interested in knowing more about the plain old observation techniques that let us know anything about predicted liquid properties during this very short observation interval.
I don’t accept non-constructive proofs that require “constructions” as being valid. (Diagonalization is another invalid technique in my book.)

So there’s at least one of us.
I like the (English) syntax of the article. It seems to have the same concise feeling as the language itself. I like to think that's why pg chooses falsity over falsehood.

It's a little strange to have (id 'a) return nil. Also having car and cdr as historical holdouts when most of the naming seems to aim at an ahistorical stylistic.

Not very deep remarks, since I would need more time to digest.
It'd be nice to be able to press Back and have it revert.
Yeah and here come the fanboys with their downvotes.. jeez.
A couple of years ago I looked over the alignment software used in a bunch of genetics studies and spotted a pretty trivial mistake that caused mis-alignment of the strings. This in turn led to wrong conclusions about the order in which mutations took place. This sort of thing is probably quite common: biologists are not computer programmers (though the combination is for sure occurring), they tend to treat the computer programs in roughly the same way as they would treat lab equipment, stuff goes in, other stuff come out. If it looks good and seems to work then it probably is good.

But the complexity of the software is such that you need to check very carefully whether or not the software operates in the way you expect it to.
No one is competing for the real estate. Easy access to water -- albeit salinated. If you get outside of the 3 or 12 mile limit, there are no taxes. No government.
Why did you start your company? I'm imagining it's not to work for someone else. If so, tell them "thanks, but no thanks"

Perhaps when they see their competitors will be the ones using it first, they will change their tune.

Also, get a good lawyer w.r.t. this company and anything you sign with them.
"Very good compensation" - haha, unfortunately not true.

Well... they get "milk coupons" though (to literally get a couple liters of free milk per month), as a "sorry" for the exposure to the dangerous environments and toxins at work. It's more a legacy inherited from USSR where it was largely believed that milk reduces the danger of hard work envs, removes toxins:

https://ru.wikipedia.org/wiki/%D0%9C%D0%BE%D0%BB%D0%BE%D0%BA...
SBCL is quite fast for a lot of things. I used to use it frequently for research projects that required performant code, and it generally wasn't to difficult to get within a factor of 2 of c code, though getting much closer could be hard. I haven't really kept up with it recently, but it regularly impressed me at the time.
I used to think I wasn't smart enough to read academic articles. Then I realized that most of the authors are just terrible writers or deliberately make their papers as difficult to read as possible to obscure or exaggerate their findings.
'The Fine Article'
To be clear it was a joke. Jeesh
The Starbucks crowd about sums it up yeah. Its a luxury brand now. A fashion accessory. No thanks.

I dual boot Windows and Pop OS (basically Ubuntu) with my new machine. So far the only thing I miss is the seamless messaging experience that iMessage brought to the table and Logic Pro (I'm using Pro Tools now and I hate it). A MacBook pro of similar specs to what I just bought cost over 4 grand. Double what I ended up paying in other words. Worse, what I get is a broken keyboard, "features" I don't want (touchbar, usb c for all the things, thinness for the sake of it) and a total lack of repair-ability. I specifically picked hardware that is upgrade-able and repairable. My new machine can be broken down and built back up, parts swapped out, etc all without voiding the warranty. All the screws are standard size and easy to replace if you lose one. Stuff like that. Contrast that with Macs with their glued down batteries underneath the motherboard. Its just upsetting to see it go this way after being such a fan for so long.

I'd be fine with paying a premium if I was actually getting a premium experience but that's not the case anymore.
They’re formed from smashing zinc and lead atoms at relativistic speed so their perceived lifetimes would be longer at a rest frame. You got me on how to turn that into useful science though.
I never made that claim that you're suggesting. What I did imply was that the term 'power user' is broad and just because apple's PCs don't work for a specific individual's use case, it doesn't mean that they're not for power users. It simply means that Apple fails to meet that person's needs.

A data scientist reliant on CUDA cores on nvidia hardware won't find a mac very useful because there aren't any current apple computers that have an nvidia card in it. Still, a musician or film editor might find a great workflow with mac hardware.
I did and I read your other comments in this thread as well, all but one seem to be unnecessarily negative about this man's achievement.
> Google must be forced to open up Chrome to third-party extension stores.

How about instead of acting as a victim and waiting for some government technocrat from the consequences of your own choices... Just stop using Google-Chrome?

IT's not a monopoly when there are other good browsers you can use.

In fact the only real monopolies that exist only due so in conjunction with government through some special grant of privilege.
You do realize that Apple itself has no interest in "freedom of speech" for the people in China? Unless it would mean more money for them, then they would for sure care. They don't do decisions based on what's best for humanity, they base their decisions on what's best for their shareholders. Even if the ability for people to communicate is nice, it's a side-effect of what Apple (or any for-profit company) really wants.

"On the other hand, if Apple were to collaborate with the Chinese government on providing backdoors etc., it would be a whole other story. " Then I got news for you! Everyone in China who is using Apple (with their nice ideals and everything) and using iCloud, have all their data easily accessible to the Chinese government, as iClouds servers are run by a state-owned company.
The spontaneous social justice movements of the past 10 years were not actually spontaneous, their origins have clear lineage back to the 60s and 70s, and the mechanism used to affect this social change helps to partially explain both why it has come about in the form it has, and why some of its less savory elements were not filtered out by the usual process.
That site does not cover the Salvation Army's political activism wrt LGBTQ+ rights. Take a look at: http://www.abc.net.au/am/content/2012/s3532177.htm
It was revealed the FBI poses as Russians when doing their digital operations; maybe that's what they meant.

Tor absolutely spreads US propaganda. The "clear net" does too. The utility of Tor is that it prevents that clear net propaganda from being firewalled.

In the case of Hong Kong, we know who funds the terrorists. They meet with them in person and have been photographed, and the US makes no secret of how much they spend on terrorism in Hong Kong. But I still wonder how guides and instructions are given to the right people. Having read many CIA documents written to terrorist groups, I do wonder how they send these to HK terror leaders in the digital age. Tor is a candidate. Number stations, I kinda doubt.
MaxiVista was first with using a computer as a 2nd screen. Loooong ago in 2003. later there also was an iOS App.
The bit about artificial gametes from skin cells is intriguing to me.

I find our species procreation to be crude and inefficient and too random. Sex is a sensory experience, but procreation process is just messed up. It doesn’t seem like an elegant or intelligent design.

Having said that, the idea of cloning self as a form of procreation+immortality is appealing to me.

How would that work? The podcast doesn’t delve deep enough into that subject.

[quote]Sex, reproduction, and marriage have been linked for most of human history, but today that paradigm is evolving. This season of Anatomy of Next we’ve looked at every aspect of turning Mars into a habitable world. Now what about the changes in biology that are going to alter the way we populate our world? From artificial gametes derived from skin cells and genetically-modified embryos to artificial gestation – this is the future of sex.[/quote..]
When I was college age, I did habitat for humanity, and was pretty useless.
Just a couple adults did 90% of the work. If anything I was slowing them down
by asking for direction. It's like open-source projects where most of the
contributions by student lookie-loos are worthless. Shout out to this effort
nonetheless. Building physical structures (as opposed to software) truly
engenders a sense of accomplishment.
There seems to be some kind of error: I ran this on my forthcoming study of cow manure and it translated the whole thing into business speak.
What if I'm kind of all of them? Eternal damnation?

I've always strived to write beautiful code - for things people find very useful - in ways that push boundaries for what people think is possible with the machines we use.

I have succeeded in balancing any two of the above, to terrible detriment of the third. Never been able to juggle the 3 at the same time and this bothers me a lot. The upside is this pushes me to learn a lot, downside is I'm never content with my craft.

I'd have loved to solve domain specific important problems with a domain specific language I craft with a LISP and have state of the art performance while doing so.
On what grounds is it argued that humanity operates on "content" grounds? If the stuff in my head operates purely on syntactic, formal, biological, chemical, physics methods, then the introduction of semantics or "content" is a red herring, even if you argue that multiple humans is the magic factor, it seems to me.
> What's a NEW Google product that you actually like (that they didn't acquire)?... It seems like they give a half-assed attempt at creating new products as a way to keep skilled talent at Google rather than having them leave to work for Facebook or Apple.

What new products have Apple or, seriously?, Facebook created that you actually like?

Pretty sure people aren't leaving Google for Apple & Facebook because they want to build good new products.
I think one of the most forgotten "rules" is that it's okay to disagree. Usually once a group realizes that, it opens up a window of opportunity where you can transition from an argument into a conversation - in which the different positions are being explored with curiosity.
"The words appeared when her professor heated the paper over his gas stove."

Heating super-thin paper over the stove? Wasn't the student taking a big chance her homework would go up in flames?
> this proves that too many discussions on StackExchange are about people and not about technical issues ... They should focus again on technical issues

StackExchange is a network of Q+A sites covering a diverse range of topics, many of which are non-technical by design.

I think you might be confusing StackOverflow, the original and most popular technically-focused programming Q+A site, with the broader collection of Q+A sites this policy is addressing.

Unless you're suggesting that all non-technical StackExchange sites should be shut down, which is a bit more drastic.
Just to add, there are a few websites that have horrible search engines, like Reddit, so I do the same, but use my primary search engine's URL scheme specifying which site to limit the search to. For example, if I wanted to use "reddit" to have Google search Reddit instead of Reddit itself, I'd use something like:

https://www.google.com/search?q=site%3Areddit.com+%s

Of course, you can use any search engine you want, such as DDG. You just have to figure out the URL scheme for limiting the search to a specific domain and include it in the search URL when adding it to Firefox (or any other browser that lets you manually add search engines and keywords).
I don't give a damn about CUDA. I'm talking about shoddy hardware and first party applications. None of this is programmer-specific. The decline of Apple product quality effects a broad class of users.

The term "power user", used originally upthread, is contrasted with "starbucks crowd", e.g. people who stare pensively at their computer without actually touching it, trying to look cultured and sophisticated with their luxury computer. It's not about programmers or any programming specific tasks. Power user in this context is very broad.
You could also choose to use formally verified software for sensitive research.
1) Basic economics. Most people around the world do not have the means to uproot their lives and move. It's a big

2) Momentum and roots. Norilsk was founded in 1935, which means at this point you have multiple generations of families for whom it's their home.

3) Work and money. Norilsk exists because of mining. It continues to employ mostly people in mining, and pays them reasonably well for the harsh environment.
Right now, nightly contains updates that are specific to energy usage on MacOS (in a good way).
Verify email without using database
Ideally application code doesn’t have to manage this, it’s done in the RPC library before accepting work and while awaiting responses.
How about when the winner creates an official version of history? My own country took easy way out by banning history from being taught in secondary schools in an attempt to cover one huge blotch. And replaced History classes with what's essentially patriotism with a fancy name.

They made previously compulsory subjects: Biology and Economics optional but this basically pointless subject IS compulsory for entry into tertiary institutions.

History classes have been reintroduced recently but the textbooks are comical.

China is rewriting history in real time with its media and internet censorship.

Summary: I'll revise this title: History is Written by the Losers Unless the Winners Have Something to Hide