kreelman

Liquid Haskell looks similar to Eiffel in terms of contracts.

I imagine a whole bunch of power could be derived from this in Haskell. I don't know how heavily contracts were/are used in Eiffel (I don't think it's so popular these days).

It would be great to know if contracts had a measurably useful outcome on projects and what that measurable was (addressed a market that we otherwise wouldn't have been able to, dropped runtime errors to only system based errors, etc).

WRT your projects, I imagine it would be great to see your product out there working with a known level of uptime and quality. I could imagine it's a bit of a shift from the normal "throw it together" of ... a lot of software.

I'd be curious to know what it's like to work on day to day, year to year. I imagine lots of software will still be "throw it together" for a long time yet, but even if the subsystems are formally verified, it could have a useful impact on the software that consumes these (verified) modules.

I like what you've said here. I'm going to think more about it. Some quite important points. There are parts of dealing with people that can't be science based. I would find it hard to disagree with that. We do try to use science in this realm quite a lot though....

...I think this conversation around this item is a good example of how sometimes the surrounding conversation is more valuable than the original topic.

Something that looks vaguely similar to lnav (and Angle Grinder) is fzf (https://github.com/junegunn/fzf). It's quite good at interactively searching for given items in a pile of text.

I don't think it does summing "out of the box", but I've found it great for exploring logs (or even very long grep searches) interactively.

Could it be kept fairly close to $50 if it was simply a "box" with a few relatively high speed USB ports and an HDMI connector?

I know this wouldn't be a "laptop", but with a cheap-ish monitor, keyboard and mouse... it's a small PC. Perhaps with a slightly older CPU which doesn't need super fast RAM, there could be... 2Gb of RAM or more?

Of course the newer RaspberryPi boards are pretty close (and in terms of RAM, even better) to this....

Such a fun resume.

I'd love to set one up like that.

Since I have mostly Windows Experience, it would probably need to be a .chm file :)

I used to work with the fellow who created these mappings. He gave a demo of it with a flute playing colleague. It was neat to see. It made it a easier for the hands to reach the tricky notes.

I like the comments. They're direct, probably useful and importantly kind and friendly. Well done all.

I think this is a good comment, not immature. I think I understand where you're coming from. I've been a Common Lisp fan for a while. As has been said by others who've used it, even if you don't use it in your daily work, it changes your thinking. I think UML was (is still for a few?) the standard way to define structure and interactions. UML seems to me to have a high amount of ceremony. For something as complex as say, a jet engines control system, perhaps this is reasonable? .. I also like the idea of enjoying "my own quirks". This fits with the dedication in SICP, https://web.mit.edu/alexmv/6.037/sicp.pdf .

  I think that it’s extraordinarily important that we in computer science keep fun in computing

A great idea. The trick is to be able to keep a job while doing that. Looks like you've somehow done that with picolisp!

Thanks for those. Will have a look. BTW, I think you might have meant "the vast majority"? Might have been a phone autocorrect bungle.

Interesting point about the info bubble. Hope people had backup/replication plans. The expensive but good side of this might be that OVH will look carefully at their setup and prevent future versions of fires like this and customers will check over their backup/replication plans. It'd be interesting (though probably impossible to do) to find out how many people didn't have plans setup for this kind of thing.

I develop apps on Windows, but I use Linux to do lots of my work and automate cumbersome boring tasks where I can (there are still many more to be automated....).

I'm constantly amazed at what Windows dev people can get done without a programmable command line. I've seen several thousand line long cmd/bat files to do relatively simple things. They work, which is good. They are a lot of work to maintain though.

I find z absolutely wonderful to take away that first hurdle of remembering folders. I can't imagine how Windows devs who don't know Unix can get around easily. They seem to though. Much must be memorised and some tools help. Powershell is getting better, but I think lacks (at least for the moment) the amount of existing code/books/links that shell solutions have.

I sometimes hum my version of that old Sting favourite,

   Oh, I'm an alien, I'm a legal alien
   I'm a Linux dev in Windows 10....

I'd be interested to hear if there are better/equivalent searching tools easily available on Windows, but z works wonderfully for me.

..Me too.

...Maybe one day they'll have quantum entangled particles and they'll be able to do spooky things at a distance and communicate instantly? I don't pretend to understand the physics, but sounds like it would be interesting... if it could work. Perhaps then Radio Amateurs would become Amateur Tanglers?

The personal side of this story is quite touching too. Two brothers, Bill and Ray, develop a microprocessor together. One brother Bill, dies. The remaining brother and those who formed the wedding party are the pallbearers at Bill's funeral. Bill's wife remarries, giving birth to the author. an amazing story and so personally written.

Is it perhaps insensitive to say 'Down Periscope'.

A dialog came up with a 'time is passing' kind of icon. I got asked if I gave permission, I did and then it disappeared and I wasn't logged in after that. Had to go through the 'Sign Up' path. I got there, but the Google sign up would be easier I think.

Also, trim music gave an error for me too. Do you have a place to drop bug reports?

Have to agree with above.

Had an issue with sign up via Google, but I got past that and really quickly I was able to build a video!

It's really enjoyable to use. Well done!

...You may have also picked the absolute perfect time to put a product out like this. We're all mostly stuck at home, coming up with great ideas that we want to communicate.

I hope it takes off.

Watch this space!

This looks to be very useful. I wonder how long it will be before we can have one of these datasets being used around the house. Would help with cheating on homework!