skysight-inc/HackerNews huggingface dataset:
Had a prime now package delivered this morning and it was literally just the item. No box or bag. Kinda weird but it works.
Ran sf half marathon after having bad knee pain for kast 2 years. I clocked in at 2hr 40 min...very proud moment.
I think that it could be said that C is in fact simple but not easy.
I've actually written about this earlier today! https://thewebb.blog/thoughts/2016/what-ive-achieved-this-ye...
What is CCC?
I achieved one of my long-term career goals, getting a job at a Big 4 tech company. In the process I learned that a growth mindset is one of the most powerful assets you can have. I also handed off my pet open source project after taking it from 30k to 7 million downloads.
My biggest accomplishment is that I did quit mine :)

I had to take a vacation to interview full time. That finally did the trick and got me the offer that let me jump ship. Also, practice not shitting on your current company. It's really hard to dial in the story about why your leaving without making yourself sound disgruntled.
How long is your daily commute? Perhaps you could change your routine a bit, and consider going to work on a bicycle. It could reduce the need to hit the gym every weekend, and seeing new sights and sounds on the way to work may open you up to new hobbies. :)
link to the netvc issue?
I wrote some code that solved a problem I had.

Sure, it was small, and far from the biggest thing I've written, but it was really and legitimately useful, and actually helped me with a real problem that I had. Most of my code is just oddball projects and weird experiments. It felt good to make something and see the effect right away.

It taught me that in the future I'd need to make my projects more immidiately applicable to Real Life. It makes them more interesting, even if the actual code is fairly banal.
I would like to see this done in C
"Write in C" https://www.youtube.com/watch?v=1S1fISh-pag
I don't know that much about machine learning and have only briefly surveyed the landscape of research on machine learning for theorem proving, but if you want to learn about the current state of the art in verified programming it's probably Adam Chlipala's book: http://adam.chlipala.net/cpdt/
Finished a multiple-year quest to complete a marathon or longer distance in all 50 US states by finishing in Hawaii in January.

Oddly enough, what I learned is that the type of shape I was in to run/walk a marathon slowly on back-to-back weekends (or even back-to-back days) was actually not all that great.

I switched my exercise focus to building up muscle mass, and getting faster at shorter running distances, and started running with some free running groups in Austin. Much faster now, and in much better shape. I was able to drop 55 pounds (210->155) and keep it off.
Launched the public beta for WhenHub https://www.whenhub.com and mobile app. It's a SAAS app that lets you tell stories with time. You create a rich-media schedule of events and then embed it as a visualization on web or FB where it can be viewed, then optionally time-shifted and added to calendar. The mobile app uses geostreaming to answer the question "when will each person arrive" for any scenario where multiple people are meeting up.

It has been an interesting journey grappling with creating a responsive, embeddable, interactive JS player on front-end while dealing with the idiosyncracies of iCal and Google calendar synch on the backend.

I learned how to work well with a distributed remote team and get a product released.
>trying to make it into an OO language like Java. It isn't.

Can you elaborate? In what ways?
The new tapered wheels on BART cars are supposed to be only half as noisy.

https://www.bart.gov/news/articles/2016/news20160831
I agree, we haven't solved programming yet. It might take another 50 or 100 years... or longer.
http://m.mentalfloss.com/article.php?id=13092

Looks like they tried textured wallpaper and green house insulation before packing. Maybe it was a lot harder to pop in the wallpaper version?
What difficulty? The player cannot die or loose.
Amusing “We have to find those reasons why young sportsmen are taking doping, why they agree to be doped,”. I take peds for programming, Modafinil. it's a cold hard world, results are rewarded.
Back in 1986 or so, there were two languages based on C: C++ and ObjectiveC. I was casting around looking for an edge with my C compiler, and investigated the two.

On usenet, there was about the same amount of traffic in the C++ and O-C newsgroups, the respective communities were about the same size.

Which should I choose? ObjectiveC was produced by Stepstone, and they wanted a royalty. C++ was produced by AT&T, and I phoned up their lawyer who said no royalty was required.

So I picked C++ based on that.

In 1987 I shipped the Zortech C++, the first native C++ compiler, and the popularity of C++ promptly zoomed. (Yes, I do think ZTC++ had a lot to do with the crucial early surge of C++ adoption, because the PC was where the programming action was at the time, not Unix.) The traffic in the C++ newsgroup exploded, and the ObjectiveC traffic crashed.

O-C was dead until Apple picked it up again later.
Yeah if my horse was tied to RoR I'd start criticizing people who criticize tools as well.
what product(s) do you sell online? what e-commerce store do you use?
But, that's kinda my point. You shouldn't need the { for a one line function.

also, I tried the solution you gave and it doesn't work :(
Providing 'legal' intercept for a military junta is akin to supporting deaths squads. Full stop. Anyone who does is responsible for mass murder.
There are some "suburbs" in the UK, but they're much more compact than American ones, and usually still have some local shops and public transport.
Where were you on my code review :) Great suggestion.
I ate one of the peanuts on a dare a long time ago, wouldn't do it again.

Whatever is on there as a preservative or pet/child deterrent (or possibly both) made me nauseous for hours afterward.
Then someone else picks up the code and continues maintaining it. You can read through documentation and existing code. You can't extract information from a dead guys brain...
You might want to look up the definition of 'learning' from Arthur Samuel / Tom Mitchell. That might help you in your confusion.
> This is for example why you should avoid giving your files such cute names as '-rf'.

The kernel should ban these names. I'm a big fan of dwheeler's proposal for fixing filenames: see http://www.dwheeler.com/essays/fixing-unix-linux-filenames.h...

These is no god damn reason why a filename should be able to contain, say, LF, DEL, or BEL. None whatsoever.
While I think it is important to be inclusive to all, I also think it is in poor taste to piggy-back on the word "Rape" because it devalues the suffering that actual rape victims endure. It feels like you are trying to hijack sympathy from actual rape victims in order to funnel it into your own cause. Misogynist and Rapist are NOT synonyms.
Previously on HN: https://news.ycombinator.com/item?id=13264734
Thanks for pointing out the alternative of segmented memory, this now makes sense. Cheers.
C has also been relatively stable for the last 25 years or so. Rust changes every 6 weeks.

Yes, the language is supposedly not undergoing breaking changes without strict deprecation and feature-gating. However, as new features are added to the language, libraries are usually updated to leverage them, and suddenly you are also forced to keep up with that rapid release cadence to ensure your project still builds.

Meanwhile, C code from the mid-80s still compiles with modern compilers, often without any changes whatsoever, and without any feature gates.

Don't get me wrong. I like Rust and what the project is trying to do. But I see two major problems that are preventing me from using it for anything major at the moment: 1) the extremely rapid rate of change, and 2) difficulty of implementation (both of which, taken together, lead me to expect no serious alternative implementations any time soon).

Before I will be willing to adopt Rust as a C replacement in full, there needs to be a solid, stable language definition that compiler writers can target and programmers can rely on for a good chunk of time. I have a feeling we'll get there eventually once the number of new, useful features that are missing from the language starts to dwindle and it begins to stabilize naturally.

In the meantime, I'd settle for an "LTS" release or something. That could work.
> so I hope you won't try to educate me

No, I'm interested in what tradeoffs you would have made differently. I now understand. Thanks! (I disagree, but at least I understand.)

> why this line hangs:

It compiles and runs effectively instantaneously for me on Ubuntu under Windows as well, so that's very strange. Maybe file a bug?

> I think the uncommented line shows a similar complaint.

Yes, there's no constraint on that literal, so it's going to be an i32. When we made this decision, we did some analysis, basically no numbers in real world programs weren't constrained, it was often tests, toy programs, and documentation. It should be a rare thing. YMMV.

> why is that a sensible default?

Your assertion about the speed was the opposite of what was asserted while we had the discussion, basically. And not everybody is running on 64-bit hardware, so it's a broader default.
I think it's too early to be sure of the effects.

A widely available fleet of self-driving cars may help the last-mile problem with public transportation (how do you get from, say, the subway station to your workplace or from the subway station to your house). If this makes public transportation easier, this may decrease miles driven per day.

Will self-driving cars reduce the accident rate, and the congestion that results from traffic slowdowns near accidents?

Will self-driving cars make better use of less obvious travel routes and avoid bottlenecks in the road network?
Really nice concept
Because Rust is IMHO the first viable replacement for C. Well-written C programs translate almost 1:1 to Rust.

It can do (roughly) everything C can, i.e. it's natively compiled, gives control of memory layout, and doesn't depend on a GC runtime.

Previous C killers were either dependent on a fat runtime (which isn't a big problem in general, but is a problem for some of niches dominated by C), or didn't offer meaningful improvement in safety/concurrency/expressiveness.
> It's been around for roughly six or eight already, depending on how you count.

I don't think you get to play on both sides of that fence. Some of your team has been working on Rust for that long, but I doubt any code with sigils compiles, and I doubt there were many large projects using it then. I started my stopwatch at May 2015.

> Ten years is not that long a time.

Totally agree.

> I still agree that results at that point will be more interesting then speculating today.

We'll see on May 2025. :-)
You can also configure the wake word as "Echo" or "Amazon" if Alexa is too ambiguous.
I think that's part of the problem - none of us have yet the conceptual ability to see what the answer is. We're just scratching symbols on cave walls. Until some massive unexpected breakthrough or insight, it seems like programming languages are doomed to continue circling the same old ground.
From what I heard, he barely finished middle school, his other diplomas are basically fake, he does not have achievements in his career, he was at the top because he was a son of high ranking officer under Mao, plus because of some luckiness. He is the dumbest leader since 1949, under him China will have much trouble ahead, only time will tell.
I will parrot what a professor told me years ago. The hardest part of writing software is proper requirements gathering. He said it was like pulling teeth. By proper I mean the developer knows exactly what the client wants and the client knows exactly what will be delivered. A "meeting of the minds," I call it. I always tell clients this is the hardest part.
>all languages share the same flaw; they specify the what and the how, but never the _why_. Until we figure out how to encode the _why_, we will forever be going in circles.

I don't believe encoding the "why" is possible.

The mapping from "why"s to "machine code" is not predefined bijective nor injective.[1] It can't be well-defined enough to make a deterministic compiler. If you restrict the set of "whys" to a very narrow set of "understandable" inputs by the compiler, you've basically re-implemented the specifying of the *"whats" again.

Building ever higher abstractions is tractable because it's what we've been doing for decades: combine several lower-level "whats" into higher-level "whats". But encoding the "whys" seems to be unsolvable. Either that or I'm not understanding what you're communicating.

[1] https://en.wikipedia.org/wiki/Injective_function
Vast majority Amazon, some on ebay but it's much harder to handle and sales are lower anyway so haven't been devoting a lot of time to it.

Many different products, really whatever sells fast enough with a large enough margin. I've sold things for less than $5 and things for over $1000: generally the cheaper the more it sells.

What margin I want depends on how fast it sells, competition, and some other things, don't have hard and fast rules as of now.

Many categories, from toys to electronics to tools to grocery to beauty. Amazon requires approval for grocery, health, and beauty, so there's typically less competition.
Foreign companies are now facing the implications of this now. The penalties for non compliance can mean managers can face detention or monetary penalties.

Now that Airbnb moved some of their infrastructure into China for data sovereignty requirements, they may have to comply when asked to give the Chinese government access into their infrastructure that is based in China. I'm not talking about passive monitoring, but actual credentials. This may hinge on if the infrastructure is classified as "critical", a very loosely defined and ambitious term.

The implications are huge for anyone doing business in China. The risk to intellectual property that Apple are about to face could be significant. It's all stated in the new law which you can read here -

http://www.chinalawtranslate.com/cybersecuritylaw/?lang=en
Oh come on, this is a copy and paste of 'my 2016 predictions' with 'I was right' ticked next to each box, with zero justification for any of the points listed.

I mean, I know it's TC, so my expectation of actual content wasn't huge to begin with, but come on, make a tiny bit of effort.
There's at least two alternate compilers I know of in the works. We'll see when they're in a workable state, or at least, enough to compile rustc.

> In the meantime, I'd settle for an "LTS" release or something. That could work.

This is something we've discussed. I imagine it will happen. At first, I would expect six month LTSes, then longer ones as time goes on.
The inevitable upcoming impas is that less people have to work, but it's a norm to punish and look down at the unemployed.

So, with the unemployment rates rising everywhere, mostly due to technology displacing labor, what does the future hold?
If you go the VM route consider a Win7 guest instead. Much smoother experience than OSX.
Geopolitical Turmoil Spurs Bitcoin Investments Worldwide
That would be interesting to read about this journey. I am pretty much starting my first steps in the same direction, don't know where I'll be but I don't have any other plans or choice.
As someone applying for a front-end position and made it all the way to the on-site, doing the on-site interview soon. Can you explain to me what you mean with js being "so different" inside of Google?

Also that sounds like you learned A LOT. How does that affect your work/life balance?
Notes on the Xircom PE3 parallel port Ethernet adapter
Not until server-side implementations exist. Depending on the physical location and amount of data being replicated, you'll need the flexibility to move master-game simulation logic from dedicated server to shared client. WebRTC works great if you're doing p2p among browsers, which severely limits the kinds of multiplayer experiences you can create.

I love WebRTC and think it's great. I studied and read all related RFCs and tried implementing a stack in JavaScript for Node.js. Got stuck on DTLS, then switched jobs.

I do think WebRTC is "the future," but we don't seem to be moving AT ALL towards that future. Having multiple implementations would move the needle. Otherwise, there was this big leap forward when it was developed and added to browsers, but not much since.
How to hack “the time”
The problem is that parsing the command line isn't done by the operating system at all, but delegated to each individual console application. If you made a new CreateProcess API that took an array of command line arguments, the operating system would need to serialize the array into a single string that could be passed to legacy commands. Unfortunately, there's no way to tell what weird parsing is buried inside the commands, so there will always be gaps in what you can express in the serialized command line.

For example, suppose the console app thinks that apostrophes should be treated as quotes. I pass "'x", "x'" into the new API, and that gets serialized to "'x x'" (two strings to most applications), but this particular app interprets that as one string that says "x x". The OS can't even escape the apostrophes to avoid this, because it doesn't know what language the console application speaks.

PowerShell had to deal with this problem because native command lines need to be rehydrated from its AST before they can be passed to CreateProcess, and (IIRC) they ultimately had to add an operator that means "everything after this point in the command line should be passed to the command verbatim" to cover all of the corner cases from this.
Even if you don't have babies/pets, but keep those recyclable peanuts around... you soon will in the form of roaches, moths, and mice. They grow up so quick!
If you're reading this, there's a decent chance you'll be interested in Robigalia, which is an OS that couples SEL4 with a Rust userland:

https://robigalia.org/

Aside from the security approach of the OS design, I believe the plan is to formally verify the Rust code once tools for verifying Rust are ready for production use.

https://robigalia.org/blog/2016/11/15/verfication.html
It does seem logical to separate offensive and defensive cyber warfare agencies in order to prevent overreaches in the name of defense.
Yes, that's also a common problem with infrastructures (be they road or public transit): each time you spend millions (or billions) building/improving them, people go farther, keeping more or less the same commuting time (and keeping complaining about it), thus you then have 2 new problems instead of 1: the congestion happens farther on areas/lines you haven't treated yet, and soon it also accumulates on the sections you have just treated because new traffic from remote places ends up gathering there, making them as congested as they were before you spent m/billions on them...
When a game server connects to the master to be registered, what the master gets is the the IP address relatively to it. If this address happens to be accessible from a client, everything's fine. However in some cases, it is not. For example in the case described where 127.0.0.1 is the game server's address (relatively to the master), if the master sent the address 127.0.0.1 to a client, it wouldn't connect.
So we need to find out the public IP address in some cases, but sometimes it is better to use the local IP address (for example if the master, the game server and a client are on the same network and the client is not allowed to access the internet).

So basically finding out which IP address the master must send to the client is a huge pain. WebRTC does it automatically (to traverse NATs).
I come from a country (Australia) where I can always leave a $0 tip, and the server won't mind because they are paid properly by their employer.

I wouldn't leave a $0 tip in a country where tipping is an essential part of the server's income, but I do think such a system is backwards.
How 'bout those little things they put in the middle of pizzas to stop them from getting crushed? Too bad I'm not a journalist, because that would make for an awesome story. /s
It appears to be a requirement for these "falsehoods programmers believe about X" to include a few items that no one genuinely believes.
It doesn't matter which way you look at it, Java today, after all the work put into catching up, still pales in comparison to the C# of 2007.

Really, C# is a public service to correct for something that for so many reasons should be awesome having turned out so-so at best.

(You may say writing a million getters and setters, declaring types twice, stuffing your code in deep directory hierarchies, and dealing with bizarre licensing/version issues feels normal; that's the Java talking.)
That's real courage. Thanks for standing up for what is right and showing that engineers are honor bound to follow ethics.
GOLD: Rejects Higher Prices, Retains Broader Downside Bias
Took 5k pictures today so I'll try them out now. Thanks!
I'm not so certain. Fully automated theorem proving in powerful logics like Coq uses is extraordinarily hard and expensive (between "P=NP" and "halting problem" levels of hard and expensive). "Tree search with heuristics" is a very naive way to put it. Tools like Lean will help close that gap, with closer integration with ATPs. But Isabelle has already had great integration with ATPs for a long time now, and while it certainly helps, I don't think we're anywhere near the automated mathematician yet. Creating specific systems which are "easy" to reason about with custom tactics is state-of-the-art, and will probably remain that way for some time.

As an aside, http://www.neural-symbolic.org/ is something I watch very closely, and it sounds like you'd be interested in it too!
Really? Even huge volumes with loads of tiny files? Mail and Usenet servers? Build servers? What is your definition of large and modest here?
I'm a user of CM for many years. I don't know any person's name in CM team, but I wish everyone who's behind the curtain have a good future and thanks for all your contribution.
Good timing, I'm putting out the one-year retrospective on Robigalia in just a few minutes :)
I don't really care what they use, as long as they use something!

A few months ago they shipped me a camera lens, external hard drive, and some other smaller products in a giant box with no padding whatsoever. The lens and hard drive boxes had plenty of styrofoam, so fortunately nothing was damaged, but I made sure to complain.
The article is in the context of Appelbaum tho: https://en.wikipedia.org/wiki/Jacob_Appelbaum#Allegations_of...

And 'rape culture' is a term of art: http://everydayfeminism.com/2014/03/examples-of-rape-culture...
I think that happened awhile ago (2005) with the Four Color Theorem proof.

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