NHacker Next
  • new
  • past
  • show
  • ask
  • show
  • jobs
  • submit
Extra Ideas for Computing (github.com)
samsquire 1199 days ago [-]
People may remember 100 Ideas for Computing at https://github.com/samsquire/ideas

But here's also Another 85+ Ideas for Computing https://github.com/samsquire/ideas2

This is the third item of the series.

iamgopal 1199 days ago [-]
I always wanted end to end open source, down to all the machine designs that build machines.
someguy101010 1199 days ago [-]
Law is absolutely not something I would like to be programmatic. The nice thing about having a human being presiding over human affairs is that they can prevent you from using exploits in the letter of the law in the spirit of the law.
thewarrior 1198 days ago [-]
Well this is what the smart contract / Ethereum folks are setting out to do. I think they will soon run into the fact that the function of the legal system is not to run through some obfuscated flow chart but to identify edge cases and resolve them by debating the original intent of the law. This is what happened during the DAO hack when they had to fork the chain because everyone agreed thats not what was supposed to happen.
joubert 1198 days ago [-]
Contracts, whether “smart” or not, also need a mechanism for enforcement.

Legal systems and the people who run them fulfill that function; I’m skeptical you could engineer that away.

qsort 1199 days ago [-]
You could have both (we're talking theoretically, I'm not holding my breath...): an automatic public API that answers queries, but final judgements would have to be approved by a human, sort of an automatic no-action letter. It would make public administration much more transparent while retaining a safety valve for corner cases.

Slightly OT, but while I understand the notion that it's desirable to have at least some form of "do what I mean, not what I say" baked into the system, in practice exploits happen where the law is being used for political bullshit as opposed to legitimate regulation.

I don't regard laws that are unclear, unenforceable or overly reliant on judicial interpretation to be serving the public good.

byecomputer 1198 days ago [-]
I still think the right to be seen before a judge is integral to the justice system. Automating it to the point where judges are simply rubber-stamping decisions ignores the gravity of legal proceedings and their effect on people's lives.
karlicoss 1199 days ago [-]
Sure, but wouldn't it be nice if you could comprehend the law without having a human (which is also really expensive to hire)? Even filing a fairly simple tax return is still a mindfield in some developed countries.
TheOtherHobbes 1199 days ago [-]
You could also make software programmatic, because it suffers from the same problem.
karlicoss 1199 days ago [-]
True, but ultimately it would be a step towards democratization.
byecomputer 1198 days ago [-]
Nobody's stopping you from learning to read legal documents. Regardless, I wouldn't call computer code any less impenetrable than the code of law--it'd just be more up your alley if it was the former.
pedrosorio 1198 days ago [-]
I believe the advantage of having “law as software” would not necessarily be the increased readability of the documents, but the ability to simulate outcomes / ask questions about the law and get an automated answer instead of having an expert as the bottleneck.
vkou 1198 days ago [-]
So, instead of needing a lawyer to comprehend the law, you'll need to be a programmer.

I'm not sure this solves any of the problems you are setting out to solve. I am sure that this, however, will create a lot of new problems.

Findeton 1199 days ago [-]
You could have programmatic contracts where the actions and considerations can be manual, but the state of the contract is automatic.
amelius 1198 days ago [-]
> The nice thing about having a human being presiding over human affairs is that they can prevent you from using exploits in the letter of the law in the spirit of the law.

You mean how large companies cannot evade the spirit of tax laws because a human will stop them from doing so?

generalizations 1198 days ago [-]
There's a reason the IRS has teeth. Most of the time, it's very effective.
mellosouls 1199 days ago [-]
I quite like some of these and it's a nice idea to collate them, but:

45. Community Idea: Ideological match up

There's somewhere someone that thinks exactly like you on all matters. Let's uses quizes and questionnaires to make them easy to find.

Please, no.

Fordec 1198 days ago [-]
I wouldn't like everyone to be similar in my group at all. But I'd like someone in my group to be for once.
qsort 1199 days ago [-]
If you liked "Ideological match up", check out the "World splitting app".
p1esk 1198 days ago [-]
Please yes for me. Never met anyone like that, it would be interesting.
sanderjd 1198 days ago [-]
What would you talk about? Neither of you have anything to learn from the other.
pitdicker 1198 days ago [-]
Having a discussion about things you disagree with or seeing opportunities for learning are not the only kinds of good conversations. Just a couple of ideas: Being able to work out thoughts or knowledge together with someone else is nice. A topic you are enthusiastic about is still fun to talk about with someone else enthusiastic. Work-related stuff you maybe want to discuss only with colleagues, because it is too specialized for others to talk meaningful about. And for most human stuff it is easiest to share your worries with a friend who has roughly the same values as you.
byecomputer 1198 days ago [-]
Different stuff each other have seen, places we've been, things we've done. If they already share my opinion on everything, I could save a lot of time avoiding things I wouldn't like and probably learn about new things I would like.
p1esk 1198 days ago [-]
We would probably launch a startup together.
1198 days ago [-]
wilfredk 1199 days ago [-]
Just wanted to double down on this opinion.
Ericson2314 1199 days ago [-]
I'm not super found of this list, but

> Self perpetuating desktop

Nix and Guix are this (or close enough)?

ryukafalz 1199 days ago [-]
Yeah I can only speak for Guix but it's exactly this.

>This means that the desktop can build .ISOs to distribute itself. The desktop can also build any package that is available in package repositories.

These are 'guix system disk-image' and 'guix build' respectively.

chubot 1198 days ago [-]
How is that different than say Debian?

Debian's tools are kinda clunky, but I think the funny thing is that you can ONLY use Debian to build a Debian ISO. Or Debian packages even. How else would you do it ???

-----

Looking at the original suggestion, I don't think it really makes sense.

Without downloading additional packages, a Linux distribution that can also run as a continuous integration server and build server. This means that the desktop can build .ISOs to distribute itself. The desktop can also build any package that is available in package repositories.

Every operating system can do this, but none of them do it without downloading packages, for good reason.

And "downloading packages" is vague. Windows and OS X do not come with C compilers, but Linux distros do generally. You can build many packages with a C compiler and Make, but not all.

----

Aboriginal Linux was supposed to be the smallest Linux distro that can rebuild itself: http://landley.net/aboriginal/

However once you add "real" functionality to it, the size of the build and their transitive dependencies explodes. Like to build a 300 MB .ISO, you'd probably need 2 or 4 GiB of tools.

Ericson2314 1198 days ago [-]
> Every operating system can do this, but none of them do it without downloading packages, for good reason.

> And "downloading packages" is vague.

I agree completely

> Debian's tools are kinda clunky, but I think the funny thing is that you can ONLY use Debian to build a Debian ISO. Or Debian packages even. How else would you do it ???

So, with Nix (and probably Guix), one can configure the live CD the same way they'd configure a real installation. I think this gives us a way to improve the definition:

1. A distribution where all packages can be built from source or downloaded pre-built

2. installation media can be configured just like the regular installs

3. Customized installer media and reproduce augmented configuration packages in installations without network access

Nix and Guix satisfy all 3 parts of that revised definition.

chubot 1198 days ago [-]
So, with Nix (and probably Guix), one can configure the live CD the same way they'd configure a real installation

Hm I don't get what this means... Is there a demo or documentation somewhere?

I have rebuilt a Debian chroot inside Debian (which I think is pretty much the same process as building an ISO). It's a big shell script that downloads a more-or-less fixed list of .deb files, installs them, and does some fixups.

ryukafalz 1198 days ago [-]
I run Guix System on my laptop. To change my system configuration (think installed packages, installed services, users, filesystem mounts, etc) I would run:

'guix system reconfigure ~/guix/system.scm'

...after editing that system config file. To build an ISO image from the same configuration, I would run:

'guix system disk-image ~/guix/system.scm'

...which would build a bootable ISO image of the same configured system. (Obviously I'd need to change things like the filesystem mounts to do this as they're specific to my laptop; it's possible to make more generic configs and inherit them per-machine but I only have one so haven't bothered yet.) Here's the config for my laptop: https://github.com/jfrederickson/dotfiles/blob/master/guix/g...

Ericson2314 1198 days ago [-]
See https://nixos.wiki/wiki/Creating_a_NixOS_live_CD for a little flavor

The

> -I nixos-config=iso.nix

in

> nix-build '<nixpkgs/nixos>' -A config.system.build.isoImage -I nixos-config=iso.nix

is basically saying "use this file instead of my regular `/etc/nixos/configuration.nix` entry point".

The format of the two however is the same.

pmontra 1198 days ago [-]
Peer Naming, yes, one of the most important things to write readable and bug free code.

High latency remote desktop, that would be interesting.

rwoerz 1198 days ago [-]
High?
pmontra 1198 days ago [-]
Yes, high, because it's not what it looks like: https://github.com/samsquire/ideas3#20-high-latency-remote-d...
macintux 1198 days ago [-]
How would “Beautiful Codebases” be different from literate programming?
alexobenauer 1198 days ago [-]
Would be curious to hear a bit more about:

> 5. Forum powered desktop

waynesonfire 1199 days ago [-]
this is an impressive list. thank you for contributing your thoughts! I can only imagine this being an inspiration to the future generation.
ElHacker 1199 days ago [-]
> 81. Person heads up display

I'm sure this is happening in about 3-5 years from now, but not in your smart phone, but in an augmented reality glasses-like device (we can probably already build demos for this on NReal or Hololens). The HUD is going to be embedded in the real world. People will be able to control what information they show in their profile. I've seen some VR social apps already doing a very basic version of this, albeit in a 100% simulated environment.

Shared404 1198 days ago [-]
There's actually already some open source progress for this at the Eyetap project [0]. Looks like it might be dead though.

[0] http://eyetap.org/

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
Rendered at 13:19:58 GMT+0000 (Coordinated Universal Time) with Vercel.