skysight-inc/HackerNews huggingface dataset:
> Cyclists tend to be more patient than drivers

Given the amount of cyclists I see blow thru red lights and stop signs every day, I'm not exactly sure I can agree with this.
I would also mention https://github.com/edef1c/libfringe which pretty much solves context-switches (by replacing them with compiler-generated minimal stack spills/restores).

But as you might be able to tell from their APIs, you still have to allocate stacks somehow.
Apple has always commanded a premium for their laptops. Yes there’s competing specs out there for less but there always have been. I paid $3k for my Retina MBP in 2012 and it still works great for me today. It was a good buy for me.

If the MBPs available don’t seem worthwhile to you, no need to get upset about it, just don’t buy one.
Yes, I was surprised that they did not at least explore similarities with moviegoing.
> And how do you know when you've actually pressed it

Usually when I press a key I expect the application behavior to noticeably indicate that I've pressed something, regardless of what key I'm pressing. When do you press escape and not get actual behavior change, whether that change is to back out of a vim mode or to dismiss a dialog box?
What children?
"Some people might say Iran has theocratic and undemocratic elements. "

So does nuclear Pakistan.
Referenced xkcd: https://xkcd.com/1827/
The whole notion of “your brain thinks …” is a common interpretation of fMRI studies, but I think it is not very accurate or useful. It contains the idea that what your brain does is somehow separate from what “you” are thinking and doing. In practice, what we see in fMRI pictures is just the what the current thinking and activity looks like in the brain. So even if you saw the same patterns of activity for people watching and playing sports, that wouldn’t mean that the brain “thinks you are playing”, it just means that your thinking might be similar during both activities. As others have mentioned the article does not reference the title, so this is a comment on the title only.
Not the company. Priceline Group is now Booking Holding, composed to Priceline.com, Booking, Agoda, Kayak etc etc
DAU tracking #'s are based on on-chain activities. We don't know daily active user #s for activities such as visiting the crypto kittie site and looking at different kitties.
If you just need an older Linux distro on Linux, use Docker or LXC. Containers allow you to easily share files and there's no performance overhead or messing around with virtual hard drives.
Just in case you’re as confused as I was, the project is to encrypt the Server Name Indication. Here’s the Wikipedia page:

“Server Name Indication (SNI) is an extension to the TLS computer networking protocol by which a client indicates which hostname it is attempting to connect to at the start of the handshaking process. This allows a server to present multiple certificates on the same IP address and TCP port number and hence allows multiple secure (HTTPS) websites (or any other service over TLS) to be served by the same IP address without requiring all those sites to use the same certificate. It is the conceptual equivalent to HTTP/1.1 name-based virtual hosting, but for HTTPS. The desired hostname is not encrypted, so an eavesdropper can see which site is being requested.”

https://en.wikipedia.org/wiki/Server_Name_Indication
> Eh, don't overestimate how common this rescue was

The operation was unique, just about every rescue operation is in some way, but the equipment they're using is all the same stuff that's familiar because they've trained with it. Getting a dead body through a cave is fairly similar to a live one and the differences between the two is something they were very cautious about taking into account. Introducing a new piece of equipment they're not familiar with is an additional unknown that compounds the ones they were already facing.
Apple has never cared what their users wanted and they've never listened to them. Design, like shit, flows downhill. The difference between then and now that is Steve Jobs isn't around to tell them that the shit landing on their heads is really gold. As a result, they're not afraid to offend Steve and they're starting to develop opinions of their own.
I heartily recommend Destiny Rising[1] by M. D. Cooper -- free on Kindle Unlimited. It's the first 2 books of the "Intrepid Saga", which in turn is part of a growing collection of series in the "Aeon 14" universe[2]. It's really fun and also engrossing.

Some of the related series, like "Perseus Gate"[3] are hilarious. All of these stories have a lighthearted tone and have great character development. They are based on "hard" sci-fi (i.e. plausible inventions) and touch on deeper topics like the meaning of sentience, and of freedom, but they never get heavy.

[1] https://www.amazon.com/Destiny-Rising-Military-Space-Intrepi...
[2] http://www.aeon14.com
[3] http://www.aeon14.com/series/perseus-gate-season-1-orion-spa...
I managed to revive a 2010 Macbook Pro that had an issue with the logic-board/GPU. Ubuntu 18.04 works flawlessly on it. Although Gnome is a little heavy, so my i3 setup with some XFCE settings works very well.
Dying Organs Restored to Life in Novel Experiments
That's fair. I would believe that error checking on lambdas has improved.
Surprisingly, the included 1.25 GB of RAM was not enough to run some nix commands.

Does Guix run in a "low memory" (scare/sarcasm quotes because 1.25 GB is still a non-trivial amount of memory) environment like this?
>I can just go for a tandem jump for 0.1% of this price

But neither of those is 0g. Skydiving is sort of 0g at the beginning when you’re accelerating, but that tapers off to 1g as you approach terminal velocity. Same goes for indoor skydiving.
Video Games, Once Zapped, in Comeback (1986)
So use VP9 until AV1 is ready. Netflix uses it for their mobile encodes:

https://medium.com/netflix-techblog/more-efficient-mobile-en...

YouTube and Netflix adopting VP9 before others doesn't make VP9 irrelevant for everyone else. The same is true for AV1.
In 2014 I bought the top of the line MBP for $2700AUD. To get a top of the line model now it's $4100AUD. As someone who loves macOS, I'm still not gonna buy a new MBP until the price reaches some level of reasonableness. I've been seriously considering of getting a Dell and using Linux instead and I may just do so if there's no budging of the prices in the next 2-3 years.
I think it was supposed to be a joke about how there is only a middle child if there is an odd number of children.
I found the article to be meandering, unclear, messy, and not based on an active appraisal of the way progress in AI work already is judged. I don’t know why you claim my comment has “dismissiveness” — it does not. Pointing out that the failures of the writing or arguments makes it hard to read and lacking in any useful conclusion or call to action is not dismissive at all. On the contrary, I gave up a lot of time to interact with the essay by reading it and reflecting on it. It’s just not a good essay.
Best app I found to implement GTD so far.
Top ten high performing printers 2018
Rendez-vouz with Rama is in my top 10 favorite books but I wouldn't say it's fun and lighthearted.
An external HD or removable SSD drive would be a much better system for moving between home and work. It doesn't matter how heavy the base system is if you're just moving a tiny disk, but there's no money in that for Apple.
I don't understand why people don't just support TLS in non-userspace code. It's so convenient for a bunch of things, and sadly Rust, for now, has nothing in between "fully explicit argument passing" and "scoped global state".
To a certain extent it's just syntax sugar. It's relatively easy to implement a lisp-1 with a macro in a lisp-2 and vice versa.

At this point I'm so used to lisp-2 that I make all sorts of silly mistakes when I program in a lisp-1. In English, a word could be a noun or a verb depending on its position in a sentence, so there is a parallel there. Whether or not it's a good thing is a matter of taste.

The only clearly objective difference is that lisp-1 is simpler, which is probably why most lisps created in the past 30 or so years are lisp-1s.
I've been using 16.04 since release and loved it. It was my first Linux daily driver after dumping Windows due to dislike of the way MS has handled Windows 10.

I just bought a new drive, so took the opportunity to install 18.04 to see how it goes. I'm using a Latitude E7450 with a 1920x1080 touchscreen. I'm not a developer, I'm primarily a network engineer, so I spent a lot of time in terminal windows configuring routers/switches,etc... YMMV.

I hate it. Most of my hates are around the gui, likely due to the switch from Wayland/Unity. I can no longer alt-tab between open windows with one hand when you have multiple windows of the same program open. Selecting which window you want requires either using the mouse, or using the arrow keys(with right hand).

The "launcher" -- not sure what it's actually called, the equivalent of the Windows Start menu, reminds me of the jarring experience that the original Windows 8 was. It goes into full-screen task selection mode, instead of a partial window overlay like 16.04 did.

Somehow I keep grabbing the icons on the left side('favorited' programs), and then the cursor won't let them go. I wind up spamming enough buttons and keys that eventually it drops it, but a simple click doesn't do it.

Sometimes the mouse quits registering clicks. As if the OS thinks there something on top of what I'm clicking on. I click on a tab in Chrome, and nothing happens. Usually a few alt-tabs to switch active programs will clear it up.

If you touch the screen, most of the time an onscreen keyboard will pop up, and you have to move the mouse to make it go away. I understand why, but I don't use the touchscreen that way and it just gets in my way.

1920x1080 on a 14" screen it just a little too small for me to comfortably read the text at a normal distance. I used the DPI scaling in 16.04 to compensate. But the scaling in 18.04 doesn't work the same way. I changed the fonts around and sort-of got something workable, but it's not as graceful as it was in 16.04.

The alt-space window that drops down the minimize/maximize options doesn't accept keyboard commands. A common key sequence for me is alt-space, x (for maximize window) -- this doesn't work in 18.04

That's my annoyances so far that I can think of after using it for 2-3 weeks.

Things that I like? Multiple tabs in the terminal window. But I could probably get that in 16.04 too.

The network manager is better and more intuitive. I've actually caught myself using it a couple of times. 16.04's manager does nothing but fight with me constantly.

There was an annoying issue with Chrome on 16.04 that occasionally in full-screen video mode, the UI would lock up and I would have to kill -9 chrome to get it back. This hasn't happened yet in 18.04. Not sure if a chrome or Wayland issue.

The relocation of the gui window close/min/max elements doesn't bother me, either layout works for me.

I can't think of any other things that jumped out at me about 18.04, good or bad.
Your iPhone has hardware support for encoding and decoding HEVC, too!
Show HN: Convert any file to English words and back again
I dumped MBP after 6 years and bought a Dell XPS 9570 15" with max specs.

Some slight issues on Fedora, and of course the touchpad isn't anywhere near as good as MBP, but overall very happy.

Bonus: Docker _flies_ on Linux compared to MacOS.
Where your comment falls down is that in a Lisp-1, every let is also a flet.

Also, of course, you must use gensyms for any locally bound identifier, whether it is a let or flet. Nobody said that Lisp-2 allows for labels and flets without having to use gensyms; nobody in their right mind is going to lexically bind identifiers in macro-generated code that don't use gensymed names (other than in cases when there is no possible capture).

Lisp-2 addresses (in a good-enough-beats-perfect way) the following problem: the programmer's code wrongly capturing references that the macro would like to use.

The macro wants to generate some (foo ...) call to a function in the global environment. But, oops, in a Lisp-1, a user's local variable foo takes this. In a Lisp-1, the user would have to have a local function by that name.

If global functions have reasonably descriptive names, and local functions are used sparingly, the potential for a clash is low.

We can have a warning when a local function shadows a global one; it won't be too much of a nuisance since global functiions tend to use descriptive names, and local functions are relatively rare compared to local variables.
This is just a static client-side site in JavaScript.

Source here: https://github.com/textonly/txtmode

From the README: Simple client-side static page to convert any file to ASCII text (a-z) / (English words) for transport. Possible use cases are sending files over channels where only text is permitted / reliable. Or sending / archiving binary files as print outs that can be typed back in (given enough time / will to do so). Size expands about 8x (but depends), may as well zip first.
I think so, since a few packages I use recently turned out to be too old (vs the current mainstream) in the stock repos. E.g. Go, Docker.
Btw, for the tab behaviour - just go to https://extensions.gnome.org/extension/15/alternatetab/ in your browser and click install.

Gnome is configurable using the browser.
Scrolling was painful on my iPad Pro.
A random fact - "Zaum" is not really a word you'll see used today but it has an adjective version that is used often - "zaumnyi". It is somewhat close to 'beyond reason' but basically means pretentious or something that's complicated for the sake of complexity - along with the same negative connotations as in English.
I love Solaris. I think it's deep and thought-provoking, and more than a bit unsettling. I wouldn't say it's lighthearted and fun, though.
Seconding the recomendation for "Police Squad!". Amazing series that gets slept on.
As with so many other things, average isn't really a good measure here. And unfortunately I don't think mode or median are really relevant either. It's the instantaneous speed that causes problems. Zooming up the block in a minute at 40 mph and then sitting at a red light for 3, your average was 10, but if you'd hit something, the damage you'd have done would be a lot worse.
I love iA Writer -- I keep it open in a fullscreen window on my mac that I can just swipe over to. It's perfect for potentially converting short notes into long form. Also, once I start typing out a note, it is completely immersive and I don't see windows elsewhere on the screen vying for my attention to get back to them.
If you are considering a switch, do give Fedora a shot. I moved after a decade of Ubuntu.

All the technologies that won out (systemd, gnome, Wayland,etc) were created at Fedora. So the level of integration is unparalleled.

Ubuntu still seems to be fighting it's choices.
The history is that France gave the Israelis the Dimona Reactor originally as payback for helping the French and British with the Suez Canal nationalized by Egypt. The next French PM said he was giving Israel the technology to prevent another Holocaust.

Although the Arab nations have tried repeatedly to destroy Israel they are not afraid of Israel using the bomb against them. Nor can they conquer Israel because Israel has the bomb. Hence it provides an excuse to never start another war with Israel.

The Saudis and other Sunni Arab countries are terrified of a nuclear Shia Iran and would build their own bomb if Iran had one. As one might imagine, the Saudis are very supportive of Israel's efforts against Iran.
Its sad that the parent's aren't playing with the toddler in the first place and let him watch videos instead.

Someday if I decide when its time to get kids, I want to be in a position where I can have as much time as I want for the kids.
Will check it! Thanks a lot!
Oh no. Now Viktor Orban will have a sad.
>There is a big upfront sacrifice to get the small video size.

Still, the benefit to the millions of people who might download and watch a video surely outweighs the cost of the one individual computer that spent 10x the amount of CPU cycles encoding it.
University of Kansas is actually KU no UK. That's Kentucky.
Macdown - an Open source Markdown editor for macOS. https://macdown.uranusjr.com/
Apple lost me two years ago. While I was a big macOS fan and developer, I now work under linux.

I was very surprised to see how far linux has gotten as a desktop workstation. Including very good apps (darktable, ardour, inkscape and even gimp which had an horrible interface at the time).

I still think macOS had a superior UI (I say "had" because I haven't touched a mac since sierra) and that the hardware was beautiful. But my main workstation which has 3x 27'' monitors attached to it, was less than 2000$ (without the monitors of course).
The leaders of Iran have called for the destruction of Israel many times, so of course Israel will do what it can to thwart the nuclear weapons program of Iran.
Well, one interesting thing about the article is the way it describes GOFAI as based on false ideas, which is harsh but fair. But in a lot of ways, GOFAI was "applied philosophy", at least something of a direct map of one form of rationalist philosophy to computation.

GOFAI was abandoned but the various perspectives remain and current AI goes forward without necessarily having any larger perspective at all, just "make it work". One might guess we're waiting for a different coherent philosophy to organize the process.
Subtitles have (almost) nothing to do with the video codec. AVI, MKV, MP4, etc. are container formats that are used to multiplex multiple streams of media (video, audio, subtitles) into a single stream/file. In contrast, AV1, x264, HEVC, etc. are video codecs stored inside a multiplex. Perhaps confusingly, he MPEG LA (which standardised x264 and HEVC) is also responsible for the MP4 container.
I don't know how you can work on those keyboards. I feel lost when I am not on my mechanical keyboard.
An extra pound of weight in a backpack can be pretty annoying, since you have to move the backpack around a lot and carry it by hand sometimes.
Non-closable pop-up
I had moved to Ubuntu 18.04 from Xubuntu 16.04 and I like it. Everything is stable. Also I installed it on my parents' laptop, which had Windows before, and they got used to it quickly.
Still, I never used Ubuntu 16.04 so I cannot compare with it, but I didn't like Unity UI.
https://youtu.be/zl68asL9jZA

This video from a recent Linux.conf.au has got my brain buzzing on using Taskwarrior, but I'm yet to embark on the journey.
Wow. Some of the bug reports here sound pretty obvious. I wonder if your touch screen is the reason why so many issues are occuring... That or Wayland/Ubuntu isn't right at all.
The biggest downside is that your phone / tablet / etc can hardware decode h.264, and has to run h.265 or av1 decoding in software. As a result, your battery life gets killed when watching h.265 / av1.
> I can no longer alt-tab between open windows with one hand when you have multiple windows of the same program open. Selecting which window you want requires either using the mouse, or using the arrow keys(with right hand).

Doesn't the combination Alt+` do what you intend to do? Alt+tab changes between different apps, and Alt+` changes between different windows of the same app.
I for one welcome Apple's premium on hardware in general. It seems to make for a company that keeps its business model based on just their hardware. This is off topic so I apologise, but I've become rather disillusioned with how many better priced companies seem to be surreptitiously inserting constant tracking into their software and hardware.
Ask HN: Is reality a quantum block chain
...where the ledger is encoded in the current state of the universe?
To be clear, I remember those transitions being very smooth, but I was a Windows user. The first machine I bought without a floppy drive was my laptop in 2005 when CD-RW had long since replaced floppies on the Sneakernet.

My school was mostly iMac G3s and I vaguely recall the lack of a floppy drive being annoying once or twice, but the Windows machines had floppy drives and you could easily share files on the network, so it was never a big deal.
Nobody was interested in seeing Pakistan get nukes except for Pakistan and a select few other regimes.

If it were somehow easily possible to strip Pakistan of their nukes, it would be done. Once a country breaks through the nuclear line, the options for dealing with them rapidly dwindle, as we're seeing with North Korea.

Once Iran has nukes, Saudi Arabia is guaranteed to pursue their own. Then suddenly the revolutions that are so common to the middle east become globally threatening to billions of people. Just picture a powerful terrorist group - whether ISIS, Hezbollah, Hamas, etc - with suitcase nukes, it's the classic dread. Nobody else has used nukes in 70 years, for good reason. That will not remain the situation if those types of groups acquire them, they're designed to self immolate. Any of those terrorist organizations would sacrifice their entire organizations, without a second thought, to detonate such a weapon in a major Israeli city. Israel by contrast, has had nukes for decades and could destroy any given nearby country at will, and has chosen to never use them. There is zero chance Israel's enemies will behave similarly: they openly, frequently call for the genocide of Israel.
Malthus was probably correct without the invention of fertilizer. Hopefully technology like seaweed and vertical farms come to our rescue!
I would avoid Ubuntu. They take carry a LOT of patches that are not upstreamed (for whatever reason) and they have a long history of ignoring community trends and being extremely divisive for no good reason.
Hardware support for decoding should be pretty good these days. Any TV or streaming box that supports 4k streaming should support HEVC, since AFAIK all the streaming sources use it (except for YouTube, last I checked). I suppose if you’re streaming on a laptop you might be stuck with software decoding.

I’m also very impressed with HEVC, but mostly from the angle of UHD Blu-rays. The quality is remarkable. For the same size or slightly larger than 1080p Blu-rays (around 50GB, sometimes up to 70), you get 4k resolution (4 times the pixels as 1080p) and HDR.
For a work machine my advice is to make sure the tools you depend on work well on 18.04. Docker for example didn't have a stable version in their repos until June 22nd. Other tools like MySQL Workbench and the Redis equivalent (who's name escapes me) do not have 18.04 compatible versions.

Otherwise, Kubuntu 18.04 has been very stable for me for several months.
How long did you spend trying to learn Nix? I am trying to learn Nix as well because when I see it working it looks very clear and organized.

NixOS seems like it is from the future in my opinion. I agree the docs are outdated a bit. I had to go on IRC to #nixos to find out nix-shell is now nix shell. I submitted a pull request to the Nix Pills for that.
I don't know if I would call all of them bugs.

The non-registering clicks thing, yes.

The rest...are likely just preference issues, difference in features, and intended behavior. Such as the lack of keyboard shortcuts in the alt-space menu.

Most can probably be dealt with in one way or another. It's just going to be time consuming to go dig and find out how to make the OS stay out of my way. I'll likely be going back to 16.04 soon until 18.04 gets a little more baked.

It looks like I can get Wayland with 18.04[1], so I may try that first.

[1] https://askubuntu.com/questions/1029436/enable-fractional-sc...
galaxybrain.jpg