skysight-inc/HackerNews huggingface dataset:
There are a few more steps to it. In the renaissance "Gothic" became synonymous with "medieval" because the tribe of the Goths was considered as having destroyed the Roman empire. Hence the name "Gothic architecture" for a medieval architectural style (even though it has nothing to do with the Gothic people). During the romantic movement, the medieval period became fashionable as a setting for romantic and supernatural stories, the "Gothic literature". Horror classics like Frankenstein and Dracula grew out of this genre. This in turn inspired the Hammer Horror movies, which in turn inspired the post-punk music esthetic.

So the subculture is not directly inspired by the architecture, but the architecture and the horror genre is the two places where the term Gothic still used, while the previous meaning of "medieval" have gone out of use in English.
There's a saying that for many years, plane could fly unattended (except the taking off and landing part). But for psychological reasons, pilots are still required to be in control. How off is that ?
Then why the hell are we forced to subsidize them
Tell that to the suits who invented the future at IBM and Bell labs.

Counter cultural types don't have a monopoly on innovation.
hmm I wonder if the article about SAT solvers defines them? https://codingnest.com/modern-sat-solvers-fast-neat-underuse...
Almost every scheme that does signing and encryption has separate keys for each (even in cases like GnuPG which pretends to have a single key).

In fact, TFA explicitly mentions an example of this causing a security problem[1]. In addition, not all public-key cryptosystems can be used to create both encryption and signing primitives[2].

[1]: https://eprint.iacr.org/2011/615.pdf
[2]: https://www.cs.cornell.edu/courses/cs5430/2015sp/notes/rsa_s...
I used a requirements.in file to list out all the top-level direct dependencies & then used pip-compile from piptools to convert that into a frozen list of versioned dependencies. pip-compile is also nice because it doesn't upgrade unless explicitly asked to which makes collaboration really nice. I then used the requirements.txt & various supporting tooling to auto-create & keep updated a virtualenv (so that my peers didn't need to care about python details & just running the tool was reliable on any machine). It was super nice but there's no existing tooling out there to do anything like that & it took about a year or two to get the tooling into a nice place. It's surprisingly hard to create Python scripts that work reliably out-of-the-box on everyone's environments without the user having to do something (which always means in my experience that something doesn't work right). C modules were more problematic (needing Xcode installation on OSX, potentially precompiled external libraries not available via pip but also not installed by default), but I created additional scripts to help bring a new developer's machine to a "good state" to take manual config out of the equation. That works in a managed environment where "clean" machines all share the same known starting state + configs - I don't know how you'd tackle this problem in the wild.

I do think there's a lot of low-hanging fruit where Python could bake something in to auto-setup a virtualenv for a script entrypoint & have the developer just list the top-level dependencies & have the frozen dependency list also version controlled (+ if the virtualenv & frozen version-controlled dependency list disgaree rebuild virtualenv).
> A lot of FUD from the media said Elon stated they will only have 10 months left before cash balance is zero. No where in this letter stated such a thing and Elon just used an arbitrary number(in this case the newly raised capital) to express the point that 2.4 billion may seem like a lot of money, but we shouldn't take it for granted. In fact their cash balance is most likely over 4 billion.

10 months is a weird number and frequency for someone to pull out of a hat arbitrarily, especially the CEO of a public company. Something that lined up with a quarter or a year, ok, but 10 months? Why not 3 quarters, or less than a year?

You get to 10 months when you have a monthly burn rate in mind and you divide that by your available cash and it says 10.
> per user-minute

this is a bad metric, since a million user using the service for all of 1 minute at the same time is not the same as 1 user using it for a million minutes. As a business, i would rather the latter.

Time to live is the "proper" metric.
What makes our trade with them different than our trade with Saudi/Israel/etc?
Slash is the ONLY character you're not allowed to have under Unix. There are no good reasons to disallow spaces. Disallowing characters in file names that you're allowed to have solves absolutely no problems, it only causes them.

There used to be a bug in the Gatorbox Mac Localtalk-to-Ethernet NFS bridge that could somehow trick Unix into putting slashes into file names via NFS, and Unix would totally shit itself when that happened. That was because Macs at the time (1991 or so) allowed you to use slashes (and spaces of course, but not colons), and of course those silly Mac people, being touchy feely humans instead of hard core nerds, would dare to name files with dates like "My Spreadsheet 01/02/1991".

https://en.wikipedia.org/wiki/GatorBox

I just tried to create a file name on the Mac in Finder with a slash in it, and it actually let me! But Emacs dired says it actually ended up with a ":" in it. So then I tried to create a file name with a colon in it, and Finder said: "Try using a name with fewer characters or with no punctuation marks." Must be backwards compatibility for all those old Mac files with slashes in their name. Go figure!

If you think nobody would ever want to use a space or a slash in a file name, then you should get out more often and talk to real people in the real world. There are more of them than you seem to believe!
This seems to be Nokia's version of 20% projects.

He said this is used for long running tasks @ Nokia so you are probably right.
> We’ll stop accepting new WWN connections on August 31, 2019.

> One of the most popular WWN features is to automatically trigger routines based on Home/Away status. Later this year, we'll bring that same functionality to the Google Assistant and provide more device options for you to choose from.

I'm sorry, but... What?

You're sorry that you've caught developers and users by surprise, but the main functionality that they want won't appear until some unknown time in the future? And they should just trust you that this will actually happen after you yanked the carpet out from under them once already?
No, having fun is not about on-paper specs. These are entirely different classes of devices, and one isn't totally better than the other - e.g. the ESP32s are a lot more low-level accessible than a complicated ARM SoC. Want to run Linux: sure, get a <something>PI. Want to build something on bare-metal, maybe pick something more accessible on that level.
It's not difficult to reduce scheduling problems that are usually done with dynamic programming etc. to SAT.

Then there's SATPLAN. If I had VC money I would be seeking young'uns trying to change the world with SATPLAN, of course in a way that's married to machine learning. (Machine learning doesn't "think", it "learns"; logic-based AI "thinks" but can't "learn").

E: part 1 says at the outset:

> As an example, the often-talked-about dependency management problem, is also NP-Complete and thus translates into SAT[2][3], and SAT could be translated into dependency manager. The problem our group worked on, generating key and lock cuttings based on user-provided lock-chart and manufacturer-specified geometry, is also NP-complete.<

Part 3 is already deep in the rabbit hole of comparing heuristics. People like me just write something that "compiles" to DIMACS and fires Minisat.
INANAMAYACAKSINIZ 23 Laneti̇ Ve Muci̇zesi̇ Sayilarin Gi̇zemi̇ Sirri
That's how socialism works: you spend someone's else money.
After reading the description and watching the video I have no idea how the game is played or whether or not I might enjoy it. Considering that I have to download an app to try it I think that some more detail would be helpful.
"So you can see now why it's important we cap ROI at 100x. What do you think, will you invest?"

"Hm, it's an interesting proposition to be sure. Can we go back a couple slides? I'd like to see the one again about how the machine comes hard-coded to love us like parents and helps us transcend our mortal shells, becoming unbounded thoughtforms exploring the limits of superintelligence, yielding only to the eventual heat death of the universe."
Controlling Linux kernel module through user application
This repo has an implementation of a similar model, and a very clear set of usage instructions:

https://github.com/syang1993/gst-tacotron

I haven't tried it yet, but if you're looking to do something similar, this repo (and the papers on which the implementation is based) might be a good starting point.
Tell us more about your books. I'm addicted to scheme books :-)

Also, what made you choose Haskell for your project? Can you share some of the reasoning?
This is a faith statement not based in objective fact. Materialism has this to say about the dead; other religions express their beliefs differently.
Offtopic, but...is it just me or is there a bug on the 'hide related artices' button? Pressing space while focused on it triggers the action twice. So it just opens/closes.
Linux 5.2 is supposedly introducing a flag that does exactly what you want.

https://www.phoronix.com/scan.php?page=news_item&px=Spectre-...
The Bolsheviks were actually a minority.
I really recommend that book, not just this section. I really enjoyed it and it was crucial for me in creating a talk I gave after reading it about the fun in creating little languages.
> However, once employees start organising to influence management on business decisions they really need to pony up the capital and become shareholders. Deciding what management does is the privilege of shareholders, not employees.

Isn't this precisely describing why unions were originally generated, so that employees can also leverage power equal to the shareholders, and therefore have a say in their own working conditions?
FWIW, Philips just did something even worse with their Hue system, essentially forcing "legacy" (v1) Hue customers to spend $50 to buy a v2 Bridge if they wanted the system to keep working as usual.

Coincidentally, this was a few years after they backpedaled on a decision to disallow control of non-Hue bulbs (https://www.home-assistant.io/blog/2015/12/12/philips-hue-bl...) after public outcry.
Whaling in the Soviet Union
Traefik: The Cloud Native Edge Router
Too little too late. Google says this today, until they change their mind 18 month from now - as Google does.
This [1] is likely the source for the entirety of research that was done for this article. It's a voluminous article on the lady with extensive citations, sources, and information. Suffice to say she stole way over $40k, and way over $150k for that matter. She was a complete psychopath with 'ties' to crimes up to and including murderous insurance fraud. For instance in one case one of her husbands would end up getting killed by another man. A month after his death she took the insurance money and moved and bought a new house, with her new companion - the man who killed her husband. Nobody would be found guilty of any crime in that instance.

And something that this article leaves out is that her case and conviction set off a wave of further prosecutions. In the first year following her welfare fraud conviction, an additional 241 people were indicted on the same. And this was at a time with a much smaller population and an even smaller chunk of it on social programs. It sparked a crackdown on what seems to have been relatively lax enforcement beforehand.

And the $150k figure did not come from politicians. It came from investigative journalism and journalists who reported on her fascinating and sordid tale. The real article mentions that the Chicago Tribune was the first source for the $150k. It also reported on her jewelry, furs, Cadillac, etc - which were also all real. I hate the word because it's become so loaded, but this article probably qualifies for the title "fake news." In that it takes real and falsifiable facts and presents them in an intentionally distorted manner to try to push forward an agenda that is very likely to mislead and misinform the reader.

[1] - https://web.archive.org/web/20190427164817/http://www.slate....
Thank you for your feedback! I did run it through Grammarly again and fixed some typos I missed.
Since English is not my first language, I probably should invest in Grammarly premium to get the grammar right. thanks!
> to get the most effective rush

You get a "rush" from... aspirin?
On our farmer's market prices are usually through the roof. We buy at Lidl where cheap produce is ok and there are also more expensive but still reasonably priced tastier options for most items.
See Mark’s books here [1]

[1]: http://markwatson.com/books/
(require '[clojure.string :as str])

Infix, really? I love both Lisp and Haskell. Code like this makes me wonder why I ever strayed from Haskell.
> For these custom integrations, partners will undergo security audits and we’ll control what data is shared and how it can be used.

It sounds like they're going to keep a tight control of their relationship with Amazon on this one - I imagine the negotiations are going to be extremely tedious.
> No, having fun is not about on-paper specs.

Actually, it is. Specs dictate the potential uses of a device, and a more expensive but less capable option simply means users have to pay more to be able to achieve less.

In this case one option appears to be outclassed im every criteria. If these technical aspects weren't relevant then the specs wouldn't have been presented as the device's selling point.
There are many small marsupials (mammals) in Australia that are predated on by feral and domestic cats.

https://en.wikipedia.org/wiki/Cats_in_Australia

We have a cat that was rescued from a neglectful neighbour. We were shocked one night when it turned up at our back door with a live pet rabbit is had nabbed from a house a few doors away. Thankfully the cat mostly has since caught non-native mice and grasshoppers since (that we are aware of).

The best conservation efforts at restoring native animal populations in Australia have been achieved through cat and fox proof fencing followed by trapping, baiting and shooting programs:

https://www.australianwildlife.org/sanctuaries/mt-gibson/
I've always found Calibre to be a huge mess.
I respectfully disagree. I realize whom I’m disagreeing with, but you’re wrong, there might be an asset bubble in the Valley, but these long term bets aren’t the result of “easy money.” They’re the result of smart money chasing long-term results in a world where research is being increasingly privatized and de-corporatized.

Open AI is not that much different from the research driven labs of the past like the MIT AI Lab, Project MAC, The Mother of All Demos, and yes, XEROX PARC and Bell Labs. The difference is that instead of a combination of government and large corporate money funding open ended applied and fundamental research; we have private investors doing the same.

The Valley is now one giant lab for the giant corporate parents to gobble up so that they take fewer extreme risks on their own dime. What works will work and it will be absorbed by FAANG. What doesn’t is discarded. While there are a few runaway hits, most companies like Deep Mind are absorbed by the large corporations as needed. When they can’t absorb them readily, they invest in them, like Google Venture’s investment into Uber and other unicorns. The net result is a diffused and confused environment where the future has moved from shiny office parks to local juice bars and coffee shops.

FWIW, I am for sama’s bet. And it’s not an easy sell at all. I think, it might be the hardest of all sells and the oldest amongst them. A bet in the future being better than today. I, personally, would pony up capital (to a limit) for the same.
Maybe... But, because this industry wide shift is playing out on a much longer time scale, it looks like most of the existing big auto companies are aware of, and going to make the shift. Case in point, the Nissan plan I mentioned above.
PICO-8 [1] is a good way to introduce programming to kids in the way people learned in the early 80's. The retro and simplistic interface is a pleasure to work with, and Lua as a programming language is a nice bonus.

My 7 yr-old and I just finished our interpretation of Pong. He needed help of course, but got the basic concepts of X-Y axis, variables, calculating ball movement, etc

[1] https://www.lexaloffle.com/pico-8.php
And I'm saying the higher-class devices make it harder to achieve some things, so if those are interesting to you you are not paying more to be able to achieve less. They're good at different things (same reason someone would buy an Orange Pi instead of coding on their Laptop they already have for free, despite that having "better specs", but being unable to do or being bad at some things an SBC can do)
tough crowd, just a joke.
It's akin to asking for investment because you intend to build a god.
Gamers Create Their Own 3D Games with 'Dreams' for PS4
This is Google we are taking about.

If anything, some of these products will overlap in time causing great confusion.
I agree. While EVs are nice, and the reduced noise is a real blessing in the city, and even better blessing would be not needing cars at all.
How to Implement a Spreadsheet
Retaliating against whistle blowers is a great way to generate bad PR for yourself. You may disagree that this is whistle blowing. You may view these employees as entitled troublemakers. I expect the googlers doing this view themselves as making personal sacrifices for the greater good. In any case, I doubt Google wants to lose talent to competitors because they are viewed as a hotbed of right-to-workers ideology in Silicon Valley.
Can someone explain for those of us unfamiliar with the many Google products and services: do they "hear" us in the sense that they will allow users to run their own servers for these IoT things, or will they keep users locked in, and will merely support some platform for a little longer?
Ibuprofen, yes. Aspirin, no.

Aspirin is a blood thinner.
What's a stdlib then, if Node's isn't?
I’ve had a supply demand problem that I couldn’t figure out how to use a SAT solver for - thousands of demands ( movies have to reach thousands of theatres) with tens of possible paths (fedex, satellite, download) - each at different costs, some impossible and costs will change with volume and consideration of other similar deliveries. Have a solution that models each choice of supply demand tuples as nodes in a tree and doing depth first search on it.

Any ideas on how to switch to an SAT solver? How would I even write such a large SAT Boolean expression, and how would I tell the SAT solver that the costs will change for each choice depending on business rules and other choices made? It seemed impossible with a SAT system but I assume I’m not familiar enough with the concepts.
Ive found that the games these days are just about instant dopamine hits - gone are the days where a game could take hours of strategising in favour of a "whose got the best cards" a la command and conquer mobile app.

also things like dungeon keeper, black and white, populous... all those semi open ended games.

its all just mmorpg, moba or pay to win these days.
Look mate, as a fellow Slav from Slovenia I can assure you all our common ancestors stumbled here way too late to have anything to do with Etruscans.

And then there are also excellent arguments made in other comments.
IIRC the dpkg package manager in Debian uses a SAT solver for dependency resolution.
Stuff like resource gathering stretch gameplay, and things like in app purchases are designed to give you immediate pleasure, so spending money feels good. Do you want to wait a day for X to finish building, or finish it now for $1 and start your war today!

Yes, it's absolutely manipulative, but it's also pleasurable, so people accept it. However, I reject it because I don't want to feel like Pavlov's dog.

The DLC model isn't that much different. Instead of getting an immediate pleasure reaction at the time of purchase, they extend the pleasure over a bit longer period. Instead of, "I'm glad I sped up that building", it's "I'm glad I bought this DLC, mechanic X is so nice". Both try to get you to spend more, and both try to reward you for doing so. Instead of being Pavlov's simple dog, I'm Pavlov's sophisticated dog.

Unfortunately, microtransactions are getting more popular in the form of loot boxes and cosmetics. Fortunately, they seem to separate purchases from gameplay, and hopefully that doesn't change anytime soon.

But I'm definitely with you. $40 is usually my upper bound for a quality title, and I'm willing to pay $10 or so per quality DLC if I'm enjoying the base game.

I recently got EU4 for $40 (bundled with a few DLC), and I'm likely to buy some DLC when the next sale comes around so they end up in my preferred spending range. Waiting for a sale for a reasonable price is stupid and EU4 walks the line between a reasonable DLC policy and a predatory one, but it's a good game so I give it some slack.
https://en.wikipedia.org/wiki/Color_Labs

Is a good case study for investments on reputation alone.
Like every issue, there are those who are obsessed with it, for whom it takes over their lives, and then there is a large swath of people who either agree or not, but do so without much intensity.

Since the intensity of most people's beliefs is low and the specific issues are not part of day to day work, it's not really a thing that comes up except when new news breaks and people talk about it at lunch for a day.

When you take a look at how many people, in an industry where it's trivial to get another job, quit over any of these issues, it's in the single digits.
What boggles my mind is that bond rating agencies rate Illinois debt at any rating that allows continued borrowing when it is so obvious how bad and deep the financial hole is.

Disclaimer: actively seeking ways to short Illinois/Chicago.
You mean the old Microsoft?

The new Microsoft just cancelled UWP. Their latest attempt to scare the hell away all developers.
As computer scientist, 20 years in the software development field, worked with different languages, I still think that Ruby is the best LISP: https://www.reddit.com/r/ruby/comments/58xevn/ruby_is_lisp/
Yeah but point being, if you need to use is-odd, what you probably need more is something tailored to your particular application.
Razors can cut more than grass, and some file systems are more user hostile than others, while making it difficult to clean up forensic evidence.

https://en.wikipedia.org/w/index.php?title=Comparison_of_fil...

(Spoiler: Note the last column. Also: https://en.wikipedia.org/wiki/Hans_Reiser ...)
Always a crowd-pleaser: OpenBSD true.c vs. GNU's true.c

http://cvsweb.openbsd.org/cgi-bin/cvsweb/~checkout~/src/usr....

https://github.com/coreutils/coreutils/blob/master/src/true....