Podcasts about Boolean

  • 220PODCASTS
  • 381EPISODES
  • 33mAVG DURATION
  • 1WEEKLY EPISODE
  • May 30, 2025LATEST

POPULARITY

20172018201920202021202220232024


Best podcasts about Boolean

Latest podcast episodes about Boolean

Machine Learning Guide
MLG 036 Autoencoders

Machine Learning Guide

Play Episode Listen Later May 30, 2025 65:55


Auto encoders are neural networks that compress data into a smaller "code," enabling dimensionality reduction, data cleaning, and lossy compression by reconstructing original inputs from this code. Advanced auto encoder types, such as denoising, sparse, and variational auto encoders, extend these concepts for applications in generative modeling, interpretability, and synthetic data generation. Links Notes and resources at ocdevel.com/mlg/36 Try a walking desk - stay healthy & sharp while you learn & code Build the future of multi-agent software with AGNTCY. Thanks to T.J. Wilder from intrep.io for recording this episode! Fundamentals of Autoencoders Autoencoders are neural networks designed to reconstruct their input data by passing data through a compressed intermediate representation called a “code.” The architecture typically follows an hourglass shape: a wide input and output separated by a narrower bottleneck layer that enforces information compression. The encoder compresses input data into the code, while the decoder reconstructs the original input from this code. Comparison with Supervised Learning Unlike traditional supervised learning, where the output differs from the input (e.g., image classification), autoencoders use the same vector for both input and output. Use Cases: Dimensionality Reduction and Representation Autoencoders perform dimensionality reduction by learning compressed forms of high-dimensional data, making it easier to visualize and process data with many features. The compressed code can be used for clustering, visualization in 2D or 3D graphs, and input into subsequent machine learning models, saving computational resources and improving scalability. Feature Learning and Embeddings Autoencoders enable feature learning by extracting abstract representations from the input data, similar in concept to learned embeddings in large language models (LLMs). While effective for many data types, autoencoder-based encodings are less suited for variable-length text compared to LLM embeddings. Data Search, Clustering, and Compression By reducing dimensionality, autoencoders facilitate vector searches, efficient clustering, and similarity retrieval. The compressed codes enable lossy compression analogous to audio codecs like MP3, with the difference that autoencoders lack domain-specific optimizations for preserving perceptually important data. Reconstruction Fidelity and Loss Types Loss functions in autoencoders are defined to compare reconstructed outputs to original inputs, often using different loss types depending on input variable types (e.g., Boolean vs. continuous). Compression via autoencoders is typically lossy, meaning some information from the input is lost during reconstruction, and the areas of information lost may not be easily controlled. Outlier Detection and Noise Reduction Since reconstruction errors tend to move data toward the mean, autoencoders can be used to reduce noise and identify data outliers. Large reconstruction errors can signal atypical or outlier samples in the dataset. Denoising Autoencoders Denoising autoencoders are trained to reconstruct clean data from noisy inputs, making them valuable for applications in image and audio de-noising as well as signal smoothing. Iterative denoising as a principle forms the basis for diffusion models, where repeated application of a denoising autoencoder can gradually turn random noise into structured output. Data Imputation Autoencoders can aid in data imputation by filling in missing values: training on complete records and reconstructing missing entries for incomplete records using learned code representations. This approach leverages the model's propensity to output ‘plausible' values learned from overall data structure. Cryptographic Analogy The separation of encoding and decoding can draw parallels to encryption and decryption, though autoencoders are not intended or suitable for secure communication due to their inherent lossiness. Advanced Architectures: Sparse and Overcomplete Autoencoders Sparse autoencoders use constraints to encourage code representations with only a few active values, increasing interpretability and explainability. Overcomplete autoencoders have a code size larger than the input, often in applications that require extraction of distinct, interpretable features from complex model states. Interpretability and Research Example Research such as Anthropic's “Towards Monosemanticity” applies sparse autoencoders to the internal activations of language models to identify interpretable features correlated with concrete linguistic or semantic concepts. These models can be used to monitor and potentially control model behaviors (e.g., detecting specific language usage or enforcing safety constraints) by manipulating feature activations. Variational Autoencoders (VAEs) VAEs extend autoencoder architecture by encoding inputs as distributions (means and standard deviations) instead of point values, enforcing a continuous, normalized code space. Decoding from sampled points within this space enables synthetic data generation, as any point near the center of the code space corresponds to plausible data according to the model. VAEs for Synthetic Data and Rare Event Amplification VAEs are powerful in domains with sparse data or rare events (e.g., healthcare), allowing generation of synthetic samples representing underrepresented cases. They can increase model performance by augmenting datasets without requiring changes to existing model pipelines. Conditional Generative Techniques Conditional autoencoders extend VAEs by allowing controlled generation based on specified conditions (e.g., generating a house with a pool), through additional decoder inputs and conditional loss terms. Practical Considerations and Limitations Training autoencoders and their variants requires computational resources, and their stochastic training can produce differing code representations across runs. Lossy reconstruction, lack of domain-specific optimizations, and limited code interpretability restrict some use cases, particularly where exact data preservation or meaningful decompositions are required.

The Killing IT Podcast
Episode 212 - CISA updates, taxing IT professionals, and standing by generative AI

The Killing IT Podcast

Play Episode Listen Later May 23, 2025 32:14 Transcription Available


Welcome to Episode 212 At 212 degrees fahrenheit, water becomes steam. At 211 it's hot. At 212 you can move a locomotive or make electricity. We are happy to bring you episode 212 of the Killing IT Podcast! Please share this podcast on Apple, iHeart, or wherever you listen. Sponsored by… The Small Biz Thoughts Technology Community. The best deal in online communities for IT business owners is the Small Biz Thoughts Technology Community. Memberships start at just $799 per year, and that includes a five-week course at IT Service Provider University. Grab all the details at https://www.smallbizthoughts.org.  Topics: Topic 1: CISA update If the US government is not going to be helping small businesses with security alerts, who will step in to provide this service? Is there anything we can do to get CISA to help, or will this be another function we simply defer to Europe to provide the leadership? Doing nothing is not an option? What are you doing to stay tuned to security alerts for your clients? Topic 2: Taxes for IT consultants. Maryland and Washington announce new taxes. Who's next? Not to say we told you so, but … Whether we like it or not, taxes are coming to online services and tech support. Maryland's tax appeared very quickly, and then narrowed down to only SMALL IT consultants.  Dave mentioned this in his Business of Tech podcast, and the National Society of IT Service Providers addressed this on their blog at https://nsitsp.org/those-who-do-not-organize-get-taxed-lessons-from-marylands-3-tech-tax/. Now is a great time to decide where we as an industry stand on this. Topic 3: Under what circumstances should we rely on generative AI? There's a growing disillusionment with generative AI. There continue to be problems with hallucinations and outright falsehoods. And there are continuing examples of just plain laziness - without any meaningful accountability.  We discuss a really great, Boolean decision tree. See the graphic at https://guides.lib.usf.edu/c.php?g=1315087&p=9678779. That graphic also provides a very short, very straight-forward description of the answer. Does it matter if the output is true, accurate, or helpful? Do you have the knowledge and ability to determine whether the output is accurate? Feedback always welcome! :-)

The Elite Recruiter Podcast
AI Super Recruiters: How Tech Is Shaping Sourcing, Placements & the Future of Recruiting — with Steve Lu, CEO of Pin

The Elite Recruiter Podcast

Play Episode Listen Later May 21, 2025 51:57


Are you ready to become an AI-powered "super recruiter" and future-proof your success as the recruiting landscape transforms before your eyes? In this episode of The Elite Recruiter Podcast, host Benjamin Mena sits down with Steven Lu, CEO and co-founder of pin.com, for a candid, energetic conversation about the real impact of AI in recruiting—and what it genuinely means for recruiters right now. As AI tools proliferate and many recruiters worry about automation, this episode zeros in on how you can leverage intelligent technology not as a threat, but as a force multiplier to achieve more placements, build better relationships, and dramatically grow your billing potential. Are you tired of tedious sourcing, clunky tech stacks, and endless manual outreach? Are you wondering how to rise above the flood of generic, AI-generated candidate spam? Steven shares an insider's perspective—honed from years at companies like Interseller and Greenhouse—on how to select tools that genuinely solve recruiters' problems, not just Silicon Valley's wishlist. He debunks the hype, tackles the “doomsday” fears around AI, and explains why the most successful recruiters of tomorrow aren't those who work harder, but smarter, by combining top-notch relationship-building with supercharged technology. Here's what you'll take away from this episode: Actionable insight into the actual AI automations—like advanced resume parsing, omnichannel messaging, and precise candidate mapping—that free you from busywork and let you double down on high-value conversations.A roadmap to make yourself indispensable, by becoming a trusted industry expert and harnessing AI-driven market intelligence that goes way beyond Boolean search.Realistic advice for both early-career recruiters and seasoned pros on adopting the right AI tools, future-proofing your role, and even scaling solo billing to eye-popping new heights. If you want to separate yourself from the outdated “numbers game” and become a more impactful, relationship-driven recruiter—press play now and unlock the next level in your recruiting career with the power of AI! Pin https://www.pin.com/ - Pin, your 24/7 Recruiting Assistant AI Recruiting Summit 2025 – Registration: https://ai-recruiting-summit-2025.heysummit.com/ Finish The Year Strong 2025 – Registration: https://rock-the-year-2025.heysummit.com/ Free Trial of PeopleGPT and its AI Agents: https://juicebox.ai/?via=b6912d Free Trial of Talin AI: https://app.talin.ai/signup?via=recruiter Signup for future emails from The Elite Recruiter Podcast: https://eliterecruiterpodcast.beehiiv.com/subscribe   YouTube: https://youtu.be/iSrqqvwUVLc Follow Steve Lu on LinkedIn: https://www.linkedin.com/in/stevenlu/  With your Host Benjamin Mena with Select Source Solutions: http://www.selectsourcesolutions.com/  Benjamin Mena LinkedIn: https://www.linkedin.com/in/benjaminmena/  Benjamin Mena Instagram: https://www.instagram.com/benlmena/

Security Clearance Careers Podcast
How to Optimize Your ClearanceJobs Profile

Security Clearance Careers Podcast

Play Episode Listen Later May 19, 2025 26:38


Optimizing your online profiles for professional networking is essential in today's digital-first professional landscape. Your ClearanceJobs profile is often the first interaction someone has with you—whether it's a recruiter, hiring manager, or other executive leader using our platform.Platforms like ClearanceJobs rank profiles against Boolean searches (or Intellisearch) that recruiters key in to match the most qualified candidates. By strategically using keywords related to your industry, roles, and skills you improve your chances of appearing in searches, making it easier for hiring managers to find you. Hosted on Acast. See acast.com/privacy for more information.

Remote Ruby
Gems, Jokes, and JavaScript

Remote Ruby

Play Episode Listen Later May 16, 2025 37:36


Andrew and Chris dive into issues with SMTP configuration on new Digital Ocean droplets, their experiences with various email delivery gems like Postmark and Mailtrap and go over some best practices for handling account creation and user associations in Rails applications. The conversation also touches on deployment automation, developing new features like the inbox on Podia, and the importance of having visual tools and browser extensions for effective debugging. They share some lighter moments discussing fun side projects, including Andrew's insult generator app and their humorous take on turning everyday developer annoyances into creative gem ideas. The episode wraps up with some Stripe announcements and TV show recommendations.LinksJudoscale- Remote Ruby listener giftMailtrapHotwire Dev ToolsActualDbSchemaRailsCasts- Episode 288: Billing with StripeActiveSupport: Allow quick cast Boolean to integer #18552Our top product updates from Sessions 2025 (Stripe Blog)Developer Insult Generator by AndrewShoresyStar Wars: AndorStar Wars: Skeleton Crew Chris Oliver X/Twitter Andrew Mason X/Twitter Jason Charnes X/Twitter

COMPRESSEDfm
203 | Feature Flags, Framework Wars, and Landing Your Next Dev Job

COMPRESSEDfm

Play Episode Listen Later May 13, 2025 46:34


In this hosts-only episode, Amy and Brad get real about the developer experience - from the stress of job interviews to the complexities of choosing the right framework. They discuss why companies are comparing candidates more than ever, share strategies for answering behavioral interview questions, and debate the merits of Remix versus Next.js (spoiler: Brad's all-in on Remix). The conversation shifts to feature flags and progressive rollouts, with insights from Brad's work at Stripe. SponsorWorkOS helps you launch enterprise features like SSO and user management with ease. Thanks to the AuthKit SDK for JavaScript, your team can integrate in minutes and focus on what truly matters—building your app. Chapter Marks00:00 - Intro00:41 - Sponsor: WorkOS01:47 - Brad's Keyboard and Mouse Shopping Spree04:30 - Keyboard Layout Discussion07:23 - Apple Ecosystem: Reminders and Notes09:23 - Family Sharing and Raycast Integration09:43 - Notion vs Apple Notes for Project Management11:31 - File Storage and Backup Strategies14:00 - Machine Backup Philosophy16:46 - Job Interview Preparation Tips19:40 - Answering the "Weakness" Question21:53 - Addressing Weaknesses: Delegation Examples24:29 - Conflict Resolution Interview Questions25:46 - Company Research Before Interviews27:00 - Tech Stack Considerations: Remix vs Next.js28:30 - Framework Migration Decisions29:30 - Astro for Content Sites31:02 - Backend Languages: Go vs TypeScript32:30 - React Server Components Future34:23 - Feature Flags and Boolean as a Service35:30 - Feature Flag Segmentation and A/B Testing36:54 - PostHog and Analytics Tools38:30 - Progressive Rollouts and Error Monitoring40:20 - Amy's Picks and Plugs43:35 - Brad's Picks and Plugs  

Flair Business Growth Consultancy's Podcast
Making Chat GPT really work for you

Flair Business Growth Consultancy's Podcast

Play Episode Listen Later May 8, 2025 47:42


Lots of people are using Chat and other AIs to generate copy and search the web but this is the tip of the iceberg when it comes to recruitment. In this edition of the #MARShow we are delighted to have Nitin Sharma as our guest. He will be exploring a wide range of uses that recruiters can put these powerful AIs tools to: - ✅ Coach you thru difficult business situations with clients ✅ Rate candidates against a vacancy from their CV and any of your notes and emails ✅ Provide powerful Boolean searches for any vacancy type. ✅ Bring job adverts to life, by creating engaging, SEO optimised adverts that work ✅ Help you offer a CV assistance service to help your candidates optimise their CVs. These are only a few of the uses Nitin will explain how to do with AIs. He'll also be exploring many more uses with us that may surprise you. The key is in the way you prompt the machine to do what you want, so we'll also be looking at the best way to do that too. Finally, we'll end up by predicting how AI will affect the rec industry in the future – who knows what Deepseek and its descendants will do! So, please join us if you want to make the most of this very powerful tool. Practical, powerful, and easy to use – a bit like us really. 

Entrepreneur Rescue Mission
14. Building a Network of High-Value LinkedIn Clients: The Strategic Approach

Entrepreneur Rescue Mission

Play Episode Listen Later Mar 31, 2025 14:22


Are you connecting with random people on LinkedIn but not seeing any real business results? In this episode, Scott and Nancy reveal their proven process for building a strategic network on LinkedIn that actually generates clients and referrals.After helping hundreds of service professionals transform their LinkedIn strategy, they share the two specific types of people you should be connecting with (and why most people waste time on the wrong connections), how to use Boolean search techniques to find your ideal clients, and real examples of how just one strategic connection can lead to multiple high-value opportunities.Whether you're a coach, consultant, or service professional looking to leverage LinkedIn more effectively, this episode gives you an actionable framework for building a network that delivers real business results.Key takeaways:The only two types of people worth connecting with on LinkedInHow to use Boolean search to find high-value connections quicklyWhy being specific in your search criteria expands rather than limits opportunitiesReal examples of how one strategic connection led to 16 paid speaking engagementsCommon LinkedIn networking mistakes that waste your time and how to avoid themStay updated on our upcoming workshops by visiting: thetimetogrow.com/workshops.

Becoming a Hiring Machine
179: Tactical Tuesday - A Smooth (Boolean) Operator ft. Vivien Maron

Becoming a Hiring Machine

Play Episode Listen Later Mar 25, 2025 11:31


In today's episode, Sam and Vivien dive into the ~fascinating~ world of Boolean operators, discussing their importance in recruitment — and how to effectively use them to enhance candidate sourcing. Throughout the conversation, they explore both advanced and basic techniques, emphasizing the need for recruiters to adapt their search strategies to find the best candidates. Different candidates may express their skills and experiences using different terminology — which is why using Boolean effectively can help ensure you find the best possible match.Chapters:00:00 - Welcome to Boolean Mastery: Sourcing Top Talent02:30 - Circumflex Power: Ranking Variables in Boolean Searches06:06 - Logic in Sourcing: Harnessing AND, OR, and Parenthesis08:54 - Getting Started with Boolean: Practical Advice for RecruitersExplore all our episodes and catch the full video experience at loxo.co/podcastBecoming a Hiring Machine is brought to you by Loxo. To discover more about us, just visit loxo.co

Machine Learning Street Talk
Tau Language: The Software Synthesis Future (sponsored)

Machine Learning Street Talk

Play Episode Listen Later Mar 12, 2025 101:19


This sponsored episode features mathematician Ohad Asor discussing logical approaches to AI, focusing on the limitations of machine learning and introducing the Tau language for software development and blockchain tech. Asor argues that machine learning cannot guarantee correctness. Tau allows logical specification of software requirements, automatically creating provably correct implementations with potential to revolutionize distributed systems. The discussion highlights program synthesis, software updates, and applications in finance and governance.SPONSOR MESSAGES:***Tufa AI Labs is a brand new research lab in Zurich started by Benjamin Crouzier focussed on o-series style reasoning and AGI. They are hiring a Chief Engineer and ML engineers. Events in Zurich. Goto https://tufalabs.ai/***TRANSCRIPT + RESEARCH:https://www.dropbox.com/scl/fi/t849j6v1juk3gc15g4rsy/TAU.pdf?rlkey=hh11h2mhog3ncdbeapbzpzctc&dl=0Tau:https://tau.net/Tau Language:https://tau.ai/tau-language/Research:https://tau.net/Theories-and-Applications-of-Boolean-Algebras-0.29.pdfTOC:1. Machine Learning Foundations and Limitations [00:00:00] 1.1 Fundamental Limitations of Machine Learning and PAC Learning Theory [00:04:50] 1.2 Transductive Learning and the Three Curses of Machine Learning [00:08:57] 1.3 Language, Reality, and AI System Design [00:12:58] 1.4 Program Synthesis and Formal Verification Approaches2. Logical Programming Architecture [00:31:55] 2.1 Safe AI Development Requirements [00:32:05] 2.2 Self-Referential Language Architecture [00:32:50] 2.3 Boolean Algebra and Logical Foundations [00:37:52] 2.4 SAT Solvers and Complexity Challenges [00:44:30] 2.5 Program Synthesis and Specification [00:47:39] 2.6 Overcoming Tarski's Undefinability with Boolean Algebra [00:56:05] 2.7 Tau Language Implementation and User Control3. Blockchain-Based Software Governance [01:09:10] 3.1 User Control and Software Governance Mechanisms [01:18:27] 3.2 Tau's Blockchain Architecture and Meta-Programming Capabilities [01:21:43] 3.3 Development Status and Token Implementation [01:24:52] 3.4 Consensus Building and Opinion Mapping System [01:35:29] 3.5 Automation and Financial ApplicationsCORE REFS (more in pinned comment):[00:03:45] PAC (Probably Approximately Correct) Learning framework, Leslie Valianthttps://en.wikipedia.org/wiki/Probably_approximately_correct_learning[00:06:10] Boolean Satisfiability Problem (SAT), Varioushttps://en.wikipedia.org/wiki/Boolean_satisfiability_problem[00:13:55] Knowledge as Justified True Belief (JTB), Matthias Steuphttps://plato.stanford.edu/entries/epistemology/[00:17:50] Wittgenstein's concept of the limits of language, Ludwig Wittgensteinhttps://plato.stanford.edu/entries/wittgenstein/[00:21:25] Boolean algebras, Ohad Osorhttps://tau.net/tau-language-research/[00:26:10] The Halting Problemhttps://plato.stanford.edu/entries/turing-machine/#HaltProb[00:30:25] Alfred Tarski (1901-1983), Mario Gómez-Torrentehttps://plato.stanford.edu/entries/tarski/[00:41:50] DPLLhttps://www.cs.princeton.edu/~zkincaid/courses/fall18/readings/SATHandbook-CDCL.pdf[00:49:50] Tarski's undefinability theorem (1936), Alfred Tarskihttps://plato.stanford.edu/entries/tarski-truth/[00:51:45] Boolean Algebra mathematical foundations, J. Donald Monkhttps://plato.stanford.edu/entries/boolalg-math/[01:02:35] Belief Revision Theory and AGM Postulates, Sven Ove Hanssonhttps://plato.stanford.edu/entries/logic-belief-revision/[01:05:35] Quantifier elimination in atomless boolean algebra, H. Jerome Keislerhttps://people.math.wisc.edu/~hkeisler/random.pdf[01:08:35] Quantifier elimination in Tau language specification, Ohad Asorhttps://tau.ai/Theories-and-Applications-of-Boolean-Algebras-0.29.pdf[01:11:50] Tau Net blockchain platformhttps://tau.net/[01:19:20] Tau blockchain's innovative approach treating blockchain code itself as a contracthttps://tau.net/Whitepaper.pdf

NETWORK MARKETING MADE SIMPLE
Boosting Your Search Results with Boolean Searches on LinkedIn

NETWORK MARKETING MADE SIMPLE

Play Episode Listen Later Mar 10, 2025 9:55


Analyst Talk With Jason Elder
Analyst Talk - Open Secrets - Mastering the Art of Online Searches

Analyst Talk With Jason Elder

Play Episode Listen Later Mar 10, 2025 24:21 Transcription Available


Episode: 00257 Released on March 10, 2025 Description: In this episode of Analyst Talk with Jason Elder, expert Jan Mondale discusses another Open Secret in the world of open-source intelligence (OSINT) with expert Jan Mondale. From the basics of Google and Bing searches to advanced tips for finding hidden information online, Jan breaks down the art of effective searching. We explore Boolean operators, the power of search shortcuts, and why it sometimes pays to think like a "Google dork." Whether you're an investigative support analyst or just looking to sharpen your search skills, this episode is packed with actionable advice. Tune in to learn how to uncover open secrets like a pro! [Note:  Description produced by ChatGPT.] Get to know more about Jan by listening to his episode on Analyst Talk With Jason Elder: https://www.leapodcasts.com/e/atwje-jan-mondale-inquiring-minds/ CHALLENGE: There are Easter eggs in one of the tables of the Excel chapter that Jason wrote for the IACA textbook. First-person to email us at leapodcasts@gmail.com about what the Easter eggs are will receive a $75 gift card from us. Happy hunting! *** Episode 7 Analysis - IACA Conference Preview - Rethinking Thought https://youtu.be/YC_b8GWofDk  *** Related Links: Jan's Online Search document:  https://mcdn.podbean.com/mf/web/437i47bpbj5n8wzh/OS02_Online_Search8tf85.pdf Association(s) Mentioned:  Vendor(s) Mentioned:  Contact: https://www.linkedin.com/in/janmondale/  Transcript: https://mcdn.podbean.com/mf/web/5ruixn7e7crti923/OS02_transcript.pdf  Podcast Writer:  Podcast Researcher:  Theme Song: Written and Recorded by The Rough & Tumble. Find more of their music at www.theroughandtumble.com. Logo: Designed by Kyle McMullen. Please visit www.moderntype.com for any printable business forms and planners.  Podcast Email: leapodcasts@gmail.com   Podcast Webpage: www.leapodcasts.com   Podcast Twitter: @leapodcasts

Hacker Public Radio
HPR4328: Use SELinux the easy way

Hacker Public Radio

Play Episode Listen Later Mar 5, 2025


This show has been flagged as Clean by the host. The most basic security toggle on your Linux computer is the setenforce command. Using just a single setenforce instruction, you can configure SELinux to allow a violation it would normally prevent. There are two states: Enabled and Permissive. By default, SELinux is Enabled (also represented as 1 when using Boolean values). To set SELinux to permissive mode: $ sudo setenforce Permissive When something works in Permissive mode, you've successfully identified the symptom, but you haven't fixed the problem yet. Activate Enforcing mode again: $ sudo setenforce Enforcing Check the status of SELinux You can check the state of SELinux at any time using the sestatus command: $ sestatus SELinux status: enabled SELinuxfs mount: /sys/fs/selinux SELinux root directory: /etc/selinux Loaded policy name: targeted Current mode: enforcing [...] Look at labels and contexts If you have a running Linux system, then you have an example of what SELinux requires for normal operation. You don't have to learn about security contexts or memorize labels. For most anything you try to do on your computer, there are likely already files doing something similar. Use those files as templates. You can look at the security labels of any file you have access to by using the -Z (that's a capital Z) option of ls: $ touch hellotouch hello.txt $ ls -Z hello.txt unconfined_u:object_r:user_home_t:s0 hello An empty file created by a user in the user's own home directory has, as you might expect, a very specific security profile. Even with the executable bit set, that file would not be permitted to run as a systemwide service. It just doesn't have the correct security context. If you use an ll alias, try adding the -Z option to its option list so you get used to seeing SELinux labels. The more you see what labels exist on your system, and how they relate to various system roles, you're more likely to recognize when they're wrong. Copy contexts Suppose you were developing a custom SELinux service for your laptop. You've written a shell script, a service file, and you've placed them in the appropriate system locations. You're also careful to set ownership and permissions correctly. But no matter what you do, you get errors when attempting to start the service. You suspect that SELinux might be preventing an unrecognized service from running. That would normally be appreciated, but in this case you want to make an exception. First, confirm that the service runs successfully with SELinux in Permissive mode: $ sudo setenforce Permissive $ sestatus | grep Current Current mode: permissive $ sudo systemctl start hello.service || echo "fail" $ $ sudo setenforce Enforcing Then look at the files you've created using the -Z and compare them with other files that you know to be working properly. Note the differences: $ ls -Z /usr/lib/systemd/system/hello.service unconfined_u:object_r:systemd_unit_file_t:s0 $ ls -Z /usr/lib/systemd/system/rdisc.service system_u:object_r:rdisc_unit_file_t:s0 The working service (rdisc.service in this example, chosen at random) features the system_u label as well as a special rdisc_unit_file_t label. Suppose you know from previous experience with ls -Z that a common SELinux label for systemd service files is systemd_unit_file_t so you ignore that difference. However, unconfined_u and system_u seem to be important. Use the chcon ("change context") command to change the security context of your service file: $ sudo chcon system_u:object_r:systemd_unit_file_t:s0 /usr/lib/systemd/system/hello.service $ ls -Z /usr/lib/systemd/system/hello.service system_u:object_r:systemd_unit_file_t:s0 Your systemd service is probably triggering some executable file on your system. If you created that yourself, it probably also has the incorrect security context. Comparing it to a known working script: $ ls -Z /usr/bin/example.sh unconfined_u:object_r:gconf_home_t:s0 $ ls -Z /usr/bin/brltty-prologue.sh system_u:object_r:bin_t:s0 Again, there's one obvious difference, which you can correct with chcon: $ chcon system_u:object_r:bin_t:s0 /usr/bin/example.sh Provide feedback on this episode.

Chief Change Officer
AI Can Screen Resumes, But It Can't Spot Great Humans—Holly Bond Explains Why

Chief Change Officer

Play Episode Listen Later Feb 15, 2025 34:01


Holly Bond, President of Facet Recruitment, is living proof that hiring is still a human game—no matter how fancy the tech gets. From her days as a franchise owner to leading in the AI hiring era, she shares the real secrets to landing (or making) the perfect hire: build real relationships, take bold risks, and never let an algorithm do all the thinking. Tune in to hear how Holly blends experience, intuition, and a dash of humor to keep recruiting refreshingly human. Key Highlights of Our Interview: From Focus Groups to Foundations “When we launched Facets, we started with brutal honesty: focus groups full of blunt feedback about recruiters. We listened, and we built a company rooted in empathy and care.” Breaking the Commission Chain “Recruiting isn't about commissions; it's about people. I refused to return to a model where clients matter more than candidates. Instead, I built a team paid for their passion, not percentages.” Catching What AI Misses “If AI had done my recruitment, I would've slipped through the cracks. Boolean searches don't see potential outside the box. Humans do. That's why we look beyond traditional roles, exploring adjacent sectors for talent.” Spotting the Unsung Stars “A recruiter's superpower? Seeing someone's potential before they do. When I reached out to a candidate in her 60s, she couldn't believe I meant her. But age? It's just a number—wisdom wins every time.” Putting Yourself Out There “Take risks, be bold, and let people know what you're looking for. Whether it's an informational interview or a thoughtful message, putting yourself out there often leads to unexpected opportunities—sometimes even before the job officially exists.” The True Value of a Strong Network “A broad network isn't just about advancing your career; it's about helping others too. Being able to connect someone to the right opportunity or advice is the most rewarding part of building genuine, lasting relationships.” _________________________ Connect with us: Host: Vince Chan | Guest: Holly Bond --Chief Change Officer-- Outgrow Yourself. Change Ambitiously.  The Global Go-To-Source of Raw Human Intelligence  for Growth Progressives, Visionary Underdogs, Transformation Gurus & Bold Hearts. Global Top 3% Podcast on Listen Notes. Top 20 US Business Podcast on Apple. Top 1 US Careers Podcast on Apple. 5+ Million All-Time Downloads. Reaching 80+ Countries Daily. >>>100,000+ subscribers are outgrowing. Act Today.

Colloques du Collège de France - Collège de France
Colloque - Géométries aléatoires et applications - Agnès Desolneux : Modèles d'images aléatoires et applications en mammographie digitale

Colloques du Collège de France - Collège de France

Play Episode Listen Later Jan 28, 2025 55:33


Nalini AnantharamanGéométrie spectraleCollège de FranceAnnée 2023-2024Colloque - Géométries aléatoires et applications : Modèles d'images aléatoires et applications en mammographie digitaleIntervenante :Agnès DesolneuxCNRS, École normale supérieure Paris-SaclayRésuméIn this talk I will present several random image models that are else explicit (such as Gaussian models or Boolean models for instance), or more "implicit" (such as images generated by a neural network). I will discuss how these models are used to understand the detectability of some lesions in digital mammograms. I will also discuss another interest of such models, which is that they allow to perform virtual clinical trials.----Le terme « géométrie aléatoire » désigne tout processus permettant de construire de manière aléatoire un objet géométrique ou des familles d'objets géométriques. Un procédé simple consiste à assembler aléatoirement des éléments de base : sommets et arêtes dans le cas des graphes aléatoires, triangles ou carrés dans certains modèles de surfaces aléatoires, ou encore triangles, « pantalons » ou tétraèdres hyperboliques dans le cadre des géométries hyperboliques. La théorie des graphes aléatoires imprègne toutes les branches des mathématiques actuelles, des plus théoriques (théorie des groupes, algèbres d'opérateurs, etc.) aux plus appliquées (modélisation de réseaux de communication, par exemple). En mathématiques, l'approche probabiliste consiste à évaluer la probabilité qu'une propriété géométrique donnée apparaisse : lorsque l'on ne sait pas si un théorème est vrai, on peut tenter de démontrer qu'il l'est dans 99 % des cas.Une autre méthode classique pour générer des paysages aléatoires consiste à utiliser les séries de Fourier aléatoires, avec de nombreuses applications en théorie du signal ou en imagerie.En physique théorique, les géométries aléatoires sont au cœur de la théorie de la gravité quantique et d'autres théories des champs quantiques. Les différents aspects mathématiques s'y retrouvent curieusement entremêlés, par exemple, la combinatoire des quadrangulations ou des triangulations apparaît dans le calcul de certaines fonctions de partition.Ce colloque offrira un panorama non exhaustif des géométries aléatoires, couvrant des aspects allant des plus abstraits aux applications concrètes en imagerie et télécommunications.

Security Clearance Careers Podcast
How to Build More Engaged Candidate Pipelines

Security Clearance Careers Podcast

Play Episode Listen Later Jan 13, 2025 13:26


Jay McKeown is the Director of Talent Acquisition at Red River, a defense contractor that brings together the ideal combination of talent, partners and products to disrupt the status quo in technology and drive success for business and government in ways previously unattainable. Red River serves organizations well beyond traditional technology integration, bringing more than 20 years of experience and mission-critical expertise in security, networking, analytics, collaboration, mobility and cloud solutions. Learn more at redriver.com. THE CHALLENGEIn today's candidate market post pandemic, we are dealing with back to office mandates and obviously for an industry that requires some travel to a SCIF or customer site. McKeown says, “I think for us and for everybody else, the challenges finding people that are willing to come in the office to some degree in a hybrid capacity… but there are still a ton of candidates out there looking for fully remote positions.”HOW CLEARANCEJOBS HELPSJay has a decade in the US Army and served a decade as a police officer and got into business about seven years ago. “And I have always been reluctant about joining this business world, coming from 2 tactical sides. I was a vice cop in DC working undercover for a decade…and was like what the heck is recruiting?” After starting his career and learning all about the different job boards and from the very beginning of working in the government contracting sector, he became the super user of ClearanceJobs.com. “Coming from that side of the industry and having a board that's dedicated towards clearances and tends to be military and government heavy - it almost feels comfortable. I guess when you're in there, it almost feels like a like a board made for prior service type of people.”For ClearanceJobs, McKeown loves the user friendliness and ease of functionality. “The UI / UX or the front end of ClearanceJobs has an ease of use and feel. You know, when I'm comparing it to the other boards, it is pretty self-explanatory where you can navigate around and buttons and pretty much find what you're looking for. I've noticed with the other boards some of the additional seem to be hidden or hard to find.”Red River's favorite functionality of the site is being able to build pipelines and tap into the most engaged talent to land a phone call and eventually extend an offer. Their recruiting team understands that the deadline is today when the government says they need a candidate today. “ClearanceJobs has bailed me out.” After using the Boolean or Intellisearch function to find qualified candidates, Red River sorts candidates by who was last active on the site to get a sense of who who's been on the board most recently. By pulling those last ten active candidates that are qualified and calling those individuals, they've improved their success rate to receiving call backs to the 90th percentile. “Just for that reason alone justifies your board. Much less all the other cool functionalities and features.”In any industry, but particularly the cleared space, it is important to act quickly and find that talent for national security programs. Is ClearanceJobs a top source for these types of missions? McKeown says, “Yeah, by far you're our top source for cleared candidates.” Hosted on Acast. See acast.com/privacy for more information.

Podcast Stardust
Episode 824 - The High Republic: Tempest Breaker

Podcast Stardust

Play Episode Listen Later Dec 23, 2024 39:50


Lourna Dee is on a quest for redemption with the Jedi in their fight against Marchion Ro and the Nihil…or is she? We explore the latest The High Republic audio drama from Cavan Scott.   In this fully armed and operational episode of Podcast Stardust, we discuss: Our overall non-spoiler thoughts about this audio drama, The performance of the voice cast with special props to Jessica Almasy as Lourna Dee, Avar Kriss's fall back into behavior that predated the events of Tessa Gratton's Temptation of the Force, Jesi Master Keeve Trennis and her struggle with the Jedi's role in the galaxy and becoming the “Light of the Jedi,” Lourna Dee's confrontation with Marchion Ro at the ball, Boolean's motivations, and Whether Lourna Dee found redemption. For our discussion of Tempest Runner, check out episode 308.   Thanks for joining us for another episode! Subscribe to Podcast Stardust for all your Star Wars news, reviews, and discussion wherever you get your podcasts. And please leave us a five star review on Apple Podcasts.   Find Jay and her cosplay adventures on J.Snips Cosplay on Instagram.   Join us for real time discussion on the RetroZap Discord Server here: RetroZap Discord. Follow us on social media: Twitter | Facebook | Instagram | Pinterest | YouTube. T-shirts, hoodies, stickers, masks, and posters are available on TeePublic. Find all episodes on RetroZap.com.

Chief Change Officer
Holly Bond: The Art of Moving Your Career Beyond the AI Checklist and Resume

Chief Change Officer

Play Episode Listen Later Dec 12, 2024 33:45


Holly Bond, once a franchise owner and now the President of Facet Recruitment, spills the secrets of blending old-school charm with modern tech in recruiting. From fax machine résumés to navigating an AI-driven hiring world, Holly's seen it all. She dishes on the power of networking (spoiler: it's not about business cards and stale canapés), the importance of bold moves (sometimes you just email anyway), and why being real beats AI algorithms every time. With wisdom, wit, and a knack for finding hidden talent, Holly reminds us that while AI might help, people are still the heart of every great hire. Key Highlights of Our Interview: From Focus Groups to Foundations “When we launched Facets, we started with brutal honesty: focus groups full of blunt feedback about recruiters. We listened, and we built a company rooted in empathy and care.” Breaking the Commission Chain “Recruiting isn't about commissions; it's about people. I refused to return to a model where clients matter more than candidates. Instead, I built a team paid for their passion, not percentages.” Catching What AI Misses “If AI had done my recruitment, I would've slipped through the cracks. Boolean searches don't see potential outside the box. Humans do. That's why we look beyond traditional roles, exploring adjacent sectors for talent.” Spotting the Unsung Stars “A recruiter's superpower? Seeing someone's potential before they do. When I reached out to a candidate in her 60s, she couldn't believe I meant her. But age? It's just a number—wisdom wins every time.” Putting Yourself Out There “Take risks, be bold, and let people know what you're looking for. Whether it's an informational interview or a thoughtful message, putting yourself out there often leads to unexpected opportunities—sometimes even before the job officially exists.” The True Value of a Strong Network “A broad network isn't just about advancing your career; it's about helping others too. Being able to connect someone to the right opportunity or advice is the most rewarding part of building genuine, lasting relationships.” _________________________ Connect with us: Host: Vince Chan | Guest: Holly Bond Chief Change Officer: Make Change Ambitiously. Experiential Human Intelligence for Growth Progressives Global Top 3% Podcast on Listen Notes World's #1 Career Podcast on Apple Top 1: US, CA, MX, IE, HU, AT, CH, FI, JP 2.5+ Millions Downloads 80+ Countries

Ask Your Work Wife
Episode 164 | Boolean AND LinkedIn Search = TRUE

Ask Your Work Wife

Play Episode Listen Later Nov 20, 2024 16:20


Tape your glasses and get out your pocket protector — we're taking it old school to find a job on LinkedIn.

Unofficial QuickBooks Accountants Podcast
Modern Reports in QBO Advanced

Unofficial QuickBooks Accountants Podcast

Play Episode Listen Later Oct 24, 2024 48:07


Hector and Alicia explore the extensive capabilities of QuickBooks Online Advanced's modern reports and custom report builder. They walk through key features including dynamic column customization, Boolean filters, multi-level grouping, pivot tables, and interactive charts - demonstrating how these tools can transform raw data into actionable insights. The hosts share practical tips for leveraging related table data, creating KPI widgets, and maximizing the flexibility of the new reporting system, while also discussing how these features compare to classic QuickBooks reports.SponsorsZoho Expense - https://uqb.promo/zohoexpenseIgnition - https://uqb.promo/ignitionCoefficient - https://uqb.promo/coefficientSend your Questions/Comments (we could read/answer them on air) ask@uqapodcast.comLinks/Apps Mentioned in this episode:Enroll for Alicia's Nov-Dec QBO Complete Hands-On Training (HOT) at https://royalwise.lpages.co/qbo-complete/Intuit's 2024 Investor Day event: https://www.youtube.com/embed/8cJ9vqr6gYg?si=C3UD7Hsxu2QMtx4rHector's App - RightTool www.righttool.appAlicia's 1099 class: http://royl.ws/QBO1099Alicia's RoyalWise OWLS QBO Training - http://royl.ws/uqapodcastIntuit Connect Conference www.quickbooksconnect.comCheck out Alicia's step-by-step QBO Textbooks at http://www.questivaconsultants.comThe Comprehensive Guide to Converting from QuickBooks® Desktop (QBDT®) to QuickBooks® Online (QBO®) https://www.amazon.com/dp/B0D8L29Z5LQuickBooks Online: From Setup to Tax Time https://www.amazon.com/dp/B0CXZB1R95Sign up to Earmark to earn free CPE for listening to this podcasthttps://www.earmark.app/onboarding (00:00) - Welcome to the Unofficial QuickBooks Accountants Podcast (02:19) - Exploring Custom Report Builder Templates (05:22) - Visualizing Reports with Chart View (10:22) - Advanced Filtering and Boolean Logic (18:21) - Grouping and Subgrouping Data (22:20) - Leveraging More Columns for Detailed Insights (28:21) - Pivot Tables and Summary Reports (30:01) - Benefits of Pivot Tables (34:33) - General Options and Formatting (41:37) - Exporting and Sharing Reports (45:19) - Upcoming Classes and Events (48:05) - Conclusion and Final Thoughts

Becoming a Hiring Machine
132: Tactical Tuesday - Using Tags on Candidate Records to Make Your Searches Smarter

Becoming a Hiring Machine

Play Episode Listen Later Sep 24, 2024 6:17


It's no secret that your database is your biggest asset — but are you leveraging it to the best of your ability? In this Tactical Tuesday episode, Sam walks us through how to use tags on candidate profiles to make your searches even smarter. It's an underused feature in Loxo (and for recruiters in general) and one that takes the concept of an MPC approach and puts it on steroids.Getting the most out of your database — and having a longterm approach to candidate relationships — is the way to win in 2024 and beyond. Do you feel confident that you're doing so? Chapters:00:00 - Podcast intro01:40 - How to leverage the power of tags in your candidate database05:00 - Boolean logic meets tags: A smarter way to find top talent05:43 - Podcast wrap-upExplore all our episodes and catch the full video experience at loxo.co/podcastBecoming a Hiring Machine is brought to you by Loxo. To discover more about us, just visit loxo.co

The Stephen Wolfram Podcast
Future of Science and Technology Q&A (August 2, 2024)

The Stephen Wolfram Podcast

Play Episode Listen Later Sep 16, 2024 79:34


Stephen Wolfram answers questions from his viewers about the future of science and technology as part of an unscripted livestream series, also available on YouTube here: https://wolfr.am/youtube-sw-qa Questions include: ​​How do you envision the future of physics-informed neuroscience? In particular, do you believe that despite the brain being a warm environment, quantum effects such as entanglement and superposition play a role in its function? Finally, do you think the concept of "quantum cognition" will remain more philosophical than scientific? - Are microtubules like electrochemical transistors? - Could the concrete Boolean arithmetic functional devices in our brains be affected by temperature, or is temperature one layer above that? - Which do you think would happen first: repairing brains naturally through natural science research or having the first "computer brain" transplant for those who suffer brain traumas? - ​​I've heard AI should be able to develop treatments for cancer, but it will take decades of machine learning. What do you think could accelerate this learning process? - Maybe not a cure, but a control? Micro-monitoring and cancer-killing nanobots? - Will we ever perfect the human immune system? - ​​Do you think that the relevance weight of the "microbiome" in medical science will increase in the future? - Maybe not an artificial brain, but what about artificial hearts? Would those be easier to have a technological implant vs. a natural one? Or even livers or kidneys? - ​In the future, hopefully we can have a machine/detector that can detect every atom or molecule in our bodies, and we can simulate solutions on a fast computer.

Paint ED Podcast
Boolean Automation Consulting & Review Software: Ask A Painter

Paint ED Podcast

Play Episode Listen Later Sep 5, 2024 82:22


Find More Episodes on PCA Overdrive: https://www.pcaoverdrive.org/ask-a-painter PCA Overdrive is free for members. Not a member? Download the app on the Apple Store or Google Play and enjoy a 7 day free trial! Become a member: https://www.pcapainted.org/membership-resources/ Guests Chris Kiefer and Nathan TenNapel www.helloboolean.com Book a discovery call with Nathan: Https://meetings.hubspot.com/nathan-tennapel/discovery Attend a Painting Contractors Association - PCA event for FREE! Scholarship applications: https://www.pcapainted.org/event-scholarships/ Want a LIVE Masters Class in your area? Contact Marsha at the PCA mbass@pcapainted.org and we can arrange it for you! https://app.be.live/ytsmZZsSU9Zsk5h6MhcbmWixPnMKBpkE/guest PCA member companies are 15x larger, more profitable and more stable than the average painting company. How did they do this? PCA's Business Training: https://www.pcapainted.org/business-training/ Link to the PCA's event page: https://www.pcapainted.org/events/ Upcoming events: -PCA en Espanol 12-13 September Anaheim, Ca -Tom Reber's Mile High Profit Summit - 19 Sep -SoCal // SurfPrep Master's Class - 27 Sep - Lake Elsinore Ca -Women In Paint - 8-10 Oct Hollywood Beach Fl -PCA Residential Conference 24-25 Oct Minneapolis Mn -PCA Commercial Contractor's Retreat 12-15 Nov Scottsdale, Az -Gathering of MN Painters / SW / Graco Master's Class - 6 Dec -PCA Expo Feb 3-7 2025 Colorado Springs

Cheeky Scientist Radio
#645 Powerful LinkedIn Boolean Search Methods

Cheeky Scientist Radio

Play Episode Listen Later Aug 29, 2024 5:17


By mastering LinkedIn's advanced search, you can take a proactive approach to job hunting and networking. The post #645 Powerful LinkedIn Boolean Search Methods appeared first on Cheeky Scientist.

Paint Radio || American Painting Contractor
Generating Better Google Reviews

Paint Radio || American Painting Contractor

Play Episode Listen Later Aug 27, 2024 37:41


Reviews have a huge impact on your business. Five-star writeups are a big boost! But a few negative reviews can be ruinous. Chris Kiefer of Boolean explains the art of generating great reviews from your customers. (Plus: Andrew's just had dental work, and his face is, well…half frozen?) Sponsored by: BEHR & HYDE

Cheeky Scientist Radio
#606 Increasing Your Social Selling Index & Doing Advanced Boolean Searches To Get Hired

Cheeky Scientist Radio

Play Episode Listen Later Jul 20, 2024


In this episode of Cheeky Scientist, we discuss how to increase your Social Selling Index online and how to attract more employers to your professional online profiles. We also discuss how to do advanced Boolean searches for jobs that are a good fit for you by using combinations of search terms such as skills, groups, companies and more. The post #606 Increasing Your Social Selling Index & Doing Advanced Boolean Searches To Get Hired appeared first on Cheeky Scientist.

HVAC Success Secrets: Revealed
EP: 229 Chris Kiefer w/ Boolean Review + Automation - Automate to Innovate: Business Boosting Must-Dos

HVAC Success Secrets: Revealed

Play Episode Listen Later Jul 20, 2024 70:52 Transcription Available


Listen to Chris Kiefer talk about his journey and give tips on using automation in your industry. This episode is full of ideas on how automation and AI can change your business!Key Takeaways:Save Time & Money with Automation: Using technology to handle tasks like updating customer records, making quotes, and managing schedules can save lots of time and money, letting your team work on more important things.Find and Fix Workflow Problems: Look at how your work gets done and find the slow spots. Then, you can use automation to make things run smoother and faster.Improve Jobs, Don't Replace Them: Automation should make jobs better by letting people focus on more valuable tasks, not taking their jobs away.Don't miss out on this opportunity to gain valuable insights and take your business to the next level with AI and automation!Find Chris:Via Email: chris@helloboolean.comLinkedIn: www.linkedin.com/in/chris-kieferIG: www.instagram.com/pursuitofpurpose.podFB: www.facebook.com/chriskiefer4TikTok: https://www.tiktok.com/@chriskiefer1Join Our Group: https://www.facebook.com/groups/hvacrevealedPresented By On Purpose Media: https://www.onpurposemedia.ca/For HVAC Internet Marketing reach out to us at info@onpurposemedia.ca or 888-428-0662Sponsored By: Chiirp: https://chiirp.com/hssrElite Call: https://elitecall.netService World Expo: https://www.serviceworldexpo.com/On Purpose Media: https://onpurposemedia.ca

Stuff You Missed in History Class
John Venn

Stuff You Missed in History Class

Play Episode Listen Later Jul 15, 2024 30:15 Transcription Available


John Venn created the Venn diagram, and though he's an important figure in the fields of mathematics and logic, he eventually left that work behind to write historical accounts of the places and people that were important in his life. Research: Baron, Margaret E.. “A Note on the Historical Development of Logic Diagrams: Leibniz, Euler and Venn.” The Mathematical Gazette, vol. 53, no. 384, 1969, pp. 113–25. JSTOR, https://doi.org/10.2307/3614533 Bassett, Troy J. "Author: Susanna Carnegie Venn." At the Circulating Library: A Database of Victorian Fiction, 1837—1901, 3 June 2024, http://www.victorianresearch.org/atcl/show_author.php?aid=661 com Editors. “John Venn Biography.: A&E. April 2, 2014. https://www.biography.com/scientists/john-venn Boyer, Carl B.. "Leonhard Euler". Encyclopedia Britannica, 21 Jun. 2024, https://www.britannica.com/biography/Leonhard-Euler Britannica, The Editors of Encyclopaedia. "Boolean algebra". Encyclopedia Britannica, 14 May. 2024, https://www.britannica.com/topic/Boolean-algebra Britannica, The Editors of Encyclopaedia. "Kingston upon Hull". Encyclopedia Britannica, 23 Jun. 2024, https://www.britannica.com/place/Kingston-upon-Hull “A Cricket Sensation.” Saffron Walden Weekly News. June 11, 1909. https://www.newspapers.com/image/800046974/?match=1&terms=John%20Venn%20cricket%20machine Collier, Irwin. “Cambridge. Guide to the Moral Sciences Tripos. James Ward, editor, 1891.” Feb 26, 2018. https://www.irwincollier.com/cambridge-on-the-moral-sciences-tripos-james-ward-editor-1891/ Duignan, Brian. "John Venn". Encyclopedia Britannica, 12 Jun. 2024, https://www.britannica.com/biography/John-Venn Duignan, Brian. "Venn diagram". Encyclopedia Britannica, 25 Apr. 2024, https://www.britannica.com/topic/Venn-diagram Gordon, Neil. “Venn: the person behind the famous diagrams – and why his work still matters today.” EconoTimes. April 14, 2023. https://www.econotimes.com/Venn-the-person-behind-the-famous-diagrams--and-why-his-work-still-matters-today-1654353 Hall, Madeleine. “The Improbably Genius of John Venn.” The Spectator. April 4, 2023. https://www.spectator.co.uk/article/the-improbable-genius-of-john-venn/ “History.” Highgate School. https://www.highgateschool.org.uk/about/our-history/ “The Jargon.” Queens' College Cambridge. https://www.queens.cam.ac.uk/visiting-the-college/history/university-facts/the-jargon “John Venn Of Caius.” The British Medical Journal, vol. 1, no. 3250, 1923, pp. 641–42. JSTOR, http://www.jstor.org/stable/20423118 Lenze, Wolfgang. “Leibniz: Logic.” Internet Encyclopedia of Philosophy. https://iep.utm.edu/leib-log/ O'Connor, J.J. and E.F. Robertson. “John Venn.” Mac Tutor. School of Mathematics and Statistics, University of St. Andrews, Scotland. October 2003. “Professor Hugh Hunt leads engineering team to recreate historic cricket bowling machine.” Trinity College Cambridge. June 6, 2024. https://www.trin.cam.ac.uk/news/professor-hugh-hunt-leads-engineering-team-to-recreate-historic-bowling-machine-that-bowled-out-australian-cricketers-more-than-100-years-ago/ Venn, John. “The logic of chance. An essay on the foundations and province of the theory of probability, with especial reference to its logical bearings and its application to moral and social science.” London. Macmillan, 1876. Accessed online: https://archive.org/details/50424309/page/n19/mode/2up Venn, John. “The principles of empirical or inductive logic.” 1889. https://archive.org/details/principlesempir00venngoog B.H. “John Venn.” Obituary notices of fellows deceased. Royal Society Publishing. April 1, 1926. Accessed online: https://royalsocietypublishing.org/doi/epdf/10.1098/rspa.1926.0036 Young, Angus. “John Venn Inspired £325k makeover of Hull's Drypool Bridge is now complete.” Hull Live. June 5, 2017. https://www.hulldailymail.co.uk/news/drypool-bridge-turned-work-art-91547 See omnystudio.com/listener for privacy information.

The Bike Shed
432: The Semantics and Meaning of Nil

The Bike Shed

Play Episode Listen Later Jul 9, 2024 38:13


The term ‘nil' refers to the absence of value, but we often imbue it with much more meaning than just that. Today, hosts Joël and Stephanie discuss the various ways we tend to project extra semantics onto nil and the implications of this before unpacking potential alternatives and trade-offs. Joël and Stephanie highlight some of the key ways programmers project additional meaning onto nil (and why), like when it's used to create a guest session, and how this can lead to bugs, confusion, and poor user experiences. They discuss solutions to this problem, like introducing objects for improved readability, before taking a closer look at the implications of excessive guard clauses in code. Our hosts also explore the three-state Boolean problem, illustrating the pitfalls of using nullable Booleans, and why you should use default values in your database. Joël then shares insights from the Elm community and how it encourages rigorous checks and structured data modeling to manage nil values effectively.

They advocate for using nil only to represent truly optional data, cautioning against overloading nil with additional meanings that can compromise code clarity and reliability. Joël also shares a fun example of modeling a card deck, explaining why you might be tempted to add extra semantics onto nil, and why the joker always inevitably ends up causing chaos!
 Key Points From This Episode The project Joël is working on and why he's concerned about bugs and readability. Potential solutions for a confusing constant definition in a nested module. A client work update from Stephanie: cleaning up code and removing dead dependencies. How she used Figjam to discover dependencies and navigate her work. Today's topic: how programmers project extra semantics onto nil. What makes nil really tricky to use, like forcing you to go down a default path. How nil sweeps the cases you don't want to think too hard about under the rug. Extra semantics that accompany nil (that you might not know about) like a guest session. Examples of how these semantics mean different things in different contexts. How these can lead to bugs, hard-to-find knowledge, confusion, and poor user experiences. Introducing objects to replace extra nil semantics, improve readability, and other solutions. Some of the reasons why programmers tend to project extra semantics onto nil. How to notice that nil has additional meanings, and when to model it differently. The implications of excessive guard clauses in code. An overview of the three-state Boolean problem with nullable Booleans. Connecting with the Elm community: how it can help you conduct more rigorous checks. Some of the good reasons to have nil as a value in your database. The benefits of using nil only to represent truly optional data. Links Mentioned in Today's Episode Figjam (https://www.figma.com/figjam/) Miro (https://miro.com/) 'Working Iteratively' blog post (https://thoughtbot.com/blog/working-iteratively) Mermaid.js (https://mermaid.js.org/) Draw.io (https://draw.io/) Check your return values (web) (https://thoughtbot.com/blog/check-return-values-web) Check your return values (API) (https://thoughtbot.com/blog/check-return-values-api) Primitive obsession (https://wiki.c2.com/?PrimitiveObsession) 'Avoid the Three-state Boolean Problem' (https://thoughtbot.com/blog/avoid-the-threestate-boolean-problem) Elm Community (https://elm-lang.org/community) 'The Shape of Data': Modeling a deck of cards (https://thoughtbot.com/blog/modeling-with-union-types#the-shape-of-data) The Bike Shed (https://bikeshed.thoughtbot.com/) Joël Quenneville on LinkedIn (https://www.linkedin.com/in/joel-quenneville-96b18b58/)

Public Health Insight
Find More Job Titles & Postings With This Search Strategy

Public Health Insight

Play Episode Listen Later Jul 9, 2024 19:25


Public health job titles and postings are not as standardized as they are in many other fields. Another issue is that many public health organizations use different terms to describe similar roles. So what happens when your search is no longer yielding results?Fortunately, there are simple strategies for finding job opportunities in the public health field beyond the obvious ones. When you're stuck, try generating specific and general job titles to search for with this formula which includes the prefix (topic) and suffix (functional duty).Once you have your job search terms, using a Boolean search strategy can help you to combine different job titles and keywords to yield more specific results. Find out more in this episode of the Public Health Insight Podcast.References◼️ LinkedIn Post: One way to find jobs when you're stuck...Hosts & Producers◼️ Gordon Thane, BMSc, MPH, PMP®◼️ Leshawn Benedict, MPH, MSc, PMP®Production Notes◼️ Music from Johnny Harris x Tom Fox: The Music RoomSubscribe to the NewsletterSubscribe to The Insight newsletter so you don't miss out on the latest podcast episodes, live events, job skills, learning opportunities, and other engaging professional development content here.Send us a Text Message to let us know what you think.

Becoming a Hiring Machine
103: Tactical Tuesday - The Better Way to Source ft. Viven Maron

Becoming a Hiring Machine

Play Episode Listen Later Jun 18, 2024 14:18


This Tactical Tuesday conversation highlights the limitations of using job titles as a search term when looking for candidates — and introduces better ways to source talent.Job titles are not always indicative of the specific skills, experience, and responsibilities of a candidate — and often, they're more of a representation of where the candidate is than we're they're going.There are other issues, too, like the fact that companies often use creative job titles that may not accurately represent the role, and job titles can vary widely between companies — making it difficult to compare candidates. Vivien's recommendation is that instead of relying on job titles, recruiters should use Boolean search and filters to find candidates based on specific skills and experiences.Chapters:00:00 - Podcast Intro02:02 - Rethinking Job Titles in Talent Sourcing08:33 - Optimizing Candidate Search with Boolean Techniques13:37 - Final Tips and Podcast Wrap-UpExplore all our episodes and catch the full video experience at loxo.co/podcastBecoming a Hiring Machine is brought to you by Loxo. To discover more about us, just visit loxo.co

52 Jokers Wild
In The Room Series 4 Eps 05 Angels, Demons, NDE, then 1s & 0s.

52 Jokers Wild

Play Episode Listen Later Jun 13, 2024 68:12 Transcription Available


In The Room Series 4 Eps 05. Angels, Demons, NDE, then 1s and 0s. Garvin and George started talking about angels and demons and Garvin asked George if he believed in them. As a deacon, he does, but things have to be tested out to see what is true or false. A Boolean statement looked as though it was going to emerge, however, things go off in other directions about what drives us and our purpose.

The Elite Recruiter Podcast
Sourcing Hacks for Recruiters with Michael Rasmussen

The Elite Recruiter Podcast

Play Episode Listen Later May 31, 2024 43:54


Are you tired of feeling like you're always one step behind in finding the best candidates in today's competitive job market? In this enlightening episode of The Elite Recruiter Podcast, host Benjamin Mena welcomes recruiting expert Michael Rasmussen to share his wealth of knowledge on modern sourcing hacks that can elevate your recruitment game. Amid the rapid changes in recruiting technology and techniques, knowing how to effectively source talent is critical for any recruiter aiming for success. Whether you are a seasoned pro or just starting out, this episode delivers actionable insights to enhance your sourcing strategies and achieve better results. 1. **Harnessing AI for Greater Efficiency:** Michael Rasmussen reveals how to leverage AI tools like Chat GPT to fine-tune Boolean strings, craft personalized candidate messages, and identify synonymous terms that can expand your search results—saving you time while increasing your productivity. 2. **Exploring Beyond LinkedIn:** Learn how to tap into a vast array of platforms such as Facebook, GitHub, and employing sophisticated Google search techniques using the site operator to uncover diverse candidate profiles, including those in trades who may not be on LinkedIn. 3. **Game-Changing Sourcing Tools:** Gain expert recommendations on a variety of powerful tools like Lucia, ContactOut, Rocket Reach, Kendo, and several others to streamline your contact methods and ensure you have every possible edge in sourcing the right talent. Don't miss out on these transformative sourcing strategies—listen to the episode now to unlock the full potential of your recruiting efforts and start placing top-tier talent effortlessly!  Join The Elite Recruiter Community:  https://elite-recruiter.circle.so/join?invitation_token=5089bd69d8ac69486fc7afca52662675ec3ffc8a-d63afaf0-02f2-4925-9f80-b83f00d142de  Signup for future emails from The Elite Recruiter Podcast: https://eliterecruiterpodcast.beehiiv.com/subscribe  YouTube: https://youtu.be/AXD0k-Iak_8 Michael Rasmussen LinkedIn: https://www.linkedin.com/in/michaelrasmussen408/ With your Host Benjamin Mena with Select Source Solutions: http://www.selectsourcesolutions.com/  Benjamin Mena LinkedIn: https://www.linkedin.com/in/benjaminmena/  Benjamin Mena Instagram: https://www.instagram.com/benlmena/  Benjamin Mena TikTok: https://www.tiktok.com/@benjaminlmena

The Nonlinear Library
AF - The consistent guessing problem is easier than the halting problem by Jessica Taylor

The Nonlinear Library

Play Episode Listen Later May 20, 2024 6:43


Welcome to The Nonlinear Library, where we use Text-to-Speech software to convert the best writing from the Rationalist and EA communities into audio. This is: The consistent guessing problem is easier than the halting problem, published by Jessica Taylor on May 20, 2024 on The AI Alignment Forum. The halting problem is the problem of taking as input a Turing machine M, returning true if it halts, false if it doesn't halt. This is known to be uncomputable. The consistent guessing problem (named by Scott Aaronson) is the problem of taking as input a Turing machine M (which either returns a Boolean or never halts), and returning true or false; if M ever returns true, the oracle's answer must be true, and likewise for false. This is also known to be uncomputable. Scott Aaronson inquires as to whether the consistent guessing problem is strictly easier than the halting problem. This would mean there is no Turing machine that, when given access to a consistent guessing oracle, solves the halting problem, no matter which consistent guessing oracle (of which there are many) it has access too. As prior work, Andrew Drucker has written a paper describing a proof of this, although I find the proof hard to understand and have not checked it independently. In this post, I will prove this fact in a way that I at least find easier to understand. (Note that the other direction, that a Turing machine with access to a halting oracle can be a consistent guessing oracle, is trivial.) First I will show that a Turing machine with access to a halting oracle cannot in general determine whether another machine with access to a halting oracle will halt. Suppose M(O, N) is a Turing machine that returns true if N(O) halts, false otherwise, when O is a halting oracle. Let T(O) be a machine that runs M(O, T), halting if it returns false, running forever if it returns true. Now M(O, T) must be its own negation, a contradiction. In particular, this implies that the problem of deciding whether a Turing machine with access to a halting oracle halts cannot be a Σ01 statement in the arithmetic hierarchy, since these statements can be decided by a machine with access to a halting oracle. Now consider the problem of deciding whether a Turing machine with access to a consistent guessing oracle halts for all possible consistent guessing oracles. If this is a Σ01 statement, then consistent guessing oracles must be strictly weaker than halting oracles. Since, if there were a reliable way to derive a halting oracle from a consistent guessing oracle, then any machine with access to a halting oracle can be translated to one making use of a consistent guessing oracle, that halts for all consistent guessing oracles if and only if the original halts when given access to a halting oracle. That would make the problem of deciding whether a Turing machine with access to a halting oracle halts a Σ01 statement, which we have shown to be impossible. What remains to be shown is that the problem of deciding whether a Turing machine with access to a consistent guessing oracle halts for all consistent guessing oracles, is a Σ01 statement. To do this, I will construct a recursively enumerable propositional theory T that depends on the Turing machine. Let M be a Turing machine that takes an oracle as input (where an oracle maps encodings of Turing machines to Booleans). Add to the T the following propositional variables: ON for each Turing machine encoding N, representing the oracle's answer about this machine. H, representing that M(O) halts. Rs for each possible state s of the Turing machine, where the state includes the head state and the state of the tape, representing that s is reached by the machine's execution. Clearly, these variables are recursively enumerable and can be computably mapped to the natural numbers. We introduce the following axiom schemas: (a) For any machine N that halts and returns true, ON. (b) For any machine N that halts and returns false, ON. (c) For any ...

The Ravi Abuvala Show
Best Boolean Search On LinkedIn [B2B Lead Generation]

The Ravi Abuvala Show

Play Episode Listen Later May 13, 2024 16:26


Are you looking to learn the ins and outs of LinkedIn Boolean search? Then this podcast is for you! I'm breaking down the basics of Boolean search and exploring the best keywords to use, how to use Boolean operators to refine your search, and get the best results. By the end of this podcast, you'll have a better understanding of how to use Boolean searches on LinkedIn and save time on your search. Learn everything you need to know about Boolean search on LinkedIn today! 

The Nonlinear Library
AF - Can Kauffman's NK Boolean networks make humans swarm? by Yori Ong

The Nonlinear Library

Play Episode Listen Later May 8, 2024 40:57


Welcome to The Nonlinear Library, where we use Text-to-Speech software to convert the best writing from the Rationalist and EA communities into audio. This is: Can Kauffman's NK Boolean networks make humans swarm?, published by Yori Ong on May 8, 2024 on The AI Alignment Forum. With this article, I intend to initiate a discussion with the community on a remarkable (thought) experiment and its implications. The experiment is to conceptualize Stuart Kauffman's NK Boolean networks as a digital social communication network, which introduces a thus far unrealized method for strategic information transmission. From this premise, I deduce that such a technology would enable people to 'swarm', i.e.: engage in self-organized collective behavior without central control. Its realization could result in a powerful tool for bringing about large-scale behavior change. The concept provides a tangible connection between network topology, common knowledge and cooperation, which can improve our understanding of the logic behind prosocial behavior and morality. It also presents us with the question of how the development of such a technology should be pursued and how the underlying ideas can be applied to the alignment of AI with human values. The intention behind sharing these ideas is to test whether they are correct, create common knowledge of unexplored possibilities, and to seek concrete opportunities to move forward. This article is a more freely written form of a paper I recently submitted to the arXiv, which can be found here. Introduction Random NK Boolean networks were first introduced by Stuart Kauffman in 1969 to model gene regulatory systems.[1] The model consists of N automata which are either switched ON (1) or OFF (0). The next state of each automaton is determined by a random boolean function that takes the current state of K other automata as input, resulting in a dynamic network underpinned by a semi-regular and directed graph. It can be applied to model gene regulation, in which the activation of some leads to the activation or suppression of others, but also to physical systems, in which a configuration of spins acting on another will determine whether it flips up or down. NK Boolean networks evolve deterministically: each following state can be computed based on its preceding state. Since the total number of possible states of the network is finite (although potentially very large), the network must eventually return to a previously visited state, resulting in cyclic behavior. The possible instances of Boolean networks can be subdivided between an ordered and a chaotic regime, which is mainly determined by the number of inputs for each node, K. In the ordered regime, the behavior of the network eventually gets trapped in cycles (attractors) that are relatively short and few in number. When a network in the ordered phase is perturbed by an externally induced 'bit-flip', the network eventually returns to the same or slightly altered ordered behavior. If the connectivity K is increased beyond a certain critical threshold, the network's behavior transitions from ordered to chaotic. States of the network become part of many and long cycles and minute external perturbations can easily change the course of the network state's evolution to a different track. This is popularly called the 'butterfly effect'. It has been extensively demonstrated that human behavior is not just determined by our 'own' decisions. Both offline and online social networks determine the input we receive, and causally influence the choices we make and opinions we adopt autonomously.[2] However, social networks are not regular, social ties are often reciprocal instead of directed and people are no automata. NK Boolean networks are therefore not very suitable for modeling an existing reality. What is nevertheless possible in the digital age, is to conceptualize and realize online communication networks based on its logic: just give N people a 'lightbulb app...

Manufacturing Culture Podcast
Beyond the Skills Gap: Ann Wyatt on Talent, Technology, and Transition

Manufacturing Culture Podcast

Play Episode Listen Later Apr 25, 2024 49:08


In this episode of the Manufacturing Culture Podcast, host Jim Mayer interviews Ann Wyatt, the founder of Ann Wyatt Recruiting and the host of the Workforce 4.0 show. Ann shares her journey from working in the government to starting her own recruiting business. She specializes in recruiting for the manufacturing industry, particularly metals, pulp, and paper. Ann discusses the skills gap in manufacturing and how she helps companies bridge that gap by advocating for workforce development and implementing new technologies. Ann Wyatt discusses training challenges in the manufacturing industry and the need to advocate for short-term training and transferable skill sets in this conversation. They also explore the automation culture paradox and the importance of data in measuring workforce performance. Ann shares her insights on the future of talent acquisition and company culture in manufacturing, emphasizing the value of people over capital investments. They conclude by discussing the need to focus on employee experience and the importance of not singling out employees. Takeaways Ann Wyatt is a pioneer in talent acquisition for the manufacturing industry, focusing on metals, pulp, and paper. She is passionate about workforce development and bridging the skills gap in manufacturing. Ann helps companies by advocating for workforce development programs and implementing new technologies. She uses Boolean search strings to find qualified candidates and enjoys the screening process. Advocate for short-term training and identify transferable skill sets to address training challenges in the manufacturing industry. Recognize the automation culture paradox and the need for cultural readiness to embrace automation in manufacturing facilities. Utilize data to measure workforce performance and make informed talent acquisition and retention decisions. Value people as a capital investment in manufacturing and prioritize their well-being and development. To create a positive and engaging work culture, focus on the entire employee experience, from recruitment to exit interviews. Connect with Ann on Linkedin Watch Workforce 4.0 on YouTube Are you ready to elevate your team's skills to the next level? Check out Baltu Technologies! They specialize in advancing workforce development through intuitive micro-learning platforms. Whether in manufacturing or education, Baltu provides tailored upskilling programs and software solutions designed to boost efficiency and expertise. Empower your organization with the tools it needs for tomorrow's challenges. Visit Baltu Technologies today and start your journey towards a smarter workforce. Imagine a workplace where every team member feels recognized and valued. That's the promise of Secchi, the leading Employee Relationship Management solution. Secchi empowers frontline leaders to effectively inspire, recognize, and coach their teams. With Secchi's system, you can enhance performance through strategic decision-making, impactful recognition, and real-time process control. Ready to transform your organizational culture? Visit Secchi now and see how it can affect your team's dynamics.

Hacker Public Radio
HPR4104: Introduction to jq - part 1

Hacker Public Radio

Play Episode Listen Later Apr 25, 2024


Introduction This is the start of a short series about the JSON data format, and how the command-line tool jq can be used to process such data. The plan is to make an open series to which others may contribute their own experiences using this tool. The jq command is described on the GitHub page as follows: jq is a lightweight and flexible command-line JSON processor …and as: jq is like sed for JSON data - you can use it to slice and filter and map and transform structured data with the same ease that sed, awk, grep and friends let you play with text. The jq tool is controlled by a programming language (also referred to as jq), which is very powerful. This series will mainly deal with this. JSON (JavaScript Object Notation) To begin we will look at JSON itself. It is defined on the Wikipedia page thus: JSON is an open standard file format and data interchange format that uses human-readable text to store and transmit data objects consisting of attribute–value pairs and arrays (or other serializable values). It is a common data format with diverse uses in electronic data interchange, including that of web applications with servers. The syntax of JSON is defined by RFC 8259 and by ECMA-404. It is fairly simple in principle but has some complexity. JSON's basic data types are (edited from the Wikipedia page): Number: a signed decimal number that may contain a fractional part and may use exponential E notation, but cannot include non-numbers. (NOTE: Unlike what I said in the audio, there are two values representing non-numbers: 'nan' and infinity: 'infinity'. String: a sequence of zero or more Unicode characters. Strings are delimited with double quotation marks and support a backslash escaping syntax. Boolean: either of the values true or false Array: an ordered list of zero or more elements, each of which may be of any type. Arrays use square bracket notation with comma-separated elements. Object: a collection of name–value pairs where the names (also called keys) are strings. Objects are delimited with curly brackets and use commas to separate each pair, while within each pair the colon ':' character separates the key or name from its value. null: an empty value, using the word null Examples These are the basic data types listed above (same order): 42 "HPR" true ["Hacker","Public","Radio"] { "firstname": "John", "lastname": "Doe" } null jq From the Wikipedia page: jq was created by Stephen Dolan, and released in October 2012. It was described as being “like sed for JSON data”. Support for regular expressions was added in jq version 1.5. Obtaining jq This tool is available in most of the Linux repositories. For example, on Debian and Debian-based releases you can install it with: sudo apt install jq See the download page for the definitive information about available versions. Manual for jq There is a detailed manual describing the use of the jq programming language that is used to filter JSON data. It can be found at https://jqlang.github.io/jq/manual/. The HPR statistics page This is a collection of statistics about HPR, in the form of JSON data. We will use this as a moderately detailed example in this episode. A link to this page may be found on the HPR Calendar page close to the foot of the page under the heading Workflow. The link to the JSON statistics is https://hub.hackerpublicradio.org/stats.json. If you click on this you should see the JSON data formatted for you by your browser. Different browsers represent this in different ways. You can also collect and display this data from the command line, using jq of course: $ curl -s https://hub.hackerpublicradio.org/stats.json | jq '.' | nl -w3 -s' ' 1 { 2 "stats_generated": 1712785509, 3 "age": { 4 "start": "2005-09-19T00:00:00Z", 5 "rename": "2007-12-31T00:00:00Z", 6 "since_start": { 7 "total_seconds": 585697507, 8 "years": 18, 9 "months": 6, 10 "days": 28 11 }, 12 "since_rename": { 13 "total_seconds": 513726307, 14 "years": 16, 15 "months": 3, 16 "days": 15 17 } 18 }, 19 "shows": { 20 "total": 4626, 21 "twat": 300, 22 "hpr": 4326, 23 "duration": 7462050, 24 "human_duration": "0 Years, 2 months, 27 days, 8 hours, 47 minutes and 30 seconds" 25 }, 26 "hosts": 356, 27 "slot": { 28 "next_free": 8, 29 "no_media": 0 30 }, 31 "workflow": { 32 "UPLOADED_TO_IA": "2", 33 "RESERVE_SHOW_SUBMITTED": "27" 34 }, 35 "queue": { 36 "number_future_hosts": 7, 37 "number_future_shows": 28, 38 "unprocessed_comments": 0, 39 "submitted_shows": 0, 40 "shows_in_workflow": 15, 41 "reserve": 27 42 } 43 } The curl utility is useful for collecting information from links like this. I have used the -s option to ensure it does not show information about the download process, since it does this by default. The output is piped to jq which displays the data in a “pretty printed” form by default, as you see. In this case I have given jq a minimal filter which causes what it receives to be printed. The filter is simply '.'. I have piped the formatted JSON through the nl command to get line numbers for reference. The JSON shown here consists of nested JSON objects. The first opening brace and the last at line 43 define the whole thing as a single object. Briefly, the object contains the following: a number called stats_generated (line 2) an object called age on lines 3-18; this object contains two strings and two objects an object called shows on lines 19-25 a number called hosts on line 26 an object called slot on lines 27-30 an object called workflow on lines 31-34 an object called queue on lines 35-42 We will look at ways to summarise and reformat such output in a later episode. Next episode I will look at some of the options to jq next time, though most of them will be revealed as they become relevant. I will also start looking at jq filters in that episode. Links JSON (JavaScript Object Notation): Wikipedia page about JSON Standards: RFC8259: The JavaScript Object Notation (JSON) Data Interchange Format ECMA-404: The JSON data interchange syntax jq: GitHub page Downloading jq The jq manual Wikipedia page about the jq programming language MrX's show on using the HPR statistics in JSON: Modifying a Python script with some help from ChatGPT

The Nonlinear Library
AF - Dequantifying first-order theories by Jessica Taylor

The Nonlinear Library

Play Episode Listen Later Apr 23, 2024 13:54


Welcome to The Nonlinear Library, where we use Text-to-Speech software to convert the best writing from the Rationalist and EA communities into audio. This is: Dequantifying first-order theories, published by Jessica Taylor on April 23, 2024 on The AI Alignment Forum. The Löwenheim-Skolem theorem implies, among other things, that any first-order theory whose symbols are countable, and which has an infinite model, has a countably infinite model. This means that, in attempting to refer to uncountably infinite structures (such as in set theory), one "may as well" be referring to an only countably infinite structure, as far as proofs are concerned. The main limitation I see with this theorem is that it preserves arbitrarily deep quantifier nesting. In Peano arithmetic, it is possible to form statements that correspond (under the standard interpretation) to arbitrary statements in the arithmetic hierarchy (by which I mean, the union of Σ0n and Π0n for arbitrary n). Not all of these statements are computable. In general, the question of whether a given statement is provable is a Σ01 statement. So, even with a countable model, one can still believe one's self to be "referring" to high levels of the arithmetic hierarchy, despite the computational implausibility of this. What I aim to show is that these statements that appear to refer to high levels of the arithmetic hierarchy are, in terms of provability, equivalent to different statements that only refer to a bounded level of hypercomputation. I call this "dequantification", as it translates statements that may have deeply nested quantifiers to ones with bounded or no quantifiers. I first attempted translating statements in a consistent first-order theory T to statements in a different consistent first-order theory U, such that the translated statements have only bounded quantifier depth, as do the axioms of U. This succeeded, but then I realized that I didn't even need U to be first-order; U could instead be a propositional theory (with a recursively enumerable axiom schema). Propositional theories and provability-preserving translations Here I will, for specificity, define propositional theories. A propositional theory is specified by a countable set of proposition symbols, and a countable set of axioms, each of which is a statement in the theory. Statements in the theory consist of proposition symbols, , , and statements formed from and/or/not and other statements. Proving a statement in a propositional theory consists of an ordinary propositional calculus proof that it follows from some finite subset of the axioms (I assume that base propositional calculus is specified by inference rules, containing no axioms). A propositional theory is recursively enumerable if there exists a Turing machine that eventually prints all its axioms; assume that the (countable) proposition symbols are specified by their natural indices in some standard ordering. If the theory is recursively enumerable, then proofs (that specify the indices of axioms they use in the recursive enumeration) can be checked for validity by a Turing machine. Due to the soundness and completeness of propositional calculus, a statement in a propositional theory is provable if and only if it is true in all models of the theory. Here, a model consists of an assignment of Boolean truth values to proposition symbols such that all axioms are true. (Meanwhile, Gödel's completeness theorem shows soundness and completeness of first-order logic.) Let's start with a consistent first-order theory T, which may, like propositional theories, have a countable set of symbols and axioms. Also assume this theory is recursively enumerable, that is, there is a Turing machine printing its axioms. The initial challenge is to find a recursively enumerable propositional theory U and a computable translation of T-statements to U-statements, such that a T-statement is provable if and only if its translation is provable. This turns out to be trivia...

The Geek In Review
Vlex Pushes Legal Tech Boundaries with New Features and Top Talent

The Geek In Review

Play Episode Listen Later Apr 16, 2024 10:01


Our friend Damien Riehl stopped by to talk with Marlene Gebauer about two big happenings at vLex. Riehl unveiled exciting advancements in vLex's AI-powered legal research platform and shed light on vLex's commitment to streamlining legal workflows and reducing the need for extensive prompt engineering. One of the major developments is the enhanced document analysis feature. Users can now upload legal documents, such as complaints, and vLex's AI will automatically extract key information including claims, facts, parties involved, and potential legal defenses. This eliminates the tedious manual process of reviewing and analyzing documents, saving lawyers significant time and effort. Additionally, the platform suggests relevant legal research questions based on the document's content, further expediting the research process. vLex's advancements directly address the growing concerns surrounding prompt engineering in legal tech. By automating key analytical tasks, the platform empowers lawyers to focus on higher-level strategizing and client interactions, rather than spending hours crafting the perfect prompts for AI tools. Riehl echoes the sentiment of OpenAI's Sam Altman, believing that successful AI integration should render prompt engineering obsolete. He acknowledges that the option to fine-tune prompts remains, similar to Boolean search techniques, but emphasizes that vLex aims to make it a choice rather than a necessity. The potential impact on the legal industry is substantial. Clients, especially large corporations, can leverage vLex's capabilities to analyze past legal actions and assess the value provided by their law firms. This transparency could lead to a shift from billable hours to flat-fee arrangements, incentivizing efficiency and cost-effectiveness. Further amplifying vLex's potential, the company welcomes Daniel Hoadley, a renowned legal tech expert, to lead their research and development team. Hoadley's expertise in data science and large language models promises exciting advancements in harnessing the power of vLex's vast legal document database. With a robust roadmap of projects, vLex's is poised to continue pushing the boundaries of legal technology and shaping the future of legal practice. Listen on mobile platforms:  ⁠⁠⁠⁠Apple Podcasts⁠⁠⁠⁠ |  ⁠⁠⁠⁠Spotify⁠⁠⁠⁠ | ⁠⁠⁠YouTube⁠⁠ Contact Us:  Twitter: ⁠⁠⁠⁠⁠@gebauerm⁠⁠⁠⁠⁠, or ⁠⁠⁠⁠⁠@glambert⁠⁠⁠⁠⁠Threads: @glambertpod or @gebauerm66Email: geekinreviewpodcast@gmail.comMusic: ⁠⁠⁠⁠⁠⁠⁠⁠Jerry David DeCicca⁠⁠⁠⁠

RecTech: the Recruiting Technology Podcast

Techcrunch is reporting that Checkr, a 10-year-old employee background check company  which was last valued at $5 billion has laid off 382 employees as companies are not significantly hiring talent. https://techcrunch.com/2024/04/10/checkr-layoffs/ Tech company Multiverse has acquired Searchlight, a talent intelligence and skills assessment platform that uses AI to help companies close their skills gaps. https://hrtechfeed.com/multiverse-acquires-ai-talent-software-company-searchlight/ NEW YORK – Cadient, a leading provider of talent acquisition solutions in the hourly hiring sector, has been acquired by Basis Vectors Capital, a private equity and technology investment firm that focuses on the B2B sass space https://hrtechfeed.com/cadient-ats-acquired-by-private-equity-firm/ SeekOut, the Talent Intelligence Platform, announced the release of conversational search as part of its SeekOut Assist generative AI product portfolio. The new feature expands the capabilities of SeekOut Assist, enabling recruiters to use their own language in sourcing. This makes powerful AI-assisted searches accessible to all recruiters, allowing for simple descriptions instead of complex Boolean queries. https://hrtechfeed.com/seekout-adds-conversational-search-to-its-platform/ ReadySetHire, powered by Talroo, is a new recruiting platform built from the ground-up exclusively for small businesses that lack the tools and insight needed to follow recruiting best practices to attract new hires.  https://hrtechfeed.com/talroo-launches-readysethire/  

The Smart Buildings Academy Podcast | Teaching You Building Automation, Systems Integration, and Information Technology

Dive into the world of Building Automation System (BAS) point objects with Phil Zito in Episode 449 of the Smart Buildings Academy Podcast. This episode is dedicated to demystifying BAS point objects, a fundamental concept for professionals in the building automation industry. Whether you're new to BAS or looking to refresh your knowledge, this episode provides valuable insights into different types of point objects, their applications, and how they interact within a BAS environment. Episode Highlights: Introduction to Point Objects: Phil begins with an overview of the basic types of point objects found in building automation systems, including Boolean, Numeric, and Enumerated objects, and their common aliases (Binary, Analog, Multistate). Deep Dive into Point Types: Explore the characteristics of Boolean (Binary), Numeric (Analog), and Enumerated (Multistate) points, including their functions, how they're used in BAS, and nuances across different BAS software. Priority Arrays Explained: Gain a clear understanding of priority arrays, a crucial concept for managing point object priorities within a BAS. Learn how priority arrays influence the behavior of BAS objects and ensure desired outcomes in automation logic. Practical Applications: Phil discusses real-world applications and scenarios where different point objects are utilized within a BAS, providing listeners with practical knowledge to apply in their daily work. Interactive Q&A: The episode includes an interactive Q&A session, where Phil addresses listeners' questions, offering further clarifications on point objects and their use in building automation systems. Join Phil Zito for this informative session on BAS point objects, designed to enhance your understanding and mastery of building automation systems. This episode is a must-listen for anyone involved in designing, implementing, or managing BAS, providing the foundational knowledge needed to navigate the complexities of automation with confidence.

Painter Growth Podcast
Ep 52. Chris Kiefer - Automations Unleashed: Boosting Your Painting Business Efficiency

Painter Growth Podcast

Play Episode Listen Later Feb 12, 2024 52:31


In this episode, I sit down with Chris Kiefer, Automation, Data, and Analytics expert and founder of Boolean. Join us as Chris shares his insights on the importance of automation in a painting business. He gives practical examples of what can be automated to increase efficiency and profitability. Download our podcast-exclusive toolkit of templates for your painting company: ⁠⁠⁠⁠⁠www.paintergrowth.com/podcast/⁠⁠⁠⁠⁠  Learn how to grow your painting company NOW: ⁠⁠⁠⁠⁠go.paintergrowth.com?el=podcast ⁠⁠⁠⁠⁠ Free business breakthrough session with my team: ⁠⁠⁠⁠⁠go.paintergrowth.com/schedule?el=podcast ⁠⁠⁠⁠⁠ Free training series on Youtube: ⁠⁠⁠⁠⁠https://www.youtube.com/@paintergrowthblueprint⁠⁠⁠⁠⁠ Painter Growth Secrets Facebook group: ⁠⁠⁠⁠⁠https://www.facebook.com/groups/paintergrowt⁠

The Smart Buildings Academy Podcast | Teaching You Building Automation, Systems Integration, and Information Technology

Episode Description: Dive into the intricacies of building automation programming with Phil Zito in Episode 447 of the Smart Buildings Academy Podcast. This technical episode takes a deep dive into the art and science of writing effective building automation programs, focusing on sequences of operations, design patterns, and translating complex sequences into graphical programming interfaces. Episode Highlights: Introduction to Building Automation Programming: Phil sets the stage for a comprehensive exploration of programming fundamentals, emphasizing the transition from theoretical knowledge to practical application. Understanding Sequences of Operations: Learn how to dissect and understand general sequences of operations, focusing on economizers as a primary example to illustrate the process of identifying patterns and translating them into code. Graphical vs. Line Code Programming: Phil explains the difference between graphical and line code programming, focusing on the use of graphical blocks to represent programming logic, making it accessible for beginners and seasoned professionals alike. Decoding Design Patterns: Discover the importance of design patterns in building automation programming, including comparative patterns and PID (Proportional, Integral, Derivative) patterns, and how they apply to various automation tasks. Practical Programming Demonstration: Through a live demonstration, Phil showcases the step-by-step process of writing a program, from identifying variables to implementing logic blocks and adjusting setpoints. Troubleshooting and Optimization: Insights into common programming challenges, such as understanding interlocks, utilizing Boolean logic, and the significance of loop enables for efficient PID control. Q&A and Interactive Learning: Phil addresses listener questions and emphasizes the importance of community feedback in shaping future podcast topics, particularly focusing on areas like Priority Arrays and BACnet fundamentals.

Technology Untangled
The future of storage tech: Can the tech of the past influence the tech of tomorrow?

Technology Untangled

Play Episode Listen Later Jan 30, 2024 30:44


In this episode, we're taking a look at how the explosion in our demand for data storage has led to needing more capacity than ever before, and whether long-vanished ideas from our computing past could influence technological innovation in the future.  In 2022 the world generated 97 Zettabytes of data. It has been predicted that, by 2025, that number will almost have doubled to 181 Zettabytes. Although at the rate generative AI and machine learning is expanding, that figure could be even higher.As the Head of the Hewlett Packard Enterprise storage division, Senior Vice President Patrick Osborne has storage at the forefront of everything he does. He sees just how much his customers' needs are growing every year and is always actively looking for new methods and fabrics to meet those needs.Alongside those requirements for greater data storage also sits the need for faster data processing - and there are a number of technologies nearing maturity which could revolutionise the space. Aidong Xu is Head of Semiconductor Capability at Cambridge Consultants, and is keeping a close eye on these technologies, especially in the memory space. For him, the big challenge is combining performance with efficiency. However, whilst we're looking at the future of data storage, it's hard not to draw parallels with the past. Colin Eby from the National Museum of Computing knows a thing or two about that, guiding us through the history of the storage technologies which marked our pathway to today - some of which, in the decades since they fell out of favour, may have come round once more.But what if the future of data storage isn't data at all, but something more organic. Mark Bathe is a professor of biological engineering at MIT, specialising in DNA storage, and what that can mean for the future of our digital archiving needs.  Sources and statistics cited in this episode:Zettabytes usage - https://www.statista.com/statistics/871513/worldwide-data-created/Sales of storage units - https://www.statista.com/forecasts/1251240/worldwide-storage-unit-sales-volumeHard drive shipment figures - https://www.statista.com/statistics/398951/global-shipment-figures-for-hard-disk-drives/Random access DNA memory using Boolean search in an archival file storage system - https://www.nature.com/articles/s41563-021-01021-3

Making Sales Social Podcast
Optimizing LinkedIn's Free Search for Sales

Making Sales Social Podcast

Play Episode Listen Later Dec 8, 2023 27:02


Are you making the most of LinkedIn's free search? Don't miss out on untapped opportunities to elevate your sales approach. Join us for this enlightening conversation and discover how to maximize LinkedIn's potential without spending a dime. Listen in as we uncover often-overlooked features and show you how to optimize your LinkedIn strategy. You'll master the art of navigating the search bar and learn how to leverage second-degree connections for warm introductions. Plus, you'll delve into the impact of Boolean search techniques and gain insights into the effectiveness of video messages. Don't overlook the valuable bonus tip on searching companies through first-degree connections. This episode will provide you with the necessary tools to improve your sales on LinkedIn.

Out of the Hourglass
Ep. 178: Preparing your Business for the Technology Wave: Automations, No Code Tools and Clean Data with Chris Kiefer

Out of the Hourglass

Play Episode Listen Later Nov 29, 2023 72:50


We have an awesome returning podcast guest this week, Chris Kiefer, Founder of Boolean, an Online Review Software and Automation Consulting, is here to discuss the incoming AI “technology wave” that is impacting businesses of all sizes and services. Automation of your organization's workflow and no code tools are things that every business NEEDS to plan for, or risk falling vastly behind the competition. Chris is passionate about this topic and we packed a lot of content into this conversation. If you are not using Ai in your business now, it's time to get started. Shared Resources:  Boolean Automation Channel: https://www.youtube.com/@BooleanAutomation/videosAI & Technology Facebook Group: https://www.facebook.com/groups/920265796370898/AI & Technology for Painters Mailing List: https://go.booleanreview.com/ai-technology-for-paintersChris Kiefer is an engineer, entrepreneur, and thought leader. In 2013, he founded SkEye Media, a top medical marketing and branding agency, followed by the launch of Boolean Review, the highest converting Google review software in the market, and in 2022 created Boolean Automation –a consulting arm that helps residential and commercial painting companies implement no-code automation solutions. He is also the host of Pursuit of Purpose, a celebrated podcast that interviews successful entrepreneurs and inspirational people worldwide. Chris is passionate about exercise, CrossFit, adventure, and spending time with his wife and four kids in northern Idaho. To follow Chris, please visit chriskiefer.com, www.booleanreview.com and @pursuitofpurpose.pod

Varn Vlog
Exploring Language Modeling and Cybernetics: A Conversation with Mark Rainey

Varn Vlog

Play Episode Listen Later Oct 12, 2023 106:32 Transcription Available


Ever wondered how the complexity of Language Modeling (LLMs) and cybernetics can revolutionize the way we communicate and interact? Are you curious about the sociopolitical implications of such advancements? Join us in an enlightening discussion with the well-versed Mark Rainey, as we dissect these technologies and their potential impact on our society.Our journey begins with an exploration of LLMs, their potential, and inherent limitations. We discuss the nuanced logic of human language, Boolean operators, and their influence on the design of these systems. We then shift gears to delve into the intriguing world of cybernetics, viable systems, and the behavioralist and cognitivist wars. We scrutinize the implications of these advancements and the tests used to measure intelligence, all the while contemplating the potential and pitfalls of Stafford Beer's Viable System Model. As we navigate further, we probe into the relationship between technology and Marxism, questioning the teleological feedback loop of capital and its effects on the proletariat. We also explore the exciting realm of cybernetic planning and the potential role of LLMs in such systems. Finally, we reflect on the concepts of agency, alienation, class dynamics, and the implications of capitalism on social reproduction. This rich and riveting conversation with Mark Rainey is not to be missed! Support the showCrew:Host: C. Derick VarnAudio Producer: Paul Channel Strip ( @aufhebenkultur )Intro and Outro Music by Bitter Lake.Intro Video Design: Jason MylesArt Design: Corn and C. Derick VarnLinks and Social Media:twitter: @skepoetYou can find the additional streams on Youtube

The Bike Shed
394: Submitting a Conference Talk Proposal from Start to Finish

The Bike Shed

Play Episode Listen Later Jul 25, 2023 38:53


Joël recently had a fascinating conversation with some friends about the power of celebrating and highlighting small wins in their lives. He talks about bringing this into his work life. May Stephanie interest you in a secret she learned regarding homemade pizza? RubyConf is coming! Who's submitting talks?! It's hekkin scary. Don't fret! Joël and Stephannie are here to help. Today, they discussed submitting a conference talk proposal from start to finish. Sheet pan pizza (https://anewsletter.alisoneroman.com/p/may-we-interest-you-in-a-party-of) RubyConf CFP (https://sessionize.com/rubyconf-2023/) Speakerline.io (https://speakerline.io/) WNB.rb (https://www.wnb-rb.dev/) Transcript: STEPHANIE: Hello and welcome to another episode of The Bike Shed, a weekly podcast from your friends at thoughtbot about developing great software. I'm Stephanie Minn. JOËL: And I'm Joël Quenneville. And together, we've come here to share a bit of what we've learned along the way. STEPHANIE: So, Joël, what's new in your world? JOËL: I've been having a really interesting conversation with some of my friends recently about the power of celebrating and highlighting small wins in our lives, both in, like, kind of sharing it with each other, like, you know, if something small happens, it's good for me to share it with my friends. But also, where it becomes really cool is where the friend group kind of gets together and celebrates that small win for one person, and how that can be, like, a small step to take, but it's just really powerful and encouraging for a friend group. And I think that applies not just among friends but in a team or other grouping in the workplace. STEPHANIE: That's so fun. How are you celebrating these small wins, like, over text? Is that the main way you're communicating something good that happened? JOËL: It depends on the friend group. I think, like, different friend groups will have, like, a different kind of cadence for the kind of things they do. And do they all hang out together? Do they have a group text, things like that? One of the friend groups I'm a part of, we meet weekly to go climbing at a rock-climbing gym, so that's kind of our hang-out. And [inaudible 01:34], we're there to do stuff at the gym, but it's also a social thing. And it's an opportunity to be like, "Oh, you know, did that thing workout, you know, at work?" "You know, good for you," Or "Did you get this project accepted?" And yeah, when small wins come up, it's a great time to celebrate. STEPHANIE: That's awesome. I think having regular time that you see people and being able to ask them about something that they had mentioned previously is so special and really important to me, like, in bonding and building the relationship. I also love the idea of celebrating milestones. So, this is, I guess, more of a bigger win, but milestones that aren't traditionally celebrated. You know, so, yeah, we'll have, like, a party when someone graduates or someone gets married. But I also have really enjoyed celebrating when someone gets a promotion at work. And, you know, maybe that's not, like, a once-in-a-lifetime thing, but it's still so worthy of going out for dinner or buying them a drink. I also will maybe, like, send my friends a little treat if I know that they did something small but hard for them, right? And sometimes that's even, like, responding to a scary email that they had sitting in their inbox for a while. Yeah, I really love that idea of supporting people, even in the small things in life that they do. JOËL: Yeah, and that's really validating, I think when you've done something hard and then a friend or a colleague reaches out to you. And it's kind of like, hey, I saw that. Good for you. STEPHANIE: How have you been thinking about bringing this into your work life? JOËL: I think it's about being on the lookout for things that other people do. And I think one thing I like to do is kind of publicly calling that out. It sounds like a negative thing, right? But just giving people kind of a public shout-out when they've succeeded at something. I think we're all kind of socialized not to maybe talk too much about accomplishments, especially if they feel kind of small and mundane. Being somebody else, I think, gives you a lot more leeway to say, "Hey, no, Stephanie, I see that you did that thing. And maybe it feels kind of like, oh no, you're just doing your job, but I think that's cool. And I want to, you know, just give you a shout-out in the company Slack channel or something." It doesn't have to be something big. You know, I'm not sending champagne to your home. But having that opportunity to just kind of celebrate something small and say, "Wait a minute, let's pause and acknowledge that you just did something cool." STEPHANIE: Yeah, I was thinking about how that's kind of, like, amplifying the win a little bit. I've definitely done this before, too, when I see someone share a win of theirs, maybe in a smaller Slack channel or kind of a personal level, or even just to me individually. And I really want other people to know that that happened to you and that they, you know, did an awesome job. And so, I have enjoyed, you know, sharing them more publicly on their behalf if they are comfortable with it. JOËL: And I'll say on the other end of that, I think it feels really good to be acknowledged by someone else that you've done something that they recognize. It's fun to share a win with other people because you're excited, but it's doubly fun when somebody else shares it for you. STEPHANIE: I agree. I think one thing that you, Joël, do really well, actually, is sharing your own personal wins in a very casual way. That's something I've always admired about you is how you recognize the small wins for yourself. JOËL: It's taken me, I think, a long time to get to that and find a way where, you know, you are sharing things that are fun for other people to see, things that might be inspiring, things that are kind of cool, and that are not just kind of, like, self-aggrandizing, like, bragging about stuff. It can be a fine line to walk. And, to a certain extent, you're a little bit marketing yourself. But yeah, I think I've kind of hit that right balance. STEPHANIE: Yeah, I think the thing that makes it work is that there's usually, like, a challenge or something that maybe you, like, went through a journey or overcame a little bit. And I think that's what is the inspiring part that makes me feel like, oh, okay, so, like, this is a realistic thing that, you know, Joël went through and, you know, he struggled with it maybe. But then, like, ultimately, you know, had some insights or came out the other side with some learnings. And I like that it's real, right? It's not just, "Hey, like, I did this, like, cool thing." It's like, "I went on this journey." And I find that really motivating when I am in that kind of situation next time. JOËL: There's a power to stories, right? And I think especially when you can make something relatable to other people. So, it's not just like, "Hey, I did a cool thing," which, you know, is also fun. But being able to say, "Hey, I messed up," or "I, you know, had this challenging problem dropped in my lap, and here's the journey I went on to resolve it. Hopefully, it acts a little bit as like a here's a template you could follow if you're ever in that situation." But maybe also a little bit of, like, inspiration for others as well, just being like, hey, Joël, messes up sometimes. So, Stephanie, what is new in your world? STEPHANIE: Speaking of small wins, I have finally perfected our at-home pizza situation for making pizza at home, which I have been struggling with for so long. Because I always was excited by the idea of making pizza and, you know, sometimes we would make our own dough. And sometimes, we would buy store-bought dough, but it never ended up being as crispy and cooked well-done the way that I want it to. It was always, like, a little bit mushy on the inside. The dough wasn't totally baked. And I would inevitably be disappointed when I had been, you know, building that excitement for pizza. And the other week, I found a new recipe to try, and I think it will be my new go-to recipe for making pizza at home. JOËL: I don't know if I'm allowed to ask this on air, but what's the secret? STEPHANIE: The secret? Well, okay, the first secret and/or learning that I've gathered is to not put as much sauce, cheese, and toppings as you think you want to because that's definitely what contributes to the under-doneness of the dough. But I pivoted to trying a more grandma-style crust that is kind of more like focaccia; really, you know, it involves a lot of olive oil. And you're cooking it for a while on pretty high heat to ensure the crispness and, you know, that it's cooked through. And, I mean, I love focaccia bread, so I don't mind it as, you know, the base of my pizza. It is a bit different from, you know, other kinds of pizzas. And if we had, like, a really, you know, fancy pizza oven to do the, like, super high heat, like, Neapolitan-style deal, I would also really enjoy that. But you know what? That's just not the reality of my home kitchen. So, I have really been enjoying this pizza recipe by Alison Roman that I will link in the show notes. But yeah, it has really changed my at-home pizza game. And I hopefully won't have any of my, you know, soggy dough bottom problems anymore. JOËL: So, you mentioned just kind of offhand, like, oh yeah, you know, the crust is just kind of, like, how you make focaccia. It sounds like you've made focaccia yourself before. STEPHANIE: I have made focaccia at home, and so I think applying it to Pizza was a real, like, light bulb moment for me. But, you know, it's not, like, totally effortless. But I think it's a lot more forgiving than other types of bread and, therefore, other types of pizza crust. And the one really enjoyable thing about making focaccia is there's a step where you use your fingers, and you're kind of holding your hands like you're playing a piano. And you, like, press into the dough after it has risen a little bit to create dimples and, you know, lets the oil kind of seep into the little holes. And it's very satisfying. It's a very good feeling. JOËL: The kind of the tactile aspect of it? STEPHANIE: Yeah, exactly. It's very fun. [chuckles] So, yeah, it's just an added bonus to my pizza adventures. JOËL: A win on top of a win. We'll take it. So, there's some news in the Ruby community this week because RubyConf has just opened their CFP, their call for proposals. And so, they're asking for people to submit their ideas for conference talks, and if you're lucky, you get picked to speak at the conference. And, Stephanie, I know that over the course of a year, you have a document where you collect conference talk ideas so that you have ideas to work on when the CFP comes around. Are you looking at any of them to potentially submit to RubyConf this year? STEPHANIE: Joël, I have to be honest with you; so far, I only have one idea on that list. [laughs] But that is one that I suppose could eventually become a conference talk proposal. So, when I heard the news, I definitely went down the rabbit hole of revisiting that idea and kind of starting to think about if it's something I wanted to pursue. I think the answer is yes. I definitely got a big push of motivation when I was like, oh, it's open. Like, now I can just get started if I want to. And then I was like, well, it's open for a month, so I could also just sit on it a little longer, you know, put it aside and revisit it when I have a little more time. But yeah, I was pretty excited because I think it gave me the motivation I needed to really think a little more deeply about this idea that I have. Otherwise, I think it would have continued to sit half-baked in my document for a long time. JOËL: And just for all of our listeners, the CFP just opened on July 12th, and it closes on August 20th. So, if you are listening and it's before August 20th, you still have a shot to submit your idea to be a speaker. STEPHANIE: Something that I've talked about with my other friends who enjoy speaking at conferences is how they come up with proposals, and I found that we all have different approaches. And I am really interested in digging into this further with you. But I realized that, for me, I really struggle with just, like, throwing out ideas and submitting them before I feel really confident that it's something that I have interesting things to say really, or, like, kind of adding a new perspective, or maybe approaching a topic that hasn't been approached before. I feel sometimes a bit hindered by my process, where I need to feel really confident before submitting something. Because a friend of mine she was telling me that her approach is to submit CFP for topic ideas that she wants to explore further. So, maybe it is something that she doesn't know a lot about yet, and she's using this process to learn more and dive deeper, and that, you know, gives her a reason to do that, whereas that seems really scary to me. JOËL: That's really interesting because it sounds like kind of an underlying motivation for your friend for submitting these talks is curiosity, exploration. And thinking back to myself, I think I usually submit ideas that have me excited or passionate, so that's kind of my underlying motivation for a talk. What would you say is maybe your underlying motivation when you're pitching an idea? STEPHANIE: Yeah, I think, for me, it is impact and, like, having an impact, especially for something that I've struggled with and wanting to share my experience and, hopefully, sharing something where other people can relate to. It's funny you mentioned that your motivators are, you know, excitement and passion. Because another person that I kind of had this conversation with mentioned that she writes talks based on experiences that have been very aggravating [chuckles] and painful for her. So, that ends up being, you know, a big motivator because she's so frustrated. [laughs] And, you know, wants to share this journey that she went on from a point of, I guess, maybe similar to me, like, making it easier for someone else who might find themselves struggling with the same problem. JOËL: I kind of like the idea of taking that to an extreme, and you're, like, rage submitting. STEPHANIE: Yeah, I feel like there would just be an infinite number [laughs] of topics that you could come up with in that case. JOËL: Like, I'm so angry at this bug. It cost me a week of my life. And now, it is going to get the spotlight on it at RubyConf. And I get to share that moment with everyone, express a lot of emotions, and, hopefully, save everyone else from having to do the same thing I did. STEPHANIE: Yeah. Or this terrible bug cost me a week of my life, and now you all get to hear about it. [laughter] Let me tell you -- JOËL: Yes. STEPHANIE: Exactly all the problems that I had to deal with. JOËL: And, honestly, as a narrative, it kind of works, right? There are different types of talks. Sometimes you go to a talk because you really want to learn a deep topic. Sometimes I just want to go and listen to, like, a good horror story. If someone's a good storyteller, like, yes, there are lessons I can take away from it, and I can be like, okay, this is what I can do. And I heard Stephanie talk about this bug, and so I'm going to use inspiration from that the next time I hit a bug. But sometimes it's also just good to, like, go there and sit and be, like, yes, I've been there. Yeah, kind of following along with the story and, you know, kind of the ups and downs because it is so relatable. STEPHANIE: Yeah. And I like that you mentioned that there are different types of talks that leave the audience, you know, with different things. Because I know some people who have been interested in speaking in the past maybe feel a bit hesitant to because they don't think they have something to say, or, like, they don't have something to share that other people might find interesting. And to that, I really believe that everyone has something that they are knowledgeable about and something that they can bring to others that is valuable. Even if it's not for every single person at the conference if you give a talk that is meaningful to a handful of people, right? Especially because, you know, there's people of all different kinds of levels at these conferences. Those are really important too. In fact, I think it can be even more powerful because they are targeting a specific audience. JOËL: And I think you've hit on a key point, that is, it's great when you're building the talk, but even when you're pitching the idea is, who is this talk for? Who is the audience for this talk? And if the audience is whoever shows up at the conference center, maybe you need to workshop a little bit more. STEPHANIE: Yeah, because one thing can't really be for everyone. JOËL: Right. You're kind of diffusing its impact at that point. You were talking about how sometimes it's difficult to take an idea, flesh it out, and submit it until you're feeling, like, 100% confident about it. I'm curious how the transition goes from kind of the earlier phase of, like, you have a document, and I assume these are, like, bullet points with, like, one sentence, or maybe even just title idea. How does it go from bullet point to multiple paragraphs that might be submittable? STEPHANIE: Yeah, that's a good question. I think it starts as a bullet point because maybe I notice something that caused me pain or caused a teammate pain, and maybe we had, like, kind of an interesting discussion about it. And, yeah, I write it down as something to explore further as, like, is this an idea that can be a little broader in scope, can have a few more applications beyond this particular instance that sparked it? And so, maybe from there, I will think about, like, okay, like, the pain point that I jotted down was coupling and tests, right? And let me go, you know, jog through my memory of other times where I kind of felt a similar thing or was doing some code review and also noted a similar problem. And I think if I am able to find enough, like, supporting examples that might go along with this, for me, it's really a feeling. [laughs] Then I'll try to extract that a little further and come up with a theme, right? A theme that's a little more encompassing because what I hope to do is to be able to come up with some kind of takeaway that can be a strong thesis for a conference proposal. JOËL: And that's kind of how conference proposals work, right? There's a few different sections you have to fill out. But the really important one is the abstract, which is usually just a few sentences. It's character limited. And that's what is got to sell your talk both to the committee, but then also, that's what's going to be publicly viewable. And so, that's what's going to get people excited to show up at your conference room. So, my kind of secret trick for writing a proposal is to do the abstract last. Even though it's that first section on the form, I struggle to write a compelling abstract. And so, I'll go through and fill out some of the other fields that are only for the committee, and there'll be, you know, a lot of detail in there. And then, sometimes, I find that I put, like, really good compelling sentences in there, and I'll pull them out and put them in the abstract and kind of use that to start. But those other sections, like pitch and all that I think they're a great place to start because you get to go a little bit more into detail. And you can talk about here are the themes I want to address. Here are maybe the examples I'm going to be building around. Here's the audience that I want to speak to. STEPHANIE: Audience is interesting for me because I tend to write the kind of talks that I wish I had watched earlier or, like, what really speaks to me. In fact, one of my first conference talks was literally called The Intro to Abstraction I Wish I'd Received. [laughs] So, that is a good place for me to start, is thinking about like, well, like, who was I at the time? Like, what kind of developer was I at the time that I, like, really needed this information or really wished for this information? And similarly, I had mentioned, you know, like, maybe my ideas are coming from conversations I've had with other people. So, I'm imagining those other people, and I'm asking myself, like, who are they? Like, where are they in their development careers? And is there a specific demographic or audience persona that kind of fits them, and, you know, usually there is, right? And what is nice is I can kind of go to them as well and be like, "Hey, like, I have this idea. Do you think this would be helpful for you? Or is this something you would be interested in watching?" And that at least helps me ground it in an audience that is real to me as opposed to kind of trying to imagine who might show up without a clear idea, like, of what they might get a takeaway or, like, be wanting in a conference talk. JOËL: Would it be fair to say that when you're coming up with an idea for a presentation, the audience you have in mind is you or maybe a particular version of you, so you two years ago or you five years ago? STEPHANIE: Yeah, I think that's a really compelling way for me to write these because, you know, I almost think it kind of goes back to the idea that everyone has something to say, right? It's like I have something to say to me, my past self. And I believe that other people, you know, are in that position as well. And so, that's been my approach. But I'm curious about yours because I think the types of talks that you write are maybe less about, like, what you wished you had learned earlier and more for a different kind of audience. JOËL: Yeah, I think they are...I start with a topic that I'm excited about. And then, sometimes, I have to find what element of it that I want to pull out because it can be kind of a whole kind of cloud of themes, and I have to pick one to commit to. Depending on the one I commit to and the approach I want to take, it will define the audience that...or vice versa. I can say, okay, this is specifically for this audience, and that will show how I want to approach it. So, for example, I gave a talk at RailsConf this past spring on the math every programmer needs, talking a little bit about discrete math and how it's applicable in day-to-day programming. And I think I very quickly came to the realization that I wanted this talk to be for people who had never done a formal, like, discrete math class, likely people who don't have a traditional, like, CS background. And so, once I knew this is the audience I'm speaking to, that really shaped how I pitched the talk, what elements I want to bring in, what examples I'm using, what do I want to emphasize during this talk. Finding that audience really helped that proposal come together. Even though I knew...before I found the audience, I knew I wanted to talk about discrete math and how cool and relevant it was to day-to-day programming. But that's not enough. I needed to really fit it to an audience. STEPHANIE: Yeah, I have two thoughts about this. One was that when you were writing the proposal for this talk, I remember you had shared a bunch of your different ideas about the topic to your co-workers. And it was almost kind of, like, a buffet of topics. And you were asking for feedback about, like, hey, like, what is interesting to you? Like, what would be, like, helpful for you to know? And I think that ended up really helping you focus on, like, what your audience would want. But I'm curious, do you recall, like, how you decided that you wanted to target people who didn't have that traditional CS background? Like, why was that important to you? JOËL: I think I'm generally most excited about taking some, like, larger technical insights and bringing them to people who maybe have some of the intuition but don't always know why the things they do work the way they do and kind of bridging a little bit of that, like, practical, theoretical gap. That's the space that I'm probably most excited about when it comes to sharing and teaching, helping people go from things that are really practical and then just throwing just enough theory at them. But keeping it really grounded so that they can kind of hit the next level of where they want to be. Because that's an area that I think I thrive in, an area that gets me most excited to share about. And so, I think, naturally, I'm kind of moving in that direction. But also, like you said, it's talking to other people and seeing, like, what are the elements that are interesting to you? And then, like, once you start seeing some of these, it's like, okay, well, what is exciting in talking about Boolean algebra? Do I want to go really deep on some of the theory? Do I want to say, you know, if someone has a vague notion of this because they've been writing code for several years but don't know the theoreticals behind it? That interaction, I think, was more compelling to me. STEPHANIE: Got it. It's almost like knowledge sharing at just this really high level, or, like, at a really large scale. I like that a lot. JOËL: So, you highlighted something interesting, and that is that writing a proposal doesn't have to be a solo activity, and getting feedback on ideas can totally transform your proposal. Do you find that you reach out to a lot of people to get feedback on your proposals? And what does that look like in practice? STEPHANIE: Oh yeah, I definitely need someone to rubber-duck an idea for me. [laughs] JOËL: So, even at the idea stage. So, you've got that topic sentence or whatever, and then you say, "Someone, can you sit down with me, and we'll just talk through places this might go?" STEPHANIE: Yeah. I have found that really helpful for me. Otherwise, I think I get a little too precious about it, right? If I've just been working on it by myself. And then it feels really scary to submit it and be like, okay, I don't know if this is any good. It might get rejected. But the first time that I did a conference talk, WNB.rb, the women and non-binary Ruby group I'm in, they had organized a CFP working group channel. And so, there were, you know, a handful of people, some of them writing conference talks for the first time, some of them having done it before, just getting together and holding each other accountable, and checking in and asking for feedback. And, yeah, I think finding other people who either have done it before. I've also, you know, reached out to people whose conference talks I loved and felt really inspired by. And if they were available, like, kind of asking them how to get started. But also, like, peer support as well, other people doing it for the first time can be really important in just making it feel a little more manageable, a little less lonely. I think there are, like, more people out there who are interested in dipping their toe in conference speaking than one might think because it can definitely feel very overwhelming. But with a support group, I think it makes it a lot easier. JOËL: So, you've gotten feedback. You've gotten support. You've put this idea together. You're feeling pretty confident. You hit that submit button. And now you can't take it back. [laughs] How does that feel at that point? STEPHANIE: Terrifying. [laughter] Like, for me, I have to exercise it from my mind and not think about it, not dwell on it at all. And like, ideally, you know, when I hear back, I will have forgotten all about it so that, you know, I didn't spend the whole month or however many weeks, like, ruminating about whether or not it was accepted. Yeah, I really struggle with that part, I think, because I, yeah, have a hard time with rejection, you know, I'm just going to say it. [laughs] And, you know, it's hard for me not to take it personally. But I think that's actually one area that I want to get better at is to feel a little less, like, personally attached. And I think working with others helps me with that because it's not just something I've, you know, like, squirreled away and feel very attached to. Working with others and then, like, hopefully, coming up with other ideas along the way, right? Within conversations that we have that might spark ideas for the future. So, knowing that if this one doesn't end up being submitted, there's always next time. There's always another conference season. And also, you know, celebrating others when their conference talks do get accepted that is also really buoying because it helps me direct that energy into wanting to celebrate my friends and inspiring me for next time. Joël, I know you oftentimes submit more than one proposal, and I'm wondering if that helps with those feelings of being too attached to a topic idea or, you know, worrying about whether they will be accepted. JOËL: I think it definitely helps with the attachment thing that I've not kind of put all of my work and all of my...like, pinned all of my hopes on one topic idea. Sometimes it can hurt, you know, if you've got, like, you know, two or three and, like, you just get multiple rejection notices in a day. That kind of sucks sometimes. But I think, in some ways, yes, it does help with that feeling of rejection because you've not tied yourself emotionally so much to a single idea that has to, like, succeed or fail. STEPHANIE: Do you then submit those ideas to other conferences? JOËL: The ones that get rejected? Yes. I've definitely resubmitted ideas. In fact, I plan to resubmit a rejection to RubyConf this year, so we'll see how that goes. Actually, now that I think of it, that could be a really fun opening line for a talk. Like, let's say it gets accepted. And, like, you know, you're on the stage, and you open it, and you're just like, "This talk got rejected." That'd be a fun intro. STEPHANIE: Yeah, it would be. I think, oftentimes, you know, it's not always even about the idea itself, right? It's just about maybe the theme of the conference that year, and what they were looking for, and the direction they wanted to go. And there are other conferences or other another year, right? Where maybe there isn't another talk that touches on the same, like, area. And that will be the opportunity that it is a fit for the conference. JOËL: Yeah, definitely. It is a little bit haphazard to get in. And just because your talk gets rejected does not mean it's a bad idea. It just means that it wasn't the best fit for that conference at that time. STEPHANIE: I actually want to plug a website, speakerline.io, where people can post all of their, you know, proposals that they've submitted, whether they were accepted or rejected. And I found that resource really helpful in, you know, just knowing that, like, very good ideas get rejected sometimes, and that's okay. As well as, you know, kind of trying to get a sense of, you know, for the ones that were accepted, okay, like, what about these proposals really stood out or, like, really shine? And how might I get some inspiration from that to incorporate next time around? JOËL: So, you've submitted a proposal. Terrifying. You're trying to not think about it for a couple of weeks, assuming you're submitting ahead a couple of weeks, I don't know. Are you a last-minute kind of submitter? STEPHANIE: I'm a probably two or three days before the deadline kind of submitter. JOËL: So, you've submitted the talk two or three days to the deadline. I guess, like, a couple of weeks after that to get review. And then, you get that notification that says, you know, you've got a response on your talk from the committee. Are you the kind of person that, like, drops everything and immediately looks at it? Do you kind of, like, wait for, like, maybe a moment where you're, like, more in a good zone emotionally before you open that email to find out if you're accepted or rejected? What's your strategy? STEPHANIE: Oh God, I don't think I have the willpower to wait until I'm, you know, in an emotionally good state. I will just click on that thing. And yeah, I think, I mean, having been on the receiving end of accepting those rejections and once waitlisted, [laughs] which was a real doozy because it's like, great, like, now I have to write a talk. But, like, I don't know if it will actually be given or not. I think this is also where the support group really shines as well because maybe some of my other friends are also sharing the results and making it okay, like, sharing a rejection, right? And I think it's nice to just have, like, an outlet for that, whatever the outcome is, and not having to just, like, sit alone in either the sadness or the happiness, right? Like, we're talking about celebrating small wins. Like, it really is even more special when someone else can validate your success. JOËL: Have you ever had to navigate kind of, like, slight feelings of jealousy where it's, like, another friend gets in? Or maybe somebody else gets in with, like, your topic, and their talk got picked instead of yours? STEPHANIE: Yeah, for sure. I think it's totally natural and human. I think one nice thing, though, is that there are so many conferences all of the time. You know, this is not a once-in-a-lifetime situation, right? And maybe the next conference, you know, the people who submit will be different, the people who review will be different. And you've kind of already done the hard part of writing the thing. I actually was just thinking about a few of my friends are writers, and the submission process for them, you know, of spinning a book proposal or short stories for, like, a magazine or something like that, it's, like, fraught with rejections. And they've really built that muscle of acceptance and, like, knowing that it's not a reflection of their value, and building the resilience to keep trying. And so, yeah, I think definitely going through that process has helped me feel a little bit more comfortable with that, not completely, but I guess it's like exposure therapy, [laughs], isn't it? JOËL: I think that the not helpful answer here is that it gets better when you've given more talks. When you're trying to break in and give your first talk, right? It is such a big deal. And, you know, the high of getting accepted is just, you know, mountain top. But the feelings of rejection are also similarly intense. As opposed to when you've done a few, then it's like, you know what? Win some, lose some. And it's much easier to move on. STEPHANIE: I think another suggestion that I might have would be to maybe start smaller, right? Even giving a talk at work for your co-workers, or even the next step is giving a talk at your local meetup or then a small regional conference. There are so many in-between steps, I think, that exist that bestow the benefits of giving a conference talk, and meeting new people, and feeling good about the impact you're having beyond some of the bigger, more traditional conferences. So, if that does seem really scary or, you know, maybe you've given it a shot and feel a little bit demoralized from trying again, there is a group out there who will benefit and be interested in hearing what you have to say. JOËL: That's a really important reminder because just because a conference rejected your talk doesn't mean that it's a bad idea. And yes, you can shop it around and bring it to other conferences, but maybe think about other venues for the idea. You've already done the hard work of crafting a pitch, so maybe turn it into a blog post and share it that way. Maybe turn it into a pitch to be a guest on a podcast that you enjoy. Podcasts that do weekly guests are constantly looking for interesting people to talk to. And you've kind of, like, done all the work for them, where you can say, "Hey, here's the thing I'm an expert on. Ask me questions about this." And most places will gladly bring you on. STEPHANIE: Yeah, I like to think of conference talks as really, like, a supplement of what you're learning and investing in in your career, right? You know, it is nice to be able to share all of those things in a perfectly wrapped package. But also, there are so many different ways for that to manifest. And there are people who know that speaking is not for them and really focus on writing, and that's, like, their avenue. But yeah, it's not...I don't think it's, like, a pinnacle of, like, something you have to do in your career at all. It's just something that can be fun. JOËL: Yeah, and sharing takes many different forms. It can be a talk in a conference room, but it can just as easily turn into maybe some kind of video, some kind of written work. Like I said, it could be an interview on a podcast. There are so many different ways that you can share your ideas. And just because it didn't fit in one place, now that you've done the work to kind of polish that gem a little bit, oftentimes, it's very little additional work to just convert it to a different form. STEPHANIE: Yeah, I like what you just said about polishing a gem. Really, I think the value for me is having a channel to funnel and reflect on my experiences, and, you know, conference talks happen to be, like, one form of that for me. But I hate to say it's about the journey, not the destination, but sometimes it is. And, yeah, I think everyone kind of has to, like, figure that out for themselves. JOËL: That being said, sometimes the destination is pretty exciting. And when you open that email that says, "Congratulations, your talk has been accepted," wow, what a rush. STEPHANIE: On that note, shall we wrap up? JOËL: Let's wrap up. STEPHANIE: Show notes for this episode can be found at bikeshed.fm. JOËL: This show has been produced and edited by Mandy Moore. STEPHANIE: If you enjoyed listening, one really easy way to support the show is to leave us a quick rating or even a review in iTunes. It really helps other folks find the show. JOËL: If you have any feedback for this or any of our other episodes, you can reach us @_bikeshed, or you can reach me @joelquen on Twitter. STEPHANIE: Or reach both of us at hosts@bikeshed.fm via email. JOËL: Thanks so much for listening to The Bike Shed, and we'll see you next week. ALL: Byeeeeeeeee!!!! ANNOUNCER: This podcast is brought to you by thoughtbot, your expert strategy, design, development, and product management partner. We bring digital products from idea to success and teach you how because we care. Learn more at thoughtbot.com.