skysight-inc/HackerNews huggingface dataset:
A friend+former colleague of mine is the lead author of ReactiveML, a synchronous extension to OCaml: http://rml.lri.fr/

We worked on a hackathon together where we built a physical chessboard interface (https://github.com/chesseye/chesseye). He built the controller, which handles among other things the output from the video recognizer and messages the chess engine, in ReactiveML. I didn't know much about the language beyond first principles then, but was impressed by how easy it made it to compose parallel processes.

We tried to convey some of those conclusions in a later presentation, even though looking at it 2 years later I realize it's probably hard to get the insights without the verbal delivery: https://github.com/chesseye/chesseye/blob/master/presentatio...

(I understand there was a ReactiveML tutorial at ICFP last Saturday: https://icfp18.sigplan.org/program/program-icfp-2018, not sure if this post is related.)
Because it’s pretty great hardware. And if you price out trying to duplicate it, without arbitrarily discounting for features you don’t want, it’s not even much of a premium.
Can the T2 chip be accessed via a publicly accessible API? Or would some reverse engineering be required?

Since the third party check is software based, it's theoretically possible to write a piece of software that could either overwrite the flag on the T2 chip or man-in-the-middle spoof the return value to relevant applications.

EDIT:

I'm also curious to find out whether it's the OS or EFI that's performing the check. Because if it's Mac OS, the easy "hack" fix would be to use an alternate OS such as Windows or Linux that doesn't care about the T2 chip. But I guess that would defeat the purpose of buying a Macbook Pro in the first place.

Also, now that I think about it, if the check is in EFI then you're kinda screwed since you can't really patch it preemptively or man-in-the-middle it without booting an OS first...

...No wait, that's why projects like rEFInd exist. I guess someone could write a custom EFI manager that would bypass the check. Just install rEFInd first before replacing parts.

Seems that this is super hackable and is just a matter of time until we are able to spoof the flag.
Don’t worry. The wizards in China will figure out a way around this.
Any constraints such as space make a brain in a box more efficient than a simulation of that same brain.

Note, the computing substrate may not map to what the Brain’s thinks it’s substrate is, but that would still impose effects from the real world onto the mind. The equivalent of a cosmic ray flipping a bit in the hardware would actually flip something in the mind where a simulation could detect and correct such errors at the cost of overhead.
> You mean they got better?

Well, I mean they support new features, which is perhaps "better", though when you continue to tack on features for decades, perhaps something was wrong with the relational algebra model to begin with. Also, you're conflating "SQL" with advancements in individual implementations of a relational database. Relational databases are great; I just think we'll find a model that is more suitable for application development than "relational algebra + the kitchen sink".
I found the Cisco reference https://twitter.com/guieevc/status/1002494428748140544?s=09
Not quite. One reason why many passive indices are market-cap weighted is so they do not have to regularly trade. Suppose a fund needs to be 1% AMZN. Now you fire up a hype train and the price of AMZN doubles. It now represents twice as much of the index, market-cap weighted, so the fund wants to be 2% into AMZN, but their stake has doubled with the price so there’s no trading needed!
That said, you can generally pick up an extra point or two of returns by equally weighting and trading against the daily volatility, and some funds do this, but they cannot scale up to have as large capacity.
Running your company: an interview with Patrick Collison
Big five tech giants aren't playing, and I don't know any bank domains, but it's not hard to find names:

cloudflare.com
verisign.com
comcast.net
*.gov

Every time dnssec shows up there's a tptacek comment crapping on the medium. are you using google alerts or something? what were your consulting fees for this service?
Apple slow-boiled its "power users" and the dev community.

If everything that has happened since SJ passed away had happened within only one or two years, fewer people would defend them.

At this point, if you're younger than 20 years old, you just figure Apple built its good reputation despite all the problems.

So these days when Apple does something unpleasant, you get all the arguments that start off "well, Apple has always [had some recent flaw]" or "well, Apple has never [had some old positive attribute]"

Apple's reputation has indeed still suffered lately, but many older users are silently giving up, and many newer users don't know any better. I think financially, they're fairly free to do what they want now without massive consumer backlash.
> Check back for updates on an upcoming enterprise version of the Jira Cloud and GitHub integration.

This is a bit murky re: enterprise Jira + enterprise GitHub.
An excellent point. I found that handwriting notes after I had typed them dramatically improved recall. I did this when studying for the CA Bar exam, which involves memorizing lots of rules. After taking typed notes during the day, I would rewrite the notes by hand.

For me, I think part of the reason that I remember handwritten things better is that the formatting has to be done correctly the first time. For example, if I was writing down the three elements of a statute, one of which had two sub-elements, then I had to know very clearly how the statute was structured before committing pen to paper. When taking notes on a computer, it's easy to just pound out text and then go back later and put in the right formatting. For me, being forced to properly format the first time around seems to greatly increase recall.
Both saxophone and guitar I used to be able to play by ear. One of my favorite experiences was finding two other sax players and playing the "Back in Black" album by AC/DC. Just loved the sound and chords with the depth of the wind instruments. Eventually we met a trumpet and bass player too who could do that.

I could pick up Mario, Zelda and other game songs, idk it was just fun. That level of fluency was actually learning notes first, but doing free form jazz and blues for probably 45 minutes a day (at least) for two to four years.

Once I left junior college and moved to university I dropped all my music. Just bought a house, plan to pick it up again -- need the daily practice.
> This is fearmongering.

Spoiler, the article is actually a playful response to a fear-mongering article titled "The Silent Road To Serfdom," with a bit of inspiration from Asimov at the end.

The title is bait for misinterpretation, because the title is the original article's thesis that Matt is riffing on.

Matt Levine is a really fun writer, and I recommend the click to anyone who skipped it because they thought the title was the main and uninteresting point of this piece.
The superposition of D-Wave's states has collapsed?
Cloudflare and Verisign are no surprise; Cloudflare has a DNSSEC product, and Verisign is effectively one of the sponsors of the protocol. For what it's worth: Akamai does DNSSEC, too.

Comcast is indeed DNSSEC-signed (how you know Comcast does DNSSEC is, as I said, they sort of infamously broke an HBO product launch with it). But, for instance: Verizon and AT&T are not!
good stuff. My team was discussing curiously this problem at work today, we have been rolling out our own solution with scripts :P
Intel TDP is a sham - it's based on the published non-turbo frequency which is 2.8GHz.

My primary laptop has its CPU undervolted (offset) by whopping 170mv, effectively around 30% lower power consumption.
It really does come down to status. Apple isn't really a computer company anymore, it sells "Luxury Goods" and gets the same sort of value boost you see in diamonds, Rolexes, and Armani suits.

This isn't to say the components are trash, but if you removed the cachet of the brand, and the lock in afforded by OSX and iOS, you wouldn't see nearly the current stupidity.
> With the runaway success of microtransactions

What are you talking about?
B12 ‎- Last Days of Silence Album [B1219] –  IDM Techno Acid
Hardware Hacks Are Easier Than They Seem. What Does It Mean for the Future?
> Matt Levine is not a clickbait writer

Come on. Enough of this. For some odd reason,
every week there is a levine article here and every time someone goes out of their way to praise levine. The guy works for bloomberg. Clickbait is part of nature of the beast whether you think levine is great or not. Is levine a writer or a cult leader. What's with all the worship?
The Stupid Pro Se Legal ‘Theory’ Making the Rounds (2013)
The first index fund was in 1975, and people did scoff at it and call it "un-American". But that was over 40 years ago. By the time you're thinking of, index funds were common, even if not as large a portion of the market as today. I'm not sure exactly how much Vanguard had taken in by 1988, but I read[1] that their growth rate was about 53% in the early years, so their first fund that started with about $11 million would have been one of the larger ones by then, around $1 billion or more. By that time they had a dozen competitors.

[1]https://www.vanguard.com/bogle_site/lib/sp19970401.html
Thanks! That’s awesome to hear.
As a teen I could play 10+ musical instruments - ranging from piano to trumpet, violin, etc. Initially I also played by ear, but I soon tired of the trial and error. So I learnt to read music and a some of music theory. With that framework I was able to understand each instrument better and thus structure my practice better - yes, learning scales, fingerings, etc.

I would write the score for music I heard and then practice from that. It also helped me heaps to write the lyrics against the score to improve the dynamics, etc.
Good point, I was conflating SQL & RDBMS.
Definitely agree. For work I built a highly concurrent job scheduler in 3 months from zero in elixir, and being confident about the internals due to its functional nature let me focus on smoothening the interface edges
We are on the verge of a complete authoritarian takeover of government. At this point, pooled power is the only power many of us have left to fight against this.
But mitre.org uses it!

Actually nearly all the sites I could find that used it were in some way government related. I even tried a half-dozen universities, since they often adopt obscure internet standards, and uiowa.edu was the only one I found that implemented it.
Yesterday in America, an SMS message went out nationwide from FEMA. It was labeled a 'presidential alert' so many people assumed it was Trump that sent it. This went viral on social media and people began photoshooting funny messages that Trump or other theoretical leaders might send.
I wondered the same thing. No contact info on the Chrome Store page either — just a place to send feedback.
Are you a firmware dev?
Thanks for the kind words! We are totally on board in terms of getting Dream on to the upcoming Quest, and standalone VR headsets in general. We've had a bit of success in getting businesses to install VR set ups in a conference room, but when this stuff is a $400 standalone device that doesn't cannibalize your work computer or phone I think it completely changes the viability of using VR for productivity / collab (especially on the go).

Thanks for the feedback on what kind of stuff you'd like to see! Deeply agree on the whiteboard thing, and it's one of the next features we want to tackle on our road map. In particular, we're excited about the ability to annotate either a white screen (normal whiteboard) or content that is being shared. The sensitivity of the controllers plays a big part here, but even for something like marking up a presentation or document this could go a long long way.

I agree that VR headsets have a bit of ways to go in terms of detecting facial gestures and emotions. I've seen some really cool tech using putting galvanic response sensors in the facemask, which could do everything from detect overall eye direction (up down etc) as well as emoji level gesture detection. I think over time, these features will become standard in most HMDs. In the meantime, we tried to balance the line between uncanny / creepy to useful and engaging. Perhaps it doesn't come through as well in the video, but when you're in VR just the head motion / hand position goes a long long way. Also, we built our entire stack to ensure that we're able to send this data as quickly as we get it from the HW - and keep our latency down, this provides for a surprisingly engaging experience and would love to hear what you think if you get to try it sometime!

We are keen to explore the addition of voice and contextual gaze based actions. We had a bit of this built before launch, but for the feature set we launched with didn't really use much of it. With regards to voice, we are planning to integrate with something like Google Voice Engine but wanted to make sure we had a good text entry method for things voice has a really hard time with like URLs, passwords and usernames - these were in the critical user flow, since they're required for logging in / creating accounts as well as selecting what kind of content to share. We also added Dropbox / Google Drive integrations to make bringing in content more fluid and intuitive, so overall you can kind of see where we've been prioritizing but we definitely have a long ways to go and more to build!
It doesn't help you read but it does help you remember, so if you get better at reading it doesn't mean you'll forget easily
... Or at least that's what I think they claim.
Maybe he is praised because he is a good and thoughtful finance writer. And if there’s any financial news site which would have an incentive to avoid clickbait it would be Bloomberg because it’s subsidized by the rents it extracts from its terminal and data business, and this is one service they provide to those customers so they have an incentive to provide value.
Also first national bank I tried to look up, (actually don't know if that's what you mean by national bank)

federalreserve.gov is using dnssec.
It's actually a great article with a HN title that misrepresents what it is actually about. Anyway, with that proviso, here is my take:

So long as the bots aren't conscious there will be no bot-dominated stock market. Too much information is wrapped up in conscious thought that isn't easily expressed in stock market pattern matching. The article mentions that the line between active and passive isn't as clear as people that make it out to be say it is, and that is true, but it's also incomplete. Certain events are conceivable to humans that are not conceivable to machines. Short of simulating humans, anyway.

For example, I as a human know that there is a non-zero chance that the DPRK and USA get into a nuclear war. I can know that Trump defaulting on Chinese held US debt is something that is at least on the table. The quants can try to pull in percentages from experts all they want (and they were calling my nuclear weapons arms control friends a year ago asking for percentiles) but it isn't the same thing because the model is still fundamentally concerned with statistics and many of the events we understand as humans have implicit dependence to each other that is hard to model.

It's far easier to employ a small number of smart people and have the models serve and be tuned by them than to have the models actually run everything. Plus you don't even really need them sometimes. Take Bitcoin, for example. The gains were obvious. The incentives were completely aligned and the friction was in the buy side and it was temporary. I didn't need to model out Bitcoin to buy it at $4 CAD. I just had to think about it from first principles, something that is currently not possible with ML.
I wish it gave a little "hello world" example of what it lets you do.
I know that my experience is by definition limited but across multiple companies & industries the use of JIRA has been uniformly an anti/pattern. GitHub issues on the other hand have never been a negative.

The only reason I bring this up is that I think this is an unmitigated bad feature. The only pushback I have at times in an org is the moat between JIRA & Github
On the contrary, a model that is solid enough that you can continue to improve and build features on it for decades without changing the fundamentals is an extremely rare triumph in this industry. The signal that “something is wrong” is that you have to reinvent the foundation every five years (e.g., the tottering stack of false starts inside all web browsers).
Levine is great, but the headline (both the ones in the article, and the one here especially — which differ) suggest that there is no middle ground between status quo five years ago and 100% index funds, no active investors at all. (Often journalists don't get to write their own headlines.)

I.e., grandparent commenter is responding reasonably to the headline, if not the article itself.
No Software Required: How Atari Made Its First Video Games Without a Computer
Well then to hell with SUCRAM...

Start a liquid stenabolics (sr 9009) / weight training regimen coupled with piracetam (1.5g), choline (.5g), and Steven Hawking's purported vinpocetine supplements, TID, and you'll be like Conan the Barbarian (or Valeria) with a 20pt IQ boost in two months. (sorry, just kidding - a shrink friend recently started that routine and I'm curious to see how it goes)
> The Economist had an article about this issue recently and they concluded that the main effect of Index Funds was to drive low-performance fund managers out of business.

If that's the case it should drive most fund managers out of business since most of them don't beat the S&P over time.

https://www.cnbc.com/2017/02/27/active-fund-managers-rarely-...

And as more money gets funneled to index funds, the vanguards and fidelitys of the world could lower fees on their index funds which should put even more pressure on most fund managers which could create a vicious cycle. Maybe we'll be left with just index funds and a handful of rock star fund managers.
My first macbook pro was in 2007. I had it in a demo area and I shattered the screen.

I found a place selling the display unit, which I replaced, for a fraction of the cost of having apple repair it.

I imagine this is to cut down on the number of Apple computers repaired with bootleg parts, then either resold to Apple, or brought in for warranty repairs, but stopping legit DIYer from repairing their hardware is a pretty terrible side effect.

EDIT TO ADD: More likely, the security chip verifies the hardware wasn't tampered with, so it needs special software to update its checksum.
https://www.dol.gov/whd/overtime/fs17e_computer.pdf

Feel free to email me (contact info in profile) if you want to discuss further.
Respected by who? The ACLU, a number of bar associations, several law schools, countless other judges, and even his own roommates have publically denounced Kavanaugh. Don’t pretend this is a matter of ideology.
John Rawls, Socialist?
The meeting/conferencing system at my workplace generates a unique code for each meeting. The major downside to this is that the codes are very long, twice as long as they'd need to be if we just assigned a code to every employee (which is what my last employer did)
Country Pop Artist Eileen Carey Welcomes October with San Diego Show
If you’re a country pop fan you have to listen to Eileen Carey. Her music transcends barriers of age and status of her listeners, bringing to them a sound that is universally loved.

On October 10th, fans of all music genres shouldn't pass up the opportunity to experience Eileen Carey live. Elmore Magazine rightly labeled Carey “a true musical chameleon,” who blends many musical genres to create a unique sound. The renowned musician will be sharing her talents at the RAW Artist Showcase at San Diego’s House of Blues. Music Connection Magazine’s review of her previous show at the Whisky A Go Go said of Carey’s performance:

“The crowd was hooked from the moment “Hearts of Time” kicked off the night. Carey’s sassy, yet humble, stage demeanor gave off Gretchen Wilson meets Miranda Lambert vibes. [The crowd] engaged in hand clapping, line dancing and singing along … [The performance was] a perfect blend of upbeat and lower-tempo tracks showcasing her experience and versatility with ease, so much so that it came as a shock when her set was about to end.”

If you won’t be able to make it to the San Diego area, you can still experience Eileen Carey’s excellence. She recently released the official music video to her hit track “That Town,” a song that explores the struggle of trying to decide whether to leave the safety of our hometowns, or to remain in our comfort zones. The music video carries a light mood with kids in Los Angeles embracing their bravery and entering the world outside of home.

To watch the “That Town” official video, check it out on YouTube here at https://youtu.be/FouucY2eCZY. Also, explore the talents of Eileen Carey are via Spotify at https://spoti.fi/2ybCLu8, and to stay updated on all things Eileen Carey, visit her website at https://eileencarey.com/site/ and follow her Facebook at https://bit.ly/2O0SB5v and Instagram at https://www.instagram.com/eileencareymusic/.
That's why I love index funds. You're betting with the house, not against it.
Nooooooooo. Ah I'm so sad. I literally found out 2 days ago we're gonna move to Jira. I hope management doesn't find out about the integration between the two.
The replacement text is worse — it's still baity in the same way, but differs arbitrarily from the headline.
There’re indeed multiple third-party libraries for that in many languages. E.g. for C++ we have lubuv, boost.asio, etc. However, built-in solutions have upsides.

They work out of the box i.e. deployment is simpler.

They’re integrated into the language, e.g. most network IO in golang is asynchronous under the hood, compiler and runtime do that automatically.

They’re integrated into standard libraries, e.g. in .NET all streams be it files, sockets, or transforms like compressors and encryptors support asynchronous operations.

The support is usually better, too.
You can flash the BIOS from BMC on some SuperMicro motherboards. But wait..you can flash the bios from the OS on many machines so why is this a new more dangerous attack vector? Because SM can sign their own BIOS image?
I kinda like http://ogame.org ... mostly because I don't really play.

The fun come from automating all the tasks that I would have to do if I was playing.

So I made this library in Go https://github.com/alaingilbert/ogame that allows you to create a bot to do everything you could do in the game.

So now, It all depends on how you want to implement the logic. (that's the fun part for me)
I Am an Independent, Impartial Judge