skysight-inc/HackerNews huggingface dataset:
I wonder about the status of Raph Levien's Ghilbert [1]. It seemed an approachable proxy to Metamath, promising enough that I thought I can persuade my mathematician friends to look at it sooner or later.

[1] https://ghilbert.org/
do you know oracle's culture? politics, bureaucracy, nepotism, hierarchy, ... you name it.
There are some fantastic resources out there which detail basically every part of the GameBoy from processor to graphics.

For me the GB was a great entry point in learning about emulators as is is fairly simple compared with some other consoles. Even if you're not going to make an emulator some of them are still great reads - I've put a few resources I used on the GoBoy page: https://github.com/Humpheh/goboy#resources
From reading some of the stuff Yahoo put out back in their prime. I always got the sense that they thought they would never fall and were maybe a bit invincible.

I think Zuckerberg and Facebook in general, are very aware that Facebook is on the decline, they need to diversify. That's why they bought Instagram and used it to flight Snap. That's why they spent such an insane amount on WhatsApp.

Zuckerberg knows they need to create or acquire the next big thing to make it in the long term. At least, that's what it seems like to me. I have a feeling they aren't going anywhere soon because of this.
We have a misunderstanding. I was only talking about decorations and art, not more functional items like furniture and utensils.
Criminalizing PR is not criminalizing speech,it is criminalizing a financial transaction. It does not mean that PR firms cannot say some things, just that they cannot be paid for it.
I've watched it twice before. I also recommend "This key is your key, this key is my key"

https://www.youtube.com/watch?v=a9b9IYqsb_U

Deviant is a pentester focused on physical sec. Not just elevators.
Ear and Nose Infection
Oh indeed, that is disabled for me, good point!
Very much agreed, and V. Voevodski has expressed authentic concern from the working mathematician side that peer review needs machine help. Wiedijk writings are nice. I have taken a look at Mizar articles and they are a fantastic sample of good things already achieved. We need to close the usability gap so writing formalizations is just easier. We need a big open source project, the Linux of mathematical vernacular.
This starts getting viable only now on a turbine scale of several Megawatts, with a very continuous workload. Scale this down to a car delivering an average of just a few kW that is driven maybe an hour or two per day and you‘ll lose all that efficiency to just cooling down the motor to -240•C and keeping it there.
mAh is not a measure of energy; Apple says the Macbooks have about 54 watt-hours, whereas an iPhone has between 6 and 10.
Not So Big in Japan: Apple Cuts Price of iPhone XR to Boost Sales
Sure, in the way that assuming all food is rotten is the only way to completely avoid food poisoning.

If, however, you don't subscribe to the starving lifestyle, such blanket assumption are useless.

Same for phones: do you just not use a phone? Does the poster above you rely on the heuristic that people using the term "pwned" generally don't have much of relevance to say anyway?

Because if everything is terrible, and everyone is corrupt, and there is absolutely no use in considering the probability that some options are less terrible than others, and that there may be signs the public can pick up on to make decisions, then congratulations: those believes do help in feeling really smug about your cynicism. But they don't really help otherwise.
> You cannot deduce anything from battery size.

physics might have a word with you :)
Gameboy is actually a bit friendlier than the NES to get started with, because of the low number of mappers (programmable chips in the cartridges to do tricks with addressing, NES had much greater need for these than the GB due to the dearth of tile RAM). But Sega Master System is even friendlier, I hear.
How to Choose Brand Colors That Will Make Your Brand Stand Out
I grew up in poverty. As a kid, I had potato chips for breakfast if I ate at all and remember being hungry most mornings at school.

I just got my second promotion at a FAANG in three years. I have great work life balance. I can afford to buy food and more. I invest and max out my 401k and my older sibling is now in her final year of her residency and my younger sibling is almost done with bachelors. My spouse loves me. I was very sick this thanksgiving and it was nice to be taken care of. I still have anxiety and confidence issues, and I’m terribly afraid of risk... but it’s gotten substantially better than a few years ago.
Indeed. I get that those forest developments are beautiful. But living in mediterranean-type climate areas is foolish. The more effectively you suppress fire, the worse it will be, when it happens.
exactly - how is this news-worthy now?
You can flag them
>lol, I knew social media was going to be mentioned as a factor.

Wait, are you surprised? It's been proven times over social media has a very negative impact on your mental health.
I experienced it myself and only been on the way out since the spring.
Without BSD underneath, I wouldn’t take Windows seriously for dev outside of .NET
I could not agree more! I want the glowing apple light on the back, to return though.

FaceID on the Mac would be a cool addition. Lighter would be nice.
Interesting, I did not know that. Out side the US market I think not supporting iMessage would be suicide for the carriers. If iMessage wasn't supported by one carrier, people would just switch. Maybe it helps that most carriers here have had unlimited SMS for a fix low fee for almost ten years.
Yes in most countries, but most ( English ) article are written from a American perspective. And they have lots of different way calculating their earnings.
A classic Phildickian premise; see his 1959 story "War Game."
Best prank
I believe the road to UX hell is paved with "we want to be a marketplace".

Even for a single SKU, Amazon will often stock the same item as new/used/refurb, from several sellers, at a whole galaxy of prices. This means there is no lone price to sort by, because you can't start with asking the user "Are you okay with a used one? Will you trust Acme Reseller Ltd as a merchant?".
I'm afraid not. Usually,some app like facebook is involved. You can search for news articles on the subject and see other people's report as well.

Not only do they collect voice without consent,personal experience tells me they're also sharing it with usgov(not elaborating on that).
What does OT stand for?
Firefox burns through battery rapidly too. Seems that you have to stick with Safari to get good battery life out of an MBP - it makes a very real difference
Yahoo failed, in part, because its competitors were better.

Being better than Facebook doesn't mean just replicating its technology, it means having a better social graph.

That's a hard problem to solve.
There aren't actually too many differences between GBC and DMG emulation as most of the hardware was consistent between them. The main change is around the PPU and the memory, as the GBC added some internal memory banks which are used for tile attributes and colour palettes etc. The actual changes around the graphics rendering aren't very significant other than some conditionals for GBC mode - you can see them here where `isGBC` is used: https://github.com/Humpheh/goboy/blob/master/pkg/gb/ppu.go
Touching young girl speaks out on police brutality
Yeah, I have zero sympathy for people who flippantly joke about playing in traffic. They have little disregard for other pedestrians, drivers, etc. by creating a fatal accident.
Let's return to the original statement, shall we?

> These are tagged templates, not strings. They work as code at runtime, and it already has support to optimize it, compile it, etc.

So. How exactly do they "work as code" and "have support to optimize it, compile it, etc."?

Here's HTM's main function https://github.com/developit/htm/blob/master/src/index.mjs#L...

It: concatenates strings, parses (via regexes), then concatenates again. Can someone enlighten me as to why this is awesome, is code, is optimized and compiled?
Engineering a successful product launch
Using a neural network to generate reinforcement learning agents
My girlfriend says she feels like my mother, careful with that
Google Fonts will serve a different .woff2 font file depending on the user-agent. You cannot accomplish that with just CSS. See https://news.ycombinator.com/item?id=8802748
Make sure its not just cognitive reticulation, and the priming of your brain where previously you wouldn't have noticed these things.
I love my MacBook Pro at work.

I would love it even more if it didn't have the touchbar and would have a key press depth larger than half a millimetre.
WJS #150: Vue 3, Google to Pay Frameworks, the State of JavaScript 2018
It's pretty easy to tell human DNA from bacterial DNA. For one thing bacteria have small circular genomes versus huge linear chromosomes. More importantly individual sequencing for humans is heavily assisted by aligning reads to a known genome so any sequences which don't resemble known human DNA will probably be discarded.

I cant speak to whether they are actually sequencing samples, but it'd be a pretty blatant lie if they're not.
Agonised briefly about a low end Pro vs new Air, and went for the latter chiefly for portability.

Absolutely love the new Air. It’s so small, so relatively light, great battery life, and the new keyboard (which I had dreaded) is one of the few that haven’t given me RSI after long continuous use. Love it. At some point I’ll have to buy an adapter, which is annoying but I have yet to bemoan the lack of old school ports.
That's funny, considering the fact that SWIFT is located in Belgium.
Probably more that people will complain more if the bank error isn't in their favour.
Time for a company to leverage on hardware button to switch off mics, camera and gps. I know a lot of people who would buy it
Simply, they can't create the next big thing outside of facebook. That's why they bought things.
I absolutely despise Windows 10. I only deal with it for some gaming. What is your development workflow like? Any terminal? When I used the Ubuntu subsystem or whatever they call it, it was so slow pulling down some dependencies that it was unusable.
Of course it helps! Less shipping and stricter pollution rules are a huge boon to the planet.

Which is of course obviously a lot more important than any economical considerations.
LOL, this sounds like from the Silicon Valley TV show. Please everybody tell your parents you're using such a service and see how they'll break down in laughter ;)
Bloomberg terminals
You have to pay em a lot more, but for the right pa and the right boss..
Maybe they are just more aware of the associated risks?
I don't know what your on about, Windows 10 can run UWP apps just fine on any Allwinner A64 based device: https://github.com/Leeway213/Win10-IoT-for-A64-Release-Notes...

With regard to supporting tablets, most of the older Allwinner based tablets have feature parity between the mainline kernel and the vendor BSP kernel: https://linux-sunxi.org/Linux_mainlining_effort
Doesn’t need to be a better graph, it needs to be good enough to grow.

Most FB users probably aren’t “power users”.
The most infuriating part of all of this is that you know it was some middle project manager who got some minor bonus in the grand scheme of things (probably in the tens of thousands) for introducing some practice that is literally ruining people’s lives. It is absolutely maddening to look at this entire system and see what it has become because of above happening tens of thousands of times over.
Which Lenovo model did you buy?
Why wouldn't exactly that be going on here? It's a grade-A downvotable, flaggable comment.
> Type-checking happens at compile time, and even the JS is parsed by a user-land library and not the JS engine.

True. Still, it's functions and regular JS, not strings manually processed at runtime

> At runtime these templates are parsed by the browser's built-in HTML parser.

It's not the first time I've seen this ... bullshit (no other word for it). Where does it come from?

The only time it's parsed by browser's built-in HTML parser is when you manually call something like `element.innerHtml = "you string that you manually assembled in your function at runtime"`.

The browser has no idea what is contained in your tagged string. Which is painfully obvious when you actually look at the implementations of HTM: https://github.com/developit/htm/blob/master/src/index.mjs#L... or lit-html: https://github.com/Polymer/lit-html/blob/master/src/lib/temp...
A company founded by Craig Venter and Peter Diamandis (Human Longevity Inc) has been working on this and published a paper about it last year in PNAS [1], but it attracted some scepticism from other researchers in the field (the paper was rejected for publication by Science) [2].

[1] http://www.pnas.org/content/early/2017/08/29/1711125114

[2] https://www.technologyreview.com/s/608813/does-your-genome-p...
Ads on their website are annoying but this is a terrible article.
Why It’s Crucial to Have DesignOps
It's (marginally) better than having it at runtime. Poor man's macros. Much like JSX in a sense, though JSX is a much thinner abstraction IMO.
And here I was wondering why we needed to learn the insides and outsides of laborers in the service industry.
Drive Genius 5.3.0 Crack Download with Serial Key Review Archive
Per mile travelled, (modern) elevators are literally the safest form of transit ever developed by our species. They are rather impressive devices from a safety perspective, somebody else linked the video in the thread so I'll chime in and say I highly recommend the defcon video "From the Pit to the Penthouse".
For those who're thinking about going to Windows. Yesterday I pulled my Surface Pro out of the drawer, installed updates and tried using it once again.
Here is list of what happened.

- Keyboard didn't work no matter work, attach, un-attach, reboot, power off, nothing. It started working after I watered contacts.

- No bluetooth for you until Windows is booted. That means when the keyboard failed I couldn't choose Windows startup options as I have no wired keyboards home.

- Inking still has noticeable lag compared to my iPad Pro (the very old one, 9.7 inch)

- One Note still has no proper grid - one is too small and tiny and another one is too large, no grid that would much traditional notebook grid. Both Apple Notes and Notability on my iPad Pro have proper grids that more or less resembles the notebook.

- One Note refused to create a notebook "Foo" with message "Notebook Foo already exists" because I had a folder "Foo" in the "Documents" directory in OneDrive. I had to delete it.

- Build-in Photos app crashed when I tried to edit a video with it. That is click a video in the collection, click "Edit" button, see "Preparing video" screen, crash.

- YouTube application that is one of the top in the Store crashes every time I try to scroll things. It's fine until I scroll something, then crash.

- Startup items that cannot be deleted even though application are gone for good. Only disabled.

- I tried to install Adobe products. When I uninstalled it I had two services left running and 1 GB of files that has been leftover. I had to open PowerShell and manually disable and delete services and then manually delete the files.

- I tried to install Amazon Photos and while it completely removed itself during uninstall I'm stuck with "Amazon Photos" startup item. Files are gone for good though.

- One of the reboots took over 40 minutes. I dunno what was it doing, it was just sitting there with “Rebooting” screen, speaking fans. I let it run just to see how long can it be like that

All this I had in two evenings. I didn't even try to do any real work on that thing.

I know that Adobe and YouTube app issues are not Microsoft's fault but that the culture you have in this ecosystem. Be ready you'll have to deal with that.

I made my choice - until Apple looses it completely I'm stuck with them because everything else is just unbearable. And once they've loose it I'll probably go linux or stop using computers altogether.
React Default Props in TypeScript
I am reposting this for the third time, because a mod has twice detached it (https://news.ycombinator.com/item?id=18513479 and https://news.ycombinator.com/item?id=18514649).

The following comment is neither off topic nor correct to detach. It is directly responsive to what nickpsecurity has written. So, for the third time, here it is again.

Dan, if this incorrect use of detaching my comments persists, I will write software to automatically repost my comments when you detach them, cycling through various alt accounts, tunneling through tor as necessary.

===

Howdy from someone who writes substantive comments for the showdead audience. I'm https://lobste.rs/threads/shawn on lobsters.

I was embarrassed to be classified with the 99% of useless or negative comments, at first. But the truth is simple: few people who value their time write for the showdead audience. It’s so hard to participate constructively that it almost feels impossible. But it’s not.

Till now, poor moderation decisions have caused community members to quietly leave – as yummyfajitas did – rather than risk standing up to Dan. After all, if the entire community likes him, the simplest explanation is that you are the problem, not the moderator.

But nobody can be perfect all of the time. It’s inevitable that mistakes will be made, and it's worrying that Dan tries to seem like an omniscient, benevolent steward who makes no mistakes. If you try to disagree with some of his decisions publicly, you are eventually banned for doing so, regardless of truth. But for better or worse, that’s his choice to make.

https://news.ycombinator.com/item?id=18153219 is a pretty standard example of what happens when you try to appeal a decision, or merely ask "Why?" publicly. (All of my emails to hn@ycombinator.com addressing Dan have been ignored for months, so there was little choice but to try asking on HN.)

Feel free to privmsg me on lobsters if you want to chat further, or email (see profile).
Thank you for highlighting that to us. I dismissed the article, but I'm very glad I went back and watched the video.
Having a better service, at this point wouldn't mean that Facebook would fail.
I'd be interested in the failure modes of this, especially when the cooling malfunctions suddenly (or along with a failing temperature sensor).
Why wouldn't the counterweight also have its own emergency braking system? Seems like an obvious oversight.
"Monitoring patients also helps insurance companies advise doctors about the best treatment for patients"

Since when did insurance companies become doctor advisors? That's very alarming.

The whole concept of unsuspecting data sharing is wrong, disturbing and should have everyone concerned.
The fact that this dumb “Google/FB listens to you in the background and uses it to serve ads” myth is still around even on HackerNews is insane to me.

Do you all really think that if this contributed a measureable portion of ads that it wouldn’t leak? There’d also have to be a large amount of hardware dedicated to speech transcription—running constant speech to text on every google chrome browser would need so much compute.

Not to mention that it’d be possible to actually show that the company was lying by modifying microphone drivers and showing that they activate in the background. I’m pretty sure you could also just do it the same way they make game hacks—get access to chrome memory and show that there’s sections that match the recorded speech.

Indisputable proof that this happens would be a PR disaster for either company and cause legal action too.

I’m really in dismay at how long this myth has persisted.
yes but wouldn't it be nice to be able to emit CUDA/OpenCL code from an AST so that you could use your Clojure functions on the GPU without duplication ?
Tabagotchi for VSCode  Keep tidy workspace
You basically take all the dna in the sample and chop it all into small pieces and all of these small pieces are read into computer memory, and then an algorithm goes through them all and merges the pieces that fit together back together into the original long form of the dna. Only pieces that have overlaps with each other will merge together, and there are many redundancies, so if any pieces accidentally fit together that aren't actually supposed to, then they are discarded, because this won't happen nearly as often as the real merge.

So maybe a bunch of human dna gets mixed up with bacterial dna - I dunno really - but it really doesn't matter because of the way they put back together.
Yep! When are people going to realize leaders of Apple, Google, Amazon and the rest are not capitalists. They are corporatists. These are the same companies lobbying for more government control - they don't want to have to compete. So much leftist propaganda!

NH has been full of negative reviews and common-sense explanations for better tech designs for years now, but still few here feel entitled as customers (and designers or engineers)! People are learning to distrust their own experience of the world and trust authority when they are told what people "actually prefer" - and then they start preferring it... Disgusting.
To reinforce your point - I have worked with people in the past, mostly older, that struggled a lot with Git when all they were trying to do was something simple like commit some static files generated from third-party software to my project. These people only needed the bare minimum (stage, commit, push) of Git yet found themselves baffled and fighting with the tool because of all the possibilities and things it could do that they didn’t really need.
وظائف شركة سمارت لايت
Agreed. Living in SH, you get tied to the convenience of Wechat. I had a few hour issue with an update to my phone and I realized the vulnerability is enormous. Your entire adult network and ability to function is lost without it and its links to everything.
The assignation (sic) of President Kennedy was a blatant affront...

Wow. Nice editing, Salon.

Nowhere in the entire rant is any reasoning as to what conspiracy is being championed here.
Doing Black Friday the Right Way
>Zuckerberg knows they need to create or acquire the next big thing to make it in the long

Isn't that exactly what yahoo did?
I have nothing to hide! FANG already knows everything about me! /s
I also do almost all of my development on Windows 10 these days after years on Linux and find that it basically just works for almost all cases. For terminal I mostly use Cmder and Msys2, when not using WSL.

As to performance problems with regards to WSL and disc IO, there has been problems with how Windows AV software's real time virus protection interacts with WSL. Adding an exclusion to the part of the file system used by WSL should give a significant performance increase.
I was not making a general statement, the person I was replying to was, so "counterexamples" are relevant to their comment, not mine.
The fire alarm went off during one of my final exams at university.

Immediately the invigilator shouted "stay seated, we wait for confirmation", but within a few seconds a security guard ran into the room and shouted "please leave immediately".

There was a fire, but I assume this process was in place to take account of people trying to disrupt the examination. I don't know how long the invigilator would have waited for security.

The invigilators tried to find everyone outside and keep us together without discussion, but that was unrealistic in Central London, there is too little open space.

Fire fighters extinguished the fire within about half an hour, and we finished the exam.