|
MrMoo posted:I think Martin has burnt out and pretty much given up on both crossroads.io and nanomsg. Ømq is still plodding along. I didn't really understand the Crossroads I/O thing except for "developer/project ownership drama ego blowup". I'm sure I'm oversimplifying. I didn't even know about nanomsg until tef mentioned it.
|
# ¿ Aug 21, 2013 02:07 |
|
|
# ¿ May 2, 2024 12:27 |
|
Post the metaprogrammiest code you got.
|
# ¿ Aug 21, 2013 09:02 |
|
yaoi prophet posted:what keyboard should i get yospos, are kinesises actually that much better than flat keyboards
|
# ¿ Aug 29, 2013 01:06 |
|
This makes my experiences with Model 204 look like luxury in comparison. Where's AD to regale us with MUMPS horrors?
|
# ¿ Sep 2, 2013 10:35 |
|
Nomnom Cookie posted:this is some bullshit. but maybe they'll come up with something worth stealing for a good language I don't really care, as I don't use Rust ATM, but I am curious. Also seconding whoever it was that pleaded for a working Windows build/installer for all the right reasons (ITT or wherever I read it).
|
# ¿ Sep 6, 2013 05:34 |
|
JewKiller 3000 posted:i'm coming from the perspective that (cons 1 2) has type int list. if you're not then sorry about your broken mental model. (For realz though: for the longest time I never thought I'd be one of those people who cared real hard about type systems, and I wasn't; then one day I looked into my heart and found Pierce and it's been nothing but the Good News since).
|
# ¿ Sep 6, 2013 06:32 |
|
JewKiller 3000 posted:anyway, lisp is a neat idea that has influenced a lot of important poo poo, but without static types a la typed racket, it's a toy. also the main argument for lisp is macros, and those are almost impossible to write correctly. trace through macroexpand until you want to kill yourself. or just use a language with syntax
|
# ¿ Sep 6, 2013 06:36 |
|
JewKiller 3000 posted:if you haven't already, buy both of pierce's books. he's a loving genius, i can't even. i'm totally not on the level of people who care Real Hard, because those people have moved on to coq and agda. but ML is a sweet spot for me. it lets me express the types i want without having to prove any theorems ML is still the shiz though. Real talk: Standard ML or OCaml? I kinda swing both ways, but I'm still relatively green with OCaml compared to SML (unless you count F#, which I sorta do... but still). I've stopped fighting against the OCaml tide a bit, but I haven't given up on SML either. Bob Harper is the man, have you seen his new book? It's pretty boss. You can still get a "draft" PDF for free off his site. I giggled the other day when I noticed this "draft" PDF had been revised this June with errata and updates post-release.
|
# ¿ Sep 6, 2013 06:48 |
|
JewKiller 3000 posted:i am not qualified to argue about call/cc but oleg kiselyov certainly is: http://okmij.org/ftp/continuations/against-callcc.html I do like his delimited continuations implementation for OCaml though, have been tinkering and futzing with that some. Oleg isn't the first to argue against call/cc as a primitive; Felleisen has raised the issue in the past before as well.
|
# ¿ Sep 6, 2013 06:52 |
|
unixbeard posted:how many people here use ocaml professionally and dont work at jane st I dunno if I wanna say anything about "professionally" in YOSPOS...
|
# ¿ Sep 6, 2013 07:29 |
|
unixbeard posted:It seems like such a niche language, I have used it a bit but the only place I know that does anything serious with it was them. What sort of stuff do you use it for? I should mention that although I am using OCaml (for this particular thing), I'm pretty sure no one else here is. You could safely dump this in the "research project" bucket at the moment. Though, that would apply to this entire effort, not just the use of OCaml.
|
# ¿ Sep 6, 2013 08:20 |
|
hackbunny posted:how does it feel to be so fuckin kewl
|
# ¿ Sep 6, 2013 09:32 |
|
OK, I skimmed through most of the HTTP chat for the past few pages until I got to this one and just had to post, furiously swiping my thumb up the screen of my phone, so please excuse even less reading than usual, but: 1. I think lots of things should use BEEP. 2. Use a real man's protocol: PCIe Gen 3.0 x16. DMA bitch. If and/or how serious I am about either of these is left as an exercise to the reader.
|
# ¿ Sep 18, 2013 13:03 |
|
Actual PL inquiry: has anyone here used Julia for anything (on Windows)? Does it run/install? I'm hoping it's a better situation than trying the current stable Rust builds on Windows but I haven't tried yet. Also, people interested in (simple, 2D) games programming should check out and play around with strlen's Lobster.
|
# ¿ Sep 18, 2013 13:27 |
|
gucci void main posted:imo just write your code so perfectly that there will never be an exception
|
# ¿ Sep 19, 2013 00:20 |
|
Notorious b.s.d. posted:we had this discussion earlier, like 100 pages ago. i'm just gonna give the main points here It's bad in at least a few ways (before we even get to potential JSON-badness), but it's what seemed like a compromise between what I wanted and what wouldn't unduly explode brains elsewhere. I already want to change a few things about it, but I'm not sure I'll be able to. Here's hoping. I'll find out soon enough if I can make it slightly less bad.
|
# ¿ Sep 23, 2013 15:01 |
|
Otto Skorzeny posted:bought an impreza outback yesterday, good tymes
|
# ¿ Sep 23, 2013 15:03 |
|
Internaut! posted:I have no doubt an abstract, first principles, category-theoretic approach to software development has its advantages I mean, you could have stuck with any one of System/360 assembly, Fortran, PL/I, or COBOL and 1960s coding styles and been fine if you define value in terms of how well the company executed in its financial goals based on programming and systems technology...
|
# ¿ Oct 2, 2013 05:56 |
|
darthbob88 posted:Has this article been posted here? Because it belongs here. https://www.usenix.org/system/files/1309_14-17_mickens.pdf I feel like this article might capture the authentic experience of what happens to you inside the Distributed Systems group of Microsoft Research though. Also: quote:Excellence. Quality. Science. These are just a few of the words that have been applied to the illustrious research career of James Mickens. In the span of a few years, James Mickens has made deep, fundamental, and amazing contributions to various areas of computer science and life. Widely acknowledged as one of the greatest scholars of his generation, James Mickens ran out of storage space for his awards in 1992, and he subsequently purchased a large cave to act as a warehouse/fortress from which he can defend himself during the inevitable robot war that was prophesied by the documentary movie "The Matrix." In his spare time, James Mickens enjoys life, liberty, and the pursuit of happiness, often (but not always) in that order, and usually (almost always) while listening to Black Sabbath.
|
# ¿ Oct 31, 2013 05:24 |
|
tef posted:it's a crock of poo poo Almost certainly both, now that I think on it. Anyway, for at least the past few years I've been writing more Python than Ruby anyway. So there's that, tef.
|
# ¿ Nov 6, 2013 01:23 |
|
tef posted:p much every time i've written python i've defaulted to vendor package systems, life has been good When you say vendor package systems, do you mean Python vendor, or OS vendor? Or both? I guess I'm using both; ActiveState's PyPM on Windows, and apt-get on Ubuntu for minimal stuff. Then I just pip install stuff in virtualenvs. I'm still waiting to get seriously bitten.
|
# ¿ Nov 6, 2013 01:35 |
|
MononcQc posted:I don't know if I'd prefer reading the last few pages of this thread or getting actual pages from PagerDuty.
|
# ¿ Nov 13, 2013 03:56 |
|
Shaggar posted:well the thing is java always has the right library for you. and its a better language than most and it performs better than most. its just the best language all around w/ a close second place going to c#. Do I need to public static void main SerdesFactory or what???
|
# ¿ Nov 14, 2013 04:40 |
|
Notorious b.s.d. posted:lol Stockholm syndrome Arcsech, I'm sorry, but I can't back you this round what with your refutation being at least relevant to my argument. Do try to YOSPOS harder next time.
|
# ¿ Nov 14, 2013 07:43 |
|
Whoa, I was already basically writing this thread off, but then there was a bunch of good discussion on versioning and isolation of things that started off with Notorious b.s.d. saying something I strongly agreed with (color me shocked!):Notorious b.s.d. posted:having a standard format on day one is brilliant abraham linksys posted:yeah that's pretty up there too Notorious b.s.d. posted:this would be very not-awesome. it perpetuates the problem. artifact versions are not necessarily code versions. conflating the two gets us gems and cpan and pip and all the other vile things scripting languages have used to distribute code Alas, my high spirits were soon brought back to this mortal plane with comments like: Notorious b.s.d. posted:if you use windows you have much bigger problems than artifact versioning or release management Notorious b.s.d. posted:you would be surprised how many of those problems disappear when you get the gently caress out of a windows shop Still, somewhat more seriously (and more serious than I probably ought to be in YOSPOS), I mostly agree with what Notorious b.s.d. said about versioning and isolation of stuff in production, and that Go "feature" bugs me enough for me to basically never use it. But I only ever play/tinker with Go right now, so who cares. In other news: Gazpacho posted:i know that, as I understand the history the public-facing web teams got to banish the old (obidos) code and rethink everything years ago, supply chain has never had that chance afaict hackbunny posted:don't know what else to post, also everything I say may be inaccurate because it's been years since I've worked for ReactOS or on Windows code at all Also: do I know you?
|
# ¿ Nov 26, 2013 05:07 |
|
FamDav posted:kill yourself Notorious b.s.d. posted:nice content-free meta post about your vote on the thread. i am so glad we could get a ten paragraph explanation of your choice to click "1" But, speaking of content: TIL about "hypercomputing", which apparently is actually a thing. Or, at least a term. Definitions of what it is -- if it is even anything in the first place -- seem to differ. This being the PL YOSPOS thread, I wondered what programming languages might be like on such a computer, if it could exist. I guess I was prompted to go down this line of thought after reading a bit (and some fiddling with) some PLs that try to tackle quantum computer programming (e.g. Quipper site, paper (PDF), .tgz) and some quantum circuit simulators (e.g. QuIDDPro site). But, qubit-model quantum computers don't satisfy the available definitions of a hypercomputer, since they can be modeled in classic Turing machines (albeit in PSPACE complexity). minidracula fucked around with this message at 06:53 on Nov 26, 2013 |
# ¿ Nov 26, 2013 06:50 |
|
Gazpacho posted:gurupa had filtered down to us, the switchover deadline for internal sites was in 2009 but most supply chain software is console apps talking to services, both layered over an unbelievable number of unowned and undocumented platform libraries
|
# ¿ Nov 26, 2013 07:02 |
|
FamDav posted:this just gets more and more depressing.
|
# ¿ Nov 26, 2013 07:15 |
|
coffeetable posted:hypercomputation is a very vague term that CS guys use when they want to mess with the philosophy end of the discipline. it can mean any one of a dozen things, so if you're interested in it pick one author and run with their + their associate's writings rather than googlin' around. my favourite of the bunch is aaronson's stuff on computation near closed timelike curves, but that's just me Can't say I'm too surprised to find out some serious people in computability think it's bunk though. Right now I've skimmed over a couple of Davis's papers arguing against hypercomputation being anything real (other than, at best, a flashier name for un-computability; Davis also discards that there are any possible results in "hypercomputation" in the sense the peddlers of the term assert there are), and one of Andrew Hodges's articles rebutting an original hypercomputation paper. Like you said, I think I need to pick a thread and see how deep the rabbit/k-hole goes. coffeetable posted:quantum computers are not hypercomputers in any sense i've seen. like you said they can at most solve problems in PSPACE, and the inclination in the field at the moment is that they're almost certainly in NP too. in fact, while no-one's expecting it i don't think anyone would be ~too~ surprised if it turned out that BQP = BPP and they're only as powerful as probabilistic computers. Regarding PLs for quantum computers, yeah, I agree. So far all the actual language work isn't focused on what a language might look like to "program" a quantum computer, but rather how to model quantum computations in the qubit model (but to be simulated on traditional computers). There doesn't seem to be a whole lot separating things like Quipper from more quantum circuit simulator things like jQuantum other than approach and notation. Again, that seems fine for the reasons you point out. You have any opinions, thoughts, whatever on D-WAVE and their claims?
|
# ¿ Nov 26, 2013 10:29 |
|
AWWNAW posted:did u buy any of the books? cuz I'm trying to pick one out and dunno which one to get No Starch Press has a F# book in Early Access, where you buy the PDF ebook now, get access to DRM-free PDF chapters as they come out, and get the finished ebook bundle (PDF, ePub, MOBI) when it ships. Right now you can get also get 30% off (until a week from January 9) with coupon code EARLYBIRD. I don't know anything about this book yet though, nor do I know who Dave Fancher (the author) is, beyond the author blurb on the No Starch page.
|
# ¿ Jan 11, 2014 23:44 |
|
Malcolm XML posted:no and kill yourself Most use of Unicode symbols in Agda are for names, and for easy reading similar to mathematical notation conventions, e.g. I can write ℕ (\u2115) instead of Nat. Agda is permissive about names; excepting for reserved words (which can't be part of a name) and a few other characters, names are almost any whitespace separated printable Unicode character sequence. Zombywuf posted:Agda is my favourite puzzle game. You can always prove false over and over again though. But then, I'm also not huge into Haskell, despite tinkering with it for what seems like forever. Maybe Agda's connection to/implementation in Haskell has something to do with me not really getting deep into it. Almost 100% certain Zombywuf has written more real world Haskell than I have though. minidracula fucked around with this message at 02:33 on Jan 15, 2014 |
# ¿ Jan 15, 2014 02:26 |
|
pointsofdata posted:can anyone explain how Mathematica works? it feels pretty functional and i think there's a type system there somewhere but it seems very flexible. You can write Mathematica code in a pretty functional style, and most of the official (and unofficial) documentation recommends doing so. If you're interested in TRS's and equational programming/equational programming languages, a modern one to check out is Pure, by Albert Gräf. It uses LLVM under the hood, has a decent C FFI, and is the successor to his earlier language Q. I also salvaged some earlier specific work on TRS's and such from the ravages of Internet time with the help of one of the original authors over a year ago; this is a good reminder to me that I need to write a couple wiki pages and turn that stuff loose already.
|
# ¿ Feb 6, 2014 08:27 |
|
Subjunctive posted:word coming back from CppCon is that Apple's shutting down their clang work and redirecting all those people to Swift or the highway. (or other internal positions that aren't compiler work.) leaves google as the only major clang contributor at this point, I think.
|
# ¿ Sep 16, 2014 16:44 |
|
What the hell is Kotlin? Not-Scala?
|
# ¿ Sep 19, 2014 05:54 |
|
What is Shaggar's new av from? Did you buy that Shaggar, or was it bestowed upon you by Avatars Unknown?
|
# ¿ Oct 1, 2014 06:28 |
|
Subjunctive posted:Anyone know of a programmable HDMI dingus? I'd like to be able to poke it via USB to make it simulate being absent, or respond with a provided EDID. (I know very little about HDMI, be gentle.) We have a credit card sized board with a Zynq 7020 and HDMI on-board, (and Micro-USB), though the HDMI core that was written for it... needs work. Let me leave it at that. To use it, you'd need to be comfy with an HDL (Verilog, VHDL) and Xilinx tools (Vivado WebPACK would work, so that's free, but a ginormous install). I bet there's something cheaper; how much are you looking to spend? If you find something that works for you, let me know what you used, I'd be curious.
|
# ¿ Oct 1, 2014 06:34 |
|
Vanadium posted:is there any non-lisp with a good macro system that i can rub the rust people's heads in Maybe doesn't apply (ahem) because it's not in the core language? Whatever. I don't know if you care about that as criteria.
|
# ¿ Oct 9, 2014 01:52 |
|
JawnV6 posted:being on big beefy processor hardware, chucking away determinism, and floating on an abstract pile of unknowns would be a drag for me minidracula fucked around with this message at 04:33 on Aug 1, 2016 |
# ¿ Aug 1, 2016 04:15 |
|
JawnV6 posted:my friend, have you heard of the glory of unums?
|
# ¿ Aug 2, 2016 12:50 |
|
|
# ¿ May 2, 2024 12:27 |
|
JawnV6 posted:8 years ago i worked on an embedded product where the testbench GUI was written in excel The input to the actual command line assembler was a CSV file. Excel was what the developers of the programmable HW Si used to hand-write the assembly, and then export to CSV. Sadly, they didn't even really leverage anything out of the fact they were using Excel to make things easier for them, or for anyone else who had to deal with it, like simple formulas and VBA macros to perform calculations & expansions, a lint-like pass, or simple timing calculation checks, etc. It was just a table UI to be able to type CSV without having to do it directly. Currently still champ for most bonkers low level development environment I've used for nominally "modern" HW...
|
# ¿ Mar 6, 2021 08:52 |