skysight-inc/HackerNews huggingface dataset:
I believe f# works on .net core.
Sure, but that seems logical. If you want to make a deterrent, use a big name that will get press coverage, even if they bought on a secondary market.

For example, I'd be loath to buy Sudanese investments, even if I could prove it was a secondary market buy. The association just has bad optics.
Howison's Practical Applied Mathematics has many illuminating examples of maths being applied in a variety of fields. A good introduction to modelling techniques with a nice balance between theory and examples is Applied Mathematics by Logan.
That sounds frivolous versus a single high-end PCIe SSD. Wouldn't be surprised if the improvement in real-world game load times wasn't even perceptible.
No. A polling station guarantees anonymity. If you can vote from anywhere, what stops you from selling your vote, being able to show the buyer who you voted for?
F# is basically .NET Ocaml which relies heavily on its type system. I wouldn't compare it to LISP, except for that its functional.

it seems to me you're just not a fan of static type checking.
From the article:

> While Goldman Sachs defended its trade by saying that it bought the bonds on the open market from a broker, bankers and traders say the money ultimately ended up in Venezuela’s treasury because the seller was an institution with ties to the government.
”You say the working class can accumulate savings with low inflation, but savings interest rates are basically zero."

Yes; their savings maintains its value even if it does not earn interest. Inflation would destroy the value of what they have saved. Perhaps people are not saving as much as they would like because they know that inflation will ruin them, so they spend their money earlier than would be prudent.

We have had significant inflation in the past 10 years; the prices of just about everything at the supermarket have soared upward. That we can buy technology like computers and phones cheaper does not make up for this.
Basically. Either the govt. uses it's oil money to keep paying Goldman or Goldman can attempt to seize every Venezuelan oil tanker that enters waters where the US has jurisdiction.
Nice article, but too specialized and it can be a bit complicated to read it. So, if you need problems with understanding it, write me at https://handmadewritings.com and I will explain to you any tough moments!
A lot of your points are solved with attrs. I suggest reading up on it if you haven't already. http://www.attrs.org/en/stable/

I think organizing / refactoring a bunch of named tuples would be a mess. In one code base I maintain I switched a bunch of namedtuples to attrs classes and the code instantly became more readable / maintainable.

The downside to the namedtuple is that it's a tuple and can be unpacked as one.

for x, y in points:
print x, y

# vs.

for p in points:
print p.x, p.y

# ... now go and add a z to the point class and see what happens to your code.
> Unfortunately, these fields are space-separated and field 2 (comm, the filename of the command) can contain spaces

Well that's embarrassing. Text-based formats don't look so great now do they?
This is for high-end workstations after all. Many people are suffering with video production. New cameras this year output 8K video raw (or slightly compressed). Even the guys in RED couldn't produce hardware to properly feed the stream into a computer realtime or at least without having to wait.
http://guide.lugnet.com/set/?q=420_1&v=z

I think this is an example of a very early set using this technique. But yes, this is possible and holds rigidly
According to the article the bonds where bought from a group with ties to the government.
The cardboard 4-bit calculator [0] might make for interesting reading along these lines.

[0] https://lapinozz.github.io/learning/2016/11/19/calculator-wi...
TripMode 2 for Mac. Limit traffic when tethering or on slow networks
It isn't security I'd be worried about. I'm sure there is some real wizardry in the formatting algorithms and many bugs related to it fixed over the years. Rewriting the TeX engine would just be a huge effort to almost certainly arrive at an inferior and incompatible clone.
Can mechanical computers be a serious alternative to electronic ones? I mean, how efficient can a mechanical computer be if we were to miniaturize them as much as we can?

I suppose the essence of a mechanical computer is that it transmits and process signals as mechanical stress, thus sound and ultimately phonons instead of electrons. How hard are big IT companies looking into it?
https://news.ycombinator.com/item?id=1648711
Get a ticket, you get a choice between paying the fine and appearing in court to contest it. Guess what happens when you do neither.
Most of the programmers do programming for a living. They are not passionate programmers who like to learn new languages. They care about getting things done. Since Java, C#, Python, JavaScript, Ruby and Rails, PHP are all popular and have huge library ecosystem around them, for most of the 9 to 5 programmers, there is little incentive learn any functional language.

Also since all popular and dominant languages are either Object Oriented and/or Imperative, functional programming concepts seem too alien.

Even though I consider myself a fairly passionate programmer, I haven't found enough incentive to invest proper time to learn a purely functional language. The infatuation with Clojure and Haskell only lasted for a weekend for me. I always think, that next month I am going to invest in learning a functional language, but always something else more shiny comes along from other domain like, Dynamo DB, Firebase, RabbitMQ, etc. Which I find more practical to learn rather than learning yet another programming language.
Total Video Converter 3.71 Crack Plus Keygen 2017 Free Download
I just spot checked about 10 minutes of his stuff on Youtube. Yeah this is top notch.

Has he been lecturing since 1986? That's when he joined up with Berkeley on his Wiki page.
I don't know about that. When you have to do casts to convert from one size of integer to another size of integer, then you are talking about pretty low-level stuff here.

Mind you, I still consider both C++ (and its ilk) and Java to just be more modern variations of COBOL. If you have programmed in COBOL you will understand why I make that comparison?
I am not convinced there is a distinct discipline of computational thinking - all of the examples given seem to have antecedents that predate the practice of using computational machines to solve problems. The more one argues that computational thinking is generally useful, the less clear it becomes that there is anything unique about it.

I would replace the three questions of the article with two others:

1) Is the teaching of computing a particularly useful way to teach thinking skills, and if so, how can that be maximized?

2) How can we improve the use of general thinking skills in the practice of software development?

With regard to the second issue, I think it is somewhat ironic that the currently-dominant methodology for software development, agile methods, started as a revolt against analytical methods - computational doing as opposed to computational thinking, if you will.
Doesn't Pom Poko involve raccoons with magical testicles? That kind of storyline is basically unmarketable to children in the prude US!
I always thought the issue was the constant use of shape-sifting testicles as a plot device. It'd be difficult to censor.
The SpaceX of Singapore Raises US$3.7M from 500 Startups
Show HN: How Much Money Can You Make Programming? - MAP
F# is very popular, for a functional programming language. In 2014 it was the most popular functional programming language on the Tiobe index, excluding SQL (in the latest index it has dropped below Scala, Scheme and Prolog).

However, functional programming languages are not highly popular. Most programmers never learn any functional programming languages, choosing instead to learn one of C#, Java, C++, Javascript and stick with it indefinitely. For that reason, F# is stuck in a position of being the number 3 .NET language under C# and VB.NET.

That final point is a different topic again: F# is under VB.NET. Few consider Visual Basic to be a great language; it survives on momentum alone. F# is comparatively new; momentum takes decades.
How Goal Specificity and Temporal Range Affect User Behavior [pdf]
My bad for not rtfm
Performance Improvements with Qt 5.9 LTS
I just checked, and pressing a location from Google Calendar shows a list of my map apps. You can also pick your "assistant" app (which, for example, decides what should happen when you long-press your home button) in the settings.
For those who'd not come across the term "Near East" before, it's the same as the "Middle East".

Ref: https://www.britannica.com/demystified/are-the-middle-east-a...
"Why Isn’t F# the King of .NET?" (Aug 21, 2016 )

* https://hackernoon.com/why-isnt-f-the-king-of-net-2a9a1963e0...

* HN: https://news.ycombinator.com/item?id=12530265
Bitcoin could hit $100k in 10 yrs, says analyst who predicted $2k price
poettering continues to amuse/dismay. he and the projects that are synonymous with his personality might benefit greatly (if only in public perception) if he took a break from being their public face and staunchest defender.
And here I thought that was language specific like how Python from what I experienced did not use semi-colons to end statements.

What about an if statement checking if something is true, is it enough to just say:

if (value) {
// true
}

I have seen some shortened code that I did not write and wasn't sure it was valid but it works.
XeTeX accomplishes PDF output by piping through xdvipdfmx in the background, so it's the same process.
You make sure the material is "boring" so that you can concentrate on what the talk is really about: The people in front of you. They change every time, sometimes radically (composition of the audience and context). You want to waste as little conscious thought as possible when it comes to the material you are presenting so that you are free to dedicate yourself to the audience.

How boring does it get for a painter to use the same kinds of brushes for all their paintings? Or for a musician to use the exact same instrument? It doesn't, because they are not what you focus on.

It may get boring to minimally refactor the same code twenty times -- the code is the focus of the action. When giving a talk about the code the focus is what you want to achieve with people, not with code.

If you are there and really only care about the thing you want to present instead of the people in front of you then sure, they will probably notice.

Disclaimer:

This goes along with the other sub-thread here about the value of recording talks. What I say above is more about talks that are about convincing and motivating people. I don't mean that as in "motivational speeches" at all, but an Apple keynote about their new products is in that category. You want to give people a "look behind the scenes", at the person, because technology fails if the people and/or organization(s) fail no matter the quality of the technology. If the talk is about the latest internal optimizations of the V8 Javascript runtime giving the talk once and then point to the recording, or even just a lengthy blog post may actually be better and the main reason there is a talk is "the conference is there anyway and why not". But that's the kind of talk I would put only minimal effort into and it still works, because I don't need to convince and engage people, only to inform them.
I agree that it should be taught, though I am not sure it requires any less abstract thinking than computer science, depending on how deep you go.
What Kind of Developer Are You?
Why Agile Is Good for Customers
Covfefe chrome extension – despite negative press :)
I'm not sure whether you are serious or not. Mechanical computers have (had?) a niche in the form of analog computers that can do specialized computations very quickly and very robustly, for example for artillery computations. General purpose computers are completely out of reach for mechanical computers. You can't have moving parts that are very small and reliable. The parts would break before any nontrivial computation would be finished. Just look at how reliable early vacuum tube computers were and think about how many moving parts you'd need to replace a tube.
>That sounds frivolous

Maybe, but that's what being an enthusiast is all about :) also assets (models & textures) need to be loaded from disk during game-play which can result in stutter when gaming. Faster IO would help here.
Ad Blocking: A Serious Threat for Online Publishers?
So this is moreso codifying the current rules and regulations of our existing government - and the whole point is to show the loopholes and issues with current laws. To start with you could just codify the Constitution and work out from there. So to extend - how would you programmatically model the Constitution? :)
VHD Recovery Software
I worked the 3x10 schedule for a while, I loved it! Unfortunately, my boss insisted I come back to work full-time.
I can't speak for latexmk, but Tectonic has, if I may say so myself, some quite sophisticated logic for managing reruns and figuring out which intermediate files can't be written to disk.

That being said, I wouldn't say that the `latexmk`-type functionality is the thing that is going to make Tectonic unique. Hopefully that will be the HTML output, but I have to implement that first ...
Can't connect when I try via mobile
Because we have the sources for most of the software, it can be recompiled.

Not true for Windows, especially old closed source software.
yay PHP/SQL (stack I work with, well MySQL)
I have a hard time understanding how adding alias indirection disambiguates anything much less spares one from learning something.

How does one get to the point where they want to await multiple promises, yet they need to be insulated from the very presence of the `Promise` object?
https://channel9.msdn.com/Events/Build/2017/P4171
Some believe Tesla is properly described as a battery company instead of a car company. Their valuation is high for current sales though, obviously investors are buying on growth potential. Regretting selling my shares.
Right.

The hope is that the easier development process will make it easier to add fancy features like microtypography ... but for me the real prize is HTML output that doesn't suck, so that's going to be the focus of my work.
Meta-observation: LMDB is a highly-optimized storage engine. However, it is not a full-featured DBMS (e.g., no support for query optimization). This talk focuses on the potential impact of NVM on different layers of a full-featured DBMS -- not only the storage engine.

> The fact that NVRAM is directly addressable (and thus can bypass the page cache) will eventually play out as irrelevant. It will always be a fact that slower mass-storage will exist, more cheaply than fast in-core storage, persistent or not.

Well, it depends on the latency of the NVM device. If the NVM device is directly addressable and has DRAM-like access latencies, I suspect that we must re-examine the assumptions underlying storage virtualization. Although I agree that the OS/DBMS would still need to maintain a page cache for data residing on slow block-addressable SSD/HDDs, I suspect that this will not be the case for data residing on fast byte-addressable NVM.

> Anything that requires logging or any form of compaction or garbage collection is wasted work. It's completely unnecessary, and that has nothing to do with NVM. Treating NVM DB design as if it's an entirely new and different animal is frankly ignorant. The right design works in all scenarios - as LMDB does.

If you think about it, logging is equivalent to versioning. To ensure atomicity and durability, a DBMS must maintain BEFORE and AFTER images of tuples. Unless it is a pure append-only system, the DBMS cannot refrain from reclaiming the storage space associated with OLDER tuple images. Note that these images can be stored either in the log or in multi-versioned heap storage. Maintaining a second B+tree to keep track of free pages, as is done is LMDB, is simply an implementation detail.
We used to build and use mechanical computers. They are massively inferior to transistors, but surprisingly capable relative to no computer. Remember, your cellphone is now faster and more accurate at basic arithmetic calculation than every single human on the planet put together. But, when that was not an option even being faster and more accurate than 1 person was a significant step up.
Lots of examples like this, e.g. marbled crayfish started as aquarium pets and now they can be found in wild on 3 continents (even on Madagascar).
As already said, funding a company is not fair competition. If governments (us, eu, etc) cared for competition in this market (or any other tbh) they could have simply enforced the fair market regulations. Instead they chose to ignore the unfair practices of Intel during the opteron days. In a similar way, if they cared about fair competition and protecting consumers they would n't have let microsoft enforce their windows tax on everybody.

Apparently they do not care.
Smart way for mindfulness training with the expert in the USA
> Thx, does anyone know what is happening on the OMR front? Since it has been very quiet ever since it was first announced.

I don't know if there's a more official channel, but I follow Matthew Gaudet's tweets (@MattStudies). He provides periodic updates and provides links to talks and such.

> Also wondering, for Truffle / GraalVM / SubstrateVM, how far are we from testing in production? I keep thinking TruffleRuby is Nightly / Beta and if i remember correctly, does not run Rails ( yet ) ?

We're not at the point where we recommend anyone run it in production. We do actually run a sizable portion of Rails, but since the DB adapters are all C extensions we can't really run those yet, which practically means we can't run Rails. The distinction is we're able to run with things like the pure Ruby PostgreSQL gem (postgres-pr) and the pure Redis gem (redis).

We're making some very good progress on our C extension support. We've just recently made a successful HTTPS request running MRI's OpenSSL extension by way of Sulong [1], which is an LLVM bitcode interpreter for Graal.

If you're interested in casually following what we're up to, we now have a Twitter handle (@TruffleRuby). Or, you could always watch the GitHub project [2], since it is open source.

[1] -- https://github.com/graalvm/sulong

[2] -- https://github.com/graalvm/truffleruby
Scoop: Trump is pulling U.S. out of Paris climate deal
The study found that ancient Egyptians were ... also closely related to Neolithic populations from the Anatolian Peninsula and Europe.
23andMe Makes First Foray into At-Home Research
Betamax was superior to VHS. VHS won. Best is only one aspect. As was said elsewhere here a few times, functional programming is a different paradigm for most people, and learning new stuff is hard, especially when deadlines are at play.
China’s Go Masters and Researchers Are Optimistic about the Country’s AI Future
How many replacement characters?
6 Simple Online Businesses You Can Start for Free TODAY
Show HN: The Interface Lab
Because it's a really hard chord to play on Guitar.
What's so shitty of javascript? From what I've heard is that people's opinion has changed about that. Javascript is evolving, and so is the ecosystem.
That's correct, the DBMS will rely on replication to survive media failures. The "NVM Express over Fabrics" standard is a step along that direction.

http://www.nvmexpress.org/wp-content/uploads/NVMe_Over_Fabri...
It's fine on my mobile.
The C/C++ code add up to about 120,000 lines.

Yes, it is massive and complex.

Fortunately, the core engine is essentially self-contained. Almost all of the things that make the TeX frustrating come from the UX, or the difficulty of adding new capabilities that call for somewhat more modern C code. By compiling all of the C with a Rust wrapper, we get a single binary out in the end, plus the ability to extend the engine in ways that were just not feasible before.

Revamping the core engine code from C to Rust would be nice, because it could be cleaner and more comprehensible, but it actually doesn't buy you anything in terms of the UX.

Edit: also, I didn't realize this when I made the decision to fork XeTeX, but LuaTeX has shifted to a C implementation that is more or less detached from the original WEB code.
Sergey Brin's blimp will deliver aid, be a luxury 'air yacht', report
Is that really true, or is it just a well-sounding rationalisation we tell ourselves to avoid doing anything to make things better?
If you care about security, performance or having portable offline applications its a sad day. Google just pressed reset and erased your work.

The way Google has abrubtly sent PNaCL to the knackery, rather than a gradual transition is just ugly. By removing the PNaCL functionality completely from builds they have broken faith with the development community. They didn't even commit to allowing PNaCL to run in deprecated mode via a feature flag or something.

In hindsight, I can see that Google had shifted their effort away from PNaCL several years ago. But to kill it they way they have it just brutal.

I would agree that for general web development this seems a way out of the javascript purgatory. But there is a long way to go before it can match what PNaCL did. And I find it bizarre that they created a 32 bit implementation; I know they had reasons but they seem shortsighted.
mined with a mithril axe
I agree, but GS appears to be resilient against bad optics so far. Some negative stories are written about them, some people on the internet call them 'criminal banksters', but no matter what happens they continue to make vast amounts of money and ex- (and likely future) employees seem to reliably find their way into top offices of government, central banks and other powerful institutions.
Just finished a 2 month project without having a single meeting with business and I must say, things are much better. Business never told me directly what to do and I never told them directly how long something would take me. Best approach ever.
If that's a violation of WTO rules it seems like these rules would need to get overhauled.
That does not necessarily work for everyone. For some work is an important part of social life, and some are not able to maintain a working discipline at home (frankly, me).
LMDB is a highly-optimized storage engine. However, it is not a full-featured DBMS (e.g., no support for query optimization). This talk focuses on the potential impact of NVM on different layers of a full-featured DBMS -- not only the storage engine.
This is only for NaCl on ARM or AMD64. The original NaCl for x86 uses the segment registers for isolation allowing to restrict both loads and stores only to the permitted addresses. That, as far as I understand, does allow to embed into 32-bit process without compromising secretes.

So as a speculation in an alternative world where Google has not developed Pepper, but bridged web api into x86 NaCl, the latter designs for x64 and ARM would restrict loads only from the allowed address space.
How to Get Away with Hacking the Department of Homeland Security
AFAIK the Agda implementations use a closed universe of types and cannot be translated to an implementation of runST in Haskell which doesn't have that restriction. Please correct me if I'm wrong. From a quick reading I can't tell if the new paper makes progress on that front, what do you think?
I have a hard time visualizing FM algorithms and Auraglyph looks like it would be really useful. When will it be available?
Cars may be enough to stabilize raccoon population. They are territorial. Young ones either replace an older one, or get pushed out of established territories and end up wandering the road (no-raccoons-land). So cars are serving as 'failed raccoon euthenasia'.
That is why stuff like pandoc exist. A more modern latex.