skysight-inc/HackerNews huggingface dataset:
Project: a lightweight budget app for my android device. I couldn't find anything that didn't want to sync with my bank account, and I'm sure not going to do that. Ideally, I open the app, it opens quickly, I punch in a $#, and close it.

So far this is going pretty well and while it isn't ready for public consumption I've been dogfooding dev versions for a month and successfully built a habit of using it, so it will work, at least for me!

Three problems: 1. I am not an android developer (yet)

2. there are difficult questions surrounding how to change a budget in the middle of a running period, for example two weeks into a month, altering the budget from $400/mo to $50/wk -- Those intervening two weeks must be handled neatly. What about dealing with time zones? A user could set up a budget to turn over on the first of every month, enter a neighboring timezone and spend money on the 31st while it's already the 1st in their primary time zone. This is tough, and how that is handled matters a lot to questions about what happens if a user permanently changes their time zone after setting up a budget. This is a fun data structures & UX problem.

3. Getting home from a long day of programming at work and wanting to continue programming is not easy.

Another project:
Expression pedal router. Effects pedals that accept expression input are nice, and if you have more than one and want to control more than one with a single expression pedal in a live setting, you will be doing a lot of crawling, plugging & unplugging in the middle of a set. Even in a non-live setting this is a pain, especially if the pedalboard is crowded. The solution is a routing box that all the pedals can be plugged into as well as the expression pedal, and rout the signal from the expression pedal to an effects pedal selected by a rotary switch.

Unfortunately it is not that simple, because having the expression jack filled will alter the sound of the non-selected pedals, and with that circuit open will have whatever setting is controlled by the expression pedal fully dry or wet. The real solution is a much more crowded active circuit that drives a network of SSRs to either pass any given effects pedal through to the expression pedal or to a local potentiometer to replace whatever knob on the pedal is being overridden by the expression input.

That's a lot more expensive and can't be effectively hand-wired in a reasonably sized enclosure, so the problem I face is taking the dive and ordering the prototype boards, but I'm afraid to waste the money if it turns out I actually don't know what I'm doing laying out circuits with CAD systems. Instead of having my nice expression pedal router I've been sitting on this project for a few months for fear of throwing away $120 on (mostly) components & PCBs.
Just poking fun at the way these things are presented in pop.sci. media.
Anyway, talking over my head, I'm not shure formal systems are a good way of modelling the mind itself. Formal systems are (usually) considered consistent. The mind is not. Neither are neural nets. And it's interesting how neural nets, and other statistical models/algorithms that drop the requirement of always beeing right, seems more much more capable in certain practical matters.
Show HN: [GitHub Manifests] Auto-Generated Topology of Kubernetes Pods
> Ubuntu's solution for beautiful fonts uses non-free software I believe

Nope they don't.
> I am sceptical that Scala/Kotlin and many others started in last decade stand chance against Java/Rust/Swift/Go

In contrast to Scala, Kotlin has a much stronger focus on Java interop so its able to much better leverage the JVM ecosystem. In particular, Kotlin hits a really good sweet spot for Android development, where it can still be compatible with older JVM versions, the language features can really increase readability and reduce bugs, and the overhead isn't too dramatic.

The network effects also amplify its usefulness; JetBrains continues improving the language and its tooling; Android Studio is based on IntelliJ so the integration is also strong; more developers use the language and produce more libraries, frameworks, and ensure compatibility is excellent.

By design you can begin using Kotlin in a Java project slowly (there's even a Java->Kotlin converter), so if you are developing on a Java stack, Kotlin is worth investigating!
> Your arguments contradict themselves - if the infrastructure is changing then there's little point spending the time automating your response to its failure.

OP said automating runbooks, and any fixes to production--so the code becomes the documentation of how to deploy, and what exactly was done to remedy an error. OP did not say automating failure responses.

Which brings up OP's proposed question...

>> I don't understand how that is possible? Could you give an example of a task that can't be automated?

Could you give a concrete example? There's a vague reference in the article about automating responses for encoding errors which sounds interesting. It sounds like the system generates lots of server errors, and it's easier/cheaper to communicate them to customers directly instead of making code fixes.
Right now I'm focused on understanding political issues and trying to come up with realistic, pragmatic solutions to them. Most of my other projects (UE4 game project, stock-market research, etc) are on hold. Also, trying to finish up my BS (quit in the middle of college to do an IT support startup)
Although I don't see it as much here on HN, but in real life and in other areas. I have seen some criticism that many felt it hard to believe that people could collaborate on this so well and they believe it was almost entirely bot driven or somehow belitte the effort. While I know towards the very end there were a growing number of bots and scripts that did start taking hold more.

Anyone who was part of it, even more so if they were engaged in discord or other more active channels than just subreddits, easily saw the hundreds of people collaborating, community, alliances, discussing ideas, and more. All of this together helped make it what it was.

I truly believe it was mostly done as a direct result of a lot of peoples' hard work and persistence. I participated in some large pieces; as well as helped promote/start a very small piece myself. All of it came together quite beautifully.
The battle for open comms versus walled gardens is just starting for VR - this is our chance to define whether the metaverse is decentralised or not. (disclaimer: I work on Matrix and am probably biased :)
Best tool ever. The custom touchpad gestures are great, too. You can do stuff like three-finger swipe up/down to switch to previous/next tab, and rotate right/left to open/close taps.
basically doing it fast for large integers.

Here is the challenge I am working toward: https://en.wikipedia.org/wiki/RSA_Factoring_Challenge
> Of course this will be met by criticism from HN, but I would love to see more discussion beyond conservatives are anti-science radicals who want to kill the earth.

+1

I noticed that even in the Yale study, the options on solutions were limited to those with broad left of center options.

Other options, include some that have been pushed by people right of center to address climate change, were not listed. E.g., nuclear power.
The feeling I got was that most of those were just too general to be suited for any specific purpose. You could, in principle, build a piece of social networking software out of them, but there was never a product that you could just deploy to your web server and use.
I'm working on a Uber like service for home-made food in my spare time (apart form having a day job).

http://crave.yorker.me
two wireless mice work iirc
Automated diagnosis sounds like a time saver... What is your source material for automated diagnosis? i.e., how was it trained? Are there cases where an automated diagnosis could not be made for an incident and if so was manual recourse possible? How would you retrain the 'diagnosing app' to handle the new case?
> Ubuntu's decision to ship ZFS cannot possibly be read as an attempt "to deny others the freedoms that Ubuntu enjoys.

You got it backwards. The CDDL does not ensure the same rights Sun gives to whoever receives ZFS source can be passed further down to other users who didn't get ZFS from Sun. Therefore, it's not compatible with GPL. You enjoy rights Sun gives you but others can't enjoy the same rights unless given by Sun.
Yes. They live on laptops. They develop on Macbook Pros, with (Linux!) servers in a private cloud for heavy computational lifting.

The key idea of the Macintosh and the NeXT---the personal computer---is no longer foremost. Maybe it's time to swing back that way again.
> So, when creating the 2013 Mac Pro, they knew they had to make a choice: either an upgradable system or a thermally constrained one that might look cool on the desk.

No, that's not what they said at all. They said the choice they made was dual GPUs because they thought that was the road everyone was going to take. That turned out to be incorrect and the cylinder suffered because of that decision. They weren't talking about field upgradability.
Collate looks amazing! I've been looking for exactly this, and since I use Linux rather than OS X quiver was out. Trying it out now and I'll almost definitely be purchasing.

Edit: Where can I file bug reports? :)
To clarify: I do not view orientation or sexual identity as politics.

In the sense of /r/place and their arrangements: that is politics, or more so rather diplomacy. They have common grounds and worked together, that's all.
That's cool I've been kind of thinking building something like this. Are you using Twilio? How are the transcriptions?
what do you use to build the ui?
Yes, they have to offer free return shipping and for many small items, receiving a to-be-refurbished item is almost worthless to the manufacturer, so it's both cheaper and simpler just to not ask for the item back.
So, they'll have a decent pro desktop available in more than a year. Do they seriously expect anyone to wait for them after years of silence?
TIL! Great feature. After you have your two side by side apps you can also drag the border in between to make one larger than the other.
Technically you are correct, and I guess that's the best kind of correct. However the GPL does apply to non-GPL code in the case of distribution, which is what I was referring to.

Perhaps with the advent of cloud computing and fast networks the more sticky problems of GPL code in proprietary systems become less of an issue. That said, I've already seen an uptick in AGPL code in some of the fields I'm interested in.
Depends on what you're doing. For API stuff, my team's had great luck with Flask + Flask-RESTful:

- We prefer SQLAlchemy to Django's ORM.
- We don't need any templating since we're always returning JSON.
- Django is more of a framework: you plug your code into the appropriate spots. Flask is more of an API: you call it from your own code.
- Django is brilliant... up until the point you want to do something non-Django-y and have to work around a few layers of magic.

I have nothing bad to say about Django and happily use it where it's appropriate. It's not one-size-fits-all, though, and in my experience there are better solutions to some non-HTML-web stuff.
Mastodon.social is an open-source Twitter competitor that’s growing like crazy
Isn't the article about the Mac Pro, not the Macbook Pro?
Depends on what you get out of Reddit. Are you there for the content aggregation or the communities? I imagine those wanting to enjoy content weren't all that happy with the tangent. We've known for years though that community websites become useless on April Fools anyway.
Ahh yeah that makes sense, thanks for that!
A Tech person's perspective on sailing
You are definitely right. Tonc has some interesting data (here: http://www.coranac.com/tonc/text/text.htm#tbl-txt-se2) about performance of operations with 16 bit vs 32 bit variables, but none of that information applies to memcpy, and I think I jumped the gun on making as much as possible 32 bit types.

Thanks for catching that! I'll remedy that line later this evening.

Although, evidently ARM chips have an optimized code path for 4 byte aligned data: http://infocenter.arm.com/help/index.jsp?topic=/com.arm.doc.... , I'm not sure if that would apply in this case or not?
It takes a while and it's really boring, but you can configure the scaling for at least the major graphical toolkits (Qt 4,5 whatever and GTK 2,3). Java apps are yet another separate thing to configure.
Could you explain more about the computer system to teach computer science ?

Would it be like an iron python notebook ?
This should be the highest rated comment. A survey of any number of developers would reveal this very simple reason.
You're way ahead of what I'm thinking of. :)

Nice job.
3d-printing new battery cases and replacing old batteries with new (Li-ion) for my old electronics for which it is no longer possible, or at least not cost effective, to buy new batteries.
If you're building a commercial app that needs this kind of functionality then $490/seat is not expensive, it's the cost of a fairly cheap developer day. So instead of messing around for days trying to get various partially implemented open source/free "Excel" type grids to work, you pay your money and get the job done more quickly.
Just launched a new company with a few friends! We are creating predictive algorithms that train and run directly on mobile devices. The idea is to give mobile developers APIs that can predict users real-world behaviors (going home in 20 minutes, will go for a run in 1 hour, about to sleep). Our goal is to do it all on device so we can give users greater security (no stored data) and also run in real-time no matter the connectivity.
That's where EC2 was invented and developed, too!
Jupyter is super useful, together with anaconda it's a winning team. I love anaconda because it takes the sting out of all the dependencies and cruft that stops python packages from installing cleanly (besides the v3 / v2 mess and installing as a regular user rather than root).
Thanks for sharing. This is exactly what I love about hackernews.
When I rant about it, I claim his theorem says "any system that reference parts of itself is either incomplete or inconsistent," and that the universe is such a system, as we're a part of it, and refer to parts of it.

So therefore, the universe is either full of magic (in a system with inconsistency, anything can happen), or mystery (there are true things that we can never prove).

My belief is that the quest to find a unified physics that describes everything is provably impossible due to Godel's theorem.

And on the rare occasions when I look for evidence of God, the fact that one of the things we can know for sure - is that we can't know everything - provides about as much comfort as I need.
iOS 10.3.1 patches this exploit.

https://support.apple.com/en-us/HT207688
It probably could be fast, if you have all your ducks lined up. UAE immigration wanted me to go back to Canada to pick up a fresh notarized copy of my educational and criminal records.

I really don't understand why this kind of thing can't be done over a video conference, and then printed, stamped, scanned, emailed, printed locally. But, I got a nice little trip to my hometown out of it, so whatever.
Here's a nice way to make peace with Godel's theorems.

Let's say your beliefs about the integers can be summarized by some formal theory T. ("Every number has a successor", and so on, until your intuition runs out of things to say.) Now Godel jumps out of the bushes and says aha, your T doesn't include Con(T), so you aren't the math genius that you thought you were!

But let's stop for a moment and consider what it would take for T to include Con(T). First of all, compared to other sentences about integers that you believe, Con(T) is an absolutely huge sentence. It must contain an arithmetization of all of T (encoding the axioms, inference rules, etc. into integer arithmetic).

Second of all, if Con(T) is included in T while speaking about T, it might need to include an arithmetization of Con(T) itself! That uses a diagonal construction ("quine" in computer science terms), making the sentence even bigger. Now you're looking at some kind of hundred-kilobyte Diophantine equation, with no intuitive reason to believe it at all.

And third of all, it's easy to see that an inconsistent theory T would easily prove Con(T) (because it proves any sentence), so having Con(T) inside T doesn't even give you any positive evidence for trusting T. In fact, we're lucky to live in a world where Godel's theorems are true, and having Con(T) inside T is negative evidence instead of none at all!
This presumes criminals think this through. Largely criminals exist because they didn't or couldn't think it through. If they must have money to feed their child or their addiction they will attempt to mug someone, they might pick the lowest risk target or the first target. Let's not presume these people have lots of options, if that were true most wouldn't be criminals.
Amid “muffled sobs,” ex-prosecutor pleads guilty to illegal wiretapping
I'd imagine that the GBA's memcpy works in a similar way.

In the tutorial, Kyle already aligns the array to 4 bytes, so using ints instead of chars really isn't doing much.
Well, this is an LTS release, so it will be supported until 2020. By 2020, however, not only will Django 1.11 have reached End of Life, but Python 2.7 itself will have as well. Any company concerned with using a Django version past EOL will also have the same issue of supporting Python 2.7 past EOL
[2] is nothing but a troll.

The statement: "too many footguns to be used for important projects" is so obviously ridiculous it isn't worthy of a rebuttal.
> I live in Manhattan, the USA's most crowded place in terms of bikes and pedestrians. Yet, we are not anywhere near capacity for bikes and pedestrians, anywhere, anytime.

This is not true. From the NY Times -> "New York’s Sidewalks Are So Packed, Pedestrians Are Taking to the Streets"

https://www.nytimes.com/2016/07/01/nyregion/new-york-city-ov...
When the stuff was confined to /r/place, I was definitely fine with it. Bus as I said to someone below about /r/2007scape, I go there for OSRS content, not /r/Place content, which is what that subreddit devolved into. There was even a fairly popular thread about getting a filter for /r/Place content. I'm not devaluing the idea of /r/Place content, I just wish it would have been contained elsewhere.
Vulnerable Wi-Fi dildo camera endoscope
Digital PR Strategy 101: Building Media Lists and Pitching Stories
Grammatically this is known as apposition, where you have two nouns (or noun phrases) next to each other and modifying each other. In English appositives aren't considered adjectives, but they do behave similarly.
Yes, if I'm alone. Definitely helps with flow, sometimes.

It's one of the bigger factors in my hatred of open offices.
Physically obtaining them through malware, viruses, bugs, backdoors, social engineering, coercion(physical threats, blackmail, application of force), tapping, physical spying, etc.
I admit I only skimmed this (my only wish for Apple is for them to release a set of build tools for Linux that allows building ios apps, and (more importantly, really) support the installation and purchase of OS X for running on non-apple hardware, and in VMs -- I don't think either of those will happen) -- however -- I caught this:

> We think it’s really important to create something great for our pro customers who want a Mac Pro modular system, and that’ll take longer than this year to do.

That's silly. They could take their previous generation Mac Pro chassis, stuff it with a dual Xeon board, 128gigs of RAM, a pair of SSDs and a pair of Nvidia 1080s - and after some nominal quality testing/driver tweaking sell it at their regular ridiculous mark-up.

Those old cases are so convenient, I've considered buying a used one just for a regular pc workstation build. Easy to get to the internals, nice airflow. Roomy. Looks perfectly fine:

http://www.ebay.com/itm/APPLE-MAC-PRO-2008-3-1-3-2GHZ-8-CORE...
> the user is not someone versed enough to modify the code.

A good book can solve that.
First I really like to see so many great projects. Iam currently working on:

Project: I am building an open source API management tool which should simplify API development (http://www.fusio-project.org/).
> What I mean is that there is a universal algorithm, a Turing machine program capable of computing any desired function, if only one should run the program in the right universe.

But is the selection of the right universe a decidable problem?
Also have to think about all of the businesses impacted. Previously viable businesses may become non-viable because of those 46,000 people not crossing the river.
Yes, I love Ballard's catastrophe novels. But of course as prophetic as the The Drowned World seems to us today, Ballard wasn't writing it as a serious prediction of the future -- he just liked writing about the world ending in weird ways -- water, fire, a mysterious wind, etc.
Can't innovate anymore, actually yes! :P
After Moving Servers to Russia, LiveJournal Bans ‘Political Solicitation’
Most of the environments I've worked at have been so far from being deployable with code that it would take you significant time and expense to get there, and in the meantime, you need to keep everything working. You need a reliability engineering team that knows how to triage problems and keep the existing system working while they automate what is feasible to automate. I'd probably agree that this is a separate mindset and skillset from keeping an infrastructure-as-code deployment running, and it's unfortunate that we don't have good terms to differentiate them. A lot of the SRE mindset applies, but not all of it.

For instance, if you've got machines at customer sites where you manage the software, commercial filers or appliances where you don't really have a shell and you certainly can't spin up a VM, etc., your machines aren't fungible. You can't just redeploy a machine, and just about every problem on the machine is going to be a new one. You want the runbook so that it enumerates how to stop and start things around a human intervention (and yeah, as much of that as possible should be automated), but you can't automate the whole thing without changing your architecture.

If you have the option of starting with an architecture where you don't have these problems, by all means take that option! Maybe do cloud-hosted SaaS instead of maintaining on-prem software for customers, or use some fancy cloud storage API instead of a physical old-school filer. But people who have the old-school architectures need to keep things running smoothly, too.
Nice. I've enjoyed putting animated GIFs into presentations lately as a not-quite-video lightweight animation tool (I use ShareX).

I didn't see whether or not your program supports capturing/creating these or not.