-
This appears to just emit elixir code which means that any Erlang application wanting to interface with it still needs to have the Elixir application booted.
-
Yes & no - elixir is “just” another application that is included in the Erlang release (a collection of applications and optionally the runtime), so t’s all BEAM bytecode at the end, and there’s nothing special (at least from my perspective) about that.
-
-
Yes.
-
-
It appears they have a C version too? Is this going to get added to Core Foundation?
-
This is a bit disappointing. It feels a bit like we are walking into the situation OpenGL was built to avoid.
-
To be honest we are already in that situation.
You can’t really use GL on mac, it’s been stuck at D3D10 feature level for years and runs 2-3x slower than the same code under Linux on the same hardware.
It always seemed like a weird decision from Apple to have terrible GL support, like if I was going to write a second render backend I’d probably pick DX over Metal.
-
-
-
This is a bit pedantic, but I play a lot of games on mac (mainly indie stuff built in Unity, since the “porting” is relatively easy), and several coworkers are also mac-only (or mac + console).
Granted, none of us are very interested in the AAA stuff, except a couple of games. But there’s definitely a (granted, small) market for this stuff. Luckily stuff like Unity means that even if the game only sells like 1k copies it’ll still be a good amount of money for “provide one extra binary from the engine exporter.”
The biggest issue is that Mac hardware isn’t shipping with anything powerful enough to run most games properly, even when you’re willing to spend a huge amount of money. So games like Hitman got ported but you can only run it on the most expensive MBPs or iMac Pros. Meanwhile you have sub-$1k windows laptops which can run the game (albeit not super well)
-
-
-
My recollection is that Metal appeared first (about June 2014), Mantle shipped shortly after (by a coupe months?), DX12 shows up mid-2015 and then Vulkan shows up in February 2016.
I get a vague impression that Mantle never made tremendous headway (because who wants to rewrite their renderer for a super fast graphics API that only works on the less popular GPU?) and DX12 seems to have made surprisingly little (because targeting an API that doesn’t work on Win7 probably doesn’t seem like a great investment right now, I guess? Current Steam survey shows Win10 at ~56% and Win7+8 at about 40% market share among people playing videogames.)
-
-
And there was much rejoicing. ♥
-
-
-
-
-
-
-
This was discussed a few times on IRC. I’ve started on the pieces of this locally to try and replicate what we do with the mailing list mode.
-
I’m going to end up spending a large amount of my time this week dealing with the aftermath of trying to switch phone carriers. My old device doesn’t work on their network so I need to go buy a new one and return the rose gold loaner phone. Once all of that is taken care of, I’m going to work on getting my mastadoon integration branch rebased on top of the rubocop work that pushcx merged in.
-
I’m a heavy user of the Slack IRC gateway. I have been expecting this news but am gravely disappointed by it. I use Slack to stay in touch with largely non-technical folk that don’t find the IRC experience worth their time. I would like to stay in touch with these folk. Just as they’re not willing or able to use IRC, I can’t and won’t use the Slack interface. I need chat to work like IRC or it doesn’t work for me.
What are my options? I’d be happy to sign a contract and fix whatever technical issue Slack thinks it has with it’s IRC gateway. I’d be happy to discover or fix any plugin for ZNC or bitlbee that would let me continue to chat. What would it take to make my IRC client participate on Slack servers?
oops: I submitted the same story without realizing it had just been posted.
-
Do any of you using IRCCloud have experience with the Slack integration in that product? I work with one group that picked Slack as their communication platform, with IRCCloud being the second choice.
-
-
This might be relevant to you:
-
-
The bitlbee dev team cited the existence of the official IRC gateway as rationale for refusing to support Slack. Perhaps they will change their mind now?
-
#bitlbee on OFTC is chittering about it just this moment. I wouldn’t describe it as particularly focused, as discussions go, but there is apparently a Slack module for libpurple.
-
-
-
I’m on a number of Slack instances, and the answer is particular to each one. Two of them were formerly Facebook Messenger groups. I helped with the technology selection for one (where we eventually picked Slack) and on the success of that migration shared my experience with the other group (where we eventually picked Slack).
These two groups don’t particularly need Slack, the product, but are served using a communication tool like Slack. Slack was and is a plausible replacement for Facebook Messenger. Another tool would also have to be.
-
What about irccloud? https://www.irccloud.com/
-
-
-
-
-
This reads like an ad for an Ably service.
-
So who wants to adopt the lobster for lobste.rs?
-
-
-
-
I could put together a pool to try to hit the Silver or Gold level. The link would point back to a note on the about page. There would be no reward for donating besides the warm glow of knowing you’ve helped support an organization that is the source of so much error handling in our code.
Please take this ad-hoc poll by upvoting the single highest amount you’d donate towards this. Enough support and I’ll put something together. (If you made judicious use of your GPU a few years ago and have cryptocurrency to donate, please select the amount of USD you’d convert it into before sending it because I’m game for a fun lark, not a major project.) (Edit: tweeted)
-
-
-
-
-
This is in progress.
-
-
-
-
-
355E3B
edited
6 months ago
|
link
| on:
Unread tracking, less deletion, hat doffing, deployment, bug fixes
Whoo!
To clarify a interaction: If you visit a story page with unread comments, the unread comments get marked as read and removed from the unread page. You will see the time get highlighted in red.
-
I find it really depressing, but not surprising, that Erlang isn’t getting support but Elixir is. While it is more work to write a library which works for both languages, its upsetting that a company as large as Google chooses not to take the time and effort to. I really hope this doesn’t set a precedent going forward for the Elixir community. Every new Elixir library only provides a library for Elixir where as every new Erlang library provides a library for every language which targets the BEAM vm.
-
I am just glad that BEAM is getting its day out in the sun, so to speak whether it’s via Elixir or Erlang, but honestly, I find Elixir much more approachable as a beginner. Somehow I feel José Valim figured out how to port “Joy of Programming” from Ruby to Elixir
-
-
355E3B
7 months ago
|
link
| on:
Luna: A hybrid-visual textual functional programming language (now in beta)
I have been waiting for this for a while. With a solid FFI system, this has (hopefully) has a chance of replacing a lot of reporting systems floating out there in the world.
-
I would love to see something like this for “Serverless” and lambda-style architecture. I believe these are hyped but have some serious downsides.
-
I’ve found the criticisms levied at the Actor Model model apply to the serverless architecture. AWS / Google’s offerings link their existing services together to feed a mailbox that your function gets invoked by.
-
-
Its been converted to a single page app.
-
-
-
I was curious myself since I haven’t looked at it in a while. It was kind of hard to get results since searching for its issues actually brought up more pro-serverless articles than anti-serverless. My brief Googling found a Not Ready for Primetime article in February 2016, these issues in June 2016, a Challenges of Serverless article in March 2017, a few drawbacks in May 2017, and a Quora answer with a few more gripes.
-
-
Thanks for running this u/elbrujohalcon. It was a super fun two days!
-
Thank you for participating :)
-
Thanks again for throwing it. :)
-
-
-
If you just want to connect to a running instance, I have one hosted at minecraft.burnwillows.net.
-
The code to run that was not transferred by /u/jcs when /u/pushcx took over. Its remnants in the codebase were also removed recently, so any new BBS would need some new scaffolding.
-
I’ve took the week off for Thanksgiving to get three things done:
- Finish reading Haskell Programing From First Principles.
- Bake a Chocolate Cheesecake.
- Start on building a new toolchain for a rather loosely defined language.
The last item is in the process of driving me slightly crazy. Due to the way that objects are defined, its turning into a bit of a puzzle as to how I can get a representation of the source which allows for easy code generation.
-
When you started the Haskell book, did you have no experience with it or already some? And if little experience, how did that work out for you in terms of understanding enough to read or contribute to a FOSS codebase done in Haskell? I try to get feedback on these things to identify which books are worth passing onto others that ask me for beginner resources. A few people said they liked that one but not much detail.
-
-
Oh ok. So, do you think it took things a piece at a time enough for beginners or probably start with a different book?
-
-
-
Echoing a good comment on reddit: The author didn’t list any practical applications!!! How can you then say they are criminally underused?
The only one I know of is writing versioned dependency solver for a package manager (in the style of Debian’s apt). However, very few people need to write such code.
What are some other practical applications? I think they are all quite specialized and don’t come up in day-to-day programming. Happy to be proven wrong.
EDIT: I googled and I found some interesting use cases, but they’re indeed specialized. Not something I’ve done or seen my coworkers do:
https://www.quora.com/What-are-the-industrial-applications-of-all-SAT-solvers
http://www.carstensinz.de/talks/RISC-2005.pdf
I can think of a certain scheduling algorithm that might have used a SAT solver, but without details I can’t be sure.
They see some use in formal methods for model checking. The Alloy Analyzer converts Alloy specs to SAT problems, which is one of the reasons its such a fast solver.
There’s also this talk on analyzing floor plans.
A previous submission on SAT/SMT might help you answer that.
I’ve used Z3 to verify that a certain optimized bitvector operation is equivalent to the obvious implementation of the intended calculation.
Just typed up the two variants as functions in the SMT language with the bitvector primitives and asked Z3 for the satisfiability of f(x) != g(x) and rejoiced when it said “unsatisfiable.”
Hm this is interesting. Does this code happen to be open source?
I’ll just post it here. :)
Here’s you an example of SMT solvers used for stuff like that. I added some more stuff in comments. You might also like some examples of Why3 code which is translated for use with multiple solvers. Why3 is main way people in verification community use solvers that I’m aware. WhyML is a nice, intermediate language.
Keiran King and @raph compiled a SAT solver to WebAssembly to use for the “auto-complete” feature of Phil, a tool for making crossword puzzles (source).
I found this library (and its docs) interesting. They go over some practical examples.
https://developers.google.com/optimization/cp/
This looks like it’s about linear programming, not SAT solving. They’re related for sure but one reason it would be nice to see some specific examples is to understand where each one is applicable!
I have personally used them when writing code to plan purchases from suppliers for industrial processes and to deal with shipping finished products out using the “best” carrier.