skysight-inc/HackerNews huggingface dataset:
I think one of the most amazing parts of Racket, and one of the reasons someone should try it out if they haven't, is that the source code and evaluator support images and not just text. The following link shows one aspect of this:

https://docs.racket-lang.org/quick/

Just being able to put an image in a comment explaining your algorithm into your code would be huge improvement over the traditional syntax colored ascii you get with most languages and editors. There are many times I've written an algorithm which is difficult to understand without the associated diagram I drew on the whiteboard or in an image editor. Racket lets you insert that image or photo directly into your source, and I think this is a significant improvement over putting a link to that image in a comment.

Racket also goes a step beyond that by letting images be values which can be assigned to variables or returned from functions. The link above shows this clearly. I'm sure there is some value in this as a teaching aid, and I think that's why they did it, but you can also return mathematical plots from your functions and so on. This feature is similar to the various interactive notebooks people use for Mathematica or Python, so it's not really specific to Racket, but it is interesting to play with.

Obviously there are downsides to putting images in your source. After you do that, your code is no longer ascii, and it won't be something you can edit with vi, emacs, or any non-Racket IDE. Also I doubt it will play nicely with git any time soon. However, it's a neat feature of Racket whereas many of the other benefits in the article apply to any Scheme (Chez, Gambit, Chicken, Guile, etc...) or lisp.

I wish there was some reasonable standard (like a better version of Rich Text) that was commonly adopted so other languages could put graphical pictures in the source code.
Google didn't hesitate to fire Damore. Whether you agree with him or not, he was definitely blowing the whistle on what he saw as a problem of political extremism being baked into Google's culture. The move was pretty much universally celebrated in the press (although I suspect it had a much more negative impact among people who are independent thinkers).
Hi HN, I'm one of the creators from Dessa of this project.

If you haven't listened to it, we just released a longer clip of the RealTalk model[1]. In my opinion it's even more compelling than these clips.

One of fascinating parts of building this has been the questions we received while showing it to people. I'll note a few anecdotes specifically:

"What is the difference between this and a real voice?"

"Can I learn to discern fakes over time?"

"Would we relate differently to a generative voice model posthumously, compared to current media forms like videos?"

These aren't questions that we necessarily have answers to yet, but they're important discussions to have.

[1] https://www.youtube.com/watch?v=DWK_iYBl8cA&feature=youtu.be
I've long stayed away from Lisps, precisely because of what the author describes in the first section, that there is a huge amount of praise over all of it's wonders, without ever specifying what those wonders are or how they are actually good things. I've had similar issues with the cargo-cult following of Rust; yes I have heard it is great, but WHY!? Great article, it de-mystifies these vague praises and addresses them clearly and specifically. I'm gonna try Racket this afternoon =D
From a smallish amount of experience with Ubiquiti's gear, the Wi-Fi parts are far better than the Unifi Security Gateway. And you can certainly use them just fine without a USG.

I can only assume they'll be moving away from MongoDB soon, given the licensing situation. And the new Cloud Controller Gen 2 is considerably more reliable, which it achieves by the highly dubious hack of containing an internal UPS so that it is less likely to shut down uncleanly and thus die a horrible death.

The IPv6 situation is, indeed, embarrassing. But that, too, is solved by just not using a USG.

edit: None of this is particularly unique to Ubiquiti, IMO. By committing to using the same system or vendor for routing and for wi-fi, you make upgrades harder and you get stuck with feature sets you may not want. Home networks where the wi-fi is the cable modem or the wi-fi is the NAT/router box have the same problem, and it's even worse if you start using the same object for NAT/routing, wi-fi, smart home stuff, and NAS. Yuck. I wouldn't want to run an enterprise network where I've committed to using the same gear for routing and wi-fi.

It's a bit of shame that it's so hard to do a good job with wi-fi gear from multiple vendors, but getting things like fast roaming to work right is a huge pain without someone's proprietary management stack involved.
Why are people ITT talking about reducing problems to SAT? As I understand it, the point of reducing a problem to SAT is because there's a proof that SAT is NP-Complete which in turn would prove that your problem is NP-Complete. But if you have some sort of industrial constraint satisfaction/ASP/scheduling/search/etc problem, you can solve it with whatever methods are available. You don't have to reduce a problem in such and such domain down to a big Boolean formula and solve it via SAT techniques. Am I wrong?
He said that @TeamYoutube ignored him because the account was active _all_ sunday: https://twitter.com/TeamYouTube/with_replies
I just wish there were tools to analyze all the claims and projections against reality - just to identify who actually grasps a market reality. How do I find the Micheal Burry of AI?

Is there a way to short AI?
You stated that Illinois was the only state to experience negative population growth, and the only one to experience multiple years in a row.

The sources cited disprove that. Don’t move the goalposts.

I’m also not disputing every aspect of your comment, which is why I didn’t address it.
He's a quite well-known professional Minecraft YouTuber with 3 million subscribers. This copyright claim means for all these videos the company making the claim now gets a share of his income. Given he makes game videos, many of those videos do not even contain music outside the intro tune, which he's been using for years and licensed from the creator.
Another factor is that the fancy chicken just wasn’t a thing 30 years ago, at least in suburban VA where I was. Either I’ve gotten used to it, or Whole Foods chicken is markedly better. (I even enjoy a nice pan fried chicken breast these days.)
I think it means you care about what happens to other people. Your body is just a means to an end.
Those are games, not practical problems. I find SAT solvers exciting, but at the same time I’m so disappointed by how few problems they solve. So far it seems to be dependency management and key cutting.
There's still a little cottage industry of 6502 (and its successor, 65816) homebrew computers[1]. You can still buy them from electronics distributors[2]. There's also a very good Basic[3] available. Building one of these may be a good learning experience with kids.

1908s computers were way simpler, and with far fewer distractions than modern machines.

[1] http://6502.org/homebuilt
[2] https://www.mouser.com/ProductDetail/Western-Design-Center-W...
[3] http://retro.hansotten.nl/lee-davison-web-site/enhanced-6502...
> Still don't know how to do it "correctly" when writing Python 2-compatible code.

Does writing python 2 code stop being 'worth it' at some point? If so, where is that point? It sort of sounds like you're already there. There's still people using P2 at least in part because of all the hoops people are jumping through to keep supporting it, no?

I'm not a professional python dev, so it doesn't impact me as much as some of my colleagues, but 'backwards compatible' issues crop up in other platforms/langauges as well. Wordpress might be the biggest example in PHP. They've kept a minimum target language which is far behing 'current' or even 'currently supported', and it's been a catch 22. Hosts keep supporting PHP 5.4, for example, far later than they 'should' have, because people kept writing new stuff targeting PHP 5.4. WP 5 was, alas, a missed opportunity to target PHP7 as a minimum. :/
Objective fact has provided a ton of evidence for materialism and very little for any alternative.
Why, in principle, would it not be possible for us to design an AGI, that would have care for our (all sentient beings') welfare or care for the investors' profit as (one of) its core goal(s)?

To make a biological comparison, the vast majority of humans have a deep, intrinsic need to procreate and have children. It doesn't really follow from some rational analysis — it's just there, presumably "imbued" into us by evolution, as humans who didn't have this need had fewer (or no) children. Similarly, why could we not design an AGI that has a need (or a suitably chosed reward function) to fulfil some chosen goal?

Whether doing that would be moral (IMO it could, depending on the details) and whether we wouldn't mess up the design, subtly or otherwise (conditional on AGI actually being developed, I'm frankly pretty terrified), are two different questions.
True. I have the feeling the hacker/hustler ratio is better here, tho.
Mathematics – A computational algebra system in Smalltalk
I think you answered your own question. YouTube is running the risk of turning into a sterile, corporate mall.
Soon enough an edgier, more tolerant alternative will pop up and start attracting eyeballs.
How to Download Instagram Videos on Pc
A Decade of Remote Work
In the Philippines, we didn't have fancy hoses most of the time, so we just leaned over, poured water down the crack, and used our hands to knock off anything that didn't fall on its own. We'd then wash our hands thoroughly afterward, usually using alcohol and lotion to sanitize.

That sounds disgusting, but is it really more disgusting than the stuff toilet paper leaves behind? A friend of mine once explained, "you wouldn't use a dry rag to get peanut butter out of carpet, you'd use water and potentially some soap, so why is the bathroom any different"? I don't know about others here, but I'd rather be clean than have little bits of feces being carried around all day, and I already touch poop fairly regularly since I have small children in diapers, so it's really not that gross to me anymore.

Here in the states, I use toilet paper again, but that's not because I prefer it, but because people here don't have small buckets or bidets (and I'm not bringing one with me), and I feel those disposable wet wipes for bathrooms are too wasteful.
The "artificial" part on the name is there to indicate that it will want to do whatever it was designed to want to do.

If it is designed to make its creators rich, it will try to do exactly that. Maybe with disastrous consequences, even to its creators, but all for the objective it's given, not for some random human feelings.
Vitamin D supplements keep failing to show broad benefits in trials.

Here's a popular press writeup with citations to the relevant trials: https://www.vox.com/2018/10/4/17933880/vitamin-d-health-sun-...
Our society also believes that probable cause and a warrant qualify as “a damn good reason.”
It is not that far off. Gas is over $4 a gallon in Southern California. I paid $4.15 last time I filled up.
Forensic DNA is used to find a suspect, who is then confirmed by traditional DNA testing. It's lead generation, and is not itself used in court.

If you are ok with traditional DNA testing, this should not cause you are concern. Unless you have something to hide, like say you fathered a child somewhere and ran off, your identity unknown to the mother.
I only use YouTube occasionally but if I do, it's mostly for geek stuff by exactly these kinds of individuals. Are there any signs that another platform will take YouTube's place in that regard during the next couple years? I mean sites like Vimeo and daily motion have been around since forever but never managed to weaken the critical mass that YouTube had due to it's head start. Then there's the occasional startup that promises to fill exactly that gap, announced with fanfares and everything, but nobody came up with a killer feature yet. But that's just the gist of how I feel about that situation from when topics like that pop up every now and then.

Basically, my tldr question would be: How much worse do things have to get on YouTube for individual creators to leave, and are there any hints yet on what the winning replacement platform will be?
Good question, given their own page on this product is behind a consent wall itself.
This would be a nice test assignment for recruiting
If your company is going to super power the surveillance state and plunge the world into tyranny like we've never seen before why would you make things easy for them?
Is that supposed to be a bad thing? If I were in such a state with no hope of recovery, I’d want to die ASAP.
Yes, of course we can count on Google to deliver good keyword search results based on specific quer... okay, semantically based search results that interpret what I'm actually looking fo... what the hell is AMP and where are my search resu... What is this carousel and where are my damn search results?
It's called "the comparative method" and it has a very robust history of allowing us to view sound changes from the past.
It is! He ran out of time a bit I think, at least it felt quite rushed at times, but I was left very curious and motivated to try some SAT.
Yeah they're kind of assholes. Racket has a much nicer community, though.
This is why I use a separate system to play music, not my computer.
I think you missed the point. All the poster is saying is that these crypto analysis people should actually attempt to predict price moves based on market forces instead of explaining movement in hindsight.
I think most people in this thread focus too much on the vdom, and miss the important part of the post:

> Unlike traditional UI frameworks, Svelte is a compiler that knows at build time how things could change in your app, rather than waiting to do the work at run time.
Kong raises $43M Series C for its API Gateway
This is aligned with everything I learned in Dr.'s Oakley and Sejnowski class entitled "Learning How to Learn" on Coursera. Conceptually, the class is ridiculously simple,but with some of the most powerful mental tools available for learning subjects. This interleaving tool is included, and it should be noted that this is part of a self-testing phase of learning, which is something that they want you to leap into as quickly as possible.

I would strongly recommend the course to anyone interested in learning and who doesn't have a good learning process, because that's all that it ultimately is: a set of steps that you use to train your brain to remember a body of knowledge.
Why did Sam leave YC, really?
You can get heated bidets if that's your thing (just mix the hot and cold water pipes), and a rag is to help you dry off afterward.

When I lived in the Philippines and used a bucket and my hand (and yes, alcohol afterward to disinfect), I didn't bother with a rag because it was so hot and I'd dry off quickly anyway. However, in fancier places with bidets, a rag to dry off after is completely normal. And it's just as sanitary as using a hand towel after washing your hands because you're already clean.
I had similar thoughts, and was pleased to find that the `!` prefix allows you to place the bang anywhere in the query so I tend to slip it in at the end (which feels more natural to me).
Email should be in my profile - ben@beautiful.ai
If you want to change a culture, rules like that are often a start of the process. But the rule alone is certainly insufficient on its own.
Just read the Reddit thread.
All I can say is that I think Uber is one of the worst companies in the business, so this is basically business as usual for them. And if you continue to do business with them under these circumstances, then you’re teaching them that this is okay.
Knitting isn’t coding anymore than manually executing a C program with pencil and paper is. Designing or modifying a knitting pattern on the other hand is.
> Later this year, we'll bring that same functionality...

Coming from the company that promised geoqueries on Firestore two years ago but still hasn't delivered

"Google. Don't believe a single word"
You are right, but just to nitpick, linguistic ancestors don't always overlap with genetic ancestors. It could well be that your linguistic ones stumbled there late, whereas your genetic ones lived there for thousands and thousands of years longer. A handful of people can convince many to change language, genetic change is much slower. This is one reason why people in the region are genetically relatively similar, whether they speak slavic, germanic, finno-ugric, or latin languages.

For all these reasons, if etruscans once lived where you live now, it would actually be rather surprising if you had no connection whatsoever to them.
He has a contract with the musician whose songs he incorporated in the video. Would be simpler (and possibly more profitable) to use the dispute-resolution process and maybe indemnity built into that contract, tell the musician to call off the dogs and reimburse him for diverted profits and his time/expenses.

This doesn't sound like an example of YouTube badness, but rather an example of the hazards of working with unreliable business partners. And pay attention to your contracts!
Blaming the processor doesn't make any sense. Early x86 / DOS machines were very accessible. They all shipped with BASIC.

I'd say blame Windows. If Windows had shipped with the equivalent of GW-BASIC + extensions, we'd have a different discussion...
Reading through a couple of other responses in this thread, it seems that converting a problem to be compatible with a SAT solver can sometimes result in unexpected gains in speed? That SAT solvers can sometimes be a better solution to a problem than the general "go to" solutions for a domain, despite it seeming to be inapplicable to such a domain? Maybe?
As someone who works as a software developer in Japan this is awesome. Kong is one of the few companies allowing remote work even outside of North America so I'm glad to see that they're growing.
The Happiness Hypothesis: Finding Modern Truth in Ancient Wisdom
I think I was trying to articulate the same thing before, why Racket instead of more-practical-tool-here for "experiments/fun" and it really is just because it's more fun to work with, nearly everything you need is in there!

Also personally something I wish more functional languages would have is a little bit of Racket's maximalism with its forms like: (for/list ([e (range 10)]) e) [1] and for/fold, including the nested ones and the like that make mapping over things and even filtering a dream!

[1] https://docs.racket-lang.org/reference/for.html#%28form._%28...
I find the usability and elegance of Racket to be far better than Clojure. Clojure feels messy, mostly due to the JVM. Racket feels clean and fun and expressive. The ecosystem is better integrated as well.

Clojure's performance is of course better, though.
Making (US) legislation history easier to track and discuss
"Works with Nest" is getting extended to the end of August, and Google might help some people move over to the Google Assistant powered platform that will replace it.

Just a slightly more reasonable timeline for switchover, but still Assistant-based.
> mystifying that the higher ups at Google don't seem interested in addressing that perception unless enough people complain, despite the dissatisfaction being totally predictable.

See the other thread: https://news.ycombinator.com/item?id=19952069

In which some of the commentators seem to be arguing that openly expressing your opinion on Google's product strategy is treason, or at the very least above your pay grade.
SAT (and SMT) solvers are extremely optimized and very expressive.

Writing an encoding from problem P to SAT is usually much simpler and easier to do correctly than writing a dedicated solver for P. SAT solvers are so efficient than very often they will be competitive with dedicated ones.

At the end of the day, you want to solve your high-level problem, not writing a solver, especially when such good solvers are already available.
FB is definitely monitoring Messenger. I have a fake FB account I use just to chat with my daughter on Messenger. I don't use the account for anything else. I was chatting (text only, no audio/video) on Messenger via the web client on facebook.com and on this occasion, we had a conversation on a very particular subject. The next day day inundated with group recommendations specific to this very particular conversation topic.
This looks like it enables functionality very similar to specter. https://github.com/nathanmarz/specter

Except

1. Much easier to grok syntax/easier learning curve

2. Not as powerful/generic
It feels like suddenly not having a headache any more! I love it!
POSIX is frequently hyperconservative garbage. There's what POSIX allows, and there's what Linux and other real Unix systems actually allow. How do you think posix_spawnnp is implemented on systems that don't have a native system call for it? vfork(2)! close(2) in practice works fine.

I don't understand how you can claim that vfork can't be used correctly when there are thousands of existence proofs showing that it works fine.
He's had a response from Head of gaming at YT: https://twitter.com/Fwiz/status/1130128085347516417
What happened was that SAT solvers (and the related SMT solvers) got very fast, so fast that often the fastest way to solve a constraint satisfaction problem is to express it in a form one of these general solvers takes as input and then just using the general tool.

Of course the problems being solved are NP hard in general, but in practice, on the kind of problems they're actually given, the solvers can be sufficiently fast.
I am in contact with several googlers, and I’ve asked if they were aware of google’s reputation, and if it had impacted them directly. All said that they knew people perceived google as shutting down products often, but their own projects had never been shut down. They also said that google upper management was aware of it, and “was doing something about it”.
The "We hear you" portion of this just screams "devised by the same marketing team that handled BP's oil scandal". Just talk straight Google, you'll get less hate for it.
And wet wipes are kind of expensive and wasteful. A bidet is just so much simpler (jet of water cleans you, washable rag dries you).

Honestly, I don't get what the big deal is. People latch on to a solution that still leaves something behind, when another solution is both cheaper and more effective (and eliminates the occasional itching you get if you didn't do a good job with TP). My only complaint is that there not common.
Or AGI would provide so much benefit that it does not need to be exclusive to OpenAI for the company to accrue significant economic returns.
Here's a better philosophical wager:

- If AGI is possible within our lifetimes, we will at the time it happens all pretty much live in a post-scarcity economy and will all share the rewards.

- If AGI turns out not to be possible within our lifetimes, you'll have wanted to invest that money in a way that benefits you.
Yes, that was what I was getting at: delicious like limes!
YouTube doesn't have a lot of flexibility here. The DMCA spells out specific requirements YouTube must follow when they receive a copyright claim and even with the current DMCA submission system and content id system which creators claim is too large media company friendly Google is constantly being threatened with law suits by the large media companies claiming they are in violation of safe harbor requirements for not making it even easier for them to make mass DMCA take down claims.