pepe Iborra (@iborrapepe) 's Twitter Profile
pepe Iborra

@iborrapepe

Haskell enabler @Facebook, all views expressed are my own

ID: 14938738

calendar_today28-05-2008 23:22:26

2,2K Tweet

603 Followers

436 Following

pepe Iborra (@iborrapepe) 's Twitter Profile Photo

“Ahora sí, queridos amigos, ahora sí podemos expresar lo muy loco que está el mundo.” jotdown.es/2021/03/el-mun…

pepe Iborra (@iborrapepe) 's Twitter Profile Photo

Dear Haskellverse, I'm looking for a logging handler that generates a stream of logging events. Something like: ``` withLogStream :: MonadIO io => ( (msg -> io ()) -> Stream io msg -> io a ) -> io a ```

pepe Iborra (@iborrapepe) 's Twitter Profile Photo

Big thanks to #Hasura for sponsoring the work on ghc-debug and improved memory profiling in 9.2 - can't arrive soon enough!

pepe Iborra (@iborrapepe) 's Twitter Profile Photo

Call hierarchy coming soon to #Haskell Language Server thanks to #GoogleSummerOfCode and Lei Zhu: github.com/haskell/haskel…

Haskell IDE team (@idehaskell) 's Twitter Profile Photo

2021 July release of HLS arrives! This release includes binaries for GHC 9.0.1 and some new interesting features. * Call hierarchy plugin is added by @July541 * Lot of improvements for tactics * completions work with definitions from non-imported modules github.com/haskell/haskel…

pepe Iborra (@iborrapepe) 's Twitter Profile Photo

Congratulations to Ollie Madine (github.com/OliverMadine) for completing his @gsoc project on supporting renames for Haskell IDE team !! More details in the project report gist.github.com/OliverMadine/9…

Simon Marlow (@simonmar) 's Twitter Profile Photo

I'm delighted that we're finally able to open source Glean, the system we're building at Facebook for collecting and querying information about code: glean.software [1/8]

Skills Matter (@skillsmatter) 's Twitter Profile Photo

HLS is a popular Haskell IDE: fast, feature-rich, extensible, easy to install & ubiquitous. pepe Iborra will join Haskell eXchange to shed some light on how to scale up the IDE & serve as a resource for HLS contributors. Join #HaskellX: bit.ly/3w2ukyR

HLS is a popular Haskell IDE: fast, feature-rich, extensible, easy to install & ubiquitous. 

<a href="/IborraPepe/">pepe Iborra</a> will join Haskell eXchange to shed some light on how to scale up the IDE &amp; serve as a resource for HLS contributors.

Join #HaskellX: bit.ly/3w2ukyR
pepe Iborra (@iborrapepe) 's Twitter Profile Photo

Stoked to be part of this incredible lineup ☺️ I will be talking about how we scaled HLS to a big enterprise codebase. Come and learn how to deploy HLS on yours!

Gergő Érdi (@gergo_erdi) 's Twitter Profile Photo

My book "#Retrocomputing with Clash: #Haskell for #FPGA Hardware Design" is out now, in e-book and printed version at retrocla.sh

pepe Iborra (@iborrapepe) 's Twitter Profile Photo

Using stm-stats to reduce contention in a concurrent Haskell app (hls-graph). This is so much better than the usual guessing. github.com/haskell/haskel…

pepe Iborra (@iborrapepe) 's Twitter Profile Photo

Looking for help to wrap up the GHC 9.2 build of HLS. Only a few ghc-api build errors left… github.com/haskell/haskel…

Moritz 💫 (@4ngerman) 's Twitter Profile Photo

So apparently gcc (some versions) miscompile llvm, leading to segfaults when building ghc. This is awesome. Three of the projects that take the longest to build. Validation that this works end to end takes ~4+ hours. Yes cross compilers are involved.

🌍 Remote Work Academy 🚀 (@remote_work_io) 's Twitter Profile Photo

This photo was taken in the London metro before the pandemic. On a normal day during rush hour, as people commuted to the office in the morning. It was their daily routine. This is the "old normal" many leaders want to go back to. A thread 👇

This photo was taken in the London metro before the pandemic. On a normal day during rush hour, as people commuted to the office in the morning. It was their daily routine.

This is the "old normal" many leaders want to go back to.

A thread 👇
Laura Titolo (@laura_titolo) 's Twitter Profile Photo

Summer internship opportunities at NASA Langley to work on different aspects of formal methods! This include working with me and my colleagues on floating-point error analysis, apply here 👉nasacentral.force.com/s/course-offer…

Haskell (@haskellorg) 's Twitter Profile Photo

#GSoC2022 program is out! Among many esteemed organizations, you will find Haskell as well. If you want to spend some of your summertime working on #FP projects and improve your skills - you will find inspirations here: summerofcode.withgoogle.com/programs/2022/… Google Open Source

#GSoC2022 program is out! Among many esteemed organizations, you will find <a href="/HaskellOrg/">Haskell</a> as well. If you want to spend some of your summertime working on #FP projects and improve your skills - you will find inspirations here: summerofcode.withgoogle.com/programs/2022/… <a href="/GoogleOSS/">Google Open Source</a>
Alejandro Serrano (@trupill) 's Twitter Profile Photo

This year's Haskell Implementors' Workshop is to be held in Ljubljana, Slovenia. HIW is a forum where tool, library, or compiler developers meet to discuss their work. It's quite informal, so if you have something cool to share just send a talk in! icfp22.sigplan.org/home/hiw-2022#…

pepe Iborra (@iborrapepe) 's Twitter Profile Photo

I'm in the market for a new monitor for coding. Are curved monitors worth the price tag? For the same brand (LG), a curved 38'' (38WN75C-B) is almost twice as much as a flat 43'' (43UN700-B).

pepe Iborra (@iborrapepe) 's Twitter Profile Photo

HLS 1.8.0.0 is out with binaries for GHC 9.4.2 and 9.2.4, improved TH performance, reduced memory usage and many other goodies discourse.haskell.org/t/ann-haskell-…

Engineering at Meta (@fb_engineering) 's Twitter Profile Photo

We’ve open sourced DotSlash, a tool that makes large executables available in source control with a negligible impact on repository size, thus avoiding I/O-heavy clone operations. #opensource engineering.fb.com/2024/02/06/dev…