skysight-inc/HackerNews huggingface dataset:
I exclusively code F# with MonoDevelop in Linux, unless I want to code for mobile (iOS/Android) in which case I open my mac. No Windows.
I Google decides to sell TPU as consumer product you can expect yet another halving.
Tmux, vim + handful of plugins, i3wm, mutt, qutebrowser. Without the ability to completely control my systems from the keyboard, I would suffer a bit hit to productivity and these applications allow me to do that.
> but a classic one is https://ocsigen.org/eliom/

I didn't know there were any other attempts at a "universal" platform since Meteor. Thanks for sharing! Please let me know if there are others that you think are worth learning.
The corporate swag I've kept longest was a company-logoed duffel bag. I still use it whenever I travel.

Backpacks are always handy as well.
"What did they really expect arresting corporate dynasty?"

Justice? Transparency? Rule of law? Freedom of conscience and expression?

'Doing business with Iran' is not what she was arrested for - she was arrested for proving tech made in the USA to Iran, which is definitely a different thing. Grated it was very low tech.
You can also, if you're in a certain quirky intellectual mood, think of an ant colony as a single organism, since all the ants in it have 75% identical DNA.

Its body just happens to be physically disjoint.
I've heard before that Making software is like making a bridge... Except the design part takes almost all of the time, and building takes minutes at most.
Jets now uses the official AWS Ruby runtime. Blog post here https://blog.boltops.com/2018/12/12/official-aws-ruby-suppor... Jets makes use of Lambda Layers to build the gem layer http://rubyonjets.com/docs/gem-layer/
It was clearly and prominently discussed in the article
In a walled ecosystem you are a sharecropper not the owner.
The dark theme is beautiful — I really like everything about the font, styling and layout. Well done.
I saw these fake emergency rooms all over Texas in strip-malls. They shouldn't be allowed because they don't have the staff or resources to provide adequate care and delay life-saving interventional medicine.
> I've worked on an agile team .... The idea there was that estimates diverge from reality past 3 weeks. If the estimate is bigger than 3 weeks, break it down into smaller pieces and estimate those.

That's not really all that agile. The agile teams I've worked on try to break things down much smaller, ideally half-days or less. Any estimate of how complex some task is, is often off by a factor of 2, sometimes much more. Only by breaking down tasks into small bits can you really start getting a handle on your velocity and complexity of a project.
well, i don't know what to tell you. i am not really here to defend or market for the world's most valuable company. all i know is that my understanding is that .net core is the future of their .net stack and they are doing things that show that. for example, with .net core 3.0, there are desktop packs for uwp, wpf, and windows forms so that you can develop even your windows apps for .net core. so even on windows, .net core is quickly moving to replace .net framework for new projects. of course old projects will likely lag being so attached to the .net framework. that's the case for any technology platform transition.

also, on a technical point, .net core is fast, faster than .net framework and mono.
If you read the PDF spec from the late 90's, it is Stephen King novel-scary... container format, multiple encodings, encryption, embedded binaries, embedded JavaScript and more.
Is there a summary of this grainy, 45 minute video clip with horrible audio?
Thanks, this was fun. Enjoying your "unofficial" posts.
WannaCry Ransomware Attack: How to Protect Your Business
Google does this with their oss-fuzz project (only for open source projects, since as Someone1234 noted it's very difficult otherwise):

https://github.com/google/oss-fuzz
Yes, but when you get your vitamins from one main vegetable, it can be a public health problem if a moth eats the whole crop several years in a row. NIGERIA has been limping along since 2016.

#TomatoEbola

https://www.npr.org/sections/goatsandsoda/2016/05/26/4795176...
quite the contrary, people are quickly moving away from the .net framework towards .net core, which is now objectively better and moving at a fast pace. I help maintain a popular open source library for .net. We develop on MacOS using VS Code (only use Windows for testing) - the experience is good. We have many large customers (brands you would know), and .NET Core support is important to pretty much all of them.

https://github.com/confluentinc/confluent-kafka-dotnet
If you're advertising hammers, and you can isolate a cohort of users statistically more likely to buy hammers than users at large, it would be irrational not to target hammer ads at those users.
I have little doubt both of these guys are spies. A guy working for an NGO that does "crisis research" and a guy leading tours in North Korea. LOL. Any country with sufficiently advanced counter-intelligence has a list of spies operating on their soil that they monitor and keep in reserve for when it's politically favorable to round them up.
Is this really retaliation for Meng? Wow that's incredibly artless and ham-fisted if true.
Musk/Tripp email exchanges:

https://www.washingtonpost.com/news/the-switch/wp/2018/06/21...
The Art of Racing in the Rain was one of my favorite books to read!
No process "causes success", so if that's your standard, nothing will ever meet it. Also, there is no single "Agile process" that is actually Agile. The point is for teams to continuously improve over time in a direction that shortens feedback loops, decreases waste, and improves quality.

Anyhow, I've used these approaches very happily in a startup context. In particular, I've used processes derived from Extreme Programming, so we used practices like pair programming, frequent pair rotation, test-driven development, small units of work, continuous deployment, weekly retrospectives, continuous process improvement, and a number of other things. A+++, would do again. And all the developers and business people said the same thing.

Part of the problem you may be having is that most of what people call "Agile" is what I'd call "mini-waterfall". It's where a waterfall-oriented organization decided Agile was fashionable so they borrowed a bunch of labels, cargo-culted some rituals, turned up their release frequency slightly, and declared themselves awesome. I agree this is shitty nonsense. But we didn't trademark the term "Agile" at the beginning, so anybody can use the term to mean anything they like. I think this slide began circa 2007, and in 2011 I wrote about what a mess things were: http://agilefocus.com/2011/02/21/agiles-second-chasm-and-how...
> and the DMV

That example doesn't belong there. We tend to underfund government enterprises (other than the military), and then we complain that they are inefficient, so we can justify underfunding them. It's circular logic, and many government agencies are the victims of just being underfunded. I doubt that DMV employees wake up with the intention of being shitty.

Also, Comcast is your proof that just because an entity is large and private doesn't mean that customer service is better.
Then DDG obviously would have just said no? I think the idea is that it was a political move meant to show a sense of goodwill between the two to the public, not to force DDG to be subservient to them in some way.
How to Create Custom Product Type in Magento 2
Holla out at the Donkeyholla
FWIW I work for a large public tech company and we have a major portion of our microservices written in .net core deployed on linux containers in AWS.
I was thinking The Onion was being banned because it was predicting the future.
I made a Lisp dialect called TXR Lisp. I gave it a nice, ergonomic FFI. I took the MSDN "Your First Windows Program" which is a C sample, and translated it expression for expression:

https://rosettacode.org/wiki/Window_creation#Win32.2FWin64

The C original is here:

https://docs.microsoft.com/en-us/windows/desktop/learnwin32/...

The Lisp program recreates all of the needed C structure definitions, and binds to the needed functions from user32.dll and other libraries.

Here is another TXR Lisp program which parses TCP/IP packets right out of the "pcap" style output from tcpdump:

https://unix.stackexchange.com/a/379759/16369

Lisp dialects tend to be close-to-the-metal languages whose workings can be explained using bits and bytes (even if such an explanation is not always accurate due to issues of optimization and whatnot).

When I'm debugging Lisp, I think of word-sized arguments on a stack, and pointers and all those same kinds of things like when debugging a C program.

Historic Lisp implementations were bootstrapped from assembly code. Lisp primitives were written as a library of machine language routines. With that, plus I/O and memory management, you just need an eval routine for interesting things to start happening. The car and cdr terms are inspired by machine instructions, and they help keep us grounded in reality.
If you want to write apps in the Apple environment, you also need to use xcode. What's the difference?
That’s honestly how I feel when using these functional languages. Syntax isn’t everything, but it isn’t nothing either.
The commercial code (UCC) is already a horrible, inconsistent mess.
Yes, there are degrees. But everybody wants their language to be a winner, I guess.
Laws need diffs and refactoring.
China is making themselves look horrible here.

Ms. Meng has a proper reason for being arrested (the allegations are that she committed fraud to bypass US sanctions against Iran and sell them US tech by lying about HuaWei and SkyComs involvement to HSBC). There will be a trial, this investigation has been happening for years, and it is by the Justice Department, not a request from Trump (who seems to have been caught surprised by the move). Canada didn't do anything, they are simply honoring their extradition treaties.

In contrast, China is just throwing a fit in response and arresting random Canadians on trumped up charges. These are clearly politically motivated (China had threatened Canada with 'consequences' -- the timing is way too suspect here). We have been given no reason why they have been detained, and there are no court hearings or anything -- they have just been 'disappeared'. With this move, China has shown how authoritarian and anti business they are. No justice department, no investigation. These are simply political hostages. Further more, it is completely spineless that they are going after the, less powerful, Canadian nationals, and not Americans.
How was The Autobiography of Gucci Mane? Was it interesting, inspiring, funny, etc? It seems like a huge change of pace from the other books haha. I’ve also read Letters to a Young Mathematician and it honestly one of the reasons I was able to survive my math classes (mentally) when I was in school.
I get your point but it seems unnecessary to optimize verbage like "power" or "leverage" if there's a popular view that the language isn't easily readable. If you can't convince people the language is readable it seems like it isn't going to get use outside of hardcore fans or trivial applications anyway.
F# does not have HKT, and it shows in the compile times.
Tremendous (YC W11) Is Hiring a Platform Operations Associate
Mortality and survival in Game of Thrones
we're running a ton of .net core docker containers at my company. C# is really a great language and now you can run it on anything. If you haven't seen it yet, it's because you aren't looking that hard.
What c++ framework if any do you use ?
My only regret is that I have but one asterisk for my country.
Machine Learning by 2D Hierarchical Tensor Networks: A Quantum Deep Architecture
But the point is not only are what Strunk & White talk about not rules followed by good writers, they're not rules that have anything to do with English in the first place.

For instance, from my link:

> Strunk makes are foolish assertions like that however in the sense "nevertheless" cannot be correctly used to begin a sentence

Why is it that Strunk would assert this? On what basis? It's not rooted in any linguistic property of English. It's not even rooted in practices of respected writers. It's simply made-up, and about as reasonable as saying that one shouldn't begin sentences with words starting with 'Z'.
How about a more direct measure of "power", the ability to get things done? Take a group of developers and have them build something of value, then measure the value of that thing. How do you measure the value? Well, there are a couple easy ways to do that. Widespread adoption, especially people building other valuable stuff on top of what the team built. That's a strong endorsement. Also paying money for something represents an obvious signal of value, of course.

So you ask yourself, what sorts of languages are the things of obvious value built out of out there in the world? When you look you find a wide panoply of answers: C/C++, javascript, python, php, even bash scripts (even, ugh, batch scripts). You see a few examples of purportedly "advanced" languages like erlang or lisp (and relatives) in actual, shipping, functional, highly used software, but not that many. The arguments that there aren't enough brave pioneers out there learning these languages and trying to build stuff with them (there are tons) or that they just need critical mass of tools support to take off or something are fundamentally not serious. Devs work in all sorts of niche stacks constantly, and they're shipping stuff in all sorts of crazy languages all the time as well.

Ultimately, it turns out that the "power" of a language encompasses a lot more than expressiveness or "functionality". It may be really nice to have macros and higher-order functions and all that jazz but to some extent there's a law of diminishing returns. This is true in hand tools as well. Sometimes it's actually faster and easier to just put a workpiece in a vice and do some hand work on it with a file instead of trying to figure out all the right G-code to get the 6-axis CNC to do the work for you.
Just a reminder that HN become popular in spite of his CMS not because of it
If you're designing something that needs to be high-quality, safe, well-documented and is difficult to change later on, say an elevator, waterfall is a good model to consider. For a webapp startup, hell no.
https://bugs.llvm.org/show_bug.cgi?id=34729

Literally had to write a psuedo borrow checker to stop it: https://youtu.be/80BZxujhY38?t=1095

So much work rather than admit the interface is bad and you should feel bad.

C++: "shoot yourself in the ~~foot~~ face."
Wonder how many of these were already in use by state actors?
Federal Reserve Bank of Philadelphia’s Partisan Conflict Index
Programming bot which can generate code automatically
Wow, and I was just looking at mixing this in with a API C# dotnet core app I was playing with.

Wish it was easier to mix the two, it's pretty nice being able directly interface through dotnet, be even better if I could have fs and cs files next to each other.
There isn't necessarily much of one, but since that's a reason why a lot of people don't write apps for Apple systems, it's no less valid a question.
The last time I brought this up on HN, I received a comment [1] from one of the people who work on F# at Microsoft:

F# is fundamentally a .NET language ... It's impossible to divorce
the two, even if the target runtime environment is not necessary a
.NET runtime. Those other environments inherent language design
decisions made with .NET as a target runtime. The .NET runtime
with .NET Core is indeed minimal, is natively supported just about
everywhere, and was built with cross-platform in mind. F# is a
part of this, for better or worse.

I like F# a lot, and to me it comes across as something of a cleaner, more modern OCaml. I have zero interest in .NET and its toolchain, and I don't want the baggage of its runtime or VM.

[1] https://news.ycombinator.com/item?id=17936732
Someone who worked on F# once told me that one reason F#'s uptake was limited was because C# was so good at stealing its best features.
This is great. I'm curious how your offering differs from incumbent media database like Cision and Meltwater.
Really cashing in with that free font.
Python Essentials for Data Science Course
Get some DNA and clone it someday.
Also https://en.wikipedia.org/wiki/Weather_Underground

Is it terrorism if they take active steps to prevent terror?

Attacking the enemy and avoiding collateral damage is usually called making war.
I can't find any information on online to corroborate what you are saying. Can you share a link?

This article from yesterday indicates that he has attorney representation https://www.google.com/url?sa=t&source=web&rct=j&url=https:/...
Why Chinese Is So Damn Hard (1992)
I agree with this perspective, with the addendum that the US president's statements might end up working against the prosecutors requesting extradition. It raises the real possibility that Meng's trial in the US would be subject to political or economic considerations as opposed to the legal facts surrounding the foundation of the extradition request - an argument I would expect her lawyers to seize upon.

Before the statement by Trump, I was expecting the extradition request being granted. After the statement by Trump, I am more expecting it to be rejected.

It is an unfortunate circumstance that Canada's implementation of its laws (specifically extradition laws) has run afoul of China's sensitivities and resulted in what seems to be retaliatory behavoiur. However it would be quite devastating if those considerations factored into our implementation of our laws.

Canada should do this by the book, and it seems it will.
A good gesture, which is not powered by AI!
I'd like unit tests too. Done in TDD fashion by the creators of the law, not the ad-hoc edge case finding of the precedent system.
> Now that dev tools are so good and computers so powerful, spec changes are cheap

I‘d like to differ. Changing the spec in every iteration is going to end you up with a suboptimal architecture, because at some point devs will stop tearing it all apart and just refactor „a bit“. Of course, that’s different for various project sizes - a mega project like FB obviously has to allow changed requirements, all the time. But I‘m not sure that should actually be called a project.

An atomic project should be of finite duration, and it should be finishable. Ideally not longer than 6 months. For those, requirements should not change much after a short cool-down phase. Just like tasks/stories/features/epics, projects are made up of different levels with very different aspects.

I find the ideas presented in the article appealing, because they are refreshingly realistic even for one-off freelance projects to pull off.
That used to be true, but times are changing. Visual Studio Code + .Net Core mean you can program in C# and F# even on a Mac now.

I've been using TypeScript as my main language for the last couple of years since leaving Microsoft. However, I often find myself really missing how well organized C# was. The reason I don't switch back is the ability to deploy code in a web browser.
Massively Parallel Hyperparameter Optimization
It strikes me as nonsense. Let's take the paragraph and replace "F#" with "C", ".NET" with "PDP-11", and "Core" with "V6 Unix".

Come on, surely you can make a non-.NET dialect of F#. Sure, not every .NET F# program will be portable to it. There must be some considerable abstraction in F# that isn't tied to .NET.
Do people still use Adobe reader nowadays? Last time that I tried it in my school's library it took half a minute to load and render my document, and after that the whole UI was unresponsive.

I had a much better experience with Sumatra on windows and Zathura on Linux where my documents open almost instantly.
the world doesn't work like that.

https://en.m.wikipedia.org/wiki/Realpolitik

power and situation dictates how laws, specially from international treaties, are upheld.
A radical new neural network design could overcome big challenges in AI
Useful Methods in Python Course
NTR Lab  GDG DevFest Siberia 2018
Sounds very specific to server code
Neural Ordinary Differential Equations
> Meng's trial in the US would be subject to political or economic considerations

Unlike in China, Canadian and American courts are fiercely independent of the executive.
> a concert is technically a private event

I think its technically funny they decided to make that distinction, because like obviously? Although I do see people misinterpreting their rights often times, I guess saying it this way helps steer the discussion
You might enjoy "Learning a Manifold of Fonts" from SIGGRAPH 2014. Here's a point in the middle of the paper's presentation that demos the navigation within the learned space:

https://youtu.be/oHwuJJU760k?t=753
> jailbreak [...] iPhone

Also used in voting machines which "aren't connected to the internet" (!)

e.g. https://freedom-to-tinker.com/2018/02/22/are-voting-machine-...

Some of these GSM modems have AT-commands to upload & run sophisticated, persistent LUA scripts. (Scripts that can can make tcpip connections over GSM, communicate to host hardware via I2C or uart, send SMSs, etc). The possibilities are wide ranging, using officially supported features; no hacking necessary.

see: https://simcom.ee/documents/SIM5320/simcom_lua_application_n...
You are overgeneralizing one (small) enabling factor of agile as the whole reason. Maybe based on your experience in major corps.

Agile doesn't start at the corp level. It starts at the individual and team level (think scrum) and maybe penetrates to the large strategic decisions on a department/corp level. Communication is cheap for teams in the same room or even people in the same building.

A far greater effect is the internet itself and software/services that is/are distributed through the internet. This made shipping new versions cheap, gave an abundant access to metrics and fast feedback cycles. Cheap shipping and fast feedback enable frequent iterations.

When you had to burn your software to CD and mail it to the customer releasing minor updates multiple times a week or even just every few months was not an option. You also got far less feedback and had basically no usage metrics.
How did you come to a conclusion that randomly arrested two people? Double standard?
This link contradicts what you are saying https://www.google.com/url?sa=t&source=web&rct=j&url=https:/...
I believe this is the best / most recent example of what you're talking about, which was on HN yesterday

The Golden Age of Rich People Not Paying Their Taxes

Article: http://theatlantic.com/politics/archive/2018/12/rich-people-...

HN discussion:
https://news.ycombinator.com/item?id=18658166
For starters, at least in the US, you would have to come up with a definition of gang that didn't also describe the behavior of most police forces here.
KiwiHR – HR management software for small and medium sized businesses
C# with the good old .NET BCL has excellent support for multithreading, even if some language features could make it even better, there's no need for smugness.
I don't believe Canada was played. I doubt she would have ever taken a flight through the USA and therefore this was probably their only chance to get her.
Microsoft had 'project Springfield' which became 'Microsoft Security Risk Detection' (https://www.microsoft.com/en-us/security-risk-detection/). Kind of like Fuzzing as a Service.

Anyone on HN has any experience to report with this ?
Lying in the interview might bring them on but if they really want to do OSS and they don’t get that chance.. they’ll probably leave real soon, and then that’s wasted time onboarding someone.
A guide to the Content Cycle
global fight for dominance via proxy countries didn't end with cold war: https://en.m.wikipedia.org/wiki/Globalism