skysight-inc/HackerNews huggingface dataset:
To me that's a given, but it seems a lot of people are not too aware of that fact --- I've seen coworkers nonchalantly working on their personal blogs or email or other such things using company property, for example. It irks me, because employees doing that can dilute the argument about owning non-work IP: "why can't we own the stuff you do at home? You're already doing personal stuff at work."
> writing proofs

In this vein, there is the Incredible Proof Machine‡, an interactive visual proof assistant designed for introducing beginners to mathematical proofs.

‡ http://incredible.nomeata.de/
Thank you! I might prepare some screencast demos, it's a good idea. I did a short screencast video a couple of days ago to show a new feature in a forum: https://www.youtube.com/watch?v=SAbLCSoBGMU. It's got no narration and gets straight to the point, though.
The tool can be hard to use in small devices. Were the keys easier to hit using landscape orientation?
Not the OP, but I personally find it very flat, and very much lacking in contrast. I tend to find my eyes scanning and hunting for things all the time with Material Design.
AI-driven phone app becomes plant doctor for thousands of Indian farmers
As a backend developer that occasionally needs to add a nice looking front-end I can say that the biggest source of divs comes from the bootstrap templates I use in my projects. Not sure why the semantic syntax is not more popular among these template creators.
What's the difference between a "docker run ubuntu:latest" and this?
You can call it nostalgia, but maybe Unity users that were happy with it were less vocal than Unity haters.

Unity is my favorite DE and I haven't found a good replacement yet.
The comments about the dangers of moving toward un-forgeable documents remind me of the xkcd about spacebar heating. https://xkcd.com/1172/

Official documents being susceptible to forgery is a bug. Like many bugs, it can be exploited for noble purposes, but it’s still a bug. The right way forward isn’t to keep this bug around so our systems can remain vulnerability-compatible with their 1940s versions, it’s to find a way to support the use cases you want to keep.

I don’t know how to do that exactly, but on the other hand, I bet none of you know how to convince governments to stick with forgeable paper documents either.
nameof_enum doesn't work with GCC :(
1. No, I've never gotten the prompt.

2. I don't think it needs it?

What phone do you have and what browser are you using?
It's really great to be able to just click a link and start playing with Julia without installing anything! While there are other platforms offering a similar experience, I'm glad Repl.it added Julia to its tool belt.

Just a quick note for the inattentive like me: you have to click the "Run" button before executing the `@enter foo(20)` command.
Flash-animation in Unity3D from scratch. Part one, lyrical (Article)
Epic CEO on 250M Fortnite players, digital humans and $100M dev fund
From what I am seeing its "Not Proven" to use the Scottish legal term.
This looks cool, but really really don't run something like on a system which has any data you care about on it :)

I don't mean to be negative about this project, but it feels worth a reminder of the risks that this kind of install mechanism present.

Whilst this is a common install mechanism, blindly piping shell scripts to bash from a remote source is really not a good idea, in general.

It's not even that easy to review to confirm what's happening as it first runs a shell script that runs a Docker compose script that then runs a Docker image
which mounts the Docker Socket (effectively giving control over the host) into the container.
Hard to agree with you. I don't think "understanding what the author meant" is remotely relevant, and if this is a mistake, I am actually very curious how such a mistake could be made.

Many people find it extremely insulting to be referred to with the wrong gender, there are famous cases discussed in HN which led to developers losing their position within projects.
I run in the morning before eating breakfast with the theory that it triggers autophafy. I’d be curious if I’m wrong.
The new world of AI-generated artworks
Thank you, yes I just did some research and I can see that there are several providers, many of them offering only one type of connection (satellite or cable). I agree with your statement "same service in the end" since the television channels on offer are mostly the same.
Entrenamiento_Total
Consider also: https://theunitofcaring.tumblr.com/post/178856511571/conserv...

This is probably the key quote, pointing out that "resource conservation" models (e.g., "spoons") doesn't work for everyone:

> I talked recently to someone whose brain works very differently from mine. If they have the structures in place that they need to succeed, they will just keep on being able to do stuff until one of those structures breaks down. They can pack their weekend and then work all week; they can have something after work every single night. But if a structure crumbles on them, suddenly they can’t do much of anything.

> The person I talked to was familiar with resource conservation models, and this really harmed them when their structures crumbled. They found advice to cut back on the stuff they were doing, save energy, commit to the minimum necessary, cancel plans. And none of that helped, plus it’s actually really depressing and isolating to do the absolute minimum you need to survive every day, so they ended up just as stuck and now without any of the things that made them happy.
This is beautiful. I wanted more content like this, and supporting Kahn Academy made me want to support this also.

They have a Patreon page. If you like what's here already and want it to grow - you should donate too!

https://www.patreon.com/mathigon

Just a couple of dollars from each of us is likely to make a huge difference to such a volunteer effort!

There are more options here : https://mathigon.org/donate

(When I posted this, Patreon had only 5 supporters - can you help too?)
I also used kahn academy for similar reason and I think their quality changes depending on the subjects. For me the real value came from their exercises. You get a problem, you don't know the answer, you open all the hints, after a couple of exercises of doing that you see the pattern, and then you have learned that specific thing. When I got stuck was when I watched the videos. It also helps the watch them at 1.5 and 2x respectively, depending on your need.
Laser propulsion does use reaction mass. Mass-energy equivalence means that the emitted light has mass. Conservation means that the spaceship loses mass as it fires the laser. It’s basically a standard rocket with a ridiculously high specific impulse.
Volviendo al entrenamiento después de 18 años. La meta: ponerme en forma y recuperar agilidad. Ser un Artista Marcial nuevamente.
I'm going to ask my boss to open source it and then do a write up.
Clojure works on the JVM so you have native access to all of the Java ecosystem. With that in mind I'd say the libraries are actually better for Clojure with the exception of data analysis. I don't think there's a language out there that has as many data libraries as Python (like Pandas).
> Moving each ship cost about $1 million and involved a 45-day trip behind a seagoing tug. In August, the last of the scrapped ships were hauled away to Brownsville, Texas, where they are broken down and recycled.

I assume via the Panama Canal! Is there really nowhere on the west coast they could have gone?
That's a shame. I use Haskell but wish it had paren syntax. I'd rather have strong types than sexps so I stick with Haskell.
Samsung galaxy 7, using chrome
Yes, unless is goes bang. Like Fukushima and Chernobyl did.
Looks exciting. Make sure you post it back here when there are a couple of tracks to follow. Good choices for your first tracks.
As a staunch supporter of static typing, I agree with you - the target audience is very obviously those from a JavaScript background, so it makes sense for the code snippets to be in JavaScript, not Typescript. If the author wanted to add additional info for context, IMO in this instance they should have used a JSDoc comment.
agadmator is one of the few YT chess channels that I enjoy watching on a daily basis. Love his analysis, and it has helped to improve my chess thinking and strategy.

* Legend has it that if adagmator ever says "Goodbye Everyone!" the world will end.
Oh, so many things.

The parallelism isn't actually that powerful, and in 2019 there's very little to set it apart. The building blocks are great, e.g. immutability everywhere, but few of the built-in primitives are actually usable (hidden unconfigurable thread pools etc). Stack traces still regularly horrible. Libraries are regularly abandoned. ClojureScript integrating with npm etc is more stress than you'd like. Core development is haphazard and proudly so. Types are nice, and spec is still up in the air, and slow, and not widely implemented, and will probably be rewritten several more times before being abandoned. Hiring is harder than a dozen other languages.

All that said, there is still amazing stuff happening. I hold out some hope that Dragan's work might spark a bigger stats/ML community on top of Clojure, for example:

https://dragan.rocks/

Every day I can still write code and think "yay, that's cute", and be thankful for the dynamism and clarity it can enable. But I wouldn't recommend it to anybody, for anything really, and I feel sad realising that.
How do you find terrorists amoungst the trolls?
There has been some light discussion in the standards bodies about this, and so far the write-up looks like this: https://github.com/domenic/proposal-blocks
Does it have tree views and data grids? Does it have HTML renderer view?
The article implies treating depression would also reduce memory loss. Does the underlying data support a causal link or merely correlation?
Fasting is one way. Look in Google scholar. One example below.

https://www.tandfonline.com/doi/abs/10.4161/auto.6.6.12376
I think you're looking for https://docs.microsoft.com/en-us/previous-versions/dotnet/re...
This is so dumb. What is wrong with you America? Why are you willing to tolerate this price for a hobby of shooting guns on the weekend?
i/? message box background icons look ugly.
I see from another comment that you’re struggling with a difficult-to-maintain Rails codebase, but this comment is needlessly contemptuous and risks making you seem arrogant. It also sounds like the kind of thing that some smug, newly-converted Ruby/Python programmers would say about PHP (I plead guilty on behalf of my 10-ish-years-ago self).

I haven’t seen anyone call Ruby/Rails a "language/framework for non-programmers". Nobody asserts that someone can or should try to build a professional-grade app or site without having a solid understanding of programming fundamentals.

It’s just a matter of what you optimise for.

Rails makes sense in startup land, where it’s more likely that not that what you’re building won’t turn out to be popular, so it’s best to test the concept as fast as possible to avoid wasting any more time than you need to.

You can easily rebuild in other languages if you’re lucky enough that scale, performance and maintainability become major problems. I’ve seen that happen at several companies including Twitter and Airbnb, and it makes perfect sense.
He was homeless because his family came over as refugees. That’s uniquely American because, for the most part, the rest of the developed world hasn’t accepted refugees and economic migrants at the rates the US has taken them. (Very recently that’s changed in places like Sweden, but it’s already causing those countries to go into right-wing coniptions.)

But this kid was in a homeless shelter. That’s how most countries, including Sweden, house their homeless population. (Fun fact, rates of homelessness are lower in the US than in Germany, Sweden, or the UK.) It’s not like you show up to say Germany as a refugee and they put you in an apartment. (There are 400,000 homeless refugees in Germany, comprising half of Germany’s homeless population.) You stay in a camp for a period, than are transferred to the municipal housing assistance programs, which in Germany are a bit more generous than Section 8, but not fundamentally dissimilar (being structured as subsidy where the state pays part of the rent).
Interesting that you say JS/TS - while Typescript of course transpile to JavaScript, the 2 languages take very different approaches to something that really divides devs - the question of static vs dynamic typing.
Bear in mind that often the reason Haskell code uses one-letter names (and this is possibly true for the other MLs) is that your types can be so generic that you can write useful functions without knowing what you're working on. In such situations, `x` is just as good as `thing`, as far as names are concerned.

As for the operators: they are a visual language. We do not speak our punctuation aloud in English, and we use small marks to guide the reader's eye. Often, Haskell operators as similar, and there is a definite pattern.

f $ x means "f applied to x"

f <$> x means "map f over x"

In general, the <> around an operator lifts it to work over a structure. Similarly:

x & f means "f applied to x"

x <&> f means "map f over x"

For the applicative operators like <star>, star> and <star (where "star" should be an asterisk but I can never work out the formatting on this forum), the operators "point" at the values being retained. And so on.
A good rule of thumb is the more powerful the language the stronger your justification needs to be for using it:

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

LISP is, of course, way more powerful than most languages so it is more susceptible to technical debt.
I owned an Amiga 500 and at a certain point I bought for it a HDD (20 MBs, if I remember correctly) => then later I switched to an IBM-compatible (386sx with a HDD) and, subjectively, I thought that the HDD of the IBM-compatible was slower than the one I previously used on the Amiga => any HW reason why the Amiga-HDD might be faster than the IBM-HDD, or did I just imagine it?
I wonder if the cryptocurrency bubble also soaked up a lot of money that might otherwise have been playing in the angel investing market...
> That is why I recommend that, until their designers provide a detailed explanation of their complete design process, you do not use these algorithms and, should you be in a position to make such a decision, that you do not standardize them.

Nobody would use those ciphers unless required. And they are required if you're interacting with government state information systems or licensing your software for certain usage. I have zero doubts that those ciphers are intentionally backdoored. It does not really change anything. Those are "certified cryptography" and conventional ciphers like AES-256 are not, even if it sounds absurd.
Related, this is an excellent story about a millionaire who lost it all to become homeless, and then how he pulled himself back up: https://priceonomics.com/what-its-like-to-fail/
>We're in the middle of a knife crime epidemic, and this is seeing calls to more strictly enforce the ban on sales of knives, or to change the law to prevent pointy knives[1] being sold.

Replace knife with gun and you have the exact conversation in America. This is what I mean. (I am not talking about the response but the subject and degree of concern about it)

Take away a weapon and people will find something else. Focusing on access to the weapon and not what leads people to kill perpetuates the problem.

My thesis restated. Too many people are blaming the tools people use to empower them to kill, not enough people are talking about the motivations of people who kill and how to help prevent the motives.

If you want people to kill each other less you have to create a more just, open society. You have to alienate people less and make sure everyone can have hope. You have to understand people who hate and empathize with them instead of demonizing them.

You also have to make policy that is driven by thought and reason instead of party-ism, instead of fear, instead of intuitive emotion.
Today is a well known long running radio news programme on BBC Radio 4 every day except Sunday from 6am to 9am. (Shorter on Saturday). It's regarded[1] as a flagship product.

They noticed that younger people weren't listening, so Beyond Today is their response to that. It's about 20 to 25 minutes, one a single narrow topic, in a more relaxed format than Today. I enjoy listening to this very much more than I do to Today.

I'm submitting this particular programme because it's interesting and HN has spoken about whether we should be monitoring the extreme freedom of speech sites or not.

[1] I used to listen to all of it every day, but I can't fucking stand Humphries and I somewhat dislike Robinson, so I don't bother listening now.
If you look at PC magazines from the late 80s/early 90s, you'll find Asm program listings for small but useful utilities. DOS batch files, another form of programming, was common too.

From several decades before that, I have an engineering textbook from the early 60s which devotes an entire chapter to the basics of how computers work and writing programs (once again, in Asm) to use them for solving problems.

Thus I'd say "End-User Programming" has been around for a very long time, but it's only recently that the rise of "user-friendliness" and locked-down walled-garden environments contributed to its demise.
The native disk format was actually broken into sectors, see:

http://amigadev.elowar.com/read/ADCD_2.1/Devices_Manual_guid...

It read full tracks at a time, but you can see from the doc there were 11/22 sectors with no inter sector gaps, but there are separate sectors of 512 bytes which are addressed in the file system structures.
Is there any plan for getting eg Firefox to run on Redox? Or would you prefer a pure-rust web browser? Thanks :)
the downvotes are funny because this was exactly the criticism Python got before it became popular. Probably still gets it.
We were working on porting servo first
>A next problem is that software replaces physical objects by small computer files. Such files have the twin attributes of what economists call public goods:

>The good must be inexhaustible (my use doesn’t preclude your use or reuse).

>The good must be non-excludable (the existence of the good means that everyone can benefit from it even if they do not pay for it).

Software may not be inexhaustible, but it generally does require regular maintenance and updates, as well as support for the end-user. For me, these facts weaken the value of the thought experiment tremendously.
Interesting read, thank you. A friend of mine has a genetic immune system condition and definitely fits the spoons model - their stamina is hard capped per day, although the cap fluctuates with their health.

Whereas if I'm going through a severe depressive episode, building momentum and restructuring is the only thing that works for me.

It's important to set realistic daily goals and not beat oneself up as long as some momentum is building, even if it's in tiny increments.
That’s not true. When you’re passing functions to functions inside functions that return functions... it’s a nested mess.

I studied Lisp and Scheme at university and that’s where it had to remain for me: academically entertaining mind puzzles in data structures and algorithms. It’s just not productive or easily graspable from one coder to another.
There's always Openclipart: https://openclipart.org/

The downside is, of course, the wildly varying style and quality, which means that finding the good images can require sifting through lower-quality content. But at least to me, that's often more useful than a comparatively tiny selection of consistently high quality art which probably just isn't going to have what I'm looking for. They also are using straightforward CC0 terms, which is always a plus compared to custom licenses.
Whoa.. such complicated hoodie rules.
Well, maybe not everyone but you can.
Post on the Asterisk forums.
I wonder a little about the source of the name "Rust". That seems like an odd choice for a language name - not that it matters. Rust - being associated with old metals - makes me think of something that's been left out and abandoned. Maybe because I'm from a rural part of the country where you see a lot of rusted metal sheds or abandoned structures. Go, on the other hand, makes perfect sense - "let's go!" implies that it is something that is made to get things done and also being the first two letters of Google.
I would recommend Kafka's short story "The Great Wall of China"
If EVERY reactor ended its life like Fukushima it would still cause less death than what we are doing now.

Bring on the "dirty" problems! They are better than anything else we have right now.
Suicide deaths by children don't change unless you also ban train tracks, highways, ropes, tall things... and maybe just store people in padded boxes until they are not children.

The amount of freedom you'd have to take from society is huge.

Perhaps there is also a right to die. If life is torture, and you keep a person alive, then you are torturing them.
No, you are the one arguing in bad faith, and you may not even realize it. You've convinced yourself that one particular form of deaths caused by guns "doesn't count" for some reason. You don't get to pick and choose which gun deaths count! Other people in this same thread are insinuating that gang-related gun deaths also "don't count". Both denials are frankly ridiculous to anyone not blinded by ideology.
He’s not an anti-vaxxer.

Also note that the NHS in the UK recommends against chickenpox vaccine except where there are indications that it would be helpful (ie: you spend a lot of time around immune-compromised people).

Chickenpox is complicated: it is the NHS view that catching chicken pox as a child is better than getting it as an adult. It’s not like measles where catching it at all is a really bad idea.
I also like how you can call the method on the class and pass self in explicitly. e.g.:

class Foo:
b = 4
def foo(self, a):
return a + self.b

inst = Foo()
inst.foo(3)
Foo.foo(inst, 3)

I haven't written python in a while, but I really like that python makes this possible and obvious and I've found this behavior pretty handy when working in a more functional style.
This makes sense to me. I'm going to give it a whirl.
I'm no Lua expert, but isn't this because Lua's object model is more prototypical inheritance than a standard class-based model like python has?
I agree. Within the data science community I often see the question of "R versus Python" and it always makes me think of the Old El Paso commercial: ¿por qué no los dos?

I know choosing the right tools for the task can have serious long-term implications on the project, team, or organization level, but individually I get the impression that people worry too much about which language is best when, in reality, many of them are perfectly suitable and appropriate.
I presume port space on the west coast is in high demand for receiving goods from Asia. Also, if I were proposing to tear apart a ship, I'd rather deal with the EPA in Texas than any of the west coast states.
Shipwreck on Nile vindicates Greek historian’s account after 2500 years
UTF-8 is one way to encode Unicode code points. There's also UTF-16LE, UTF16-BE, UTF-32LE, UTF-32BE, and others like UTF-7. This makes pypy use UTF-8 internally for the additional memory and speed savings, at the cost of some time later on when you use certain features that require the string index to be built.
How far is Redox from being able to run a web browser?
I'm confused. He refers to "the 2017 data" yet only claims to have scraped two days in March 2015.
Snowflakes are non-dense more than they are light - they float down slowly due to air resistance rather than lightness per se.

Snowflakes have a pretty big variance in size, I'm not sure that a single weight could meaningfully be assigned to them.